netsec-ethz / fpki

4 stars 1 forks source link

Bundle and deadlocks #70

Closed juagargi closed 1 week ago

juagargi commented 2 weeks ago

Introduce support for bundles and solve issues. For efficiency, the pipeline modifies the DB in different stage types, with multiple stage instances per type. Since the SMT update is a synchronized step, where the atomic unit is a line (or chain) seen from the CSV files, the synchronization step and serialization needs to happen on a stage type that handles either lines or chains. We pick the chainToCerts stage type for this. Steps:

(Done via the WithStallStages option in the pipeline)

Additionally and while reproducing bugs related to bundles and concurrent insertions, some deadlocks have been observed at articuno. Steps:

Deadlocks are not reproducible anymore.


This change is Reviewable