Warning: session_start(): open(/var/lib/php/sessions/sess_80nj7homf3gq193c8fb1mhi9ia, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51
Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
!7
static Lock a = fairLock();
static Lock b = fairLock();
p-tt {
centerHigherConsole();
print("Initiating deadlock... :-)\n");
thread "A" {
lock a; // cool new syntax!
print("Thread A has lock A.");
sleep1Second();
print("Thread A getting lock B.");
lock b;
print("Thread A successful!");
}
thread "B" {
lock b ;
print("Thread B has lock B.");
sleep1Second();
print("Thread B getting lock A.");
lock a;
print("Thread B successful!");
}
sleepQuietly();
}