Struct edge_properties
poet::mutex_grapher::edge_properties — Bundled edge properties for locking_order_graph.
Synopsis
// Bundled edge properties for locking_order_graph. struct edge_properties { bool locking_order_violation; };
Description
Each edge in the locking_order_graph of the mutex_grapher
class has an object of this class associated with it as its bundled property.
If the locking_order_graph is acyclic immeditately after the edge was added
to the graph, then the locking_order_violation
member will be
false
. If the graph has a cycle, then the locking_order_violation
member will be true
.
The locking_order_violation
member is used by mutex_grapher::write_graphviz
to color the edges (red for violations, black otherwise) in the graphviz output.