据我了解，C# 是一种安全语言，不允许访问未分配的内存，除非通过 unsafe 关键字。但是，它的内存模型允许在线程之间存在不同步访问时重新排序。这会导致竞争危险，其中对新实例的引用似乎在实例完全初始化之前可用于竞争线程，并且是双重检查锁定的一个众所周知的问题。 Chris Brumme(来自 CLR 团队)在他们的 Memory Model 中解释了这一点文章:
Consider the standard double-locking protocol:
if (a == null)
{
lock(obj)
{
if (a == null)
a = new A();
}
}
This is a common technique for avoiding a lock on the read of ‘a’ in the typical case. It works just fine on X86. But it would be broken by a legal but weak implementation of the ECMA CLI spec. It’s true that, according to the ECMA spec, acquiring a lock has acquire semantics and releasing a lock has release semantics.
However, we have to assume that a series of stores have taken place during construction of ‘a’. Those stores can be arbitrarily reordered, including the possibility of delaying them until after the publishing store which assigns the new object to ‘a’. At that point, there is a small window before the store.release implied by leaving the lock. Inside that window, other CPUs can navigate through the reference ‘a’ and see a partially constructed instance.
我一直对“部分构造的实例”的含义感到困惑。假设 .NET 运行时在分配时清除内存而不是垃圾回收 (discussion)，这是否意味着另一个线程可能读取仍然包含来自垃圾回收对象(如 what happens in unsafe languages)的数据的内存？
考虑以下具体示例:
byte[] buffer = new byte[2];
Parallel.Invoke(
() => buffer = new byte[4],
() => Console.WriteLine(BitConverter.ToString(buffer)));
上面有一个竞争条件；输出将是 00-00 或 00-00-00-00。但是，第二个线程是否有可能在数组的内存初始化为 0 之前读取对 buffer 的新引用 ，并输出一些其他任意字符串？
最佳答案
我们不要在这里埋头苦干:您问题的答案是不，您永远不会观察到 CLR 2.0 内存模型中的内存预分配状态。
我现在将解决您的几个非中心点。
It is my understanding that C# is a safe language and doesn't allow one to access unallocated memory, other than through the unsafe keyword.
这或多或少是正确的。有一些机制可以在不使用 unsafe 的情况下访问伪造的内存。 -- 显然是通过非托管代码，或者通过滥用结构布局。但总的来说，是的，C# 是内存安全的。
However, its memory model allows reordering when there is unsynchronized access between threads.
同样，这或多或少是正确的。更好的思考方式是，C# 允许在受某些限制的情况下，在重新排序对单线程程序不可见的任何点 重新排序。这些约束包括在某些情况下引入获取和释放语义，以及在某些关键点保留某些副作用。
Chris Brumme (from the CLR team) ...
Chris 已故伟大的文章是瑰宝，对 CLR 的早期提供了大量的见解，但我注意到自 2003 年撰写该文章以来，内存模型得到了一些加强，特别是关于您提出的问题。
Chris 是对的，双重检查锁定非常危险。有一种在 C# 中进行双重检查锁定的正确方法，当你片刻偏离它时，即使轻微，你也会陷入可怕的错误之中，这些错误只会重现在弱内存模型硬件上。
does this mean that the other thread might read memory that still contains data from garbage-collected objects
我认为您的问题不是专门针对 Chris 所描述的旧的弱 ECMA 内存模型，而是关于今天实际做出的保证。
重新排序不可能公开对象的先前状态。您可以保证，当您读取一个新分配的对象时，它的字段全为零。
这是因为所有写入在当前内存模型中都具有释放语义；详情请看:
http://joeduffyblog.com/2007/11/10/clr-20-memory-model/
将内存初始化为零的写入相对于稍后的读取不会及时向前移动。
I've always been confused by "partially constructed objects"
Joe 在这里讨论:http://joeduffyblog.com/2010/06/27/on-partiallyconstructed-objects/
这里关心的不是我们可能会看到对象的预分配状态。相反，这里的问题是一个线程可能会看到一个对象而构造函数仍在另一个线程上运行。
确实，构造器和终结器有可能并发运行，这太奇怪了!由于这个原因，终结器很难正确编写。
换句话说:CLR 向您保证它自己的不变量将被保留。 CLR 的一个不变量是观察到新分配的内存被清零，因此将保留不变量。
但是 CLR 不负责保存您的不变量!如果您有一个构造函数来保证该字段 x是true当且仅当 y是非空的，那么你有责任确保这个不变量总是被观察到为真。如果以某种方式this被两个线程观察到，那么其中一个线程可能会观察到不变量被违反。
关于c# - 内存重新排序会导致 C# 访问未分配的内存吗？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/51180784/
类classAprivatedeffooputs:fooendpublicdefbarputs:barendprivatedefzimputs:zimendprotecteddefdibputs:dibendendA的实例a=A.new测试a.foorescueputs:faila.barrescueputs:faila.zimrescueputs:faila.dibrescueputs:faila.gazrescueputs:fail测试输出failbarfailfailfail.发送测试[:foo,:bar,:zim,:dib,:gaz].each{|m|a.send(m)resc
作为我的Rails应用程序的一部分，我编写了一个小导入程序，它从我们的LDAP系统中吸取数据并将其塞入一个用户表中。不幸的是，与LDAP相关的代码在遍历我们的32K用户时泄漏了大量内存，我一直无法弄清楚如何解决这个问题。这个问题似乎在某种程度上与LDAP库有关，因为当我删除对LDAP内容的调用时，内存使用情况会很好地稳定下来。此外，不断增加的对象是Net::BER::BerIdentifiedString和Net::BER::BerIdentifiedArray，它们都是LDAP库的一部分。当我运行导入时，内存使用量最终达到超过1GB的峰值。如果问题存在，我需要找到一些方法来更正我的代
我有一个包含模块的模型。我想在模块中覆盖模型的访问器方法。例如:classBlah这显然行不通。有什么想法可以实现吗？ 最佳答案 您的代码看起来是正确的。我们正在毫无困难地使用这个确切的模式。如果我没记错的话，Rails使用#method_missing作为属性setter，因此您的模块将优先，阻止ActiveRecord的setter。如果您正在使用ActiveSupport::Concern(参见thisblogpost)，那么您的实例方法需要进入一个特殊的模块:classBlah
鉴于我有以下迁移:Sequel.migrationdoupdoalter_table:usersdoadd_column:is_admin,:default=>falseend#SequelrunsaDESCRIBEtablestatement,whenthemodelisloaded.#Atthispoint,itdoesnotknowthatusershaveais_adminflag.#Soitfails.@user=User.find(:email=>"admin@fancy-startup.example")@user.is_admin=true@user.save!ende
通过rubykoans.com，我在about_array_assignment.rb中遇到了这两段代码你怎么知道第一个是非并行赋值，第二个是一个变量的并行赋值？在我看来，除了命名差异之外，代码几乎完全相同。4deftest_non_parallel_assignment5names=["John","Smith"]6assert_equal["John","Smith"],names7end45deftest_parallel_assignment_with_one_variable46first_name,=["John","Smith"]47assert_equal'John
我正在使用Sequel构建一个愿望list系统。我有一个wishlists和itemstable和一个items_wishlists连接表(该名称是续集选择的名称)。items_wishlists表还有一个用于facebookid的额外列(因此我可以存储opengraph操作)，这是一个NOTNULL列。我还有Wishlist和Item具有续集many_to_many关联的模型已建立。Wishlist类也有:selectmany_to_many关联的选项设置为select:[:items.*,:items_wishlists__facebook_action_id].有没有一种方法可以
我正在使用active_admin，我在Rails3应用程序的应用程序中有一个目录管理，其中包含模型和页面的声明。时不时地我也有一个类，当那个类有一个常量时，就像这样:classFooBAR="bar"end然后，我在每个必须在我的Rails应用程序中重新加载一些代码的请求中收到此警告:/Users/pupeno/helloworld/app/admin/billing.rb:12:warning:alreadyinitializedconstantBAR知道发生了什么以及如何避免这些警告吗？ 最佳答案 在纯Ruby中:classA
ruby如何管理内存。例如:如果我们在执行过程中采用C程序，则以下是内存模型。类似于这个ruby如何处理内存。C:__________________|||stack|||------------------||||------------------|||||Heap|||||__________________|||data|__________________|text|__________________Ruby:? 最佳答案 Ruby中没有“内存”这样的东西。Class#allocate分配一个对象并返回该对象。这就是程序
如何在ruby中调用C#dll？ 最佳答案 我能想到几种可能性:为您的DLL编写(或找人编写)一个COM包装器，如果它还没有，则使用Ruby的WIN32OLE库来调用它；看看RubyCLR,其中一位作者是JohnLam，他继续在Microsoft从事IronRuby方面的工作。(估计不会再维护了，可能不支持.Net2.0以上的版本)；正如其他地方已经提到的，看看使用IronRuby，如果这是您的技术选择。有一个主题是here.请注意，最后一篇文章实际上来自JohnLam(看起来像是2009年3月)，他似乎很自在地断言RubyCL
我早就知道Ruby中的“常量”(即大写的变量名)不是真正常量。与其他编程语言一样，对对象的引用是唯一存储在变量/常量中的东西。(侧边栏:Ruby确实具有“卡住”引用对象不被修改的功能，据我所知，许多其他语言都没有提供这种功能。)所以这是我的问题:当您将一个值重新分配给常量时，您会收到如下警告:>>FOO='bar'=>"bar">>FOO='baz'(irb):2:warning:alreadyinitializedconstantFOO=>"baz"有没有办法强制Ruby抛出异常而不是打印警告？很难弄清楚为什么有时会发生重新分配。 最佳答案