Erlang ETS原子和分离

从ets doc,对单个对象的所有更新都保证是原子的和孤立的。这意味着对单个对象的更新操作要么成功就要么完全失败（原子性），并且其他进程不能看到更新的中间结果（隔离）。Erlang ETS原子和分离

为下面的代码，我包两个表为一个

我的问题：

这是在二郎山一个共同的模式？

为插入和更新，它是原子和孤立？

-module（example_store）。 -export（[init/0, insert/1, update/1]）。

的init（） - > ETS：新的（存储，[公众， named_table， {read_concurrency，TRUE}， {write_concurrency，真}]），

数据= ETS：新（store_data， [公众， named_table， {read_concurrency，TRUE}，{ write_concurrency，真}]），

Info = ets:new(store_info, [public,ordered_set, 
     named_table, 
      {read_concurrency, true}, 
    {write_concurrency, true}]), 

ets:insert(store, {store, Data, Info}). 


%% insert data 
insert({Key, Value, Info}) -> 
    {store, Data_tb, Info_tb} = ets:lookup(store, store), 
    ets:insert(Data_tb, {Key, Value}), 
    ets:insert(Info_tb, {Info, Key}), 
    ok. 


%% update data 
update({Key, Value, Info, Info_old}) -> 
    {store, Data_tb, Info_tb} = ets:lookup(store, store), 
    ets:insert(Data_tb, {Key, Value}), 
    ets:delete(Info_tb, {Info_old,Key}), 
    ets:insert(Info_tb, {Info, Key}), 
    ok.

Update_1 来自@Derek Brown，包裹的表不能保证insert/1和update/1被隔离。

问题3：是否有可能将它隔离？（除Gen_server外）

来源

2016-10-19 user3644708

1）不可以。使用named_table时从ets:new/2返回的名称与您用于第一个参数的名称相同。所以这就是你在store表中存储的名字。因此，在insert/1和update/1中，您可以直接使用store_data和store_info原子。

2）不，插入和更新既不是原子也不是孤立的。不是原子的，因为那不是Erlang函数的功能。比方说，如果insert/1中的第一个ets:insert/2呼叫成功了，但第二个呼叫由于某种原因失败了，那么第一个没有任何类型的自动回滚。而不是孤立的，因为不能保证给定的函数（例如，insert/1或update/1）将以原子方式执行。其他进程可以在您的功能完成之前看到中间效果。

来源

2016-10-19 17:41:13

除了gen_server之外，有没有一种方法可以保证'update'被隔离？ – user3644708

Erlang ETS原子和分离

回答

相关问题