linux编程(4) 消息队列、信号量与IOCP

        在vc版的网络编程区，基本上每天都可以看到大量关于iocp（完成端口）的帖子和讨论，很多人比较反感iocp，特别是一些一直在unix下写程序的人。就我个人的看法来说，iocp是一个设计得很巧妙的东西，是目前windows下编写高效io程序的唯一选择。至少目前为止，我在unix下或者linux下都没看到类似的模型，就模型的先进性来说，我认为iocp可能是领先的，问题在于windows的线程性能不够好，加上本质上是一个基于gui的操作系统，别的方面劣势抵消了iocp带来的优势，比如windows下的线程切换速度就没linux下快，这是因为windows下定时的时间精度所确定的。
        iocp从本质上来说，没什么复杂的，抛开异步io（这个是系统本身的io，至少我没法实现），我们可以自己设计一个类似这样的东西，而且非常之简单。用过iocp的人都应该熟悉这两个函数：postqueuecompletionstatus, getqueuecompletionstatus。用第一个函数post给iocp的数据，可以用第二个函数get出来，其实我们就可以用一个信号量加一个队列和一个临界区就可以实现，队列为空的时候，信号量为0，get函数用waitforsingleobject阻塞在信号量上，往队列里post数据的时候,先将数据插入到队列尾，然后release一个信号量，那边阻塞住的get函数从waitforsingleobject那里返回，返回后就从队列里取一个数据，就如此简单。
        在unix/linux下，也有这种东西，就是消息队列，system v和posix都有消息队列，几乎和postqueuecompletionstatus, getqueuecompletionstatus一模一样，稍微有点不同的地方，就是unix/linux下的消息队列都带有一个优先级。对posix消息队列来说，返回的总是优先级最高的消息，而对system v来说，是任意的。现在最新的linux下的异步io（这里我要特别强调一下异步io和非阻塞io的区别，异步io就是把io提交给系统，让系统替你做，做完了再用某种方式通知你；非阻塞io就是你要通过某种方式不定时地向系统询问你是否可以开始做某个io，当可以开始后，还是要自己来完成io）据说性能很强，不过我没用过，昨天晚上我在考虑，是否可以用异步io加上消息队列在linux下实现一个类似windows下的iocp的东西，这样对于很多从windows下转过来的程序员就会上手很快。目前epoll根据我的这几天研究，发现epoll实质上就是poll的演化，用非阻塞io来实现的，总感觉不是很舒服，毕竟异步io是系统来完成io，肯定高效得多。