1. 前言
在C语言i中,存储变量的结构体加上一组函数指针,大概就可以算是一个对象模型了;如果将一组函数指针捆绑为结构体,
后期根据配置或者环境需要绑定到不同实现模块中的一组函数,可以认为是C语言面对对象的设计实现了。
2. 概述
事件模型,定义在"libgusterfs/src/"下几个文件中:
event.h // 事件模型的接口定义:各个结构体的定义
event.c // 实现了最基本的模型的管理相关的函数
eventpool.c // pool模式 具体的实现
eventepoll.c // epool模式,具体的实现
我们首先看看如何定义事件管理模型:
struct event_pool {
struct event_ops *ops; // 一组函数指针, int fd; // 文件操作符
int breaker[2]; int count; // 可以需要监控的SOCKET个数
struct event_slot_poll *reg; // poll 模式使用的,定义于eventpool.c
struct event_slot_epoll *ereg[EVENT_EPOLL_TABLES]; // 定义于eventepoll.c
int slots_used[EVENT_EPOLL_TABLES]; // #define EVENT_EPOLL_TABLES
// 一共定义了1024个表格,每个表格里有1024个槽位,每个槽位是一个SOCKET
int used;
int changed; pthread_mutex_t mutex;
pthread_cond_t cond; void *evcache;
int evcache_size; /* 备注: 目前当使用Epoll模式工作时候使用下面部分代码 */
int eventthreadcount; /* 内部执行线程个数 */
pthread_t pollers[EVENT_MAX_THREADS]; /* poller 线程ID 集合 */
int destroy; // 用来标记线程需要结束的变量
int activethreadcount; /*
* 自动缩放的线程数, 这个数加到已经配置的线程数上. 这仅仅适用于server端, 因为我们将试图将线程数匹配
* bricks的数目. 对客户或者 GlusterD来说,
* 这个变量一直为0。
*
* 下一步: 也会考虑为客户端缩放线程数。
*/
int auto_thread_count; };
这个结构体包括了poll和epoll两种工作模式的不同实现。
接着定义了一组函数指针:
struct event_ops
{
struct event_pool * (*new) (int count, int eventthreadcount); int (*event_register) (struct event_pool *event_pool, int fd,
event_handler_t handler,
void *data, int poll_in, int poll_out); int (*event_select_on) (struct event_pool *event_pool, int fd, int idx,
int poll_in, int poll_out); int (*event_unregister) (struct event_pool *event_pool, int fd, int idx); int (*event_unregister_close) (struct event_pool *event_pool, int fd,
int idx); int (*event_dispatch) (struct event_pool *event_pool); int (*event_reconfigure_threads) (struct event_pool *event_pool,
int newcount);
int (*event_pool_destroy) (struct event_pool *event_pool);
int (*event_handled) (struct event_pool *event_pool, int fd, int idx,
int gen);
};
这组函数指针在具体实现中将绑定具体的实现,绑定的过程定义于event_pool_new (int count, int eventthreadcount):
struct event_pool * event_pool_new (int count, int eventthreadcount)
{
struct event_pool *event_pool = NULL; // 返回值
extern struct event_ops event_ops_poll; // 引用外部结构体,见 eventpool.c 最后面部分 #ifdef HAVE_SYS_EPOLL_H // 如果支持epoll
extern struct event_ops event_ops_epoll; // 引用外部结构体,见 eventepool.c 最后面部分
event_pool = event_ops_epoll.new (count, eventthreadcount); // 执行pool模块的生成函数
if (event_pool)
{
event_pool->ops = &event_ops_epoll; // 绑定该模块的操作函数
}
else
{
gf_msg ("event", GF_LOG_WARNING, 0, LG_MSG_FALLBACK_TO_POLL, "falling back to poll based event handling");
}
#endif if (!event_pool)
{
event_pool = event_ops_poll.new (count, eventthreadcount); // 执行epool模块的生成函数 if (event_pool)
event_pool->ops = &event_ops_poll; // 绑定该模块的操作函数
} return event_pool;
}
而整个event.c中定义的各个函数,仅仅是调用绑定pool或者epoll实现的各个函数。举例如下:
int event_select_on (struct event_pool *event_pool, int fd, int idx_hint, int poll_in, int poll_out)
{
int ret = event_pool->ops->event_select_on (event_pool, fd, idx_hint, poll_in, poll_out);
return ret;
}
3. epoll 模型的实现
我们首先看看典型的epoll模型如何实现:epoll模型和使用详解(精髓)epoll - I/O event notification facility
在event-epoll.c 中定义了epoll实现的接口函数,
struct event_ops event_ops_epoll =
{
.new = event_pool_new_epoll, // 新建立一个event-pool,创建epoll句柄
.event_register = event_register_epoll, // 将一个新的socket添加到epoll的监控中,
.event_select_on = event_select_on_epoll, //
.event_unregister = event_unregister_epoll, // 取消监控
.event_unregister_close = event_unregister_close_epoll, // 取消监控并关闭socket
.event_dispatch = event_dispatch_epoll, // 建立pollercount个线程,event_dispatch_epoll_worker 线程函数用来处理消息,
// 并在event_dispatch_epoll_handler 中调用注册的函数
.event_reconfigure_threads = event_reconfigure_threads_epoll,
.event_pool_destroy = event_pool_destroy_epoll, // 销毁池
.event_handled = event_handled_epoll,
};