PVFS2 源代码分析之用户系统接口src/client/sysint/client-state-machine状态机生命周期和上下文

通过分析状态机的执行逻辑 ，状态机状态转移和触发嵌套/子状态机的执行过程已经基本清楚，但是一个状态机从创建、启动，到挂起、终止的完整生命周期还需进一步分析。本文涉及多个文件，但主要接口函数包含在src/client/sysint目录下的client-state-machine.h和client-state-machine.c文件中，这些接口函数会调用src/common/id-generator和src/io/job目录下的相关函数。

说明：如下函数名后的括号注明其所在文件，贴出代码为除去gossip日志和次要无关逻辑之后的核心代码，“// ......”表示此处有省略。另外，背景色 相同的行为是配对的，显式标出以方便理解前后对应的流程。 

• 创建

我们知道，状态机的标识是状态机控制块smcb，分配smcb意味着状态机的创建，见函数1。

函数1. PINT_smcb_alloc（src/common/misc/state-machine-fns.c） int PINT_smcb_alloc( struct PINT_smcb **smcb, int op, int frame_size, struct PINT_state_machine_s *(*getmach)(int), int (*term_fn)(struct PINT_smcb *, job_status_s *), job_context_id context_id);

该函数用于分配状态机控制块。第3行参数op是状态机代表的系统操作；第5行参数方程用于将op映射为对应状态机的地址，并依据找到的状态机定义设定smcb->current_state，为执行动作函数和状态转移做好准备；第6行参数是回调函数，在状态机终止时调用；第7行参数是该应用程序的上下文（context），以区别于同时进行的其他应用程序（应用程序指src/apps下的各个程序），详见最后一节“上下文”。

 

为了更好地说明参数含义，我们以分析过的用户系统接口sys-get-eattr 为例，见函数2。

函数2. PVFS_isys_geteattr_list（src/client/sysint/sys-get-eattr.c） PVFS_error PVFS_isys_geteattr_list( // ...... PVFS_sys_op_id *op_id, void *user_ptr) { int ret = -PVFS_EINVAL; PINT_smcb *smcb = NULL; PINT_client_sm *sm_p = NULL; // ...... PINT_smcb_alloc(&smcb, PVFS_SYS_GETEATTR, sizeof(struct PINT_client_sm), client_op_state_get_machine, client_state_machine_terminate, pint_client_sm_context); // ...... sm_p = PINT_sm_frame(smcb, PINT_FRAME_CURRENT); // ...... sm_p->error_code = 0; // ...... return PINT_client_state_machine_post( smcb, op_id, user_ptr); }

该函数最终被状态机对外接口函数PVFS_sys_geteattr调用。它调用PINT_smcb_alloc时，状态机结束的回调函数设为client_state_machine_terminate，参见函数10 。

 

第10行参数op赋值为PVFS_SYS_GETEATTR，其定义来自src/client/sysint/client-state-machine.h：enum { // ...... PVFS_SYS_GETEATTR = 13, // ...... PVFS_SYS_READDIRPLUS = 20, PVFS_MGMT_SETPARAM_LIST = 70, // ...... PVFS_MGMT_GET_DIRDATA_HANDLE = 80, PVFS_SERVER_GET_CONFIG = 200, PVFS_CLIENT_JOB_TIMER = 300, PVFS_CLIENT_PERF_COUNT_TIMER = 301, PVFS_DEV_UNEXPECTED = 400 };

op参数赋值给smcb的成员op，用于表达状态机进行的操作，实际上记录了使用哪个状态机。

【注意】另一个参数op_id与之形似但无关，它是在状态机挂起时，在哈希表中注册对应smcb时获得的索引，可视作状态机的一个句柄。

• 启动

在状态机的执行逻辑 中，我们分析了PINT_state_machine_start函数，而这里主要讨论调用该函数