单链表线程安全性讨论

标准库里面的vector,list都没有声明是线程安全的，在多线程读写的时候，一般都需要使用临界区，读写锁等辅助手段。

如果一个队列有以下限制：

1， 只在尾部追加数据；

2， 可以从任何位置开始遍历；

3， 以链表(node * next)的形式存储；

4， 队列的节点不可以删除（有些应用场合需要这样的数据结构，比如，股票的逐笔成交队列）。

那么，在不加锁的情况下，在多线程环境下读写是否线程安全呢？

a，设想只有一个线程写（一个生产者），多个线程读取（多个消费者）。链表的追加操作最基础的一个操作是尾部指针的赋值。整数（指针也是整数变量）的赋值在intel处理器上是atomic。

b， 设想有多个线程写（多个生产者），多个线程读取（多个消费者）。尾部的指针直接赋值是不安全的，如果使用cas原语（比如,intel上cmpxchg指令）是否可以实现安全的节点追加呢？

x86机器的cas指令封装函数

/*** 功能 - The function compares the Destination value *         with the Comparand value. *         If the Destination value is equal to the Comparand value, *         the Exchange value is stored in the address specified *         by Destination. Otherwise, no operation is performed.** 参数 - Destination, *      - Exchange*      - Comparand** 返回值*     Destination中存储的旧值* * 备注: 主要来自微软的msdn***/__declspec(naked)static LONG __stdcall  CompareAndExchange(                __inout  LONG volatile *Destination,                __in     LONG Exchange,                __in     LONG Comparand){    __asm{        mov    ecx,dword ptr [esp+4]         mov    edx,dword ptr [esp+8]         ; load the initial val.        mov    eax,dword ptr [esp+0Ch]         ; lock on multi processors.        lock   cmpxchg dword ptr [ecx],edx         ret    0Ch    }}

欢迎大家讨论。