gen_server的同步调用内部实现机制及From的前世今生

本文详细介绍了Erlang中客户端进程与gen_server进程之间的同步调用过程,包括客户端如何通过monitor机制与gen_server建立连接及后续的交互流程。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

1、同步调用
 首先客户端进程通过call向gen_server发起同步调用,客户端进程会monitor向gen_server进程,返回一个监控句柄Mref,同时向gen_server进程发送{Label,{self(),Mref},Request}后,客户端进程执行receive便进入阻塞状态,等待对应消息的到来。gen_server进程收到客户端发来的消息对其进行解析,解析出{self(),Mref}=From,即From是由客户端进程和客户端进程对gen_server的monitor句柄组成的一个元组,是客户端进程将自己的进程id发送给gen_server,gen_server解析出来后传给实现gen_server行为模式的同步回调接口,这就是From的前世今生,回调部分接口是在gen_server进程内部执行,通用部分接口是在客户端进程中执行。
      客户端进程一直在侦听消息的到来,如果收到了同步调用的返回值,客户端进程是这样做的,首先执行demonitor解除与gen_server的监控关系,进而将结果返回,客户端进程从receive的阻塞状态跳出来,对外表现为同步调用返回;如果收到gen_server进程发来的{'DOWN',Mref,_,_,Reason}消息,客户端进程马上exit;如果timeout时间后依旧没有没有收到结果,便自动demonitor后,退出。



        总结:1、erlang底层之所以让客户端进程单向monitor目标gen_server进程,就是想在同步调用过程,让客户端与gen_server进程有个“握手-分手”的过程,一旦gen_server进程挂了,客户端进程能够收到DOWN消息,进而客户端进程退出;
                  2、当进程A与进程B既有link关系,又有A到B的monitor时,一旦B进程挂了,exit退出信号会优先‘DOWN’发给进程A。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值