这跨线程安全吗？

Question

我有一些看起来像这样的代码：

线程 0：

CMyOtherClass *m_myclass;

CMyClass::SomeFunc(DWORD SomeParam)
{

m_myclass = new CMyOtherClass(SomeParam);

}

线程 1：

CMyClass::InsideSecondThread()
{

   MySecondThreadFunc(*m_myclass);

}

CMyClass::MySecondThreadFunc(MyOtherClass& myclass)  
{

// do something with myclass variable....
// What about thread safety???  Is this not now a shared variable?
// or have we passed a copy and are we safe?
// SomeParam should be the same while in this thread, however it can be changed by Thread 0


}

所以我的问题是，如果你要跨线程传递这个 m_myclass 变量，这是否是线程安全的？

Answer 1

它不是线程安全的。

Answer 2

它不是线程安全的。 如果线程 1 在线程 0 创建对象之前执行，那么您最终会访问线程 1 中的 NULL 指针。（假设 m_myclass 在构造函数中初始化为 NULL）

还有一点是：

CMyClass::MySecondThreadFunc(MyOtherClass& myclass) 

myclass 对象是一个共享对象，来自不同线程的任何操作都会产生问题。 除非有共享静态成员，否则本地副本应该在这里为线程安全工作。

Answer 3

您可以创建一个新的CMyOtherThreadSafeClass，它有两个成员 CMyOtherClass *m_myclass 和 CRITICAL_SECTION cs。如果您需要访问 CMyOtherClass *m_myclass 成员（阅读或修改），您应该在 InitializeCriticalSectionAndSpinCount 构造函数中使用 InitializeCriticalSectionAndSpinCount 或更好的 InitializeCriticalSectionAndSpinCount 函数，并在任何地方使用 EnterCriticalSection 和 LeaveCriticalSection（请参阅 http://msdn.microsoft.com/en-us/library/aa910712.aspx 和 http://msdn.microsoft.com/en-us/library/ms686908.aspx） ，分配或释放）。

您可以在CMyOtherThreadSafeClass 中包含一个方法，以便更轻松地使用EnterCriticalSection 和LeaveCriticalSection。如果您的程序的所有线程都将使用EnterCriticalSection 和LeaveCriticalSection，那么您的程序将是线程安全的。

Answer 4

如果您仅在创建第二个线程之前调用CMyClass::SomeFunc，则不存在竞争条件。

否则，阻止双重检查锁定工作的问题基本上是相同的：可以在实际构造对象之前将指针分配给m_myclass，然后线程使用未构造（或部分构造）的对象。

Answer 5

这不是线程安全的，因为两个线程都在访问同一位内存。

就您的代码而言，只要线程 0 在线程 1 启动之前分配内存，那么您应该没有问题，因为线程 0 除了分配之外什么都不做。如果您更改线程 0 代码以便它开始修改类实例，那么您将开始遇到问题。

[编辑] 删除了我认为应该是线程安全的示例。 SO上有另一篇帖子询问whether changing a pointer is considered an atomic action，值得一读。