Abstract: Multicore processors are widely used in safety-critical systems. To take advantage of the performance benefits of these platforms, software engineers rely on multithreading libraries to ...