c – 具有细粒度锁的线程安全链表

概述在一个程序中我有一个M类： class M{ /* very big immutable fields */ int status;}; 我需要一个M型对象的链表. 三种类型的线程正在访问列表： >生产者：生成并将对象附加到列表的末尾.所有新生成的对象都具有status = NEW. ( *** 作时间= O(1)) >消费者：在列表的开头使用对象.如果消费者具有st 在一个程序中我有一个M类：

class M{    /*      very big immutable fIElds    */    int status;};

我需要一个M型对象的链表.

三种类型的线程正在访问列表：

>生产者：生成并将对象附加到列表的末尾.所有新生成的对象都具有status = NEW. ( *** 作时间= O(1))
>消费者：在列表的开头使用对象.如果消费者具有status = CONSUMER_ID,则消费者可以使用该对象.每个消费者都将第一个项目保留在它可以消费的链表中,因此消费是(摊销？)O(1)(见下面的注释).
>析构函数：当有通知表明对象已正确使用时( *** 作时间= O(1)),删除已使用的对象.
>修饰符：根据状态图更改对象的状态.任何对象的最终状态是消费者的ID(每个对象的 *** 作时间= O(1)).

消费者数量少于10个.生产者数量可能高达数百个.有一个修饰符.

注意：修饰符可以修改已经消耗的对象,因此存储的消费者项目可以来回移动.我没有找到任何更好的解决方案来解决这个问题(尽管,对象之间的比较是O(1), *** 作不再分摊O(1)).

表现非常重要.因此,我想使用原子 *** 作或细粒度锁(每个对象一个)来避免不必要的阻塞.

我的问题是：

>原子 *** 作是首选,因为它们更轻.我想我必须使用锁来更新析构函数线程中的指针,我可以使用原子 *** 作来处理其他线程之间的争用.如果我遗漏了某些内容并且有理由不能在状态字段上使用原子 *** 作,请告诉我.
>我想我不能使用STL列表,因为它不支持细粒度锁.但是你会建议使用Boost :: Intrusive列表(而不是自己编写)吗？ Here提到侵入式数据结构更难以实现线程安全吗？这对于细粒度锁是否正确？
>生成器,使用者和析构函数将根据某些事件异步调用(我计划使用Boost :: asio.但我不知道如何运行修饰符以最小化与其他线程的争用.选项包括：

>来自生产者的异步.
>与消费者异步.
>使用自己的计时器.

只有在某些条件成立时,任何此类呼叫才会在列表上运行.我自己的直觉是,我如何调用修饰符之间没有区别.我错过了什么吗？

我的系统是linux / GCC,我使用boost 1.47以防万一.

类似的问题：Thread-safe deletion of a linked list node,using the fine-grained approach

解决方法

The performance is very important. Therefore,I want to use atomic operations or fine-grained locks (one per object) to avoID unnecessary blocking.

这会通过增加竞争(访问相同数据)的线程在不同核心上同时运行的可能性而使性能变差.如果锁太精细,线程可能会争用(在缓存之间打乒乓数据)并以慢速锁定步骤运行而不会阻塞锁,从而导致可怕的性能.

您希望使用足够粗糙的锁,以便尽快将相互争用的线程相互阻塞.这将迫使调度程序安排非竞争线程,从而消除破坏性能的缓存Ping-ponging.

你有一个普遍的误解,认为阻塞很糟糕.事实上,争用是不好的,因为它会降低内核的速度.阻止结束争用.阻塞是好的,因为它取消调度竞争线程,允许调度非竞争线程(可以全速并发运行).

总结

以上是内存溢出为你收集整理的c – 具有细粒度锁的线程安全链表全部内容，希望文章能够帮你解决c – 具有细粒度锁的线程安全链表所遇到的程序开发问题。

如果觉得内存溢出网站内容还不错，欢迎将内存溢出网站推荐给程序员好友。