16 lines
434 B
Text
16 lines
434 B
Text
| ?- metered_concurrency::run.
|
|
Worker 1 acquired semaphore
|
|
Worker 6 acquired semaphore
|
|
Worker 1 releasing semaphore
|
|
Worker 2 acquired semaphore
|
|
Worker 6 releasing semaphore
|
|
Worker 5 acquired semaphore
|
|
Worker 2 releasing semaphore
|
|
Worker 7 acquired semaphore
|
|
Worker 5 releasing semaphore
|
|
Worker 3 acquired semaphore
|
|
Worker 7 releasing semaphore
|
|
Worker 4 acquired semaphore
|
|
Worker 3 releasing semaphore
|
|
Worker 4 releasing semaphore
|
|
yes
|