Method ApplyDependencies

src/txgraph.cpp:1559–1593

}

void GenericClusterImpl::ApplyDependencies(TxGraphImpl& graph, int level, std::span<std::pair<GraphIndex, GraphIndex>> to_apply) noexcept
{
    // Sort the list of dependencies to apply by child, so those can be applied in batch.
    std::ranges::sort(to_apply, [](auto& a, auto& b) { return a.second < b.second; });
    // Iterate over groups of to-be-added dependencies with the same child.
    auto it = to_apply.begin();
    while (it != to_apply.end()) {
        auto& first_child = graph.m_entries[it->second].m_locator[level];
        const auto child_idx = first_child.index;
        // Iterate over all to-be-added dependencies within that same child, gather the relevant
        // parents.
        SetType parents;
        while (it != to_apply.end()) {
            auto& child = graph.m_entries[it->second].m_locator[level];
            auto& parent = graph.m_entries[it->first].m_locator[level];
            Assume(child.cluster == this && parent.cluster == this);
            if (child.index != child_idx) break;
            parents.Set(parent.index);
            ++it;
        }
        // Push all dependencies to the underlying DepGraph. Note that this is O(N) in the size of
        // the cluster, regardless of the number of parents being added, so batching them together
        // has a performance benefit.
        m_depgraph.AddDependencies(parents, child_idx);
    }

    // Finally set the cluster to NEEDS_FIX, so its linearization is fixed the next time it is
    // attempted to be made ACCEPTABLE.
    Assume(!NeedsSplitting());
    Assume(!IsOversized());
    graph.SetClusterQuality(level, m_quality, m_setindex, QualityLevel::NEEDS_FIX);

    // Finally push the changes to graph.m_entries.
    Updated(graph, /*level=*/level, /*rename=*/false);
}

void SingletonClusterImpl::ApplyDependencies(TxGraphImpl&, int, std::span<std::pair<GraphIndex, GraphIndex>>) noexcept
{