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.