简单的自定义互斥失败

你能发现代码中的错误吗?门票最终低于0，导致长时间的排队。

struct SContext {
    volatile unsigned long* mutex;
    volatile long* ticket;
    volatile bool* done;
};
static unsigned int MyThreadFunc(SContext* ctxt) {
    // -- keep going until we signal for thread to close
    while(*ctxt->done == false) {
        while(*ctxt->ticket) { // while we have tickets waiting
            unsigned int lockedaquired = 0;
            do {
                if(*ctxt->mutex == 0) { // only try if someone doesn't have mutex locked
                    // -- if the compare and swap doesn't work then the function returns
                    // -- the value it expects
                    lockedaquired = InterlockedCompareExchange(ctxt->mutex, 1, 0);
                }
            } while(lockedaquired !=  0); // loop while we didn't aquire lock
            // -- enter critical section
            // -- grab a ticket
            if(*ctxt->ticket > 0);
                     (*ctxt->ticket)--;
            // -- exit critical section
            *ctxt->mutex = 0; // release lock
        }
     }
     return 0;
}

等待线程完成的调用函数

    for(unsigned int loops = 0; loops < eLoopCount; ++loops) {
        *ctxt.ticket = eNumThreads; // let the threads start!
        // -- wait for threads to finish
        while(*ctxt.ticket != 0)
            ; 
    }
    done = true;

这个问题的答案很简单，不幸的是，在我花时间修剪示例以发布简化版本之后，我在发布问题后立即找到了答案。叹息. .

我初始化锁定为0。然后，作为不占用总线带宽的优化，如果互斥锁被占用，我不做CAS。

不幸的是，在这种情况下，当锁被取走时，while循环会让第二个线程通过!

很抱歉我多问了一个问题。我以为我不懂windows低级同步原语，但实际上我只是犯了一个简单的错误。