.NET是否可以安全发布和初始化安全？

我发现《实践中的Java并发性》一书是编写Java多线程代码的出色指南。我想知道书中描述的一般原理在多大程度上适用于.Net。我对滚动自己的无锁代码不感兴趣–我只想使用扎实，可理解的技术并利用现有的同步和并发API。在此程度上，对我而言，这本书的主要收获是：

1. 锁定–状态是指同一对象上的锁中的所有其他线程可以看到一个线程中的锁内部所做的更改。毫无疑问，这在.NET中有效，并且足以编写线程安全程序，但是如果我们不能依赖以下机制，它将导致不必要的锁定。
2. 安全发布–有效的不可变对象（发布后未更改的对象）的最新状态对所有线程可见，只要满足以下条件之一即可。请注意，看到对象引用的最新状态与看到对象本身的最新状态不一定相同–在Java安全发布中，因为事前发生关系具有传递性。
   • 通过所有线程中的锁同步对其引用的访问
   • 通过volatile变量引用
   • 它是从同步或并发集合中发布的。
     
3. 具有最终字段（在.NET中为只读）的正确构造的不可变对象的最新状态是线程安全的，无论它们如何发布。

我希望所有这些工作都会给生活带来不必要的困难，但是从我已经准备好的.Net模型（至少是指定的）来看，它是相当薄弱的。有没有人尝试为.NET构建事前模型？我认为这是.Net急需解决的领域。据我所知，没有一本等效的.Net书可以提供相同的“舒适度” –似乎至少部分问题是缺乏针对.NET的明确定义的内存模型。