Friday, August 5, 2011

Relacy Race Detector 2.4 and more

Hi,

It's been a long time since I blogged the last time. Since that I had joined Google, and was busy working on the ThreadSanitizer project, which is one the best race detectors out there (not saying that it's free and open source). Also I am actively contributing to the Go language concurrency/scalability related things, and it already starts paying off. The language has built-in support for concurrency and is very nice and simple to say the least of it. But any of that things requires a separate blog post.

OK, I've just uploaded Relacy Race Detector version 2.4, you may download it here.
Features:
+ Support for futex(FUTEX_WAIT/FUTEX_WAKE)
+ Linux/Darwin performance improved (2.5x for Linux, 7x for Darwin)
Fixes:
+ Fixed a bunch of issues with WaitForMultipleObjects()/SignalObjectAndWait()
+ Fixed rare spurious memory leak reports related to test progress reporting


The credit for the release goes to Charles Bloom - check out the blog, you may find a lot of interesting concurrency related stuff there.

The performance improvement is a result of an interesting optimization related to fiber/ucontext switching, and it deserves a separate post:
http://www.1024cores.net/home/lock-free-algorithms/tricks/fibers

Also check out SPAA11 "Location-Based Memory Fences" paper that I co-authored.


P.S. Google office in Moscow is awesome, people and possibilities are even better. Do not hesitate to submit your CV now... and don't forget to indicate me as a referee :)

