[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:
Lang Hames
2024-12-02 11:35:46 +11:00
parent a4c3683b66
commit 427fb5cc5a
2 changed files with 73 additions and 5 deletions

View File

@@ -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));
}
}

View File

@@ -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