Write Once States

Invalid
Valid unwritten (valid)
Valid written once (reserved)
Valid written multiple (dirty)
Another example of an ownership protocol -- can be very slow for tightly-coupled sharing