mnesia里的lamport clock

最新推荐文章于 2024-10-03 09:00:56 发布

weixin_34038652

最新推荐文章于 2024-10-03 09:00:56 发布

阅读量121

点赞数

文章标签： python

原文链接：https://my.oschina.net/hncscwc/blog/163445

版权

2019独角兽企业重金招聘Python工程师标准>>>

mnesia使用"wait-die"机制预防死锁，"wait-die"是基于时间戳的，mnesia采用了lamport clock算法作为"wait-die"机制的时间戳。

Lamport clock是解决分布式系统中事件发生时序的一种方式。 Lamport定义了一个关系叫做happens-before，记为-> 。a->b意味着所有的进程都同意事件a发生在事件b之前。在以下两种情况下，可以很容易的得到这个关系：

1）如果事件a和事件b是同一个进程中的并且事件a发生在事件b前面，那么a->b

2）如果进程A发送一条消息m给进程B，a代表进程A发送消息m的事件，b代表进程B接收消息m的事件，那么a->b

Lamport logical clock算法大致实现为：

每个进程Pi维护一个本地计数器Ci，相当于logical clock，按照以下规则更新Ci：

1）每次执行一个事件（例如通过网络发送消息，或者将消息交换给应用层，或者其他的一些内部事件）之前，将Ci加1

2）当进程Pi发送消息m给Pj的时候，在消息m上附上Ci

3）当接收进程Pj接收到进程Pi发送的消息时，更新自己的Cj = max{Cj,Ci}

Lamport论文链接：http://www.stanford.edu/class/cs240/readings/lamport.pdf

===========================================================

在mnesia中充当这个计数器的就是事务ID，事务ID统一由mnesia_tm进程负责初始化和更新。mnesia_locker进程就是根据比较事务ID的大小来执行"wait-die"机制和防止饿死现象的。

allowed_to_be_queued(WaitForTid, Tid) ->
    case get(pid_sort_order) of
	undefined -> WaitForTid > Tid;
	r9b_plain ->
	    cmp_tid(true, WaitForTid, Tid) =:= 1;
	standard  ->
	    cmp_tid(false, WaitForTid, Tid) =:= 1
    end.

mnesia主要在以下几种情况下更新事务ID

1）本节点请求开始新事务时

在执行一个新事务前，会向mnesia_tm进程获取一个事务ID和临时存储空间，mnesia_tm收到请求后会将事务ID计数器加1并赋给该事务。

mnesia_tm.erl:

doit_loop(#state{coordinators=Coordinators,participants=Participants,supervisor=Sup}=State) ->
    receive
    ...
    {From, start_outer} ->
        case catch ?ets_new_table(mnesia_trans_store, [bag, public]) of
        Etab ->
            tmlink(From),
            C = mnesia_recover:incr_trans_tid_serial(),
            ?ets_insert(Etab, {nodes, node()}),
            Tid = #tid{pid = tmpid(From), counter = C},
            ...

mnesia_recover.erl:

incr_trans_tid_serial() ->
    ?ets_update_counter(mnesia_decision, serial, 1).

2）参与其他节点发起的事务结束时

事务涉及多个节点时，事务发起者会将带有本节点事务ID的信息告诉所有参与的节点。当参与节点处理事务结束时，不管是正常结束还是异常结束，都会更新本节点的事务计数器。

mnesia_tm.erl:

transaction_terminated(Tid)  ->
    mnesia_checkpoint:tm_exit_pending(Tid),
    Pid = Tid#tid.pid,
    if
	node(Pid) == node() ->
	    unlink(Pid);
	true ->  %% Do the Lamport thing here
	    mnesia_recover:sync_trans_tid_serial(Tid)
    end.

mnesia_recover.erl:

sync_trans_tid_serial(ThatCounter) when is_integer(ThatCounter) ->
    ThisCounter = trans_tid_serial(),
    if
	ThatCounter > ThisCounter ->
	    set_trans_tid_serial(ThatCounter + 1);
	true ->
	    ignore
    end;
sync_trans_tid_serial(Tid) ->
    sync_trans_tid_serial(Tid#tid.counter).

set_trans_tid_serial(Val) ->
    ?ets_insert(mnesia_decision, {trans_tid, serial, Val}).

其他情况：例如，mnesia启动进行dump时、事务过程中出现异常，向其他节点询问事务结果时也都会进行事务计数器的更新。

转载于:https://my.oschina.net/hncscwc/blog/163445