In this paper, release sequence is defined as follows:
I'm having a problem with the last part which reads as follows: 'for any c which falls in between a and b in the modification order, c must be a part of the release sequence' but according to the previous paragraph that is not true, what if c is a write from another thread?
Aucun commentaire:
Enregistrer un commentaire