2010年9月11日

how to prove concurrent algorithms are correct

摘要: "An ounce of prevention equals a pound of cure" 预防为主,治疗为辅。 concurrent abstraction programs are the execution of atomic statements concurrent programs are interleavings of atomic statements from two o... 阅读全文

posted @ 2010-09-11 19:18 胡是 阅读(187) 评论(0) 推荐(0) 编辑

What’s Not Parallel

摘要: Algorithms with State Recurrences Induction Variables Reduction Loop-Carried Dependence Don't use something that is too far afield of the original, though. Less efficient serial algorithms will tend ... 阅读全文

posted @ 2010-09-11 17:00 胡是 阅读(137) 评论(0) 推荐(0) 编辑

并行编程的数据分解模型

摘要: How you divide data structures into contiguous subregions, or "chunks," of data? an array. You can divide arrays along one or more of their dimensions. Other structures that use an array as a compone... 阅读全文

posted @ 2010-09-11 10:44 胡是 阅读(771) 评论(0) 推荐(0) 编辑

Step 4. Tune for Performance: Removing Performance Bottlenecks

摘要: After making sure that you have removed all the threading (and new logic) errors from your code, the final step is to make sure the code is running at its best level of performance. (这是第四步的目的。) Before... 阅读全文

posted @ 2010-09-11 09:55 胡是 阅读(267) 评论(0) 推荐(0) 编辑

Step 3. Test for Correctness: Detecting and Fixing Threading Errors

摘要: Whenever you make code changes to an application, you open the door to the possibility of introducing bugs. Adding code to a serial application in order to generate and control multiple threads is no ... 阅读全文

posted @ 2010-09-11 09:28 胡是 阅读(249) 评论(0) 推荐(0) 编辑

导航