erlang常规面试题
- 基础
- 消息发送
基础相关
OTP相关
- gen_server:cast和erlang:send()都可以向指定进程发消息,有什么区别?
- gen_server:cast调用的就是erlang:send()函数,消息为{'$gen_cast',Request},但是加上了no_connect.如果没有连上,那么返回false
- en_server远程call一个节点方法的过程?
- 回答者需要知道empd的概念及其相关过程。
- gen_server:call({Name,Node},Request)可以call远程节点的进程,和call(Node, Module, Function, Args)有什么区别?
- rpc:call是调用远程节点的rex进程来做事情,gen_server:call可以选中远程节点的任意进程做事情
- rpc:call的内部实现就是gen_server:call({Name,Node},Request),只不过NAME为rex
时间函数相关
- erlang:now()和os:timestamp()
- erlang:now()获取的是erlang虚拟机时钟,os:timestamp()获取的是操作系统时间。
- 假设start_timer(1000), 这个时候跳快系统时间,会提前收到消息吗?
- 不会。start_timer/3用的是虚拟机内部时间
- erlang:send_after和erlang:start_timer的区别
- 主要是TimerRef,超时消息进入邮箱,这个时候用TimerRef来匹配谁来发的,以便做处理。
- 是否了解otp 18中新引入的时间函数
数据类型
- ref()有是什么?什么用?
- ref()就是一个erlang中的基础数据类型,就是用来唯一表示(erlang只能保证基本100%)和比较的。
- A发送消息的时候B,加一个ref,在receive中用这个ref来高效和指定匹配B返回的消息
ets表
- write_concurrency和read_concurrency是用使得ets表支持读和写并发控制的吗?
- 不是。ets原生就支持并发控制,通过原子操作来实现。就是说,单个ets表的读写都是原子的。他们是用来提升读写性能的,代价是额外内存
进程相关
- 不使用io或者lager:info,如何确定进程受到的消息和发出的消息?
- 回答者需要知道erlang:dbg模块,trace相关的知识。如果知道火焰图相关知识,更好
- Pid的那3位数字<A,B,C>代表着什么
- A, 对应是哪一个节点 (0 代表是本地节点 ,其它数字代表远程节点)
- B, 低15字节代表进程唯一记数(一个进程表的索引)
- C, 16~18字节也是进程唯一记数(和B一样)
消息发送
简要说明消息两个进程的传递过程
selective match相关
- 什么是selective match
只接受感兴趣的消息,代码显式写明
<pre>
receive
{'tag',Tag} -> do_something();
...
end
</pre> - selective match潜在问题和erlang系统如何对此优化
- 潜在问题:需要遍历邮箱,如果邮箱消息数目过多,可能会耗费时间
- 优化:发送make_ref(), 在遍历消息的时候,erlang系统会自动跳过在这个ref创建之前接受的消息
<pre>
optimized(Pid) ->
Ref = make_ref(),
Pid ! {self(), Ref, hello},
receive
{Pid, Ref, Msg} ->
io:format("pn", [Msg])
end.
</pre>
receive的理解
- receive会检查遍历进程的邮箱一次(请注意是一次),根据guide做匹配;
- 一旦匹配到一个消息,执行对应的guide的代码,去掉邮箱中对应的消息;之后挂起;也就是说,匹配到满足条件的,就会立刻停止匹配过程,等待下一次匹配
- 什么时候触发下一次匹配?有新消息来的时候
- 如果不加after,只有当匹配guide之后,才能往下走;否则,计算收到消息,也会阻塞在原地,等待下一次消息到来,再次启动匹配。也就是说,下面
<pre>
init() ->
Pid = spawn(fun() -> init_wait() end),
register(test, Pid).
init_wait() ->
io:format("expected receive: foo"),
receive //here1
foo -> foo
end,
io:format("expected receive: bar"),
receive
bar -> bar
end,
io:format("init_wait: finish").
</pre>
这里一直会阻塞在here1,除非进程受到'foo'这个消息;就算受到其它消息,也不会往下走