synchronization cpp async atomic promise deadlock multithreading locks parallelism semaphore mutex producer-consumer threads futures threadpool thread-safe race-conditions lock-guard cpp-nuts