TE
科技回声
首页24小时热榜最新最佳问答展示工作
GitHubTwitter
首页

科技回声

基于 Next.js 构建的科技新闻平台,提供全球科技新闻和讨论内容。

GitHubTwitter

首页

首页最新最佳问答展示工作

资源链接

HackerNews API原版 HackerNewsNext.js

© 2025 科技回声. 版权所有。

Checkedthreads: bug-free shared memory parallelism

51 点作者 suraj大约 12 年前

3 条评论

zeteo大约 12 年前
&#62;In a fork/join program, you need just two orders: run all loops from 0 to N. run them all backwards, from N to 0.<p>Does this hold for the following code:<p>for (j = 0; j &#60; 3; j++) a = j % 2;<p>In both forward (0, 1, 2) and backward (2, 1, 0) order, the final value of a is 0. But with the j==1 loop running last, a becomes 1 instead.
评论 #5478895 未加载
casca大约 12 年前
Great writeup and it looks like an excellent tool. We'll definitely give it a try. Parallelization is really hard to get right and any tools that can help are much appreciated.
评论 #5478768 未加载
octo_t大约 12 年前
Do you have any proofs of correctness for this at all? You claim to be able to detect almost all data race conditions, but I don't see much evidence for that in the blog post.<p>Is all of the necessary work being offloaded to Valgrind?
评论 #5479229 未加载