Locksim is a simulator for database locking, for teaching and perhaps research