Processor AProcessor BStoreAcquire lock RVN-X, CAS=NoneAcquire lock RVN-Y, CAS=NoneSuccess, lease=10 secondsFail / Already AcquiredRead Current Lock RVNRVN-X, lease=10 secondsSleep off the current lease durationAcquire lock RVN-Y, CAS=RVN-XSuccess, lease=10 secondsSAFETY VIOLATION: both processors are active!Processor AProcessor BStore