像这样假设pthread_cond_wait函数没有第二个参数，不也能实现同样的功能么。

shan_ghost

iw1210 发表于 2013-01-17 16:53
额，mutex 不就是互斥锁么，这个有什么难的

和谁互斥？mutex究竟“管”多大范围？

iw1210

回复 11# shan_ghost


    看在#9楼的猜测，请指出哪里猜测不对。。。。。。

linux_c_py_php

我怎么觉得特别别扭呢, 楼主是想毁灭CU吧.

iw1210

linux_c_py_php 发表于 2013-01-17 17:17
我怎么觉得特别别扭呢, 楼主是想毁灭CU吧.

实在找不到关于 pthread_cond_wait 详细介绍了。找到一些介绍也都是含糊其辞模糊不清，所以就猜测一下，抛砖引玉~~~

liuiang

各路大神，你们都在讨论神马~~~~~~

windoze

理论上说其实没什么不可以的，只不过一开始POSIX的API就这么定了，所以后来者只好延续传统。
当然，尽管mutex和cv分开导致API多了一个参数，但把mutex放在cv里面也会有其它的问题。
cv本身只是一个通知机制，POSIX标准允许pthread_cond_wait在不同的调用中使用不同的mutex，如果把cv和mutex绑在一起就失去了这种灵活性。

iw1210

回复 16# windoze

是不是mutex开销很大，使用用户定义的mutex，即不耽误用户自己使用，同时也实现了预期的功能，减少了开销。
   

windoze

回复 17# iw1210

应该还好吧，在各种同步方式中，mutex应该算是最便宜的吧，就是一个小数据结构加一个spinlock。
不过考虑到POSIX标准及其前身们的岁数，那个年代也许真得很贵也不一定。
Unix系统有正交分解的传统，所以API设计成这样也不意外。

iw1210

windoze 发表于 2013-01-17 17:47
回复 17# iw1210

应该还好吧，在各种同步方式中，mutex应该算是最便宜的吧，就是一个小数据结构加一个spinlock。
不过考虑到POSIX标准及其前身们的岁数，那个年代也许真得很贵也不一定。
Unix系统有正交分解的传统，所以API设计成这样也不意外。

致敬！  问一下，UNIX里的正交分解是什么意思？

windoze

回复 19# iw1210


Unix的一个设计原则就是，每个功能都要在保持完整的前提下尽量的小，也就是常说的高内聚低耦合。
以上面的mutex和cv为例，cv用来保存和检查状态，mutex用来做同步和并发控制，这两组功能是独立的，各自可用。


PS. 好吧，POSIX中cv不能离开mutex使用，但是理论上说其实也不是非这样不可，没有mutex的cv无非就是会有一些race condition罢了。