- Multiversion Concurrency Control
- Deadlock Detection
- Replication
- Failure Recovery
- Available Copies
- Two Phase Locking
- Multiversion Read Consistency
- Validation at Commit
- Abort Youngest in Cycle
- File Based: provide a path to a file
- Interactive: Do not include a file
- Commands will be executed as they are entered
- Type
exit
to finish
- Needs .Net Core 1.1 is installed
dotnet portable/src.dll <file>
- Standalone:
- Mac OSX:
./standalone/osx/src <file>
- Ubuntu 16.04:
./standalone/ubuntu/src <file>
- Mac OSX:
- begin(T1) - begins a transaction named T1
- beginRO(T1) - begins a read-only transaction named T1
- R(T1,x1) - transaction T1 attempts to read variable x1
- W(T1,x1,100) - transaction T1 attempts to write variable x1 with value 100
- end(T1) - transaction T1 is either committed or aborted
- fail(1) - site 1 fails
- recover(1) - site 1 recovers
- dump() - shows the current state of all variables at all sites
- dump(i) - shows the current state of all variables at site i
- dump(xj) - shows the current state of variable xj at all sites
- newline - time advances by one
- ; - separator for concurrent events