排队旋转锁

Queued Spinlock

本文关键字:旋转 排队      更新时间:2023-10-16

我偶然发现了排队的旋转锁,并希望在C++中实现。我用谷歌搜索了一些这方面的信息,但无法获得适当的文档。

任何文档/实施技巧将不胜感激。

提前致谢

我对迈克尔·布朗指出的代码有以下疑问

// represents processor in wait queue of the spinlock
struct qsl_entry
{
// next processor in the queue that is waiting to enter section
qsl_entry* next;
// indicates whether the access to section has been granted to processor
int state;
};
// queued spinlock
struct qsl
{
// the first processor in the queue that is waiting to enter section
qsl_entry* head;
};
// requests access to critical section guarded by the spinlock,
// if the section is already taken it puts processor to wait
// and insert it into queue
// lck - queued lock that used to guard section
// ent - entry that represent processor in queue of the spinlock
void lock_qsl(qsl* lck, qsl_entry* ent)
{
__asm
{
    mov eax, ent;
    mov ebx, lck;
    // prepare queue entry
    mov [eax], 0;
    mov edx, eax;
    mov [eax]qsl_entry.state, 1;
    // store it as the last entry of the queue -- Is this what is line is doing ?
    // ebx contains address of lck & [ ebx ] refers to address pointed by lck & 
    // it is over written to ent. eax now contains the memory the lck was pointing to.
    lock xchg [ebx],eax;
    // if the section available grant access to processor?
    test eax, eax;
    jz enter_section;
        // link new entry with the rest of queue -- really ? are we nt overwritting
        // the next pointer here ?
        mov [eax],edx
        // wait for processor's turn
        wait1:
            pause;
            cmp [edx]qsl_entry.state, 1;
            je wait1;
    enter_section:
 }
}

这种实现是否正确?我怀疑是这样!

这里相关代码的作者。首先让我声明代码是正确的。我只是在这里写了更详细的代码解释:http://kataklinger.com/index.php/queued-spinlocks/

我还有另一个实现,它稍微简单一些,但不如这个(尽管如此正确)。我会看看我是否能在某个地方找到它。我找到了。以下是包含这两种实现的讨论链接:http://forum.osdev.org/viewtopic.php?f=15&t=15389

最后一篇文章也有链接,可以更深入地讨论排队的旋转锁:http://www.cs.rice.edu/~johnmc/papers/tocs91.pdf

是的,我参加聚会有点晚了,但我几天前才发表这篇文章,它激发了我写更好的代码解释。