- Clone or fork this repository
https://github.com/KenEzekiel/Tubes-MBD
- Use test-case or make your own test case and put it into inputs.txt. For the syntax, input: textfile of a schedule, separated by new lines
Example:
RX(Y)
WX(Y)
XLZ(Y)
SLZ(Y)
UL(Y)
CX
VX
- Run the appropriate algorithm
python src/<TwoPhaseLockingProtocol, MVTimestampProtocol, or ValidationProtocol>.py
- The CLI program will ask you about the input file and output, enter without .txt extension
Input file: 2pl
Output file: 2pl_output