search

nano-o / streamlet

MIT License
0 stars 0 forks source link

Typo in blog post? #1

Open lemmy opened 1 month ago

lemmy commented 1 month ago

"Sequentialization

Consider an execution e of Streamlet and two steps s1 and s2 of two different processes p1 and p2 such that s1 occurs right before s2, s1 is a step of epoch e1, s2 is a step of epoch e2, and e2<e1. Note that the global state written by s2 is never read by s1 because a process in epoch e1 only uses information from epoch smaller or equal to e1. [...]"

In the blog post, should e2<e1 rather be e1<e2?

nano-o commented 1 month ago

Yes you are right. Thanks for reporting!