1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170
|
// Copyright 2014 The Chromium Authors
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.
#include "components/keyed_service/core/dependency_graph.h"
#include <stddef.h>
#include <algorithm>
#include <iterator>
#include <map>
#include <string_view>
#include <vector>
#include "base/containers/circular_deque.h"
#include "base/memory/raw_ptr.h"
namespace {
// Escapes |id| to be a valid ID in the DOT format [1]. This is implemented as
// enclosing the string in quotation marks, and escaping any quotation marks
// found with backslashes.
// [1] http://www.graphviz.org/content/dot-language
std::string Escape(std::string_view id) {
std::string result = "\"";
result.reserve(id.size() + 2); // +2 for the enclosing quotes.
size_t after_last_quot = 0;
size_t next_quot = id.find('"');
while (next_quot != std::string_view::npos) {
result.append(id.substr(after_last_quot, next_quot - after_last_quot));
result.append("\"");
after_last_quot = next_quot + 1;
next_quot = id.find('"', after_last_quot);
}
result.append(id.substr(after_last_quot, id.size() - after_last_quot));
result.append("\"");
return result;
}
} // namespace
DependencyGraph::DependencyGraph() = default;
DependencyGraph::~DependencyGraph() = default;
void DependencyGraph::AddNode(DependencyNode* node) {
all_nodes_.push_back(node);
construction_order_.clear();
}
void DependencyGraph::RemoveNode(DependencyNode* node) {
std::erase(all_nodes_, node);
std::erase_if(edges_, [node](const auto& edge) {
return edge.first == node || edge.second == node;
});
construction_order_.clear();
}
void DependencyGraph::AddEdge(DependencyNode* depended,
DependencyNode* dependee) {
edges_.insert(std::make_pair(depended, dependee));
construction_order_.clear();
}
bool DependencyGraph::GetConstructionOrder(
std::vector<raw_ptr<DependencyNode, VectorExperimental>>* order) {
if (construction_order_.empty() && !BuildConstructionOrder())
return false;
*order = construction_order_;
return true;
}
bool DependencyGraph::GetDestructionOrder(
std::vector<raw_ptr<DependencyNode, VectorExperimental>>* order) {
if (construction_order_.empty() && !BuildConstructionOrder())
return false;
*order = construction_order_;
// Destroy nodes in reverse order.
std::reverse(order->begin(), order->end());
return true;
}
bool DependencyGraph::BuildConstructionOrder() {
// Step 1: Build a set of nodes with no incoming edges.
base::circular_deque<DependencyNode*> queue(base::from_range, all_nodes_);
for (const auto& pair : edges_)
base::Erase(queue, pair.second);
// Step 2: Do the Kahn topological sort.
std::vector<raw_ptr<DependencyNode, VectorExperimental>> output;
EdgeMap edges(edges_);
while (!queue.empty()) {
DependencyNode* node = queue.front();
queue.pop_front();
output.push_back(node);
std::pair<EdgeMap::iterator, EdgeMap::iterator> range =
edges.equal_range(node);
auto it = range.first;
while (it != range.second) {
DependencyNode* dest = it->second;
auto temp = it;
it++;
edges.erase(temp);
bool has_incoming_edges = std::ranges::any_of(
edges, [dest](const auto& edge) { return edge.second == dest; });
if (!has_incoming_edges)
queue.push_back(dest);
}
}
if (!edges.empty()) {
// Dependency graph has a cycle.
return false;
}
construction_order_ = output;
return true;
}
std::string DependencyGraph::DumpAsGraphviz(
const std::string& toplevel_name,
const base::RepeatingCallback<std::string(DependencyNode*)>&
node_name_callback) const {
std::string result("digraph {\n");
std::string escaped_toplevel_name = Escape(toplevel_name);
// Make a copy of all nodes.
base::circular_deque<DependencyNode*> nodes(base::from_range, all_nodes_);
// State all dependencies and remove |second| so we don't generate an
// implicit dependency on the top level node.
result.append(" /* Dependencies */\n");
for (const auto& pair : edges_) {
result.append(" ");
result.append(Escape(node_name_callback.Run(pair.second)));
result.append(" -> ");
result.append(Escape(node_name_callback.Run(pair.first)));
result.append(";\n");
base::Erase(nodes, pair.second);
}
// Every node that doesn't depend on anything else will implicitly depend on
// the top level node.
result.append("\n /* Toplevel attachments */\n");
for (DependencyNode* node : nodes) {
result.append(" ");
result.append(Escape(node_name_callback.Run(node)));
result.append(" -> ");
result.append(escaped_toplevel_name);
result.append(";\n");
}
result.append("\n /* Toplevel node */\n");
result.append(" ");
result.append(escaped_toplevel_name);
result.append(" [shape=box];\n");
result.append("}\n");
return result;
}
|