Growing rồi shrinking phase để đảm bảo serializability
Phím tắt: ←/→ từng bước · Space tự chạy/tạm dừng