C#语言标准对多线程数据竞争及无保护访问提供了哪些保证？

本文是此前C#多线程问题相关讨论的延续。

在C++的规则中，只要多线程对共享数据的无保护访问涉及写操作，该行为就属于undefined behavior^*。那C#里的对应规则是什么？既然C#的安全子集不存在undefined behavior，语言层面是否对这类场景给出了明确保证？我了解到C#也有类似as-if规则的设定，但通读语言标准的对应章节后，我还是没法从语言规范层面明确无保护并发访问共享数据到底会产生什么后果。

我尤其想知道C#语言层面明确禁止了哪些优化行为，包括常被提到的load fusing and invention（加载融合、加载虚构）。这类禁止规则直接决定了C#里很多常用编程模式（包括原问题里讨论的模式）是否合法有效。

注：Microsoft CLR的具体实现细节虽然有很高的研究价值，但不在本次问题的讨论范围内，我只关注语言本身定义的、可跨实现移植的保证。

非常欢迎大家提供规范层面的引用依据，我推测C#标准里已经对这个主题做了足够充分的说明。也希望C#语言团队的成员可以说明，哪些实际生效的保证目前还没写入标准，但已经可以安全依赖、后续会补入规范。

我推测语言本身存在部分隐含保证，比如不存在pointer reference tearing（引用撕裂）问题——毕竟这个问题很容易直接破坏类型安全，但我并不是这个领域的专家，这个判断不一定准确。

^* undefined behavior常缩写为UB。出现UB时，C++编译器可以生成任意代码，包括做出格式化硬盘这类不符合预期的行为，甚至可能在编译阶段直接崩溃。

内容的提问来源于stack exchange，提问作者Vlad