我在互联网上发现了__sync_val_compare_and_swap的实现:
#define LOCK_PREFIX "lock ; "
struct __xchg_dummy { unsigned long a[100]; };
#define __xg(x) ((struct __xchg_dummy *)(x))
static inline unsigned long __cmpxchg(volatile void *ptr, unsigned long old,
unsigned long new, int size)
{
unsigned long prev;
switch (size) {
case 1:
__asm__ __volatile__(LOCK_PREFIX "cmpxchgb %b1,%2"
: "=a"(prev)
: "q"(new), "m"(*__xg(ptr)), "0"(old)
: "memory");
return prev;
case 2:
__asm__ __volatile__(LOCK_PREFIX "cmpxchgw %w1,%2"
: "=a"(prev)
: "q"(new), "m"(*__xg(ptr)), "0"(old)
: "memory");
return prev;
case 4:
__asm__ __volatile__(LOCK_PREFIX "cmpxchgl %1,%2"
: "=a"(prev)
: "q"(new), "m"(*__xg(ptr)), "0"(old)
: "memory");
return prev;
}
return old;
}
#define cmpxchg(ptr,o,n)\
((__typeof__(*(ptr)))__cmpxchg((ptr),(unsigned long)(o),\
(unsigned long)(n),sizeof(*(ptr))))
当我为i386架构编译和使用这个函数(cmpxchg)时-一切都好但是,当我在Sparc架构下编译时,会出现以下错误:
error: impossible constraint in `asm'
怎么了?
最佳答案
在Solaris上,最好不要为此编写自己的代码(既不在SPARC上,也不在x86上);而是使用atomic_cas(3C)
函数来达到目的:
static inline unsigned long __cmpxchg(volatile void *ptr, unsigned long old,
unsigned long new, int size)
{
switch (size) {
case 1: return atomic_cas_8(ptr, (unsigned char)old, (unsigned char)new);
case 2: return atomic_cas_16(ptr, (unsigned short)old, (unsigned short)new);
case 4: return atomic_cas_32(ptr, (unsigned int)old, (unsigned int)new);
#ifdef _LP64
case 8: return atomic_cas_64(ptr, old, new);
#endif
default: break;
}
return old;
}
那对Solaris就行了。
编辑:如果你绝对要内嵌这种东西,使用的SPARC(V8+,aka UltraSPARC)指令是“比较和交换”,又名
CAS
。它总是原子的(sparc不知道锁前缀)它只有32位和64位(CASX
)变体,因此8/16位库函数执行32位CAS
屏蔽非目标字/字节我不会帮助重新实现它-这不是一个好主意,使用库接口。Edit2:通过reading the sourcecode重新实现的一些帮助(如果不能链接到Solaris libc)。