在linux下能自己封装一个原子操作吗？

towerjt

比方说对共享内存中的链表操作，一系列的操作希望能做成一个原子操作，一个操作失败则全部失败

vafls_scott

当然可以。把所有针对这个共享内存的操作封装起来，设置一个锁。所有你希望是原子操作的函数，进入函数的时候锁一下，离开函数的时候释放一下锁，就可以了。

towerjt

这个比较容易
lock();
a();
b();
c();
unlock();

我现在说的是，如果在做到a的时候，程序被kill -9掉了，这个时候能有法子自动把a()回滚掉吗？

safedead

楼上的做法只能实现线程安全

真正的原子操作需要内核保证

如果楼主仅仅是在程序里面使得某个函数的操作任意时刻只被一个线程调用
也就是线程安全，楼上的做法可以达到要求

vafls_scott

原帖由 towerjt 于 2008-1-8 11:16 发表
这个比较容易
lock();
a();
b();
c();
unlock();

我现在说的是，如果在做到a的时候，程序被kill -9掉了，这个时候能有法子自动把a()回滚掉吗？

//void* source;
//int len = n;
//void* tmp;

lock();
memcpy(tmp, source, len);
a(tmp);
b(tmp);
c(tmp);
memcpy(source, tmp, len);
unlock();

并不一定能完全保证，但是……想不出来了……楼主自求多福吧……

safedead

原帖由 towerjt 于 2008-1-8 11:16 发表
我现在说的是，如果在做到a的时候，程序被kill -9掉了，这个时候能有法子自动把a()回滚掉吗？

这个可不容易
比线程安全要求高多了
比异步信号安全要求还要高
除非修改内核对信号的处理(标准内核的kill -9是不可屏蔽的)

towerjt

其实需求很明确，在一个共享内存里面做链表操作，如果在操作的中间出现core或者程序被kill -9掉，那么链表有可能就被破坏了。不知道有没有法子解决这个问题。看了一些资料，估计在用户态解决的难度可能很大

towerjt

数据库实现是不是也有这个问题？

flw2

原帖由 towerjt 于 2008-1-8 11:25 发表
其实需求很明确，在一个共享内存里面做链表操作，如果在操作的中间出现core或者程序被kill -9掉，那么链表有可能就被破坏了。不知道有没有法子解决这个问题。看了一些资料，估计在用户态解决的难度可能很大

防止kill -9 就可以了

towerjt

防止kill -9或者在宕掉后设置恢复措施，是一个思路，我想知道的是有没有一种自动的原子操作的机制，类似于数据库的begin()、commit()操作