4 ms·

This same discussion happens in every thread about C safety. I wrote about it in my essay, "With undefined behavior, anything is possible"[1]. Basically, by sa

This same discussion happens in every thread about C safety. I wrote about it in my essay, "With undefined behavior, anything is possible"[1]. Basically, by saying the compiler is doing things wrong even though it is following the standard, you're putting yourself in the "semi-portable C" camp. That's fine, there are lots of people in that camp. It still represents important C projects such as the Linux kernel, which is written in the GCC dialect of C, with flags to control various things that would otherwise be undefined behavior. (It now compiles in Clang as well, but I'd ascribe that to a significant effort in making Clang successfully compile the GCC dialect; in either case it's most decidedly not standard C) Here's the thing, though. Even though a good case can be made for the semi-portable C camp, it is losing. Regehr's proposal for a "Friendly C" dialect failed, and, a few years on it certainly doesn't look like it will be taken up again. A lot of people who care about undefined behavior are simply moving to Rust. Or if you do want the advantages of C (extreme portability, excellent support from tools, etc), then you use tools such as static analyzers, sanitizers, and fuzzers, with the goal of getting all UB (as defined by the standard) out of your program. So, bottom line, if you're hoping for consensus on "reasonable" behavior from a C compiler, so that you can count on your code working (even if it contains UB as defined by the standard), it's not going to happen. [1]: https://raphlinus.github.io/programming/rust/2018/08/17/undefined-behavior.html https://raphlinus.github.io/programming/rust/2018/08/17/unde...

pif 6y ago
> "semi-portable C" camp Do you mean the "every CPU is an x86" camp?
- jcranmer 6y ago
  The concept is closer to the idea that C is portable assembler, and that by writing very specific constructions in C you can reliably control the exact assembly that is emitted.
- raphlinus 6y ago
  No, that's the unportable camp, which doesn't have much following these days. Semi-portable basically means that you use #ifdef and similar techniques to control the code that gets generated for the particular CPU and platform. To give one example, a lock-free ring buffer may have memory barriers that are #ifdef'ed out on x86 because you can rely on total store order. Similarly, `volatile` on MSVC can be expected to provide memory ordering guarantees (see https://docs.microsoft.com/en-us/cpp/cpp/volatile-cpp?view=msvc-160 https://docs.microsoft.com/en-us/cpp/cpp/volatile-cpp?view=m...).
btrask 6y ago
Or... the standard just has bugs which could be fixed. Bugs meaning: being out of line with the history of C and large amounts of C code in the wild. The more people beat the standard drum, the worse things will get until the standard itself is fixed. Other languages that don't have a standard don't have this problem (but they do have other problems).
- raphlinus 6y ago
  Another characteristic of this topic is that people from different camps keep talking past each other, and the discussion goes in circles. What you propose is basically identical to Regehr's "Proposal for a Friendly Dialect of C". What's different in 2021 that will make it succeed now when it failed in 2014? If anything, there's less interest now, as there are viable alternatives and increased investment in tools that work with standard C. Small bugs are being fixed. One of the most surprising is that shift-left of a negative number was UB (a fact that would be shocking to anyone in the semi-portable camp, who would reasonably expect to to compile to SAL on x86). Fortunately, this (ETA: hopefully) will be fixed in C2x. ETA: As of N2596, it's still not fixed in the C2x draft. There certainly have been proposals to fix it, and I thought it had been agreed upon, but if so, it hasn't found its way into the draft yet. In the mean time, good luck shifting those negative integers!
  - dale_glass 6y ago
    "What's different in 2021 that will make it succeed now when it failed in 2014? If anything, there's less interest now, as there are viable alternatives and increased investment in tools that work with standard C." You may be right, but many things could conceivably change. Viable alternatives like Rust may result in C losing ground and feeling pressure to keep up. Some huge corporation could announce a focus on security and that they will try to minimize C usage. More people could adopt the goal of a "friendly dialect of C", and be more determined or successful. Compiler developers could somehow step over the line -- make a compiler that makes such wild optimizations that it results in a backlash. Or it could just be improved very gradually, with little bits of the "friendly dialect" being adopted one by one rather than all at once. I'm not saying by any means I'm confident in anything of the sort, but things change a lot over time. Back when I was getting started, Perl was everywhere. Today pretty much nobody does big Perl projects anymore. It had a big miss with Perl 6, and that was bad enough that it got overtaken by competition. While C is much bigger and more resilient I think it's not impossible by any means for it to feel pressure to adapt. I definitely expect a lot of resistance to change, but the world changes nonetheless.

pif 6y ago

> "semi-portable C" camp Do you mean the "every CPU is an x86" camp?

jcranmer 6y ago
The concept is closer to the idea that C is portable assembler, and that by writing very specific constructions in C you can reliably control the exact assembly that is emitted.
raphlinus 6y ago
No, that's the unportable camp, which doesn't have much following these days. Semi-portable basically means that you use #ifdef and similar techniques to control the code that gets generated for the particular CPU and platform. To give one example, a lock-free ring buffer may have memory barriers that are #ifdef'ed out on x86 because you can rely on total store order. Similarly, `volatile` on MSVC can be expected to provide memory ordering guarantees (see https://docs.microsoft.com/en-us/cpp/cpp/volatile-cpp?view=msvc-160 https://docs.microsoft.com/en-us/cpp/cpp/volatile-cpp?view=m...).

btrask 6y ago

Or... the standard just has bugs which could be fixed. Bugs meaning: being out of line with the history of C and large amounts of C code in the wild. The more people beat the standard drum, the worse things will get until the standard itself is fixed. Other languages that don't have a standard don't have this problem (but they do have other problems).

raphlinus 6y ago
Another characteristic of this topic is that people from different camps keep talking past each other, and the discussion goes in circles. What you propose is basically identical to Regehr's "Proposal for a Friendly Dialect of C". What's different in 2021 that will make it succeed now when it failed in 2014? If anything, there's less interest now, as there are viable alternatives and increased investment in tools that work with standard C. Small bugs are being fixed. One of the most surprising is that shift-left of a negative number was UB (a fact that would be shocking to anyone in the semi-portable camp, who would reasonably expect to to compile to SAL on x86). Fortunately, this (ETA: hopefully) will be fixed in C2x. ETA: As of N2596, it's still not fixed in the C2x draft. There certainly have been proposals to fix it, and I thought it had been agreed upon, but if so, it hasn't found its way into the draft yet. In the mean time, good luck shifting those negative integers!
- dale_glass 6y ago
  "What's different in 2021 that will make it succeed now when it failed in 2014? If anything, there's less interest now, as there are viable alternatives and increased investment in tools that work with standard C." You may be right, but many things could conceivably change. Viable alternatives like Rust may result in C losing ground and feeling pressure to keep up. Some huge corporation could announce a focus on security and that they will try to minimize C usage. More people could adopt the goal of a "friendly dialect of C", and be more determined or successful. Compiler developers could somehow step over the line -- make a compiler that makes such wild optimizations that it results in a backlash. Or it could just be improved very gradually, with little bits of the "friendly dialect" being adopted one by one rather than all at once. I'm not saying by any means I'm confident in anything of the sort, but things change a lot over time. Back when I was getting started, Perl was everywhere. Today pretty much nobody does big Perl projects anymore. It had a big miss with Perl 6, and that was bad enough that it got overtaken by competition. While C is much bigger and more resilient I think it's not impossible by any means for it to feel pressure to adapt. I definitely expect a lot of resistance to change, but the world changes nonetheless.