kmgreen2 / agglo

Agglo: A Process-Anywhere Framework for Event Stream Processing
https://kmgreen2.github.io/agglo/
MIT License
2 stars 0 forks source link

Entwine Process has Race Conditions #61

Closed kmgreen2 closed 2 years ago

kmgreen2 commented 2 years ago

The main race is:

  1. Many processes appending to the same substream
  2. Many processes anchoring

The problem is the current anchor code will formulate an incorrect proof, because it builds the proof based on the current head of the substream. All append+anchor operations to the same substream should be synchronized.

kmgreen2 commented 2 years ago

fixed by #58