关于erlang socket被动模式和delay_send合用的问题

2024-01-07 06:48

本文主要是介绍关于erlang socket被动模式和delay_send合用的问题,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

转载请注明,来自:http://blog.csdn.net/skyman_2001

有项目反应服务器遇到ports()里的port,其port_info/1返回是undefined的问题,而且出现这个后,erlang:halt()不能正常关闭节点,要用erlang:halt(Status, [{flush, false}])才能关闭节点。在很多客户端同时关闭时比较容易重现。我在网上erlang论坛上也发现有人遇到这个问题求助,所以决定研究一下。

通过对比分析ERTS的ports_0()(对应erlang:ports/0)和port_info_1()(对应erlang:port_info/1)的源代码发现,如果一个port的状态是ERTS_PORT_SFLG_CLOSING,则该port会包含在erlang:ports/0返回的列表中,但erlang:port_info/1返回undefined。ERTS_PORT_SFLG_CLOSING是port的中间状态,wqtn22在http://wqtn22.iteye.com/blog/1765741一文中对此有详细的分析。


ERTS源代码(erts/emulator/beam/io.c)中关于它的注释说明如下:

**ERTS_PORT_SFLG_CLOSING is a state where the port is in Limbo, waiting to

** passon. All links are removed, and the port receives in/out-put events so

** assoon as the port queue gets empty terminate_port() is called.


先讲下delay_send,如果打开了delay_send,每个port会维护一个发送队列,数据不是立即发送,而是存到发送队列里,等socket可写的时候再发送,相当于是ERTS自己实现的组包机制。关于Erlang Tcp Send的深度解刨,请看霸爷的这篇文章:http://blog.yufeng.info/archives/336

 

那么为什么port会停留在ERTS_PORT_SFLG_CLOSING状态呢?通过分析和调试ERTS代码,得出了产生这个问题的过程:

1. Socket客户端关闭时,会调用到tcp_recv_closed()函数(见erts/emulator/drivers/common/inet_drv.c),里面:

 

if (!desc->inet.active) {

        /* We must cancel any timer here ! */

        driver_cancel_timer(desc->inet.port);

        /* passive mode do not terminate port ! */

        tcp_clear_input(desc);

        if (desc->inet.exitf) {

            tcp_clear_output(desc);

            desc_close(INETP(desc));

        } else {

            desc_close_read(INETP(desc));

        }

        async_error_am_all(INETP(desc), am_closed);

        /* next time EXBADSEQ will be delivered */

        DEBUGF(("tcp_recv_closed(%ld): passivereply all 'closed'\r\n", port));

        printf("tcp_recv_closed(%ld): passivereply all 'closed', state=%d\r\n", (long) desc->inet.port,desc->inet.state);

    }

 

我们用的是{active,false},即被动模式。会调用tcp_clear_output()清空发送队列里的数据,最后会向调用进程发送'closed'消息(async_error_am_all(INETP(desc), am_closed)),但是被动模式下是不会terminate port的,所以这时该socket的状态还是INET_STATE_CONNECTED(在宿主进程退出时terminate port,才将该socket状态设为INET_STATE_CLOSED)。

 

2.  这之后如果向这个port发送数据,看相关代码(inet_drv.c):

static void tcp_inet_commandv(ErlDrvData e,ErlIOVec* ev)

{

    tcp_descriptor* desc =(tcp_descriptor*)e;

    desc->inet.caller =driver_caller(desc->inet.port);

 

   DEBUGF(("tcp_inet_commanv(%ld) {s=%d\r\n",

           (long)desc->inet.port, desc->inet.s));

    if (!IS_CONNECTED(INETP(desc))) {

        if(desc->tcp_add_flags & TCP_ADDF_DELAYED_CLOSE_SEND) {

           desc->tcp_add_flags &= ~TCP_ADDF_DELAYED_CLOSE_SEND;

           printf("tcp_inet_commandv(%ld) closed\r\n",(long)desc->inet.port);

           inet_reply_error_am(INETP(desc), am_closed);

        }

        else

           inet_reply_error(INETP(desc), ENOTCONN);

    }

    else if (tcp_sendv(desc, ev) == 0)

       inet_reply_ok(INETP(desc));

   DEBUGF(("tcp_inet_commandv(%ld) }\r\n", (long)desc->inet.port));

}

 

