Erlang/ets：在收到“错误参数”后重置 ets 表？

Question

我一直在学习如何使用 ets，但困扰我的一件事是，偶尔*，ets:match 会抛出一个错误的参数…而且，从他们开始，所有后续调用（甚至先前有效的调用）也会抛出错误参数：

> ets:match(Tid, { [$r | '$1'] }, 1).
% this match works...
% Then, at some point, this comes up:
** exception error: bad argument
     in function  ets:match/3
        called as ets:match(24589,{[114|'$1']},1)
% And from then on, matches stop working:
> ets:match(Tid, { [$r | '$1'] }, 1).
** exception error: bad argument
     in function  ets:match/3
        called as ets:match(24589,{[114|'$1']},1)

是否有任何方法可以“重置”ets 系统以便我可以查询它（即，来自外壳）再次？

*：我无法重现这个问题……但是当我尝试做“其他事情”时，这种情况经常发生。

Answer 1

虽然我不是 100% 确定，此帖子似乎回答了你的问题。您似乎正在 shell 中观察到这种行为。如果是这样，则两个事实以令人困惑的方式相互作用：

1. ets 表在其所属进程终止后立即被删除。
2. 当 erlang shell 收到异常时，它就会终止并以静默方式重新启动。

因此，当您收到第一个异常时，当前 shell 进程会终止，导致 ets 表被删除，然后会为您启动一个新的 shell 进程。现在，当您尝试另一个 ets:match 时，它会失败，因为该表不再存在。

Answer 2

戴尔已经告诉过你会发生什么。您可以通过在 shell 中不时调用 self() 来确认这一点。

作为一种快速解决方法，您可以生成另一个进程来为您创建公共表。那么那张桌子就不会和你的外壳一起死掉了。

1> self().
<0.32.0>    % shell's Pid

2> spawn(fun() -> ets:new(my_table, [named_table, public]), receive X -> ok end end).
<0.35.0>    % the spawned process's Pid

3> ets:insert(my_table, {a, b}).
true

现在破例并检查该表是否确实幸存下来。

4> 1/0.
** exception error: bad argument in an arithmetic expression
     in operator  '/'/2
        called as 1 / 0
5> self().
<0.38.0>   % shell's reborn, with a different Pid

6> ets:insert(my_table, {c, d}).
true
7> ets:tab2list(my_table).
[{c,d},{a,b}]    % table did survive the shell restart

要删除该表，只需向您生成的进程发送一些内容：

8> pid(0,35,0) ! bye_bye.
bye_bye
9> ets:info(my_table).   
undefined