- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我一直在尝试追踪一个非常奇怪的问题,该问题很少发生并且需要很长时间才能显现出来。这个代码模式似乎很突出,我想确保它是线程安全的。此处模式的简化形式显示了一个 TestClassManager
类,它管理 TestClass
对象的租用。 TestClass
对象将被租用、使用和释放。一旦 TestClass
被释放,它将不会被任何其他线程进一步修改/使用。
class Program
{
public static void Main(string[] args)
{
var tasks = new List<Task>();
var testClassManager = new TestClassManager();
tasks.Add(Task.Factory.StartNew(() => TestersOperationLoop(testClassManager), TaskCreationOptions.LongRunning));
tasks.Add(Task.Factory.StartNew(() => ClearTestersLoop(testClassManager), TaskCreationOptions.LongRunning));
Task.WaitAll(tasks.ToArray());
}
public class TestClassManager
{
private readonly object _testerCollectionLock = new object();
private readonly Dictionary<long, TestClass> _leasedTesters = new Dictionary<long, TestClass>();
private readonly Dictionary<long, TestClass> _releasedTesters = new Dictionary<long, TestClass>();
public TestClass LeaseTester()
{
lock (_testerCollectionLock)
{
var tester = new TestClass();
_leasedTesters.Add(tester.Id, tester);
_releasedTesters.Remove(tester.Id);
return tester;
}
}
public void ReleaseTester(long id)
{
lock (_testerCollectionLock)
{
var tester = _leasedTesters[id];
_leasedTesters.Remove(tester.Id);
_releasedTesters.Add(tester.Id, tester);
}
}
public void Clear()
{
lock (_testerCollectionLock)
{
foreach (var tester in _releasedTesters)
{
if (!tester.Value.IsChanged)
{
// I have not seen this exception throw ever, but can this happen?
throw new InvalidOperationException("Is this even possible!?!");
}
}
var clearCount = _releasedTesters.Count;
_releasedTesters.Clear();
}
}
}
public class TestClass
{
private static long _count;
private long _id;
private bool _status;
private readonly object _lockObject = new object();
public TestClass()
{
Id = Interlocked.Increment(ref _count);
}
// reading status without the lock
public bool IsChanged
{
get
{
return _status;
}
}
public long Id { get => _id; set => _id = value; }
public void SetStatusToTrue()
{
lock (_lockObject)
{
_status = true;
}
}
}
public static void TestersOperationLoop(TestClassManager testClassManager)
{
while (true)
{
var tester = testClassManager.LeaseTester();
tester.SetStatusToTrue();
testClassManager.ReleaseTester(tester.Id);
}
}
public static void ClearTestersLoop(TestClassManager testClassManager)
{
while (true)
{
testClassManager.Clear();
}
}
}
TestClassManager.Clear
方法中对 TestClass.IsChanged
属性的检查是否线程安全?我从来没有看到 InvalidOperationException
,但这可能吗?如果是,那就可以解释我的问题了。
不管怎样,我无论如何都会锁定读取以遵循通常建议的如果锁定写入则锁定读取的模式。但我想了解一下这是否真的会导致问题,因为这可以解释那个非常奇怪的罕见错误!!让我夜不能寐。
谢谢!
最佳答案
TLDR:您的代码是线程安全的。您担心通过 IsChanged
属性读取 _status
字段可能会导致过时值,这是正确的;但是,这不会发生在您的 Clear
方法中,因为其他现有的 lock
语句已经防止了这种情况。
有两个相关的概念在多线程编程中经常被混淆:mutual exclusion和 memory consistency .互斥涉及代码关键部分的描述,这样在任何时候只有一个线程可以执行它们。这就是lock
主要是为了实现。
内存一致性是一个更深奥的话题,它处理一个线程写入内存位置与其他线程读取相同内存位置的顺序。出于性能原因,例如更好地利用本地缓存,内存操作可能会跨线程重新排序。如果没有同步,线程可能会读取已被其他线程更新的内存位置的陈旧值 - 从读取线程的角度来看,写入似乎是在读取之后执行的。为了避免这种重新排序,程序员可以引入 memory barriers到他们的代码中,这将防止内存操作被移动。实际上,此类内存屏障通常仅作为其他线程操作的结果隐式生成。例如,lock
语句会在进入和退出时生成一个内存屏障。
但是,lock
语句产生的内存屏障只是一个副作用,因为 lock
的主要目的是强制互斥。当程序员遇到其他也实现互斥但未隐式生成内存屏障的情况时,这可能会引起混淆。一种这样的情况是读取和写入宽度最大为 32 或 64 位的字段,这些字段保证在该宽度的体系结构上是原子的。读取或写入 bool 值本质上是线程安全的——您永远不需要 lock
来强制互斥,因为没有其他并发线程可能“破坏”该值。但是,在没有 lock
的情况下读取或写入 bool 值意味着不会生成内存屏障,因此可能会产生陈旧的值。
让我们将此讨论应用于您的代码的精简版本:
// Thread A:
_testerStatus = true; // tester.SetStatusToTrue();
_testerReleased = true; // testClassManager.ReleaseTester(tester.Id);
// Thread B:
if (_testerReleased) // foreach (var tester in _releasedTesters)
Console.WriteLine($"Status: {_testerStatus}"); // if (!tester.Value.IsChanged)
上面的程序有没有可能输出false
?在这种情况下,是的。这是在 Nonblocking Synchronization 下讨论的经典示例(推荐阅读)。该错误可以通过添加内存屏障来修复(显式地,如下所示,或隐式地,如下面进一步讨论的):
// Thread A:
_testerStatus = true; // tester.SetStatusToTrue();
Thread.MemoryBarrier(); // Barrier 1
_testerReleased = true; // testClassManager.ReleaseTester(tester.Id);
Thread.MemoryBarrier(); // Barrier 2
// Thread B:
Thread.MemoryBarrier(); // Barrier 3
if (_testerReleased) // foreach (var tester in _releasedTesters)
{
Thread.MemoryBarrier(); // Barrier 4
Console.WriteLine($"Status: {_testerStatus}"); // if (!tester.Value.IsChanged)
}
在您的代码中,您的 ReleaseTester
方法有一个外部 lock
,它隐式生成与上述障碍 1 和 2 等效的内容。类似地,您的 Clear
方法也有一个外部 lock
,因此它生成了 Barrier 3 的等效项。您的代码不会生成 Barrier 4 的等效项;但是,我相信这个障碍在你的情况下是不必要的,因为由 lock
强制执行的互斥意味着如果测试人员是,障碍 2 必须 在障碍 3 之前执行发布。
关于c# - 在没有锁的情况下读取 bool 属性时的线程安全,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/60085017/
#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
我是一名优秀的程序员,十分优秀!