上面说了,此时socket的状态是INET_STATE_CONNECTED,所以会执行tcp_sendv(),再跟到tcp_sendv()里面去看

static int tcp_sendv(tcp_descriptor* desc, ErlIOVec* ev)

{

   ...

 

    if ((sz = driver_sizeq(ix)) > 0) {

        driver_enqv(ix, ev, 0);

        if (sz+ev->size >= desc->high) {

            DEBUGF(("tcp_sendv(%ld):s=%d, sender forced busy\r\n",

                   (long)desc->inet.port, desc->inet.s));

 

            desc->inet.state |=INET_F_BUSY;  /* mark for low-watermark */

            desc->inet.busy_caller = desc->inet.caller;

           set_busy_port(desc->inet.port, 1);

            if (desc->send_timeout !=INET_INFINITY) {

               desc->busy_on_send = 1;

               driver_set_timer(desc->inet.port, desc->send_timeout);

            }

            return 1;

        }

    }

    else {

        int vsize = (ev->vsize > MAX_VSIZE) ?MAX_VSIZE : ev->vsize;

 

        DEBUGF(("tcp_sendv(%ld): s=%d, about tosend "LLU","LLU" bytes\r\n",

               (long)desc->inet.port, desc->inet.s, (llu_t)h_len, (llu_t)len));

        

        if (INETP(desc)->is_ignored) {

            INETP(desc)->is_ignored |=INET_IGNORE_WRITE;

            n = 0;

        } else if(desc->tcp_add_flags & TCP_ADDF_DELAY_SEND) {

            n = 0;

        } else if (IS_SOCKET_ERROR(sock_sendv(desc->inet.s,ev->iov,

                                            vsize, &n, 0))) {

            if ((sock_errno() !=ERRNO_BLOCK) && (sock_errno() != EINTR)) {

                int err =sock_errno();

               DEBUGF(("tcp_sendv(%ld): s=%d, "

                       "sock_sendv(size=2) errno = %d\r\n",

                       (long)desc->inet.port, desc->inet.s, err));

 

                return tcp_send_error(desc, err);

            }

#ifdef __WIN32__

            desc->inet.send_would_block =1;

#endif

            n = 0;

        }

        else if (n == ev->size) {

           ASSERT(NO_SUBSCRIBERS(&INETP(desc)->empty_out_q_subs));

            return 0;

        }

        else {

            DEBUGF(("tcp_sendv(%ld):s=%d, only sent "

                   LLU"/%d of "LLU"/%d bytes/items\r\n",

                   (long)desc->inet.port, desc->inet.s,

                   (llu_t)n, vsize, (llu_t)ev->size, ev->vsize));

        }

 

        DEBUGF(("tcp_sendv(%ld): s=%d, Sendfailed, queuing\r\n",

               (long)desc->inet.port, desc->inet.s));

       

        driver_enqv(ix, ev, n);

        if (!INETP(desc)->is_ignored)

           sock_select(INETP(desc),(FD_WRITE|FD_CLOSE), 1);

    }

    return 0;

}

 

因为sz = driver_sizeq(ix) == 0,所以进入到下面的分支;因为设了delay_send,所以跳到红色的那行分支,也就是不会调用sock_sendv()。到最后执行 driver_enqv(ix, ev, n),就向发送队列添加数据了。

 

3. 在该socket的宿主进程退出时,会依次调用terminate_proc()-> erts_do_exit_process() -> continue_exit_process()-> erts_sweep_links() -> doit_exit_link()-> erts_do_exit_port(),我们看下erts_do_exit_port()函数里面相关代码:

...

 if((reason != am_kill) && !is_port_ioq_empty(p)) {

      erts_port_status_bandor_set(p,

                                 ~ERTS_PORT_SFLG_EXITING, /* must turn it off*/

                                 ERTS_PORT_SFLG_CLOSING);

     flush_port(p);

   }

  else {

      terminate_port(p);

   }

上面因为发送队列里有数据,不为空,所以将port的状态设为 ERTS_PORT_SFLG_CLOSING,问题就这么产生了!

 

