A rough prototype for Hydroflow consistency analysis, in the spirit of Bloom's budplot tool.
Input should be a .dot file, as produced by the Hydroflow method serde_graph().to_dot(). The output is a file taint.dot that is a recoloring of the input graph. The legend should be as follows:
Edges:
- Solid vs Dotted edges: deterministic vs non-deterministic ordering
- Green vs Red edges: monotone vs non-monotone sources
Nodes:
- Solid vs Dotted border: deterministic vs non-deterministic ordering
- Green border: monotone
- Blue/Yellow/Gray fill: consistent (untainted). These colors come from Hydroflow (Blue is pull, yellow is push, gray is handoff).
- Red fill: Inconsistent (tainted), i.e. downstream of non-determinism AND non-monotocity -- hence inconsistent (across runs or replicas)
Example:
% python3 flowrules.py graph-joins.dot
% dot -Tpdf taint.dot > taint.pdf
% open taint.pdfI also recomment the VScode extension for Graphviz to save the trouble of running dot and generating pdfs.