[ORC] Track all dependencies on symbols that aren't Ready yet.
AsynchronousSymbolQuery tracks the symbols that it depends on in order to (1) detach the query in the event of a failure, and (2) report those dependencies to clients of the ExecutionSession::lookup method (via the RegisterDependencies argument). Previously we tracked only dependencies on symbols that didn't meet the required state (the only symbols that the query needs to be attached to), but this is insufficient to report all necessary dependencies to lookup clients. E.g. A lookup requiring SymbolState::Resolved where some matched symbol is already Resolved but not yet Emitted or Ready would result in the dependency on that symbol not being reported, which could result in illegal access in concurrent JIT setups. (This bug was discovered by @mikaoP on discord with a simple concurrent JIT setup). This patch tracks and reports all dependencies on symbols that aren't Ready yet, correcting the under-reporting issue. AsynchronousSymbolQuery::detach is updated to stop asserting that all depended-upon symbols have a query attached.
This commit is contained in:
@@ -938,7 +938,6 @@ Error JITDylib::resolve(MaterializationResponsibility &MR,
|
||||
auto &MI = MII->second;
|
||||
for (auto &Q : MI.takeQueriesMeeting(SymbolState::Resolved)) {
|
||||
Q->notifySymbolMetRequiredState(Name, ResolvedSym);
|
||||
Q->removeQueryDependence(*this, Name);
|
||||
if (Q->isComplete())
|
||||
CompletedQueries.insert(std::move(Q));
|
||||
}
|
||||
@@ -1207,9 +1206,8 @@ void JITDylib::MaterializingInfo::removeQuery(
|
||||
PendingQueries, [&Q](const std::shared_ptr<AsynchronousSymbolQuery> &V) {
|
||||
return V.get() == &Q;
|
||||
});
|
||||
assert(I != PendingQueries.end() &&
|
||||
"Query is not attached to this MaterializingInfo");
|
||||
PendingQueries.erase(I);
|
||||
if (I != PendingQueries.end())
|
||||
PendingQueries.erase(I);
|
||||
}
|
||||
|
||||
JITDylib::AsynchronousSymbolQueryList
|
||||
@@ -2615,6 +2613,12 @@ void ExecutionSession::OL_completeLookup(
|
||||
LLVM_DEBUG(dbgs()
|
||||
<< "matched, symbol already in required state\n");
|
||||
Q->notifySymbolMetRequiredState(Name, SymI->second.getSymbol());
|
||||
|
||||
// If this symbol is in anything other than the Ready state then
|
||||
// we need to track the dependence.
|
||||
if (SymI->second.getState() != SymbolState::Ready)
|
||||
Q->addQueryDependence(JD, Name);
|
||||
|
||||
return true;
|
||||
}
|
||||
|
||||
@@ -3165,7 +3169,6 @@ void ExecutionSession::IL_makeEDUEmitted(
|
||||
Q->notifySymbolMetRequiredState(SymbolStringPtr(Sym), Entry.getSymbol());
|
||||
if (Q->isComplete())
|
||||
Queries.insert(Q);
|
||||
Q->removeQueryDependence(JD, SymbolStringPtr(Sym));
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@@ -518,6 +518,71 @@ TEST_F(CoreAPIsStandardTest, TestTrivialCircularDependency) {
|
||||
<< "Self-dependency prevented symbol from being marked ready";
|
||||
}
|
||||
|
||||
TEST_F(CoreAPIsStandardTest, TestBasicQueryDependenciesReporting) {
|
||||
// Test that dependencies are reported as expected.
|
||||
|
||||
bool DependenciesCallbackRan = false;
|
||||
|
||||
std::unique_ptr<MaterializationResponsibility> FooR;
|
||||
std::unique_ptr<MaterializationResponsibility> BarR;
|
||||
|
||||
cantFail(JD.define(std::make_unique<SimpleMaterializationUnit>(
|
||||
SymbolFlagsMap({{Foo, FooSym.getFlags()}}),
|
||||
[&](std::unique_ptr<MaterializationResponsibility> R) {
|
||||
FooR = std::move(R);
|
||||
})));
|
||||
|
||||
cantFail(JD.define(std::make_unique<SimpleMaterializationUnit>(
|
||||
SymbolFlagsMap({{Bar, BarSym.getFlags()}}),
|
||||
[&](std::unique_ptr<MaterializationResponsibility> R) {
|
||||
BarR = std::move(R);
|
||||
})));
|
||||
|
||||
cantFail(JD.define(std::make_unique<SimpleMaterializationUnit>(
|
||||
SymbolFlagsMap({{Baz, BazSym.getFlags()}}),
|
||||
[&](std::unique_ptr<MaterializationResponsibility> R) {
|
||||
cantFail(R->notifyResolved({{Baz, BazSym}}));
|
||||
cantFail(R->notifyEmitted({}));
|
||||
})));
|
||||
|
||||
// First issue a lookup for Foo and Bar so that we can put them
|
||||
// into the required states for the test lookup below.
|
||||
ES.lookup(
|
||||
LookupKind::Static, makeJITDylibSearchOrder(&JD),
|
||||
SymbolLookupSet({Foo, Bar}), SymbolState::Resolved,
|
||||
[](Expected<SymbolMap> Result) {
|
||||
EXPECT_THAT_EXPECTED(std::move(Result), Succeeded());
|
||||
},
|
||||
NoDependenciesToRegister);
|
||||
|
||||
cantFail(FooR->notifyResolved({{Foo, FooSym}}));
|
||||
cantFail(FooR->notifyEmitted({}));
|
||||
|
||||
cantFail(BarR->notifyResolved({{Bar, BarSym}}));
|
||||
|
||||
ES.lookup(
|
||||
LookupKind::Static, makeJITDylibSearchOrder(&JD),
|
||||
SymbolLookupSet({Foo, Bar, Baz}), SymbolState::Resolved,
|
||||
[](Expected<SymbolMap> Result) {
|
||||
EXPECT_THAT_EXPECTED(std::move(Result), Succeeded());
|
||||
},
|
||||
[&](const SymbolDependenceMap &Dependencies) {
|
||||
EXPECT_EQ(Dependencies.size(), 1U)
|
||||
<< "Expect dependencies on only one JITDylib";
|
||||
EXPECT_TRUE(Dependencies.count(&JD))
|
||||
<< "Expect dependencies on JD only";
|
||||
auto &Deps = Dependencies.begin()->second;
|
||||
EXPECT_EQ(Deps.size(), 2U);
|
||||
EXPECT_TRUE(Deps.count(Bar));
|
||||
EXPECT_TRUE(Deps.count(Baz));
|
||||
DependenciesCallbackRan = true;
|
||||
});
|
||||
|
||||
cantFail(BarR->notifyEmitted({}));
|
||||
|
||||
EXPECT_TRUE(DependenciesCallbackRan);
|
||||
}
|
||||
|
||||
TEST_F(CoreAPIsStandardTest, TestCircularDependenceInOneJITDylib) {
|
||||
// Test that a circular symbol dependency between three symbols in a JITDylib
|
||||
// does not prevent any symbol from becoming 'ready' once all symbols are
|
||||
|
||||
Reference in New Issue
Block a user