内存模型是C++09最重大的特性之一，之所以重大是因为多线程并发编程将成为下一个十年的主题之一，对此C++小胡子Herb Sutter早有精彩的论述。为什么在C++里面要想顺畅地进行多线程编程需要对标准进行修订（而不仅仅是通过现有的多线程库如POSIX、boost.Thread即可）呢？对此Hans Boehm在他的著名的超级晦涩难懂的paper——《Threads Cannot be Implemented as a Library》——里面其实已经详尽地阐述了原因，但是，一，尽管这篇paper被到处cite，newsgroup上面关于到底能不能用volatile来实现线程安全性这类问题还是争议不断。这方面就连C++牛魔王Andrei Alexandrescu都犯过错误，可见有多难缠。
阅读全文>
发表于 @ 2007年06月20日 21:29:00|评论(loading...)|编辑
我说过，我并不觉得自己是并行编程专家。这个领域总是有那么多的东西等着你去学，那么多的路等着你去走，那么多令人兴奋不已的新技术等着你去尝试；更不用说还有那么多的大牛了，他们在这个领域内的时间比我不知长了多少——有的甚至比我出生还早:)。跟他们讨论和学习总是令我获益匪浅。因此前段时间我试着跟他们中的一些人用email接触（他们是我心目中的并行编程大牛、大虾、偶像…）。幸运的是，其中有些人回复了我的email。我在邮件里面对他们每个人都问了同样的十个问题：五个一般性的并行编程问题，另五个则是关于他们的并行编程系统。从下周开始我将会每周发布一篇专访。阅读全文>
发表于 @ 2007年04月20日 16:26:00|评论(loading...)|编辑
Disclaimer: You should first (but not the least) understand the fundamentals of multithreading memory models to be able to read the following text. I personally recommend you start with the related C++0x memory model proposals if you're a C++ programmer, or the java memory model if you're a java programmer. That being said, the principles behind the proof apply to all kinds of the so-called data-race-free models.
If it happens that you’ve been slogging through all the glories proposals of C++阅读全文>
发表于 @ 2007年03月09日 17:22:00|评论(loading...)|编辑
这几天断断续续一直在看关于C++0x的并发内存模型的proposal，这堆proposal显然是所有0x proposals里面最困难的。看的时候问题不断，单单是对原始单线程内存模型的改进和序列点概念的精化就非常tricky。所以看的时候总结了一些模糊的地方，昨天给发到comp.lang.c++.moderated上面去了，Francis Glassborow给了一个回贴澄清了里面的一个问题，不过尚留下不少其它的。相信后面还会有热心人（james kanze, maybe:))回复的，呵呵。
贴在这里，欢迎有兴趣的朋友与我探讨:-)
[后记] 果然不出我所料，新闻组上的大牛人&大热心人James Kanze果然火速给出了最为详尽的回复，哈哈，我帖子里的绝大部分推测都是对的:) 有兴趣的朋友可以查看新闻组上的链接阅读全文>
发表于 @ 2006年09月26日 15:19:00|评论(loading...)|编辑
...在你将要阅读的这篇文章中我们就会向你呈上这么一项激动人心的技术。下文将要介绍的算法通过操纵手头有限的资源，以一种近乎神奇的方式达到了其目的...阅读全文>
发表于 @ 2006年01月29日 20:57:00|评论(loading...)|编辑
...不过跟所谓的“锁无关（Lock-Free）”数据结构一比就只能靠边站了，后者是多线程编程的极重要技术之一。在今年的“Programming Language Design and Implementation”大会...阅读全文>
发表于 @ 2006年01月26日 01:15:00|评论(loading...)|编辑
前一阵子一个偶然的机会，在soloist的blog上（http://blog.csdn.net/soloist）看到一篇关于C/C++中的一个十分历史悠久的问题的讨论，即表达式求值的问题。说实话这个问题着实不新鲜了，被所有论坛提出过无数次，无非就是表达式求值顺序不确定的问题嘛。所以我也就没太在意，soloist那里吵翻了天，说什么的都有，热闹非凡。阅读全文>
发表于 @ 2005年12月01日 18:22:00|评论(loading...)|编辑