实现自旋锁与 Win32 临界区

Question

我正在尝试优化 Win32 的 CRITICAL_SECTION 以实现更“复杂”的同步原语，其中我不需要关键部分的重入功能。到目前为止，这是我的自旋锁：

class MSpinLock
{
    volatile LONG X;
public:
    
    void Enter()
    {
        while (1)
        {
            const LONG ret = ::InterlockedExchange(&X, 1);
            if (X == 1 && ret == 0) break;

            MBOOL shouldsleep = 1;
            for (int iter=0; iter<1024; iter++)
            {
                _mm_pause();
                if (X == 0) { shouldsleep = 0; break; };
            };
            if (shouldsleep) ::SwitchToThread();
        };
    };

    //void Exit() { ::InterlockedExchange(&X, 0); };
    void Exit() { X = 0; };
};

第一个问题是这样的 Exit 实现是否足够？

主要是我开始通过分配多个线程来将它与临界区进行比较，这些线程执行如下操作：

for (int i=0; i<10000000; i++)
{
    TheLock.Enter();
    DummyVariable++;
    TheLock.Exit();
};

然后只是等待线程。这不完全是科学测试，但目前显然已经达到了目的 - 只需一个线程，线程完成速度比使用关键部分快 3 倍。但一旦线程增多，情况就会变得更糟。显然，当存在并发线程时，算法开始在循环中的某个地方花费太多时间，或者公平性可能太差了。有什么想法如何优化这个吗？