From f9727c918ea8b82a1ef1a109c6e9fbe78e1c0e7b Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Tue, 23 Dec 2025 10:12:31 +0100 Subject: [PATCH] miri bog post: minor tweaks --- personal/_posts/2025-12-22-miri.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/personal/_posts/2025-12-22-miri.md b/personal/_posts/2025-12-22-miri.md index 3966d43..272f9c3 100644 --- a/personal/_posts/2025-12-22-miri.md +++ b/personal/_posts/2025-12-22-miri.md @@ -38,7 +38,7 @@ This is mostly about operating system APIs as well as CPU vendor intrinsics. The following list attempts to summarize which shims have been added to Miri since the previous update: - Greatly expand support for Windows API shims, covering in particular basic file access (by @beepster4096, @CraftSpider). -- Support for various new file descriptor kinds on Unix and specifically Linux, such as `socketpair`, `pipe`, and `eventfd` (by @DebugSteven, @tiif, @RalfJung, @FrankReh). +- Support for various new file descriptor kinds on Unix and specifically Linux, such as `socketpair` (only `SOCK_STREAM`), `pipe`, and `eventfd` (by @DebugSteven, @tiif, @RalfJung, @FrankReh). - Support for Linux `epoll` (by @tiif with some groundwork and extensions by @DebugSteven, @FrankReh, @RalfJung). - Broaden the general file API support (by @Pointerbender, @Jefffrey, @tiif, @newpavlov). - Support for many Intel vendor intrinsics covering SSE2 all the way up to AVX2 (mostly by @eduardosm with some help by @TDecking, @Kixunil). Thanks to @folkertdev, Miri even supports some AVX-512 intrinsics, making it a suitable [testbed](https://trifectatech.org/blog/emulating-avx-512-intrinsics-in-miri/) for code you may not be able to run on real hardware! @@ -121,7 +121,7 @@ Miri is still not exactly fast, but some performance work helped significantly s The data race checker and weak memory support in Miri was originally based on a paper that followed the C++11 concurrency semantics. However, Rust is specified to use the C++20 semantics, which required some adjustments. @cbeuw did the bulk of that work, with help by @SabrinaJewson and @michaliskok. -(See the [paper](https://plf.inf.ethz.ch/research/popl26-miri.html) for more details on this.) +(See [§4 in the paper](https://plf.inf.ethz.ch/research/popl26-miri.html) for more details on this.) As part of writing the paper, I also found and fixed two flaws in the core of the weak memory implementation. On top of this, @geetanshjuneja adjusted Miri's scheduler to be fully non-deterministic, making it possible to find issues that would not arise with round-robin scheduling. -- 2.39.5