erlang面试题

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, 对应是哪一个节点 (0 代表是本地节点 ，其它数字代表远程节点)
  • B, 低15字节代表进程唯一记数(一个进程表的索引)
  • C, 16~18字节也是进程唯一记数(和B一样）

消息发送

简要说明消息两个进程的传递过程

selective match相关

• 什么是selective match
  只接受感兴趣的消息，代码显式写明
  

  
   receive
   {'tag',Tag} -> do_something();
   ...
   end
   

• selective match潜在问题和erlang系统如何对此优化
  • 潜在问题：需要遍历邮箱，如果邮箱消息数目过多，可能会耗费时间
  • 优化：发送make_ref(), 在遍历消息的时候，erlang系统会自动跳过在这个ref创建之前接受的消息
    

    
     optimized(Pid) ->
     Ref = make_ref(),
     Pid ! {self(), Ref, hello},
     receive
     {Pid, Ref, Msg} ->
     io:format("pn", [Msg])
     end.
     

receive的理解

• receive会检查遍历进程的邮箱一次(请注意是一次)，根据guide做匹配；
• 一旦匹配到一个消息，执行对应的guide的代码，去掉邮箱中对应的消息；之后挂起；也就是说，匹配到满足条件的，就会立刻停止匹配过程，等待下一次匹配
• 什么时候触发下一次匹配？有新消息来的时候
• 如果不加after,只有当匹配guide之后，才能往下走;否则，计算收到消息，也会阻塞在原地，等待下一次消息到来，再次启动匹配。也就是说，下面
  

  
   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").
   

这里一直会阻塞在here1,除非进程受到'foo'这个消息；就算受到其它消息，也不会往下走

参考

• start_timer/3 发送的消息中的TimerRef的用途
• Erlang虚拟机的内部时钟
• http://erlang.org/course/advanced.html#refs
• ETS的并发性能调节选项
• [为什么有了rpc还有net_kernel:connect/1]