Nuking bugs with a parallelism API+runtime checker. Open source version: http://yosefk.com/blog/checkedthreads-bug-free-shared-memory-parallelism.html … Too bad optimists don't fear bugs
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
As for the tools, there are also http://pinplay.org/ & http://drdebug.org/ PLDI 2016 tutorial: https://sites.google.com/site/pinplaypldi2016tutorial/ …
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
BTW have found several production concurrency issues using FindBugs and its support for
@GuardedBy annotations in javaThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
nice post. A couple of typographical errors: there’s s stray ‘ after helgrind and a [ instead of ] in 63% hardware faults
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
great blog post, and I love your writing. Sorry to hear about internal hassles!
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
http://danluu.com/concurrency-bugs/ … <ah, my pet peeve! curious how few actually available tools there are, esp. if u think of static code >
-
analysis etc. in comparison. market niche? lack of theory? impossible to solve?
End of conversation
New conversation -
-
-
@benoitc they are easy to aRT if you voi SIGSEGV: segmentation faultThanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.