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 :)

58 comments:

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

    ReplyDelete
    Replies
    1. The effectiveness of IEEE Project Domains depends very much on the situation in which they are applied. In order to further improve IEEE Final Year Project Domains practices we need to explicitly describe and utilise our knowledge about software domains of software engineering Final Year Project Domains for CSE technologies. This paper suggests a modelling formalism for supporting systematic reuse of software engineering technologies during planning of software projects and improvement programmes in Project Centers in Chennai for CSE.

      Spring Framework has already made serious inroads as an integrated technology stack for building user-facing applications. Spring Framework Corporate TRaining the authors explore the idea of using Java in Big Data platforms.
      Specifically, Spring Framework provides various tasks are geared around preparing data for further analysis and visualization. Spring Training in Chennai

      Delete
  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
  32. This comment has been removed by the author.

    ReplyDelete
  33. Can anyone suggest me a website where I can find an AutoCAD assignment help
    It has been seen that when university’s students pursuing engineering courses need to write assignments, they leave their task for the last day, and at the last minute, they just start writing their project without having sufficient data and information. There could be various reasons to leave the tasks for the last minute like few students involved in a part-time job, extra-curriculum activities due to which they were not able to manage time. Writing assignments without AutoCAD assignment help service can result in achieving lower grade because the experts available at these online services are experienced, skilled and possess industrial experience.
    If you too are a university student and want to secure HD grades in your assignments, you can contact the subject matter experts. For example – if you get stuck while solving the practice sets available MYOB (Perdisco), you can reach to MYOB assignment services. In case, if you are a student studying R programming language you can connect with R Programming assignment services and they will help you at their best.

    ReplyDelete
  34. Hey, are you looking for a reliable assignment help provider who can aid you in all your assignments? My Assignment Services is a destination that is reliable and trustworthy and is a preferred source for thousands of students. Our team of nursing assignment help experts is proficient in offering you an unmatched experience and assignment writing. Whether it a report that where you need to prepare a critical care plan or have to write a critical reflection focussing on a life incident of yours, there is nothing that we cannot do. With more than a hundred different packages to choose from like assignment help Adelaide, assignment help Melbourne, etc., My Assignment Services is there to offer you assignment help that is accompanied by quality answers, well-researched solutions, timely delivery, 100% original and unique assignments and the never heard before feature of pre-booking!

    ReplyDelete
  35. I loved the article, keep updating interesting articles. I will be a regular reader I am offering assignment help to students over the globe at a low price.
    Do My Homework
    Do My Assignment

    ReplyDelete
  36. A special thanks to Assignment Help Australia for providing an exceptional assignment within a short period of time. Your work is really amazing. Hope you reach heights in the future. You can email us at cs@Myassignmenthelpau.Com or Phone Number: +61-2-8005-8227

    ReplyDelete
  37. You make so many great points here that I read your article a couple of times. Your views are in accordance with my own for the most part. This is great content for your readers as well as PhD Dissertation writing service.

    ReplyDelete
  38. Amazing post. I am so impressed. Could never think of such a thing is possible with it...I think you have a great knowledge especially while dealings with such subjects.

    Statistics Assignment Help

    Computer Science Assignment Help

    Finance Assignment Help

    ReplyDelete
  39. Our Academic Essay Writing Service is accessible online via a majority of mobile devices to bring Cheap Essay Writing Services For Sale close to you. Students can access Most Reliable Essay Writer Service from any location if they have a pertinent mobile device.

    ReplyDelete
  40. Best Assignment Help Online has been a frequent provider of online services in the US and other countries for more than five years.

    ReplyDelete
  41. An informal method is extremely necessary to write an article, certain all things, I can notice in your article. I am very exhilarated about your article, many of thanks, I would like to notify you about the online assignment help cheap to secure the assignment soon. online assignment help cheap

    ReplyDelete