本帖最后由 T-Bagwell 于 2013-06-21 20:19 编辑
无锁，有些是atomic，有些barrier
也有多队列，池的操作，看场景，资源，和需求进行调配了
不知道带上setaffinity会不会更帅一些
是来围观的，新人刚接触Linux 系统编程。
这个应该是实现某种原子操作。 加锁会限制多核CPU的发展，到内核级的程序也会有IO开销，只能取舍。
z78290250 发表于 2013-06-21 23:45 static/image/common/back.gif
是来围观的，新人刚接触Linux 系统编程。
这个应该是实现某种原子操作。 加锁会限制多核CPU的发展，到内 ...
欢迎新人围观哈，有能力的话也可以多发表发表自己的见解，很多网友一起交流学习能够进步更快
分享一个应用层的RCU的实现：
http://lttng.org/urcu
joker0910 发表于 2013-06-22 13:02 static/image/common/back.gif
分享一个应用层的RCU的实现：
http://lttng.org/urcu
兄弟自己写的？厉害啊！
水平还不够参与讨论，不过喜欢楼主的舍甫琴科头像，换上米兰的队衣就更好了。
强烈支持一下！:mrgreen:
最近对此很感兴趣！
无锁数据结构没有用过，，新人也是第一次听说，，，一般涉及到多线程多进程共享访问同一资源都使用互斥锁:D)
回复 15# send_linux
不是不是, 看到一份好代码， 拿来分享了:em03:
锁确实是让人纠结的东西， 打断了代码的流畅性和编程的思路。实在是对实时性要求很高时，再用锁吧，
如果实时性要求较低，那么可以考虑使用队列+单进程的方式将临界区的操作串行化，并将临界区资源合理分组，规避掉锁的问题。
本帖最后由 cjdao 于 2013-06-23 07:58 编辑
多线程模式是比较流行的一种并发编程模型,多线程编程的一个特点就是线程间共享内存空间;这可以降低线程间通信的开销,但却引来了另外的一个难缠的问题:竟态条件!(因此,甚至有人对多线程模型提出了质疑,看这里)
在多线程编程模型下,解决竟态条件的传统方法就是加锁保护临界区,但这存在影响系统性能、优先级反转等问题.
因此又有人提出了,多线程模型下无锁编程的一些方式:
1.线程内通信框架: Disruptor, 这是一款开源的并发框架,用于线程间无锁的共享数据,看这里。
2.无锁数据结构
无锁数据结构一般基于一个很重要的操作：CAS--Compare And Swap(看这里)。
用C语言表达的一个CAS实现的操作是这样的：bool compare_and_swap (int *accum, int *dest, int newval)
{
if ( *accum == *dest ) {
*dest = newval;
return true;
} else {
*accum = *dest;
return false;
}
}CAS的一个重要特性是其必须是原子操作。现在大多数CPU都支持指令级别的CAS操作。GCC编译也提供了这样的接口:bool __sync_bool_compare_and_swap (type *ptr, type oldval type newval, ...)
有了这个原子的CAS后，我们就能实现自己的无锁数据结构了，下面我们就尝试着来实现一个无锁栈为例：
下面的代码中，我们假设malloc与free是线程安全的(至于malloc与free的可重入性与线程安全问题，可以看这里和这里)/*定义CAS操作*/
#define CAS __sync_bool_compare_and_swap
/*
* 定义stack的数据结构
*/
typedef struct stack_node {
struct node *next;
void *data;
}stack_node;
/*栈顶指针*/
stack_node *top = NULL;/*压栈操作*/
void stack_push(void *data)
{
stack_node *new = malloc(sizeof(struct node));
new->data = data;
do {
new->next = top;
}while(CAS(&top, new->next, new)!=true);
}/*出栈操作*/
void * stack_pop(void)
{
stack_node *tmp;
void *data;
do {
tmp = top;
if (!tmp) return NULL;
}while(CAS(&top, tmp, tmp->next) != true);
data = tmp->data;
free(tmp);
return data;
}