总结:在被动模式下,若Socket对端关闭,本端不会terminate port,如果在这之后还向该Socket发送数据,则因为设置的是delay_send,所以不会调用sock_sendv()真正发送数据,而是存到发送队列里。最后在该Socket宿主进程退出时,会terminate port,但发现发送队列不为空,所以就将该port设为ERTS_PORT_SFLG_CLOSING

这个问题只有在被动模式和delay_send合用的时候才会出现,因为如果是非被动模式(active true或once),则对端关闭时,本端会terminate port,后面向该Socket送数据会出现closedENOTCONN错误;同样如果没设置delay_send,则向该socket发送数据时会调用sock_sendv()直接发送数据,因为对端已经关闭,会触发tcp_send_error(),里面会调用erl_inet_close()关闭,这样该Socket状态会变为INET_STATE_CLOSED

 

因此,要想避免这个问题,不要在对端关闭后再向该Socket发送数据;或者关掉delay_send;或者用非被动模式,比如once

 

最后的问题,节点内如果有port状态为ERTS_PORT_SFLG_CLOSING,为什么erlang:halt/0不能关闭节点呢?我们跟踪一下halt的流程:

Erlang:halt/0对应的bif是halt_0(),代码见erts/emulator/beam/bif.c:

/* stop the system */

/* ARGSUSED */

BIF_RETTYPE halt_0(BIF_ALIST_0)

{

   VERBOSE(DEBUG_SYSTEM,("System halted by BIF halt()\n"));

   erl_halt(0);

   ERTS_BIF_YIELD1(bif_export[BIF_halt_1], BIF_P, am_undefined);

}

里面会调用erl_halt(),然后会关闭节点的ports,处理函数是handle_reap_ports(),里面有个引用计数:erts_halt_progress,初始值设为1,然后每个port在关闭前加1,关闭(erts_do_exit_port)后减1。如果每个port都这么有加有减的话,关闭完所有porterts_halt_progress值还为1,接着将erts_halt_progress1,若结果为0的话,就退出节点:

if (erts_smp_atomic32_dec_read_nob(&erts_halt_progress) == 0) {

           erl_exit_flush_async(erts_halt_code, "");

        }

erl_exit_flush_async()函数就是执行节点最终退出流程的。

但是如果有port状态是ERTS_PORT_SFLG_CLOSING,那么就不会调用erts_do_exit_port()

          ...

          if (prt->status &(ERTS_PORT_SFLG_EXITING

                              | ERTS_PORT_SFLG_CLOSING)) {

               erts_port_release(prt);

                continue; //这里continue

            }

   

            erts_do_exit_port(prt,prt->id, am_killed);

            erts_port_release(prt);

           ...

 

这样引用计数erts_halt_progress就加了没减,这样所有port处理完后erts_halt_progress就不为1,也就不会调用 erl_exit_flush_async()退出了。


那么为什么erlang:halt(Status,[{flush, false}])可以关闭节点呢?我们看它对应的bif代码(erts/emulator/beam/bif.c):

BIF_RETTYPEhalt_2(BIF_ALIST_2)

{

    …

 

    if (is_small(BIF_ARG_1) && (code =signed_val(BIF_ARG_1)) >= 0) {

        VERBOSE(DEBUG_SYSTEM,

                ("System halted by BIFhalt(%T, %T)\n", BIF_ARG_1, BIF_ARG_2));

        if (flush) {

            erl_halt((int)(- code));

           ERTS_BIF_YIELD1(bif_export[BIF_halt_1], BIF_P, am_undefined);

        }

        else {

            erts_smp_proc_unlock(BIF_P,ERTS_PROC_LOCK_MAIN);

            erl_exit((int)(-code), "");

        }

}

 

}

如果flush为false,则直接退出节点。


这篇关于关于erlang socket被动模式和delay_send合用的问题的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/579059

相关文章

好题——hdu2522(小数问题:求1/n的第一个循环节)

好喜欢这题,第一次做小数问题,一开始真心没思路,然后参考了网上的一些资料。 知识点***********************************无限不循环小数即无理数,不能写作两整数之比*****************************(一开始没想到,小学没学好) 此题1/n肯定是一个有限循环小数,了解这些后就能做此题了。 按照除法的机制,用一个函数表示出来就可以了,代码如下

