Transaction Input
Define your transaction schedule. Use R1(A), W2(B), C1, A2 format. Then click "Run Analyzer".
Separate operations with semicolons or spaces. Changes will require re-running the analyzer.
Schedule Overview & Processing Log
Overview of parsed operations, transaction summaries, and schedule visualization. Tables are scrollable.
Schedule Visualization (Timeline)
Click 'Run Analyzer' to process the current schedule for the schedule timeline.
Operations Log (Chronological)
Click 'Run Analyzer' to process the current schedule for the operations log.
Transaction Summaries
Click 'Run Analyzer' to process the current schedule for the transaction summaries.
Conflict Precedence Graph
Interactive: Drag nodes, pan graph. Cycles indicate non-serializability. Colors: RW (teal), WR (orange), WW (purple), Cycle (red).
Click 'Run Analyzer' to process the current schedule and see the graph.
AI Schedule Reordering
Use generative AI to attempt reordering the current schedule into a conflict-serializable one. This works independently of the main analyzer's "Run" button.
Analyzer Not Run
The main analyzer hasn't been run for the current schedule. AI reordering will use the raw schedule input. Consider running the main analyzer first for a complete overview.
2PL Compliance & Recoverability
Analysis of schedule compliance with Two-Phase Locking protocols and recoverability properties.
Click 'Run Analyzer' to process the current schedule for 2PL analysis.
Lock Simulation (Strict 2PL)
Step through the schedule to see lock acquisitions, releases, and potential deadlocks.
Click 'Run Analyzer' to process the current schedule for simulation.