Concurrency - HelpMeTest

Testing

SPIN and NuSMV: Model Checkers for Concurrent System Verification

Race conditions are one of the hardest bugs to find with tests. A threading bug might only trigger after a specific interleaving of 8 operations across 3 goroutines, and the window for that interleaving might be 10 nanoseconds. You could run the test a million times and never hit it

C++

C++ Thread Sanitizer (TSan): Detecting Data Races and Thread Bugs

ThreadSanitizer (TSan) is a dynamic analysis tool built into Clang and GCC that detects data races, deadlocks, and other concurrency bugs in C++ programs.

Go

Go Race Detector: Finding and Fixing Data Races in Concurrent Code

Go's race detector is a built-in tool that instruments your program to detect concurrent access to shared memory without synchronization.

Java

Advanced Java Concurrency Testing: Thread Safety, Deadlocks, and Race Conditions

Testing concurrent Java code is harder than testing single-threaded code because race conditions and deadlocks are non-deterministic.

Java

Java Concurrency Testing: CountDownLatch, CyclicBarrier, and ThreadSanitizer

Concurrent Java code is notoriously difficult to test. The JVM's threading model, JIT compilation, and memory model create bugs that appear only under load, on specific hardware, or with particular GC settings. Good concurrent testing is a combination of the right synchronization primitives, stress testing, and race detection

C++

ThreadSanitizer for C/C++: Detecting Races in Multithreaded Code

ThreadSanitizer (TSan) is a runtime data race detector for C and C++ built into GCC and Clang.

Go

Go Race Detector: Finding Data Races in Concurrent Go Code

Data races are one of the hardest bugs to find in concurrent programs.

Latest