`
lancelotwjq
  • 浏览: 54705 次
  • 性别: Icon_minigender_1
  • 来自: 北京
社区版块
存档分类
最新评论

glusterd中的状态机浅析

 
阅读更多

当RPC请求到达Glusterd守护进程后, 它会根据rpcsvc_actor_t gd_svc_cli_actors[] 数组来选择相应的处理函数。


一般函数名为glusterd_handle_XXX


这类函数一般负责从xdr中提取出请求数据,比如卷名,主机名等等。


然后调用glusterd_op_begin 或者其他函数 向请求队列里面注入事件(inject event)。


glusterd有两个状态机(state machine):  friend sm 和 operation sm ,

friend sm负责处理peer之间的事件

operation sm负责处理自身的事件


它们分别通过函数 glusterd_friend_sm ()和 glusterd_op_sm ()启动运行。两个队列 gd_friend_sm_queue和gd_op_sm_queue, 即为两个状态机的消息队列。


下面以glusterd_op_sm为例,介绍下状态机的原理,glusterd_friend_sm与之类似。

 

       
       //循环直到清空消息队列
       while (!list_empty (&gd_op_sm_queue)) {
                //遍历消息队列
                list_for_each_entry_safe (event, tmp, &gd_op_sm_queue, list) {
                        //先从队列中去掉当前要处理的消息
                        list_del_init (&event->list);

                        event_type = event->event;
                        ...
                        //获得当前状态的事件响应列表
                        state = glusterd_op_state_table[opinfo.state.state];
                        //根据事件响应表找到处理函数
                        handler = state[event_type].handler;
                        //执行处理函数
                        ret = handler (event, event->ctx);

                       //处理完毕后,进行状态转移
                       opinfo->state.state = state[event_type].next_state

                        //删除event以及其context
                        glusterd_destroy_op_event_ctx (event);
                        GF_FREE (event);
                }
        }

 

其中,各种状态的事件响应函数表定义在xlators/mgmt/glusterd/src/glusterd-op-sm.c,应该是状态机中比较繁琐的部分,状态如何处理以及转换,都是由这些表定义的。

 

 

 

下面以命令 volume status 为例,介绍状态机执行流程。


当命令请求到达glusterd时候,会触发glusterd_handle_status_volume函数,它将解析请求参数,并将事件GD_OP_EVENT_START_LOCK注入gd_op_sm_queue。

 

然后,friend sm开始运行。我们假设gd_friend_sm_queue为空,那么这个函数就跳过了。

接着,op sm开始运行, 它会从gd_op_sm_queue取出我们刚注入的事件,根据当前的状态和事件类型选择相应的事件处理函数。

初始状态是Default,发送流程如下:


先发start-lock请求,

待所有peer都回复后,开始发送stage op请求, 

待所有peer都回复后,开始brick op请求。

待所有peer都回复后,开始commit op请求。

待所有peer都回复后,开始unlock op请求。

待所有peer都回复后,状态回到default。

 

Transitioning from 'Lock sent' to 'Lock sent' due to event 'GD_OP_EVENT_RCVD_ACC'

Transitioning from 'Lock sent' to 'Stage op sent' due to event 'GD_OP_EVENT_ALL_ACC'
Transitioning from 'Stage op sent' to 'Stage op sent' due to event 'GD_OP_EVENT_RCVD_ACC'

Transitioning from 'Stage op sent' to 'Brick op sent' due to event 'GD_OP_EVENT_STAGE_ACC'

Transitioning from 'Brick op sent' to 'Commit op sent' due to event 'GD_OP_EVENT_ALL_ACK'

Transitioning from 'Commit op sent' to 'Commit op sent' due to event 'GD_OP_EVENT_RCVD_ACC'

Transitioning from 'Commit op sent' to 'Unlock sent' due to event 'GD_OP_EVENT_COMMIT_ACC'
Transitioning from 'Unlock sent' to 'Unlock sent' due to event 'GD_OP_EVENT_RCVD_ACC'
Transitioning from 'Unlock sent' to 'Default' due to event 'GD_OP_EVENT_ALL_ACC'

分享到:
评论

相关推荐

    浅析C# 状态机Stateless

    在上面的示例中,我们首先定义了状态和事件,然后创建了一个状态机,配置了状态机的行为。 Stateless 的特点 Stateless 有很多特点,例如: * 支持各种类型作为状态和触发事件 * 支持状态继承 * 支持状态进入/...

    fsm_keil_version3_keil有限状态机_fsm打开_8051实现状态机_

    标题中的"keil有限状态机"指的是使用Keil工具在8051单片机上实现的一种有限状态机。有限状态机(FSM)是一种数学模型,它具有有限数量的状态,这些状态之间通过事件(或输入)相互转换。在8051实现中,这些状态通常...

    StateMachine 状态机机制深入解析

    例如,在用户注册的示例中,我们可以定义状态机的初始状态是未连接状态,并且定义状态机中存在的所有状态。然后,我们可以定义状态迁移事件,例如从未连接状态到已连接状态的转换。 在实际应用中,状态机机制可以...

    quartus 状态机

    在数字逻辑设计中,状态机是一种常用的设计结构,它通过内部状态的转换来实现特定的功能,如控制序列、数据处理等。在Verilog这种硬件描述语言中,我们可以方便地定义和实现状态机。 一、状态机的基本概念 状态机...

    单片机裸奔之状态机浅谈

    状态机在单片机编程中扮演着至关重要的角色,它是一种设计模式,广泛应用于各种编程语言,包括C语言。状态机的核心概念在于通过定义不同状态、条件、动作和次态来组织程序逻辑,使得程序执行更加高效、可读性强且...

    C# 状态机实现

    在编程领域,状态机是一种非常重要的设计模式,它被广泛应用于各种复杂的逻辑控制流程中。在C#中,我们可以利用面向对象的特性来实现状态机,以管理对象在不同状态之间的转换。本篇将深入探讨如何在C#中实现状态机,...

    一个有趣的有限状态机的JAVA实现

    "当JAVA遇到状态机.wps"可能包含了更深入的Java状态机实现示例,或者对如何在实际项目中应用状态机的讨论。而"状态机图1.png"很可能是这个状态机的图形化表示,它可以帮助我们直观地理解不同状态之间的关系和转换...

    C语言嵌入式状态机架构(含C源码)

    本资源“C语言嵌入式状态机架构(含C源码)”提供了一个关于如何在C语言环境中构建和应用状态机的详细指南。 首先,让我们深入理解状态机的概念。状态机是一种抽象的计算模型,它由一系列状态以及在这些状态之间...

    四种典型C语言状态机源代码

    通过深入研究这些示例,你不仅能掌握C语言状态机的基本原理,还能了解到如何在实际项目中灵活应用,从而提升你的C语言编程能力。对于后端开发和嵌入式系统的开发人员来说,理解和掌握状态机是十分重要的技能。

    FPGA设计中状态机安全性研究.pdf

    安全状态机是事后保护方法中的一种,它通过增加特定的逻辑电路来检测和防止非法状态的出现,从而增强状态机的可靠性。 综上所述,在FPGA设计中,确保状态机的安全性对于系统的稳定运行至关重要。通过合理编码和设计...

    使用vivado软件,状态机方法进行FPGA序列检测

    在本文中,我们将深入探讨如何使用Xilinx的Vivado软件设计一个基于状态机的FPGA序列检测器,特别关注10101序列的检测。首先,让我们了解FPGA、Vivado软件以及状态机的基本概念。 FPGA(Field-Programmable Gate ...

    层次状态机(HSM)用c语言的实现[收集].pdf

    在层次状态机中,状态处理器必须返回朝状态,这导致层次状态处理特征标记的递归定义。为了解决这个问题,定义了两个宏:`QPseudoState`和`QState`,它们都是函数指针,参数是`QEVENT const *pEvent`。`QPseudoState`...

    十种状态机例子(VHDL)

    状态机在数字电路设计中扮演着至关重要的角色,特别是在VHDL这种硬件描述语言中。VHDL(Very High Speed Integrated Circuit Hardware Description Language)是一种用于描述数字系统的编程语言,广泛应用于集成电路...

    VHDL入门状态机序列检测器

    本主题将深入探讨VHDL在构建状态机,特别是序列检测器中的应用。 状态机是数字系统设计中的一个重要组成部分,它通过不同的状态来控制系统的执行流程。在VHDL中,状态机可以使用结构化或行为方式进行描述。结构化...

    关于有限状态机(FSM)编码的技巧和注意事项

    有限状态机(FSM)编码是数字电路设计中的一种重要技术,特别是在 CPLD 和 FPGA 设计中。下面我们将详细讨论有限状态机编码的技巧和注意事项。 一、状态机编码方法 状态机编码方法有多种,常用的有 Binary 编码、...

    状态机的使用

    状态机在计算机科学中是一种建模工具,常用于描述系统的行为和状态转换。在TCP/IP协议栈中,状态机被广泛应用于理解网络连接的不同阶段,如TCP连接的三次握手和四次挥手过程。TCP(传输控制协议)是互联网协议的一...

    基于有限状态机的PLC程序设计方法.pdf

    现态是指状态机当前所处的状态,次态是状态机在满足某个条件后准备迁移到的新状态,动作是在状态迁移过程中会执行的操作,条件则是触发状态迁移的先决条件。状态转移可以用一个数学模型来表示,即状态:{现态×迁移...

    状态机+定时器方法实现按键

    在按键处理中,状态机可以分为不同的状态,如“无按键按下”、“按键按下”和“按键持续按下”。每个状态都有相应的转换条件,例如当检测到按键触发事件时,状态机就会从“无按键按下”状态转换到“按键按下”状态。...

    如何在verdi中直接查看状态机的状态名

    如何在verdi中直接查看状态机的状态名 同样适用于debussy

    一个简单好用的labview状态机

    在这个“一个简单好用的labview状态机”中,我们将深入探讨如何利用LabVIEW构建高效、灵活的状态机模型,以及它在各种项目中的应用。 状态机是一种设计模式,用于描述系统或对象在不同时间的行为变化。在LabVIEW中...

Global site tag (gtag.js) - Google Analytics