Nicholas Kariniemi
0cebe1f5ab
Fix deadlock in previous implementation
...
by only allowing new inputs if the previous one has been "acked".
I.e. if you send one diff, you don't process any more diffs until you
receive a diff back. This is something specified in the Neil Frasier
paper and also something needed to prevent deadlock.
2015-08-15 18:32:25 +03:00
Nicholas Kariniemi
9f32a03d04
Force processes to synchronize on communication
...
Use parallel operation || instead of the (unsynchronized) interleave
operation |||.
2015-08-15 18:18:04 +03:00
Nicholas Kariniemi
1b99e49563
Add identifiers to events
2015-08-15 16:51:25 +03:00
Nicholas Kariniemi
da0541518e
Send unsent client changes to server
2015-08-15 16:38:20 +03:00
Nicholas Kariniemi
cd94b6a966
More complicated - loads but untested
2015-08-15 15:14:27 +03:00
Nicholas Kariniemi
14a8c340e0
More complicated model with multiple server/client pairs - wip
2015-08-15 14:58:59 +03:00
Nicholas Kariniemi
30bbfff308
More nuance - send back diff
2015-08-13 22:41:30 +03:00
Nicholas Kariniemi
bdc78589ea
Slight improvement
2015-08-13 22:25:18 +03:00
Nicholas Kariniemi
2736769825
Basic CSP "sync" - some working CSPM
2015-08-13 21:58:03 +03:00
