openharmony/arkcompiler_runtime_core
1
0
Fork 0
mirror of https://gitee.com/openharmony/arkcompiler_runtime_core synced 2024-11-23 23:00:08 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
35223d5678
arkcompiler_runtime_core/static_core/models
History
molotkovmikhail a5563dc39a Update all copyrights 
Update all copyrights headers with 2024

Issue: #IAEF1K

Tests: `ninja tests`

Signed-off-by: molotkovmikhail <molotkov.mikhail@huawei-partners.com>
2024-07-20 18:52:46 +03:00
..
thread_pool Update all copyrights 2024-07-20 18:52:46 +03:00
README.md Add arkplatform and static_core 2023-09-29 17:50:24 +03:00

README.md

Thread pool

TLA+/PlusCal model for thread pool (runtime/thread_pool.h) is placed in thread_pool/thread_pool.tla. This model was verified in TLA+ Toolbox tool with the following parameters: max_producers = 2, max_workers = 2, queue_max_size = 2, max_controllers = 2, deadlock check. The verification process took about 2 hours on machine with the following configuration: Intel Core i7-9850H CPU @ 2.60GHz, 12 cores, 16 GB RAM.