muduo网络库源码解析 二

这一篇我们来看源码，首先分析EventLoop类，该类继承自UnCopyable：

class UnCopyable
{
public:
	UnCopyable() = default;
	UnCopyable(const UnCopyable &obj) = delete;
	UnCopyable& operator=(const UnCopyable &rhs) = delete;
};

由于muduo是遵循one loop per thread，即一个线程只有一个EventLoop，所以定义了一个__thread类型的指针变量，初始化为NULL，当有EventLoop对象生成的时候，将this赋值给此变量，用以保证one loop per thread。

EventLoop类用来判断是否在当前线程的成员函数有：

EventLoop::abortNotInLoopThread 
EventLoop::isInLoopThread
EventLoop::assertInLoopThread 

其中abortNotInLoopThread是private，供内部使用。

用来保证线程安全的成员函数与变量：

EventLoop::doPendingFunctors 
EventLoop::queueInLoop 
EventLoop::runInLoop 
EventLoop::wakeup 
EventLoop::callingPendingFunctors_ 
EventLoop::pendingFunctors_ 
EventLoop::wakeupChannel_ 
EventLoop::wakeupFd_

其中runInLoop用来在线程间调配任务，用户如果在当前线程调用，则会直接执行回调，否则会加入pendingFunctors_队列，用其属于的线程来执行回调。还有一个作用是如果不想让函数在其它线程调用，可以封装一个接口，在接口中调用runInLoop，把具体功能封装成一个函数，传入runInLoop.

如果IO线程阻塞在IO复用中，为了让IO线程能立即执行用户回调，我们需要唤醒它。传统方法是用pipe，这里我们使用eventfd，可以像处理其他文件描述符一样处理唤醒。我们接着来看一下queueInLoop这个函数：

void EventLoop::queueInLoop(const Functor &cb)
{
	{
		std::unique_lock<std::mutex> ulck(mtx);
		pendingFunctors_.push_back(cb);
	}
	if (!isInLoopThread() || callingPendingFunctors_)
		wakeup();
}

注意一下什么时候会调用wakeup()，先来看第一个条件：“!isInLoopThread”，即不在所属于的EventLoop线程，第二个条件比较难懂，callingPendingFunctors_这个变量会在doPendingFunctors函数中调用，并置为true，而这个函数会在loop事件回调一轮结束后调用，如果此时callingPendingFunctors_值为false，说明还没对队列进行轮询调用，如果此时在所属线程中，那么不必进行wakeup，如果值为true，注意，值为true的情况下只有在所属线程中调用doPendingFunctors，那么此刻调用queueInLoop（假设是在当前线程，即isInLoopThread()返回true）必定是Functor，即为队列中的函数。这时就必须wakeup，否则doPendingFunctors结束后，就会阻塞于IO复用函数，而新加入的回调函数就得不到及时调用。
另外，在doPendingFunctors的实现中有一个小细节，利用swap将回调列表交换到局部变量中，这样一方面减小了临界区的长度，另一方面避免了死锁，因为functor可能再次调用queueInLoop，同样会执行加锁操作，而在doPendingFunctors已经加锁，所以会造成死锁。

为loop服务的成员函数与变量:

EventLoop::loop 
EventLoop::updateChannel 
EventLoop::removeChannel 
EventLoop::activeChannels_ 
EventLoop::looping_ 
EventLoop::quit
EventLoop::poller_ 
EventLoop::activeChannels_

其中updateChannel用来注册文件描述符，而removeChannel用来注销文件描述符。activeChannels_用来存放活动的channel，即活动的文件描述符，poller和channel下一小节讲解