History Tester

Eingabeformat

Eine Historie ist eine Sequenz von Elementaroperationen mit folgendem Operationen:

r = read
w = write
c = commit
a = abort

Jede Operation bezieht sich auf eine Transaktion, die mit einer Nummer referenzert wird. Schreiben und Lesen beziehen sich auf ein Datenelement, das in Klammern angegeben wird.

Der Syntax für eine Operation ist also: <Operation><Transaktion>(<Datenelement>)

Beispiel-Historien

r1(x)w1(x)c1r2(y)w2(y)c2
r1(x)w1(x)r3(y)c1w3(x)c3