Ben Kimock

Probably poor word choice on my part. I'm not that interested in _distilled_ examples either. In any case, it looks like POSIX requires 3 special files: > The following files...

Try adding `-Zmiri-disable-isolation` to your args. The `-Z` flags for Miri just like the `-Z` and `-C` flags for rustc are command-line arguments (Miri is basically a hacked-up rustc). `MIRIFLAGS`...

I've manually grabbed a list for you for `realpath`: [realpath-crates.txt](https://github.com/rust-lang/miri/files/9022085/realpath-crates.txt) I have a very simple website which is just Cloudfront + S3 at https://miri.saethlin.dev (most people care about https://miri.saethlin.dev/ub). I'm...

Since @eduardosm has been doing some amazing work on implementing LLVM x86 intrinsics, here's my list of those that are encountered currently in test suites: ``` ( 1) 6867 (74.6%,...

Here's an update: ``` ( 1) 214 (40.9%, 40.9%): llvm.x86.sse41.pblendw ( 2) 128 (24.5%, 65.4%): llvm.x86.rdtsc ( 3) 37 ( 7.1%, 72.5%): llvm.x86.sse41.blendvps ( 4) 22 ( 4.2%, 76.7%): llvm.x86.sse41.ptestz...

The runtime of this example is extremely erratic. I just ran the tests a few times with SB and the data race detector off, and I'm seeing runtimes between 8...

@newpavlov You are reporting a slowdown with Stacked Borrows, not the data race detector, which is the topic of this issue. Your example does not have a significant slowdown due...

> how sure are we that the slowdown is even real? Considering that nobody has managed to reproduce such a slowdown on an issue that's over 3 years old I'm...

I think the problem here is that `core` counts as a local crate. Really, hacking on rust-lang/rust is going to be a bear because of this. It currently has 121...

Since there's now effort port new implementations from musl, I'm more against changes like this that would cause implementation divergence.