mirror of
https://github.com/pybind/pybind11.git
synced 2024-11-14 01:23:53 +00:00
[master] Wrong caching of overrides (#3465)
* override: Fix wrong caching of the overrides There was a problem when the python type, which was stored in override cache for C++ functions, was destroyed and the record wasn't removed from the override cache. Therefor, dangling pointer was stored there. Then when the memory was reused and new type was allocated at the given address and the method with the same name (as previously stored in the cache) was actually overridden in python, it would wrongly find it in the override cache for C++ functions and therefor override from python wouldn't be called. The fix is to erase the type from the override cache when the type is destroyed. * test: Pass by const ref instead of by value (clang-tidy) * test: Rename classes and move to different files Rename the classes and files so they're no too generic. Also, better place to test the stuff is in test_virtual_functions.cpp/.py as we're basically testing the virtual functions/trampolines. * Add TODO for erasure code * [pre-commit.ci] auto fixes from pre-commit.com hooks for more information, see https://pre-commit.ci Co-authored-by: pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com>
This commit is contained in:
parent
270b11d502
commit
afdc09deda
@ -1979,6 +1979,16 @@ inline std::pair<decltype(internals::registered_types_py)::iterator, bool> all_t
|
|||||||
// gets destroyed:
|
// gets destroyed:
|
||||||
weakref((PyObject *) type, cpp_function([type](handle wr) {
|
weakref((PyObject *) type, cpp_function([type](handle wr) {
|
||||||
get_internals().registered_types_py.erase(type);
|
get_internals().registered_types_py.erase(type);
|
||||||
|
|
||||||
|
// TODO consolidate the erasure code in pybind11_meta_dealloc() in class.h
|
||||||
|
auto &cache = get_internals().inactive_override_cache;
|
||||||
|
for (auto it = cache.begin(), last = cache.end(); it != last; ) {
|
||||||
|
if (it->first == reinterpret_cast<PyObject *>(type))
|
||||||
|
it = cache.erase(it);
|
||||||
|
else
|
||||||
|
++it;
|
||||||
|
}
|
||||||
|
|
||||||
wr.dec_ref();
|
wr.dec_ref();
|
||||||
})).release();
|
})).release();
|
||||||
}
|
}
|
||||||
|
@ -25,7 +25,7 @@ pybind11_enable_warnings(test_embed)
|
|||||||
target_link_libraries(test_embed PRIVATE pybind11::embed Catch2::Catch2 Threads::Threads)
|
target_link_libraries(test_embed PRIVATE pybind11::embed Catch2::Catch2 Threads::Threads)
|
||||||
|
|
||||||
if(NOT CMAKE_CURRENT_SOURCE_DIR STREQUAL CMAKE_CURRENT_BINARY_DIR)
|
if(NOT CMAKE_CURRENT_SOURCE_DIR STREQUAL CMAKE_CURRENT_BINARY_DIR)
|
||||||
file(COPY test_interpreter.py DESTINATION "${CMAKE_CURRENT_BINARY_DIR}")
|
file(COPY test_interpreter.py test_trampoline.py DESTINATION "${CMAKE_CURRENT_BINARY_DIR}")
|
||||||
endif()
|
endif()
|
||||||
|
|
||||||
add_custom_target(
|
add_custom_target(
|
||||||
|
@ -37,6 +37,22 @@ class PyWidget final : public Widget {
|
|||||||
std::string argv0() const override { PYBIND11_OVERRIDE_PURE(std::string, Widget, argv0); }
|
std::string argv0() const override { PYBIND11_OVERRIDE_PURE(std::string, Widget, argv0); }
|
||||||
};
|
};
|
||||||
|
|
||||||
|
class test_override_cache_helper {
|
||||||
|
|
||||||
|
public:
|
||||||
|
virtual int func() { return 0; }
|
||||||
|
|
||||||
|
test_override_cache_helper() = default;
|
||||||
|
virtual ~test_override_cache_helper() = default;
|
||||||
|
// Non-copyable
|
||||||
|
test_override_cache_helper &operator=(test_override_cache_helper const &Right) = delete;
|
||||||
|
test_override_cache_helper(test_override_cache_helper const &Copy) = delete;
|
||||||
|
};
|
||||||
|
|
||||||
|
class test_override_cache_helper_trampoline : public test_override_cache_helper {
|
||||||
|
int func() override { PYBIND11_OVERRIDE(int, test_override_cache_helper, func); }
|
||||||
|
};
|
||||||
|
|
||||||
PYBIND11_EMBEDDED_MODULE(widget_module, m) {
|
PYBIND11_EMBEDDED_MODULE(widget_module, m) {
|
||||||
py::class_<Widget, PyWidget>(m, "Widget")
|
py::class_<Widget, PyWidget>(m, "Widget")
|
||||||
.def(py::init<std::string>())
|
.def(py::init<std::string>())
|
||||||
@ -45,6 +61,12 @@ PYBIND11_EMBEDDED_MODULE(widget_module, m) {
|
|||||||
m.def("add", [](int i, int j) { return i + j; });
|
m.def("add", [](int i, int j) { return i + j; });
|
||||||
}
|
}
|
||||||
|
|
||||||
|
PYBIND11_EMBEDDED_MODULE(trampoline_module, m) {
|
||||||
|
py::class_<test_override_cache_helper, test_override_cache_helper_trampoline, std::shared_ptr<test_override_cache_helper>>(m, "test_override_cache_helper")
|
||||||
|
.def(py::init_alias<>())
|
||||||
|
.def("func", &test_override_cache_helper::func);
|
||||||
|
}
|
||||||
|
|
||||||
PYBIND11_EMBEDDED_MODULE(throw_exception, ) {
|
PYBIND11_EMBEDDED_MODULE(throw_exception, ) {
|
||||||
throw std::runtime_error("C++ Error");
|
throw std::runtime_error("C++ Error");
|
||||||
}
|
}
|
||||||
@ -73,6 +95,33 @@ TEST_CASE("Pass classes and data between modules defined in C++ and Python") {
|
|||||||
REQUIRE(cpp_widget.the_answer() == 42);
|
REQUIRE(cpp_widget.the_answer() == 42);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
TEST_CASE("Override cache") {
|
||||||
|
auto module_ = py::module_::import("test_trampoline");
|
||||||
|
REQUIRE(py::hasattr(module_, "func"));
|
||||||
|
REQUIRE(py::hasattr(module_, "func2"));
|
||||||
|
|
||||||
|
auto locals = py::dict(**module_.attr("__dict__"));
|
||||||
|
|
||||||
|
int i = 0;
|
||||||
|
for (; i < 1500; ++i) {
|
||||||
|
std::shared_ptr<test_override_cache_helper> p_obj;
|
||||||
|
std::shared_ptr<test_override_cache_helper> p_obj2;
|
||||||
|
|
||||||
|
py::object loc_inst = locals["func"]();
|
||||||
|
p_obj = py::cast<std::shared_ptr<test_override_cache_helper>>(loc_inst);
|
||||||
|
|
||||||
|
int ret = p_obj->func();
|
||||||
|
|
||||||
|
REQUIRE(ret == 42);
|
||||||
|
|
||||||
|
loc_inst = locals["func2"]();
|
||||||
|
|
||||||
|
p_obj2 = py::cast<std::shared_ptr<test_override_cache_helper>>(loc_inst);
|
||||||
|
|
||||||
|
p_obj2->func();
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
TEST_CASE("Import error handling") {
|
TEST_CASE("Import error handling") {
|
||||||
REQUIRE_NOTHROW(py::module_::import("widget_module"));
|
REQUIRE_NOTHROW(py::module_::import("widget_module"));
|
||||||
REQUIRE_THROWS_WITH(py::module_::import("throw_exception"),
|
REQUIRE_THROWS_WITH(py::module_::import("throw_exception"),
|
||||||
|
18
tests/test_embed/test_trampoline.py
Normal file
18
tests/test_embed/test_trampoline.py
Normal file
@ -0,0 +1,18 @@
|
|||||||
|
# -*- coding: utf-8 -*-
|
||||||
|
|
||||||
|
import trampoline_module
|
||||||
|
|
||||||
|
|
||||||
|
def func():
|
||||||
|
class Test(trampoline_module.test_override_cache_helper):
|
||||||
|
def func(self):
|
||||||
|
return 42
|
||||||
|
|
||||||
|
return Test()
|
||||||
|
|
||||||
|
|
||||||
|
def func2():
|
||||||
|
class Test(trampoline_module.test_override_cache_helper):
|
||||||
|
pass
|
||||||
|
|
||||||
|
return Test()
|
@ -214,6 +214,25 @@ static void test_gil_from_thread() {
|
|||||||
t.join();
|
t.join();
|
||||||
}
|
}
|
||||||
|
|
||||||
|
class test_override_cache_helper {
|
||||||
|
|
||||||
|
public:
|
||||||
|
virtual int func() { return 0; }
|
||||||
|
|
||||||
|
test_override_cache_helper() = default;
|
||||||
|
virtual ~test_override_cache_helper() = default;
|
||||||
|
// Non-copyable
|
||||||
|
test_override_cache_helper &operator=(test_override_cache_helper const &Right) = delete;
|
||||||
|
test_override_cache_helper(test_override_cache_helper const &Copy) = delete;
|
||||||
|
};
|
||||||
|
|
||||||
|
class test_override_cache_helper_trampoline : public test_override_cache_helper {
|
||||||
|
int func() override { PYBIND11_OVERRIDE(int, test_override_cache_helper, func); }
|
||||||
|
};
|
||||||
|
|
||||||
|
inline int test_override_cache(std::shared_ptr<test_override_cache_helper> const &instance) { return instance->func(); }
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
// Forward declaration (so that we can put the main tests here; the inherited virtual approaches are
|
// Forward declaration (so that we can put the main tests here; the inherited virtual approaches are
|
||||||
// rather long).
|
// rather long).
|
||||||
@ -378,6 +397,12 @@ TEST_SUBMODULE(virtual_functions, m) {
|
|||||||
// .def("str_ref", &OverrideTest::str_ref)
|
// .def("str_ref", &OverrideTest::str_ref)
|
||||||
.def("A_value", &OverrideTest::A_value)
|
.def("A_value", &OverrideTest::A_value)
|
||||||
.def("A_ref", &OverrideTest::A_ref);
|
.def("A_ref", &OverrideTest::A_ref);
|
||||||
|
|
||||||
|
py::class_<test_override_cache_helper, test_override_cache_helper_trampoline, std::shared_ptr<test_override_cache_helper>>(m, "test_override_cache_helper")
|
||||||
|
.def(py::init_alias<>())
|
||||||
|
.def("func", &test_override_cache_helper::func);
|
||||||
|
|
||||||
|
m.def("test_override_cache", test_override_cache);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
|
@ -439,3 +439,22 @@ def test_issue_1454():
|
|||||||
# Fix issue #1454 (crash when acquiring/releasing GIL on another thread in Python 2.7)
|
# Fix issue #1454 (crash when acquiring/releasing GIL on another thread in Python 2.7)
|
||||||
m.test_gil()
|
m.test_gil()
|
||||||
m.test_gil_from_thread()
|
m.test_gil_from_thread()
|
||||||
|
|
||||||
|
|
||||||
|
def test_python_override():
|
||||||
|
def func():
|
||||||
|
class Test(m.test_override_cache_helper):
|
||||||
|
def func(self):
|
||||||
|
return 42
|
||||||
|
|
||||||
|
return Test()
|
||||||
|
|
||||||
|
def func2():
|
||||||
|
class Test(m.test_override_cache_helper):
|
||||||
|
pass
|
||||||
|
|
||||||
|
return Test()
|
||||||
|
|
||||||
|
for _ in range(1500):
|
||||||
|
assert m.test_override_cache(func()) == 42
|
||||||
|
assert m.test_override_cache(func2()) == 0
|
||||||
|
Loading…
Reference in New Issue
Block a user