This week of C++ | October 19-25.
DEV Community

This week of C++ | October 19-25.

This week's theme: passing tests is wonderful. Knowing what they didn't catch is even better.

GPU kernels: symbolic checking looks beneath the tolerances

Experimental tool Racer checks PTX kernels against reference implementations using symbolic expressions. Its authors report finding 82 bugs across 23 libraries, including 76 they say were previously unknown.

That matters because floating-point tests often need tolerances. A kernel can be "close enough" numerically while still being logically wrong. Racer aims to catch some of those errors.

It has limits:

  • checking can be costly
  • supported kernel patterns are constrained
  • techniques such as shape reduction come with assumptions

So this is promising research, not a magic replacement for production testing.

Embedded cryptography: the fastest algorithm depends on the machine

A wolfSSL benchmark across Pico-class devices, ESP32, and Raspberry Pi Zero found that some post-quantum TLS configurations outperformed selected classical ones.

The catch is delightfully familiar: implementation details can flip the ranking. Without architecture-specific assembly, an algorithm expected to be faster may lose. ML-DSA signing.

The practical rule: benchmark the exact library, processor, and authentication pairing you plan to ship on your chip. "Fast on the benchmark" is not a hardware feature.

LLVMhammer demonstrates a specialized Rowhammer fault

LLVMhammer demonstrates a specialized Rowhammer fault affecting Triton's LLVM-based compilation pipeline. The reported result: GPU kernels that remain correct but run 4 - 16% slower, with the slowdown persisting through cached kernels in experiments on NVIDIA and AMD.

This is not evidence of an everyday LLVM regression. It is a reminder that JIT systems have another artifact to trust: the compiled kernel sitting in the cache.

For performance-sensitive systems, validating cached outputs and keeping performance regression checks alongside correctness tests may pay off.

LLVM Release

LLVM 23.1.4 released this week.

Read on DEV Community ↗ ← Back to News

Comments

No comments yet. Start the discussion.