c#垃圾收集器，线程和编译器/抖动优化

假设我们的程序有一个中心点(Document类的一个实例)，所有类型的信息都在这里被引用。现在我们有两个线程。两个线程都可以访问我们的"文档"，并且"文档"包含一个对"params"(一个保存某种信息的对象)的引用。所以如果我们引用到"document"，我们可以用"document"。获取我们的Params对象

线程1执行以下操作:

Params tempParams = document.params; // get a local reference to documents.params
int a = tempParams.a; // read data from params
// thread 1 (this thread) gets interrupted by thread 2
int b = tempParams.b; // read data from params
int c = tempParams.c; // read data from params

线程2执行以下操作:

Params newParams = new Params();
... // fill newParams with new parameters
lock(obj) {
    document.params = newParams; // update params in document
}

所以"params"的内容永远不会被更改，但是如果需要更改，则生成一个新的副本和引用"document "。params"被更新为新的params块，这是一个原子动作。

现在最大的问题是:

是否有可能，抖动可能优化线程1的代码，使tempParams不是一个内存地址，而是一个CPU寄存器?如果线程2更新了文档。params引用，内存中没有指向旧"params"块的引用，因为线程1中的引用仅在CPU寄存器中。如果此时垃圾收集器启动，它怎么能看到旧的"Params"块仍在使用中呢?

另一个问题是:抖动可能会优化掉tempParams变量并使用document.params。直接a/b/c。在这种情况下，线程1将看到Params对象的交换，这不是预期的。使用tempParams可以确保线程1从文档中的Params对象访问a/b/c。