Assumption - Txns communicate only via Read and Write
Read and Write are the only operations the system will control to attain serializability.
So, if transactions communicate via messages, then implement SendMsg as Write, and ReceiveMsg as Read.
Else, you could have the following: w1[x] r2[x] send2[M] receive1[M]
- data manager didn’t know about send/receive and thought the execution was SR.
Also watch out for brain transport