redcoder:

写得很不错。一直以来我总不太清楚模态对话框的消息循环机制。甚至以为模态对话框是通过一个单独的线程，然后通过某些内核对象来实现的同步效果的。现在你的文章让我解除了这个疑虑。至于你说的消息队列和线程的关系，推荐看下《windows核心编程》最后一章。我想你的推论是正确的，线程启动初期是没有队列的，windows由于消息驱动的特性对其做了一个扩展，就是加上消息队列。同时可能出于效率或者其他方面的原因，只有在需要的时候他才为你实例化一个队列，这就解释了为什么PeekMessage（）之后，就有了队列的原因。

很感谢您的提醒，读完了《Windows核心编程》关于窗口消息和输入模型两章之后我的疑惑也解开了，此文中的相关内容稍后会重新整理

windam:

semicircle:

1. 其实，按照我的理解，消息队列和线程(任务)是没有必然的关联性的，mq是mq, pthread是pthread。一个线程(任务)可以去阻塞receive在某个消息队列上，也可以同时阻塞在多个消息队列上(select/overlapped io), 也可以不去接收任何消息，一个线程也可以一直循环忙自己的事，然后每循环一次去消息队列上”扫一眼“有没有新消息而不阻塞。
所以，”消息队列是操作系统为每个需要处理消息的线程创建的“，这个说法略欠妥当。
2. 模态对话框，用消息循环解释的很精髓~
3. 读完了，我有个想法，这些由界面线程响应的消息是由谁发出的？原理上，界面响应能否不依赖于界面线程？为什么？….对了，这是windows，相关的代码是不是不可见了？

你说的线程与消息队列没有必然关联性，我觉得是有可能的，但是我现在缺乏这方面的证据来证实或者证伪我的猜想。
本文有关线程与消息的关系，我是按照我的理解来写的，并没有找到非常权威的参考。从明面上的api调用（GetMessage及PostThreadMessage）上来看，消息队列似乎是与线程相关联的，比如PostThreadMessage就需要传递一个线程id作为参数。GetMessage调用本身则已经包含了调用发出者是当前线程的语境。
最后各种窗体的消息的发出者，我认为应该是底层的设备驱动，键盘按键，鼠标移动点击，都会触发中断，操作系统会让键盘鼠标驱动把相关的数据准备好，放在一个缓冲区里，而后再由操作系统内核将这些数据包装成一个个消息，然后按照对应的目标发送给各个窗口。牵扯底层的知识，我了解的就不是很全面了，最近正在补这方面的短板:)
另外，如果有深入剖析Windows操作系统在线程与消息方面的值得推荐的书籍或者文章的话，还请不吝介绍一下:)
==============
补充一下，刚才同一位底层很熟悉的大牛请教了一下关于线程和消息队列的问题。
一个线程，凡是通过任何的api调用的途径，中间经过了win32k.sys的，都会自动检查并将线程转为GDI线程。消息队列也就应该有了。

呃 … 这么大段的回复，我刚看到，怎么不会给我邮箱里回一份呢…

semicircle:

1. 其实，按照我的理解，消息队列和线程(任务)是没有必然的关联性的，mq是mq, pthread是pthread。一个线程(任务)可以去阻塞receive在某个消息队列上，也可以同时阻塞在多个消息队列上(select/overlapped io), 也可以不去接收任何消息，一个线程也可以一直循环忙自己的事，然后每循环一次去消息队列上”扫一眼“有没有新消息而不阻塞。
所以，”消息队列是操作系统为每个需要处理消息的线程创建的“，这个说法略欠妥当。
2. 模态对话框，用消息循环解释的很精髓~
3. 读完了，我有个想法，这些由界面线程响应的消息是由谁发出的？原理上，界面响应能否不依赖于界面线程？为什么？….对了，这是windows，相关的代码是不是不可见了？

你说的线程与消息队列没有必然关联性，我觉得是有可能的，但是我现在缺乏这方面的证据来证实或者证伪我的猜想。

本文有关线程与消息的关系，我是按照我的理解来写的，并没有找到非常权威的参考。从明面上的api调用（GetMessage及PostThreadMessage）上来看，消息队列似乎是与线程相关联的，比如PostThreadMessage就需要传递一个线程id作为参数。GetMessage调用本身则已经包含了调用发出者是当前线程的语境。

最后各种窗体的消息的发出者，我认为应该是底层的设备驱动，键盘按键，鼠标移动点击，都会触发中断，操作系统会让键盘鼠标驱动把相关的数据准备好，放在一个缓冲区里，而后再由操作系统内核将这些数据包装成一个个消息，然后按照对应的目标发送给各个窗口。牵扯底层的知识，我了解的就不是很全面了，最近正在补这方面的短板:)

另外，如果有深入剖析Windows操作系统在线程与消息方面的值得推荐的书籍或者文章的话，还请不吝介绍一下:)

==============

补充一下，刚才同一位底层很熟悉的大牛请教了一下关于线程和消息队列的问题。
一个线程，凡是通过任何的api调用的途径，中间经过了win32k.sys的，都会自动检查并将线程转为GDI线程。消息队列也就应该有了。