Assertion: release consistency | /r/HasProperty | based on observation
Facets:
Source sentences:
text: Sequential consistency can be achieved simply by hardware implementation, while release consistency is also based on an observation that most of the parallel programs are properly synchronized.