45 comments:

  1. Awesome, happy to see you're getting to tap into interesting problems at Google. Thanks for the status update.

    ReplyDelete
  2. Also of interest (re: fibers), see http://blog.rethinkdb.com/making-coroutines-fast

    There is also of literature in this area.

    ReplyDelete
  3. Fantastic. Very happy to see you've landed at Google.

    (Also very happy for futex support in Relacy ;) thanks!)

    ReplyDelete
  4. Awesome! Can you provide Makefiles for OSX + Linux for Relacy 2.4? I'm stuck getting this to compile with GCC...

    ReplyDelete
  5. What is the problem with building? It's header-only library, it does not require a Makefile. I just include "/whatever_path/relacy/relacy.hpp" into a program, and then build as g++ myprog.cpp. That's all. Works for me on both Linux and OSX.

    ReplyDelete
  6. 1. What is different between ThreadSanitizer and Relacy Race Detector? What are the benefits of ThreadSanitizer over RRD and vice versa?

    2. Is there any possibility to turn off RRD? Macros or something else? Unit tests need to use RRD, but production code must not.

    ReplyDelete
  7. 1. ThreadSanitizer is intended for verification of large real-world applications, while RRD is intended for extremely careful verification of small tricky synchronization algorithms.

    2. Definitely. I had done that. It's actually quite easy if it's done on day one. The most annoying thing is annotations of declarations and usages of plain vars. Other than that it's quite straightforward, RRD refines RL_TEST macro when included, so you just need to do something along the lines:
    #ifndef RL_TEST
    # define VAR_T(x) x
    # define VAR(x) x
    #endif

    ReplyDelete
  8. What compiler are you using on OSX? Attempting to build any of the examples using i686-apple-darwin11-llvm-g++-4.2 on OSX 10.7.x doesn't get past the standard headers. Can you provide a command line to build? Thanks!

    ReplyDelete
  9. I use standard g++ 4.2.1 installed with Xcode, and build as
    $ g++ source.cpp

    ReplyDelete
  10. OK, I've just uploaded Relacy Race Detector version 2.4, you may download it here.Radar Detector Reviews

    ReplyDelete
  11. I really like your site.and really enjoyed this post.Very helpful,, the style of this article I'm like, really pretty good.

    ReplyDelete
  12. This comment has been removed by the author.

    ReplyDelete
  13. This comment has been removed by the author.

    ReplyDelete
  14. There is still a chance that we will “lose” in a race with another thread doing a steal, so we'll need to ..... I have applied Relacy Race Detector..site para encontros extraconjugais

    ReplyDelete
  15. This comment has been removed by the author.

    ReplyDelete
  16. This comment has been removed by the author.

    ReplyDelete
  17. This comment has been removed by the author.

    ReplyDelete
  18. It can find weapons like knives, guns, and any other weapon that is made out of a metal like material.www.liedetector.uk

    ReplyDelete
  19. The cops have raided many tanning salons indulged in this mischievous and shameful business. Hidden wireless cameras are placed at many places within the tanning room.Lie Detector Test

    ReplyDelete
  20. All Assignment Help is an online Assignment Help and assignment writing service offering expert assignment help.Hire Australian,US assignment writing experts.
    Assignment Help

    ReplyDelete
  21. the more individuals will have the capacity to get themselves out of a money related crunch. Let be honest, not every person has a rich uncle some place giving out cash without any strings connected.https://www.aaa1autotitleloans.com/chicago

    ReplyDelete
  22. Hey I am professional writer at Sample Assignment.

    The assignment help that they delivered was just flawless. I have also contacted their experts for best assignment help in Australia that was delivered before the deadline. Their 100% plagiarism-free work and the professional team of experts is what makes them unique. Also, the way how they catered to my urgency level brings me back to them for more and more Online assignment help.

    ReplyDelete
  23. This also gives the students some time to review them and ask for revisions, if needed. You can trust our academic ghostwriters completely to get best quality write-ups including case studies, research proposals, dissertations and sop writing services australia, and more.

    ReplyDelete
  24. It is good to read such those informative post. I found this one pretty fascinating and it should go into my collection. I will keep track of your posts regularly. My Assignment Help services is a well-established and prominent name in the best assignment help.
    Here you can check: My Assignment Help

    ReplyDelete
  25. Hey, do check out our Cryptography assignment help provided by the subject experts at TutorVersal. We are an online assignment help provider who assists students in overcoming their assignment writing challenges. Our highly qualified team of academic helpers write quality assignments that are 100% plagiarism-free and deliver them right on time. Recently, we launched child care assignment help service, and it has got a favourable response from hundreds of students in Australia who used it. We provide assignment solutions for over 180 subjects such as management, economics, nursing, engineering, and more. You can easily get your essays, dissertations, and case study assignments solved by us and score excellent grades in them!

    ReplyDelete
  26. For nursing students, it gets a bit difficult to even make time to content an online assignment help providing company for nursing assignment help. Which is why, we, at Online Assignment Expert have extended our assignment help services which only exist in order to make it more convenient for the nursing students to fetch assignment solutions from an online assignment help company. Therefore, in order to avail our nursing assignment help offering no plagiarism, Free Turnitin, Partial Payment, Unlimited Revisions, etc. You can contact our team of highly professional, experienced, PhD experts to avail the discounted services!

    ReplyDelete
  27. We are Best Search Engine Optimization in India. We Offer complete Internet marketing services to our clients. Ayudh Digital delivering the best and most cost-effective marketing Solutions to all.

    ReplyDelete
  28. This is a highly informative article! Our MATLAB assignment help experts also work towards one goal, i.e., allowing students to overcome their assignment writing challenges. TutorVersal is an online assignment service provider who assists students in completing their MATLAB assessments and even score excellent grades in these writing tasks. One of the major challenges that most computer science students face today is the complexity of their assignment’s guidelines and requirements, which may be beyond their level of understanding. But with our academic guidance, they do not have to worry about such an issue. Every team, including our bioinformatics assignment help experts, ensure that students get a properly-written assignment, which is exactly as per their guidelines and marking rubric. We also guarantee maximum customer satisfaction and timely-delivery of their work.

    ReplyDelete
  29. I found this one pretty fascinating and it should go into my collection. Very good work! I am Impressed. We appreciate that please keep going to write more content. We are the assignment helper, we provide services all over the globe. We are best in these :- services
    Essay writing
    Essay Writer
    Article rewriter
    Essay writing service
    Essay writing help
    Write My Essay
    Write My Article
    Essay Helps
    Write my essay cheap
    Do my essay cheap

    ReplyDelete
  30. Thanks for sharing this information. I have shared this link with others keep posting such information. to provide best in class law assignment help online at very affordable prices.
    Assignment Help
    Assignment Helper
    Essay writing
    Essay writing service
    Dissertation help
    Thesis writing help
    Write My Essay
    Computer Science Assignment Help
    Assignment Help Soth Africa
    Assignment Writing Service

    ReplyDelete
  31. Many of the people are depressed about the problems of essay writing. Well, don’t worry about that because we are providing this service at a very reasonable price.
    Digital Markrting Blog
    SEO Blog
    Social Media Blog
    Email Marketeting Blog
    Online marketing Blog

    ReplyDelete