| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | - | - | ||||
| thread_pool/ | 22-Oct-2025 | - | 1,298 | 1,162 | ||
| README.md | D | 22-Oct-2025 | 444 | 7 | 6 |
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.