- android - 多次调用 OnPrimaryClipChangedListener
- android - 无法更新 RecyclerView 中的 TextView 字段
- android.database.CursorIndexOutOfBoundsException : Index 0 requested, 光标大小为 0
- android - 使用 AppCompat 时,我们是否需要明确指定其 UI 组件(Spinner、EditText)颜色
我在我们的项目代码中发现了以下双重锁定检查实现:
public class SomeComponent
{
private readonly object mutex = new object();
public SomeComponent()
{
}
public bool IsInitialized { get; private set; }
public void Initialize()
{
this.InitializeIfRequired();
}
protected virtual void InitializeIfRequired()
{
if (!this.OnRequiresInitialization())
{
return;
}
lock (this.mutex)
{
if (!this.OnRequiresInitialization())
{
return;
}
try
{
this.OnInitialize();
}
catch (Exception)
{
throw;
}
this.IsInitialized = true;
}
}
protected virtual void OnInitialize()
{
//some code here
}
protected virtual bool OnRequiresInitialization()
{
return !this.IsInitialized;
}
}
最佳答案
由于没有保证不同线程将看到IsInitialized属性的最新值,因此这是错误的实现。问题是“我对吗?”。
您是正确的,这是双重检查锁定的无效实现。您会以多种微妙的方式弄错了为什么错了。
首先,让我们避免您的错误。
在多线程程序中,任何变量的值都“最新颖”的信念是一种错误的信念,这有两个原因。第一个原因是,C#保证了有关如何重新排列读写顺序的某些约束。但是,这些保证不包括任何保证存在全局一致顺序的承诺,并且可以由所有线程推论得出。在C#内存模型中,对变量进行读写操作以及对这些读写操作进行排序约束是合法的。但是,在那些约束不足以完全执行一个读写顺序的情况下,允许所有线程都没有观察到“规范”顺序。允许两个线程同意所有约束均得到满足,但仍然不同意选择什么顺序。从逻辑上讲,每个变量只有一个规范的“最新鲜”值的说法是完全错误的。不同的线程可能会不同意哪个线程比其他线程更“新鲜”。
第二个原因是,即使没有这个怪异的属性,该模型也不允许两个线程在读写顺序上存在分歧,但是在任何低锁程序中都可以读取“最新鲜”的方法仍然是错误的。值。您所拥有的所有原始操作都保证,某些写入和读取不会在时间上向前或向后移动超过代码中的某些点。那里什么也没有说“最新鲜”,无论什么意思。您能说的最好的是,某些读取会读取一个新值。内存模型未定义“最新鲜”的概念。
错误的另一种方法确实非常微妙。您正在根据处理器刷新缓存来推断可能发生的事情,因此做得很好。但是在C#文档中,没有任何地方提到处理器刷新缓存的一句话!这是芯片实现的详细信息,只要您的C#程序在不同的体系结构上运行,该细节就会更改。除非您知道程序将完全在一种体系结构上运行并且您完全了解该体系结构,否则请不要理会处理器刷新缓存。更确切地说,是关于内存模型施加的约束的原因。我知道模型的文档非常缺乏,但这是您应该考虑的事情,因为这实际上是您可以依靠的。
您错的另一种方式是,虽然是,但实现已损坏,但由于您没有读取初始化标志的最新值,因此实现没有中断。问题在于,由标志控制的初始化状态不受时间移动的限制!
让我们让您的示例更加具体:
private C c = null;
protected virtual void OnInitialize()
{
c = new C();
}
this.InitializeIfRequired();
this.c.Frob();
IsInitialized
和
c
的读取及时移动。
c
读取为
null
。请记住,允许这样做是因为对读写没有排序限制,因为Bravo永远不会进入锁。
c
已经在缓存中,因此
c
的读取可能会在逻辑上移至标志读取的前面。也许它与最近读取的另一个变量接近。或者,分支预测可能正在预测该标志将导致您跳过该锁,而处理器会预取该值。但同样,现实情况是什么也没关系;这就是所有芯片实现的细节。 C#规范允许此读取尽早完成,因此假设在某个时候它将尽早完成!
c
,设置标志并离开。
c
版本,并取消引用
null
。
Lazy<T>
;它包含低锁定延迟初始化的正确实现,您可以依靠它在所有处理器体系结构上都是正确的。
关于c# - 双重双锁检查的可能不正确的实现,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/53006154/
#include using namespace std; class C{ private: int value; public: C(){ value = 0;
这个问题已经有答案了: What is the difference between char a[] = ?string?; and char *p = ?string?;? (8 个回答) 已关闭
关闭。此题需要details or clarity 。目前不接受答案。 想要改进这个问题吗?通过 editing this post 添加详细信息并澄清问题. 已关闭 7 年前。 此帖子已于 8 个月
除了调试之外,是否有任何针对 c、c++ 或 c# 的测试工具,其工作原理类似于将独立函数复制粘贴到某个文本框,然后在其他文本框中输入参数? 最佳答案 也许您会考虑单元测试。我推荐你谷歌测试和谷歌模拟
我想在第二台显示器中移动一个窗口 (HWND)。问题是我尝试了很多方法,例如将分辨率加倍或输入负值,但它永远无法将窗口放在我的第二台显示器上。 关于如何在 C/C++/c# 中执行此操作的任何线索 最
我正在寻找 C/C++/C## 中不同类型 DES 的现有实现。我的运行平台是Windows XP/Vista/7。 我正在尝试编写一个 C# 程序,它将使用 DES 算法进行加密和解密。我需要一些实
很难说出这里要问什么。这个问题模棱两可、含糊不清、不完整、过于宽泛或夸夸其谈,无法以目前的形式得到合理的回答。如需帮助澄清此问题以便重新打开,visit the help center . 关闭 1
有没有办法强制将另一个 窗口置于顶部? 不是应用程序的窗口,而是另一个已经在系统上运行的窗口。 (Windows, C/C++/C#) 最佳答案 SetWindowPos(that_window_ha
假设您可以在 C/C++ 或 Csharp 之间做出选择,并且您打算在 Windows 和 Linux 服务器上运行同一服务器的多个实例,那么构建套接字服务器应用程序的最明智选择是什么? 最佳答案 如
你们能告诉我它们之间的区别吗? 顺便问一下,有什么叫C++库或C库的吗? 最佳答案 C++ 标准库 和 C 标准库 是 C++ 和 C 标准定义的库,提供给 C++ 和 C 程序使用。那是那些词的共同
下面的测试代码,我将输出信息放在注释中。我使用的是 gcc 4.8.5 和 Centos 7.2。 #include #include class C { public:
很难说出这里问的是什么。这个问题是含糊的、模糊的、不完整的、过于宽泛的或修辞性的,无法以目前的形式得到合理的回答。如需帮助澄清此问题以便重新打开它,visit the help center 。 已关
我的客户将使用名为 annoucement 的结构/类与客户通信。我想我会用 C++ 编写服务器。会有很多不同的类继承annoucement。我的问题是通过网络将这些类发送给客户端 我想也许我应该使用
我在 C# 中有以下函数: public Matrix ConcatDescriptors(IList> descriptors) { int cols = descriptors[0].Co
我有一个项目要编写一个函数来对某些数据执行某些操作。我可以用 C/C++ 编写代码,但我不想与雇主共享该函数的代码。相反,我只想让他有权在他自己的代码中调用该函数。是否可以?我想到了这两种方法 - 在
我使用的是编写糟糕的第 3 方 (C/C++) Api。我从托管代码(C++/CLI)中使用它。有时会出现“访问冲突错误”。这使整个应用程序崩溃。我知道我无法处理这些错误[如果指针访问非法内存位置等,
关闭。这个问题不符合Stack Overflow guidelines .它目前不接受答案。 我们不允许提问寻求书籍、工具、软件库等的推荐。您可以编辑问题,以便用事实和引用来回答。 关闭 7 年前。
已关闭。此问题不符合Stack Overflow guidelines 。目前不接受答案。 要求我们推荐或查找工具、库或最喜欢的场外资源的问题对于 Stack Overflow 来说是偏离主题的,因为
我有一些 C 代码,将使用 P/Invoke 从 C# 调用。我正在尝试为这个 C 函数定义一个 C# 等效项。 SomeData* DoSomething(); struct SomeData {
这个问题已经有答案了: Why are these constructs using pre and post-increment undefined behavior? (14 个回答) 已关闭 6
我是一名优秀的程序员,十分优秀!