SHARE
TWEET

Untitled

a guest May 19th, 2017 41 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. Recoverable: Hvis T' skriver til X som T etterpå leser fra, så må T' comitte før T. (Hvis ikke nonrecoverable)
  2.  
  3. w1(X);w2(X);c2;c1; er enda recoverable, det gjelder kun lesing, ikke skriving.
  4.  
  5. Cascadeless (Avoid cascadeless abort): T kan ikke lese X inntil T' som skrev til X har committet.
  6.  
  7. Strict: T kan ikke skrive/lese X inntil T' som skrev til X har committet.
RAW Paste Data
Pastebin PRO Summer Special!
Get 40% OFF on Pastebin PRO accounts!
Top