Assertion: memory model | /r/CapableOf | specify synchronization barriers
Facets:
Source sentences:
text: The memory model specifies synchronization barriers that are established via special, well-defined synchronization operations such as acquiring a lock by entering a synchronized block or method.