Release Consistency
Classify ops as ordinary and special (properly labelled)
Special further divided into synch and nsync
Synch divided into acquire and release
Acquire: read to obtain access to critical section
Release: write to let others get access
Can not let release complete until previous ops complete (e.g., ACK all invalidations)