Editing Release consistency (section)

=== Post-wait ===
[[File:Post-wait in RC.png|thumb|500x500px|A release consistency example implemented by post-wait synchronization.]]
Post-wait synchronization is another implementation form of release consistency. As shown in the code to the right, correctness can be ensured if post operations occur only after all memory access are complete, especially the store to ‘a’. Apart from that, read operation should not be executed until the wait operation has completed. S2 acts as a release synchronization and S3 acts as an acquire synchronization. Therefore, S2 needs to prevent previous execution from occurring after it, and S3 needs to prevent any later execution from occurring before it. S2 does not need to prevent later  execution from occurring before it, Likewise, S3 does not need to prevent any previous execution from occurring after it.