标准库里面的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
}
}
欢迎大家讨论。