1. 概述
libevent作为一个开源的高性能的事件通知库。经常被用作于多线程网络程序的开发。说到多线程我们想到的当然是线程安全。庆幸的是libevent是支持多线程的(默认情况下是不开启多线程的)。当我们调用 int evthread_use_windows_threads(void) 、int evthread_use_pthreads(void)或int evthread_set_condition_callbacks(const struct evthread_condition_callbacks *)则就开启了多线程的支持。
libevent的结构体在多线程下通常有三种工作方式:
- 某些结构体只能使用在单线程:同时在多个线程中使用它们总是不安全的。
- 某些结构具有可选择的锁: 可以告知libevent是否需要在多个线程中使用每个对象。
- 某些结构体总是锁定的:如果libevent在支持锁的配置下运行,在多线程中使用它们总是安全的。
关于libevent锁和线程的说明:libevent的内部实现不需要多线程,为此我们在libevent的源码中也看不到有关线程的接口。多线程的使用无非就是在应用程序(比如说某个网络应用程序)上,既然libevent内部不会使用到线程,那么也就不需要相关的线程接口(如果说需要向libevent中注册线程使用的接口,在调用libevent线程接口,就显得多此一举,应该也没人这么做)。但是我们很有可能在某个多线程程序中使用libevent,那么就需要保证libevent中的某些结构体是线程安全的,为此libevent提供了锁和条件变量来确保线程的同步。
2. 锁和条件变量
和之前讨论的日志或内存管理类似,libevent运行我们定制自定义的锁和条件变量通过使用evthread_set_condition_callbacks,或者使用libevent针对Windows锁和条件变量的封装。Linux(Unix)锁和条件变量的封装。分别是evthread_use_windows_thread和evthread_use_pthreads,后面我们会提到。
先来看看对应的锁结构:
struct evthread_lock_callbacks {
//锁的API版本号,通常是宏EVTHREAD_LOCK_API_VERSION
int lock_api_version;
//锁的类型:EVTHREAD_LOCKTYPE_RECURSIVE and EVTHREAD_LOCKTYPE_READWRITE
unsigned supported_locktypes;
//用于分配和构造类型为supported_locktypes的锁
void *(*alloc)(unsigned locktype);
//用于释放类型为supported_locktypes的锁
void (*free)(void *lock, unsigned locktype);
//加锁,成功返回0,失败返回非0
int (*lock)(unsigned mode, void *lock);
//解锁,成功返回0,失败返回非0
int (*unlock)(unsigned mode, void *lock);
};
再来看看对应的条件变量结构:
struct evthread_condition_callbacks {
//锁的API版本号,通常是宏EVTHREAD_CONDITION_API_VERSION
int condition_api_version;
//用于分配和构造一个条件变量,这个版本的condtype为0
void *(*alloc_condition)(unsigned condtype);
//用于释放该条件变量
void (*free_condition)(void *cond);
//唤醒等待线程,如果broadcast为1,则唤醒所有等待线程,否则值唤醒一个等待线程
int (*signal_condition)(void *cond, int broadcast);
//等待条件变量变为真,如果timeout为NULL则无限等待,否则等待timeout时间,该函数调用将持有锁
int (*wait_condition)(void *cond, void *lock,
const struct timeval *timeout);
};
看到这里,相信对应POSIX的互斥量和条件变量熟悉的人来说,就不会很陌生了。当然可以参考我的另外2篇博客
互斥量和
条件变量。
接下来我们在说说锁的类型,
在头文件thread.h中定义了两个宏,用来表示不同的锁类型
/** A recursive lock is one that can be acquired multiple times at once by the
* same thread. No other process can allocate the lock until the thread th