为什么 TMutex 方法 Acquire() 不锁定互斥体？

Question

到目前为止，我有这段代码：

****SimpleForm.h****
class TForm1 : public TForm
{
__published:    // IDE-managed Components
    TMemo *Memo1;
    TButton *Button1;
    void __fastcall Button1Click(TObject *Sender);
private:    // User declarations
    TMutex *mtx;
public:     // User declarations
    __fastcall TForm1(TComponent* Owner);
};

****SimpleForm.cpp****
__fastcall TForm1::TForm1(TComponent* Owner)
    : TForm(Owner)
{
    mtx = new TMutex(true);
    WorkerThread *wt = new WorkerThread(false, mtx);
}

void __fastcall TForm1::Button1Click(TObject *Sender)
{
    mtx->Acquire();
        Memo1->Lines->Add("Locked...");
    mtx->Release();
}

****WorkerThread.h****
class WorkerThread : public TThread
{
private:
    TMutex *mtx;
protected:
    void __fastcall Execute();
public:
    __fastcall WorkerThread(bool CreateSuspended, TMutex *mtx);
    void __fastcall CheckLock();
};
****WorkerThread.cpp****
__fastcall WorkerThread::WorkerThread(bool CreateSuspended, TMutex *mtx)
    : TThread(CreateSuspended)
{
    this->mtx = mtx;
}

void __fastcall WorkerThread::Execute()
{
    while(true){
        Sleep(1000);
        Synchronize(CheckLock);
    }

}

void __fastcall WorkerThread::CheckLock(){
    this->mtx->Acquire();
    Form1->Memo1->Lines->Add("Locked from thread");
    //this->mtx->Release();
}

问题是，当我注释 mtx->Release() 时，mtx->Acquire() 没有锁定互斥锁，在运行时没有任何变化，两个线程可以同时访问相同的共享资源，这不是我想要的。我在Linux环境中使用p_threads，当互斥体被锁定时，其他线程等待它变得可用。如何使用 C++ CodeGear 2009 获得相同的结果？

Answer 1

其他的东西可以解释你的问题，因为 TMutex::Acquire 确实获取了互斥体对象的锁。 TMutex 的实现如下所示：

procedure TMutex.Acquire;
begin
  if WaitFor(INFINITE) = wrError then
    RaiseLastOSError;
end;

procedure TMutex.Release;
begin
  if not ReleaseMutex(FHandle) then
    RaiseLastOSError;
end;

WaitFor 调用 WaitForMultipleObjectsEx 传递互斥体句柄。

最有可能的是，您实际上以某种方式拥有多个互斥锁，但我无法确定，因为我看不到您的所有代码。

最后，对于进程内同步，您应该更喜欢 Windows 临界区，它的性能比 Windows 互斥对象更好。这就是 RTL 中的 TCriticalSection。

---

更新后，很容易看到发生了什么。所有锁的使用都发生在主线程中。您调用 Synchronize 会导致该方法在主线程上执行。如果您直接从 Execute 方法调用 CheckLock，那么您将按预期死锁。

您需要对所有 GUI 调用使用 Synchronize。从广义上讲，它的工作原理是向主线程发出信号，告知同步队列中有某些内容，然后等待主线程完成工作。它是一种异步方法。