mnesia的普通transaction写过程（二）写操作
上一篇博文介绍了mnesia的事务准备阶段，在其transaction上下文中执行了传入的函数，该函数为
fun() -> mnesia:write({user, me, 12345}) end
此后将继续分析。
mnesia_tm.erl
apply_fun(Fun, Args, Type) ->
Result = apply(Fun, Args),
case t_commit(Type) of
do_commit ->
{atomic, Result};
do_commit_nested ->
{nested_atomic, Result};
{do_abort, {aborted, Reason}} ->
{'EXIT', {aborted, Reason}};
{do_abort, Reason} ->
{'EXIT', {aborted, Reason}}
end.
mnesia.erl
write(Val) when is_tuple(Val), tuple_size(Val) > 2 ->
Tab = element(1, Val),
write(Tab, Val, write);
write(Tab, Val, LockKind) ->
case get(mnesia_activity_state) of
{?DEFAULT_ACCESS, Tid, Ts} ->
write(Tid, Ts, Tab, Val, LockKind);
{Mod, Tid, Ts} ->
Mod:write(Tid, Ts, Tab, Val, LockKind);
_ ->
abort(no_transaction)
end.
之前已由mnesia_tm:execute_outer在进程字典内记录了事务上下文信息，此处在mnesia:write内重新取回，若无法取得，则表明mnesia:write未处于某个上下文中，将中止写操作。
write(Tid, Ts, Tab, Val, LockKind)
when is_atom(Tab), Tab /= schema, is_tuple(Val), tuple_size(Val) > 2 ->
case element(1, Tid) of
ets ->
?ets_insert(Tab, Val),
ok;
tid ->
Store = Ts#tidstore.store,
Oid = {Tab, element(2, Val)},
case LockKind of
write ->
mnesia_locker:wlock(Tid, Store, Oid); %%----------->下一章 锁请求过程
sticky_write ->
mnesia_locker:sticky_wlock(Tid, Store, Oid);
_ ->
abort({bad_type, Tab, LockKind})
end,
write_to_store(Tab, Store, Oid, Val);
Protocol ->
do_dirty_write(Protocol, Tab, Val)
end;
此处Store为事务管理器创建的临时ets表，Oid为{表名，键名}，将来会频繁用到。事务写要求mnesia向所有副本结点请求锁，因此需要一次全局锁请求广播，锁请求过程将在下一章中进行分析，此处先分析请求到锁的情形。
一旦获得锁，mnesia需要进行临时数据存储过程，将数据写入临时ets表中。
write_to_store(Tab, Store, Oid, Val) ->
case ?catch_val({Tab, record_validation}) of
{RecName, Arity, Type}
when tuple_size(Val) == Arity, RecName == element(1, Val) ->
case Type of
bag ->
?ets_insert(Store, {Oid, Val, write});
_ ->
?ets_delete(Store, Oid),
?ets_insert(Store, {Oid, Val, write})
end,
ok;
{'EXIT', _} ->
abort({no_exists, Tab});
_ ->
abort({bad_type, Val})
end.
write_to_store以一种不同的方式记录了数据的更新方式，即在临时表中记录{{Tab, Key}, Val, write}这样的内容，临时完成写操作。
mnesia:write将首先检查是否处于某个访问上下文中，当发现位于transaction上下文中时，需要向所有副本结点请求锁，请求到锁之后，需要把更新内容写入临时表。
未完待续...