hdu1043(八数码问题,广搜 + hash(实现状态压缩) )

利用康拓展开将一个排列映射成一个自然数,然后就变成了普通的广搜题。 #include<iostream>#include<algorithm>#include<string>#include<stack>#include<queue>#include<map>#include<stdio.h>#include<stdlib.h>#include<ctype.h>#inclu

购买磨轮平衡机时应该注意什么问题和技巧

在购买磨轮平衡机时,您应该注意以下几个关键点: 平衡精度 平衡精度是衡量平衡机性能的核心指标,直接影响到不平衡量的检测与校准的准确性,从而决定磨轮的振动和噪声水平。高精度的平衡机能显著减少振动和噪声,提高磨削加工的精度。 转速范围 宽广的转速范围意味着平衡机能够处理更多种类的磨轮,适应不同的工作条件和规格要求。 振动监测能力 振动监测能力是评估平衡机性能的重要因素。通过传感器实时监

缓存雪崩问题

缓存雪崩是缓存中大量key失效后当高并发到来时导致大量请求到数据库,瞬间耗尽数据库资源,导致数据库无法使用。 解决方案: 1、使用锁进行控制 2、对同一类型信息的key设置不同的过期时间 3、缓存预热 1. 什么是缓存雪崩 缓存雪崩是指在短时间内,大量缓存数据同时失效,导致所有请求直接涌向数据库,瞬间增加数据库的负载压力,可能导致数据库性能下降甚至崩溃。这种情况往往发生在缓存中大量 k

6.1.数据结构-c/c++堆详解下篇(堆排序,TopK问题)

上篇:6.1.数据结构-c/c++模拟实现堆上篇(向下,上调整算法,建堆,增删数据)-CSDN博客 本章重点 1.使用堆来完成堆排序 2.使用堆解决TopK问题 目录 一.堆排序 1.1 思路 1.2 代码 1.3 简单测试 二.TopK问题 2.1 思路(求最小): 2.2 C语言代码(手写堆) 2.3 C++代码(使用优先级队列 priority_queue)

【VUE】跨域问题的概念,以及解决方法。

目录 1.跨域概念 2.解决方法 2.1 配置网络请求代理 2.2 使用@CrossOrigin 注解 2.3 通过配置文件实现跨域 2.4 添加 CorsWebFilter 来解决跨域问题 1.跨域概念 跨域问题是由于浏览器实施了同源策略,该策略要求请求的域名、协议和端口必须与提供资源的服务相同。如果不相同,则需要服务器显式地允许这种跨域请求。一般在springbo

题目1254:N皇后问题

题目1254:N皇后问题 时间限制:1 秒 内存限制:128 兆 特殊判题:否 题目描述: N皇后问题,即在N*N的方格棋盘内放置了N个皇后,使得它们不相互攻击(即任意2个皇后不允许处在同一排,同一列,也不允许处在同一斜线上。因为皇后可以直走,横走和斜走如下图)。 你的任务是,对于给定的N,求出有多少种合法的放置方法。输出N皇后问题所有不同的摆放情况个数。 输入

vscode中文乱码问题,注释,终端,调试乱码一劳永逸版

忘记咋回事突然出现了乱码问题,很多方法都试了,注释乱码解决了,终端又乱码,调试窗口也乱码,最后经过本人不懈努力,终于全部解决了,现在分享给大家我的方法。 乱码的原因是各个地方用的编码格式不统一,所以把他们设成统一的utf8. 1.电脑的编码格式 开始-设置-时间和语言-语言和区域 管理语言设置-更改系统区域设置-勾选Bata版:使用utf8-确定-然后按指示重启 2.vscode

Android Environment 获取的路径问题

1. 以获取 /System 路径为例 /*** Return root of the "system" partition holding the core Android OS.* Always present and mounted read-only.*/public static @NonNull File getRootDirectory() {return DIR_ANDR

form表单提交编码的问题

浏览器在form提交后,会生成一个HTTP的头部信息"content-type",标准规定其形式为Content-type: application/x-www-form-urlencoded; charset=UTF-8        那么我们如果需要修改编码,不使用默认的,那么可以如下这样操作修改编码,来满足需求: hmtl代码:   <meta http-equiv="Conte