| Name | Date | Size | ||
|---|---|---|---|---|
| .. | 25-Oct-2024 | 4 KiB | ||
| README.md | H A D | 25-Oct-2024 | 444 | |
| thread_pool/ | H | 25-Oct-2024 | 4 KiB |
README.md
1## Thread pool 2 3TLA+/PlusCal model for thread pool (`runtime/thread_pool.h`) is placed in `thread_pool/thread_pool.tla`. 4This model was verified in `TLA+ Toolbox` tool with the following parameters: `max_producers = 2`, 5`max_workers = 2`, `queue_max_size = 2`, `max_controllers = 2`, deadlock check. 6The verification process took about 2 hours on machine with the following configuration: 7Intel Core i7-9850H CPU @ 2.60GHz, 12 cores, 16 GB RAM.