Solid Sands B.V., the world-leading provider of testing and qualification technology for compilers and libraries, has announced a major update to SuperGuard C++ Core, extending its library qualification capabilities with comprehensive coverage of the multithreading facilities of the C++ standard library.
The latest SuperGuard update adds qualification support for the key multithreading facilities of the C++ standard library, including:
- <thread> header for thread creation and management
- <condition_variable>, <mutex>, and <shared_mutex> headers for synchronization and mutual exclusion
- <atomic> header for low-overhead, lock-free thread coordination and signaling.
Marcel Beemster, CTO of Solid Sands, comments: “Mobile systems in particular benefit from aggregated compute power: a single high-end SoC provides flexibility through multiple CPUs, vector and GPU for efficient sensor processing, and an NPU for resilient control. Making effective use of these resources depends on reliable multithreading support throughout the software stack, which in turn places greater demands on the correctness and quality of the underlying C++ library implementation.”
The tests in SuperGuard are designed to be portable and actively create contentious situations where resource conflicts need to be resolved correctly. By actually measuring that these conflicts have occurred, SuperGuard helps build trust in the correctness of the implementation and provides objective evidence for qualification activities.
Marcel Beemster adds: “Multithreading primitives are notoriously difficult to implement and test because of their inherent non-determinism. Their behavior may appear to be correct in the lab, only to fail when subjected to real-world conditions. This makes it essential to verify the quality of the C++ toolchain implementations. With this update, SuperGuard extends qualification support for an important part of the C++ standard library that developers increasingly depend on.”
The latest release continues the expansion of SuperGuard as a comprehensive qualification solution for C and C++ standard libraries, helping developers generate objective evidence that library implementations behave according to specification.
For more information about SuperGuard, visit www.solidsands.nl.
