Discrete Event Gnu Advanced Scheduling for plug-in replacement of pthread compatible applications. Generates deterministic execution runs suitable for discrete event simulations and formal verification.
pthreadw is a profiling library for multi-threaded programs. It can be used to automatically identify common problems related to threads that limit performance of parallel programs such as lock contention or load imbalance.