mirror of
https://github.com/saymrwulf/pytorch.git
synced 2026-05-14 20:57:59 +00:00
Summary: Pull Request resolved: https://github.com/pytorch/pytorch/pull/62947 This diff improved IMethod::getArgumentNames to deal with empty argument names list. Test Plan: buck test mode/dev //caffe2/caffe2/fb/predictor:pytorch_predictor_test -- PyTorchDeployPredictor.GetEmptyArgumentNamesValidationMode buck test mode/dev //caffe2/caffe2/fb/predictor:pytorch_predictor_test -- PyTorchDeployPredictor.GetEmptyArgumentNamesRealMode Reviewed By: wconstab Differential Revision: D30179974 fbshipit-source-id: c7aec35c360a73318867c5b77ebfec3affee47e3
316 lines
10 KiB
C++
316 lines
10 KiB
C++
#include <c10/util/Exception.h>
|
|
#include <torch/csrc/deploy/deploy.h>
|
|
#include <torch/cuda.h>
|
|
|
|
#include <dlfcn.h>
|
|
#include <libgen.h>
|
|
#include <unistd.h>
|
|
|
|
struct InterpreterSymbol {
|
|
const char* start_sym;
|
|
const char* end_sym;
|
|
bool custom_loader;
|
|
};
|
|
|
|
// these symbols are generated by cmake, using ld -r -b binary
|
|
// libtorch_deployinterpreter.so which takes the contents of the so and embeds
|
|
// it into a symbol that is then linked into libtorch_deploy.so. This enables us
|
|
// to simply copy the contents of this symbol to disk and dlopen it to create an
|
|
// instance of python.
|
|
|
|
namespace torch {
|
|
namespace deploy {
|
|
|
|
const std::initializer_list<InterpreterSymbol> interpreter_search_path = {
|
|
{"_binary_libtorch_deployinterpreter_all_so_start",
|
|
"_binary_libtorch_deployinterpreter_all_so_end",
|
|
true},
|
|
{"_binary_libtorch_deployinterpreter_cuda_so_start",
|
|
"_binary_libtorch_deployinterpreter_cuda_so_end",
|
|
false},
|
|
{"_binary_libtorch_deployinterpreter_cpu_so_start",
|
|
"_binary_libtorch_deployinterpreter_cpu_so_end",
|
|
false},
|
|
};
|
|
|
|
static bool writeDeployInterpreter(FILE* dst) {
|
|
TORCH_INTERNAL_ASSERT(dst);
|
|
const char* lib_start = nullptr;
|
|
const char* lib_end = nullptr;
|
|
bool custom_loader = false;
|
|
for (const auto& s : interpreter_search_path) {
|
|
lib_start = (const char*)dlsym(nullptr, s.start_sym);
|
|
if (lib_start) {
|
|
lib_end = (const char*)dlsym(nullptr, s.end_sym);
|
|
custom_loader = s.custom_loader;
|
|
break;
|
|
}
|
|
}
|
|
TORCH_CHECK(
|
|
lib_start != nullptr && lib_end != nullptr,
|
|
"torch::deploy requires a build-time dependency on embedded_interpreter or embedded_interpreter_cuda, neither of which were found. torch::cuda::is_available()=",
|
|
torch::cuda::is_available());
|
|
|
|
size_t size = lib_end - lib_start;
|
|
size_t written = fwrite(lib_start, 1, size, dst);
|
|
TORCH_INTERNAL_ASSERT(size == written, "expected written == size");
|
|
return custom_loader;
|
|
}
|
|
|
|
InterpreterManager::InterpreterManager(size_t n_interp) : resources_(n_interp) {
|
|
TORCH_DEPLOY_TRY
|
|
for (const auto i : c10::irange(n_interp)) {
|
|
instances_.emplace_back(this);
|
|
auto I = instances_.back().acquire_session();
|
|
// make torch.version.interp be the interpreter id
|
|
// can be used for balancing work across GPUs
|
|
I.global("torch", "version").attr("__setattr__")({"interp", int(i)});
|
|
// std::cerr << "Interpreter " << i << " initialized\n";
|
|
instances_.back().pImpl_->set_find_module(
|
|
[this](const std::string& name) -> at::optional<std::string> {
|
|
auto it = registered_module_sources_.find(name);
|
|
if (it != registered_module_sources_.end()) {
|
|
return it->second;
|
|
} else {
|
|
return at::nullopt;
|
|
}
|
|
});
|
|
}
|
|
|
|
// Pre-registered modules.
|
|
// Since torch::deploy::Obj.toIValue cannot infer empty list, we hack it to
|
|
// return None for empty list.
|
|
// TODO(jwtan): Make the discovery of these modules easier.
|
|
register_module_source(
|
|
"GetArgumentNamesModule",
|
|
"from inspect import signature\n"
|
|
"from typing import Callable, Optional\n"
|
|
"def getArgumentNames(function: Callable) -> Optional[list]:\n"
|
|
" names = list(signature(function).parameters.keys())\n"
|
|
" if len(names) == 0:\n"
|
|
" return None\n"
|
|
" return names\n");
|
|
TORCH_DEPLOY_SAFE_CATCH_RETHROW
|
|
}
|
|
|
|
Package InterpreterManager::load_package(const std::string& uri) {
|
|
TORCH_DEPLOY_TRY
|
|
return Package(uri, this);
|
|
TORCH_DEPLOY_SAFE_CATCH_RETHROW
|
|
}
|
|
|
|
Package InterpreterManager::load_package(
|
|
std::shared_ptr<caffe2::serialize::ReadAdapterInterface> reader) {
|
|
TORCH_DEPLOY_TRY
|
|
return Package(reader, this);
|
|
TORCH_DEPLOY_SAFE_CATCH_RETHROW
|
|
}
|
|
|
|
Obj InterpreterSession::from_movable(const ReplicatedObj& obj) {
|
|
TORCH_DEPLOY_TRY
|
|
return impl_->unpickle_or_get(obj.pImpl_->object_id_, obj.pImpl_->data_);
|
|
TORCH_DEPLOY_SAFE_CATCH_RETHROW
|
|
}
|
|
|
|
InterpreterSession ReplicatedObj::acquire_session(
|
|
const Interpreter* on_this_interpreter) const {
|
|
TORCH_DEPLOY_TRY
|
|
InterpreterSession I = on_this_interpreter
|
|
? on_this_interpreter->acquire_session()
|
|
: pImpl_->manager_->acquire_one();
|
|
I.self = I.from_movable(*this);
|
|
return I;
|
|
TORCH_DEPLOY_SAFE_CATCH_RETHROW
|
|
}
|
|
|
|
// NOLINTNEXTLINE(bugprone-exception-escape)
|
|
InterpreterSession::~InterpreterSession() {
|
|
if (manager_ && notify_idx_ >= 0) {
|
|
manager_->resources_.free(notify_idx_);
|
|
}
|
|
}
|
|
|
|
void ReplicatedObjImpl::unload(const Interpreter* on_this_interpreter) {
|
|
TORCH_DEPLOY_TRY
|
|
if (!on_this_interpreter) {
|
|
// NOLINTNEXTLINE(clang-analyzer-core.NullDereference)
|
|
for (auto& interp : manager_->all_instances()) {
|
|
unload(&interp);
|
|
}
|
|
return;
|
|
}
|
|
|
|
InterpreterSession I = on_this_interpreter->acquire_session();
|
|
I.impl_->unload(object_id_);
|
|
TORCH_DEPLOY_SAFE_CATCH_RETHROW
|
|
}
|
|
|
|
// NOLINTNEXTLINE(bugprone-exception-escape)
|
|
ReplicatedObjImpl::~ReplicatedObjImpl() {
|
|
unload(nullptr);
|
|
}
|
|
|
|
void ReplicatedObj::unload(const Interpreter* on_this_interpreter) {
|
|
TORCH_DEPLOY_TRY
|
|
pImpl_->unload(on_this_interpreter);
|
|
TORCH_DEPLOY_SAFE_CATCH_RETHROW
|
|
}
|
|
|
|
ReplicatedObj InterpreterSession::create_movable(Obj obj) {
|
|
TORCH_DEPLOY_TRY
|
|
TORCH_CHECK(
|
|
manager_,
|
|
"Can only create a movable object when the session was created from an interpreter that is part of a InterpreterManager");
|
|
auto pickled = impl_->pickle(self, obj);
|
|
return ReplicatedObj(std::make_shared<ReplicatedObjImpl>(
|
|
manager_->next_object_id_++, std::move(pickled), manager_));
|
|
TORCH_DEPLOY_SAFE_CATCH_RETHROW
|
|
}
|
|
|
|
using dlopen_t = void* (*)(const char*, int);
|
|
|
|
// ASAN overrides dlopen and errors when it sees the RTLD_DEEPBIND flags because
|
|
// it thinks that the library being loaded will not link against its overrides
|
|
// for things like malloc/free. However, our specially crafted library doesn't
|
|
// have any DT_NEEDED entries -- all undefined symbols will be resolved from the
|
|
// process's link map. So it is actually safe to use RTLD_DEEPBIND with ASAN. We
|
|
// have to get around its check though, so we do it by finding the real dlopen
|
|
// function.
|
|
static dlopen_t find_real_dlopen() {
|
|
void* libc = dlopen("libdl.so.2", RTLD_NOLOAD | RTLD_LAZY | RTLD_LOCAL);
|
|
TORCH_INTERNAL_ASSERT(libc);
|
|
auto dlopen_ = (dlopen_t)dlsym(libc, "dlopen");
|
|
TORCH_INTERNAL_ASSERT(dlopen_);
|
|
return dlopen_;
|
|
}
|
|
|
|
Interpreter::Interpreter(InterpreterManager* manager)
|
|
: handle_(nullptr), manager_(manager) {
|
|
// NOLINTNEXTLINE(modernize-avoid-c-arrays,cppcoreguidelines-avoid-c-arrays)
|
|
char library_name[] = "/tmp/torch_deployXXXXXX";
|
|
int fd = mkstemp(library_name);
|
|
TORCH_INTERNAL_ASSERT(fd != -1, "failed to create temporary file");
|
|
library_name_ = library_name;
|
|
FILE* dst = fdopen(fd, "wb");
|
|
|
|
custom_loader_ = writeDeployInterpreter(dst);
|
|
fclose(dst);
|
|
int flags = RTLD_LOCAL | RTLD_LAZY;
|
|
if (custom_loader_) {
|
|
flags |= RTLD_DEEPBIND;
|
|
}
|
|
|
|
#ifdef FBCODE_CAFFE2
|
|
static dlopen_t dlopen_ = find_real_dlopen();
|
|
handle_ = dlopen_(library_name, flags);
|
|
#else
|
|
handle_ = dlopen(library_name, flags);
|
|
#endif
|
|
|
|
if (!handle_) {
|
|
throw std::runtime_error(dlerror());
|
|
}
|
|
|
|
// note: if you want better debugging symbols for things inside
|
|
// new_intepreter_impl, comment out this line so that the so lasts long enough
|
|
// for the debugger to see it.
|
|
unlink(library_name_.c_str());
|
|
|
|
if (custom_loader_) {
|
|
// when using the custom loader we need to link python symbols against
|
|
// the right version of the symbols for the interpreter which an be looked
|
|
// up from the handle_ to this shared library. here we register the handle
|
|
// with the code that does custom loading of python extensions.
|
|
auto deploy_set_self_ptr =
|
|
(void (*)(void*))dlsym(handle_, "deploy_set_self");
|
|
AT_ASSERT(deploy_set_self_ptr);
|
|
deploy_set_self_ptr(handle_);
|
|
}
|
|
|
|
void* new_interpreter_impl = dlsym(handle_, "new_interpreter_impl");
|
|
AT_ASSERT(new_interpreter_impl);
|
|
pImpl_ = std::unique_ptr<InterpreterImpl>(
|
|
((InterpreterImpl * (*)()) new_interpreter_impl)());
|
|
}
|
|
|
|
Interpreter::~Interpreter() {
|
|
if (handle_) {
|
|
// ensure python uninitialization runs before we dlclose the library
|
|
pImpl_.reset();
|
|
if (custom_loader_) {
|
|
auto deploy_flush_python_libs =
|
|
(void (*)())dlsym(handle_, "deploy_flush_python_libs");
|
|
deploy_flush_python_libs();
|
|
}
|
|
dlclose(handle_);
|
|
}
|
|
}
|
|
|
|
int LoadBalancer::acquire() {
|
|
TORCH_DEPLOY_TRY
|
|
thread_local int last = 0;
|
|
size_t minusers = SIZE_MAX;
|
|
int min_idx = 0;
|
|
for (size_t i = 0; i < n_; ++i, ++last) {
|
|
// NOLINTNEXTLINE(clang-diagnostic-sign-compare)
|
|
if (last >= n_) {
|
|
last = 0;
|
|
}
|
|
uint64_t prev = 0;
|
|
bool acquired = __atomic_compare_exchange_n(
|
|
&uses_[8 * last],
|
|
&prev,
|
|
1ULL,
|
|
false,
|
|
__ATOMIC_SEQ_CST,
|
|
__ATOMIC_SEQ_CST);
|
|
if (acquired) {
|
|
// fast path, we found an interpreter with no users
|
|
return last;
|
|
}
|
|
// slow path, we don't want to use this interpreter because it is being
|
|
// used by someone else.
|
|
|
|
if (prev < minusers) {
|
|
minusers = prev;
|
|
min_idx = last;
|
|
}
|
|
}
|
|
// we failed to find a completely free interpreter. heuristically use the
|
|
// one with the least number of user (note that this may have changed since
|
|
// then, so this is only a heuristic).
|
|
__atomic_fetch_add(&uses_[8 * min_idx], 1ULL, __ATOMIC_SEQ_CST);
|
|
return min_idx;
|
|
TORCH_DEPLOY_SAFE_CATCH_RETHROW
|
|
}
|
|
|
|
void LoadBalancer::free(int where) {
|
|
TORCH_DEPLOY_TRY
|
|
// NOLINTNEXTLINE(cppcoreguidelines-avoid-magic-numbers)
|
|
__atomic_fetch_sub(&uses_[8 * where], 1ULL, __ATOMIC_SEQ_CST);
|
|
TORCH_DEPLOY_SAFE_CATCH_RETHROW
|
|
}
|
|
|
|
void PythonMethodWrapper::setArgumentNames(
|
|
std::vector<std::string>& argumentNamesOut) const {
|
|
auto session = model_.acquire_session();
|
|
auto method = session.self.attr(method_name_.c_str());
|
|
auto iArgumentNames =
|
|
session.global("GetArgumentNamesModule", "getArgumentNames")({method})
|
|
.toIValue();
|
|
if (iArgumentNames.isNone()) {
|
|
return;
|
|
}
|
|
|
|
TORCH_INTERNAL_ASSERT(iArgumentNames.isList());
|
|
auto argumentNames = iArgumentNames.toListRef();
|
|
|
|
argumentNamesOut.reserve(argumentNames.size());
|
|
for (auto& argumentName : argumentNames) {
|
|
TORCH_INTERNAL_ASSERT(argumentName.isString());
|
|
argumentNamesOut.push_back(argumentName.toStringRef());
|
|
}
|
|
}
|
|
|
|
} // namespace deploy
|
|
} // namespace torch
|