Peek example of double checking has race condition

JoshOrndorff / LearnRholangByExample

Teaches rholang to beginners and intermediate programmers through hands-on examples and experimentation.

67 stars 32 forks source link

Peek example of double checking has race condition #15

Closed JoshOrndorff closed 5 years ago

JoshOrndorff commented 5 years ago

Specifically, in the grandmaCheck.rho I say I'm double checking a message I sent to grandma. But it's possible that she may receive it before I ever get to double check it.

A better example would be reading a value from a state channel, and leaving it also on the state channel. This example is also more complex.

JoshOrndorff commented 5 years ago

@zsluedem I finally got around to fixing this. How do you like it now?