Identify Concurrency Conflicts in Multitasking Software
Applying interrupt protection, semaphores or mutexes to control concurrency in multitasking or multithreaded systems? Use Imagix 4D to steer between race conditions and deadlocks. Review task partitioning and intertask communication. Detect potential problems in data sharing and critical region integrity.
For C and C++ developers
Concurrency checking for multitasking software
Understand and test your concurrency control, through static analysis and verification of: