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

99 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
  42. I enjoyed reading your article and agree on many points. remodeling

    ReplyDelete
  43. Hey – wonderful website! just looking around some websites! best carpet cleaner

    ReplyDelete
  44. I read this blog very carefully, the articles were very nice I got lots of benefits from articles, I have a website related to this, if you want you can visit this website, believe will benefit, thanks
    monaco grand prix yacht tickets


    monaco grand prix yacht tickets

    ReplyDelete
  45. เล่นเกม สล็อต live22 slot online เครดิตฟรี
    https://www.live22easy.com/

    ReplyDelete
  46. Finding Help with Medical Assignment is not easy unless one is keen to establish the best medical research paper writing service company by going through their medical assignment writers qualifications.

    ReplyDelete
  47. Psychology assignment writing projects are very difficult to complete and many students are always searching for Psychology Research Paper Services companies to help them complete their psychology coursework assignments.

    ReplyDelete
  48. There are academic nursing writing help companies whose ultimate goal is to provide Help with Nursing Writing Services since they are aware most nursing essay writing service part-time students lack enough time to complete their college custom nursing assignments.

    ReplyDelete
  49. Finding psychology case study writing services online is very easy as there many highly qualified professional psychology research paper service writers.

    ReplyDelete
  50. There are academic nursing writing help companies whose ultimate goal is to provide Help with Nursing Writing Services since they are aware most nursing essay writing service part-time students lack enough time to complete their college custom nursing assignments.

    ReplyDelete
  51. There are academic nursing writing help companies whose ultimate goal is to provide Help with Nursing Writing Services since they are aware most nursing essay writing service part-time students lack enough time to complete their college custom nursing assignments.

    ReplyDelete
  52. Online psychology paper writing service companies are very keen when it comes to Psychology Research Paper Services for students stuyding psychology studies in order for them to score straight A’s in their custom psychology research papers.

    ReplyDelete
  53. To seek the best Logistics Writing Services Online for those studying logistics management coursework writing services, it is important to hire award winning logistics research paper writing help services.

    ReplyDelete
  54. Online business and information system coursework writing services seekers find it easy to access Information Systems Writing Services and IT research paper writing services since most information system essay writing services companies offer them.

    ReplyDelete
  55. Students find History Research Paper Services as being of great assistance since they are able to complete their history research paper writing services and history essay writing services on time.

    ReplyDelete
  56. The ultimate goal of online psychology research paper writing services is to provide Psychology Assignment Writing Services and psychology research paper services since most psychology coursework writing service students lack time to complete their custom psychology coursework writing services.

    ReplyDelete
  57. Custom Healthcare Essay Writing Services is very popular for students in search for healthcare assignment writing services and healthcare research paper services.

    ReplyDelete
  58. Custom Healthcare Essay Writing Services is very popular for students in search for healthcare assignment writing services and healthcare research paper services.

    ReplyDelete
  59. Online e-commerce essay writing help services are very common nowadays since there are very many students seeking E-commerce Essay Writing Services and e-commerce research paper writing services.

    ReplyDelete
  60. When it comes to your academic dreams and grades we try to give our best by supporting you in completing your college assignments.
    Our administrative experts work dedicatedly and passionately to provide top quality essay writing help to the students. Meticulous paper structures,
    subject matter relevance, free from grammatical errors are main characteristics that our highly experienced and talented writers endeavor for.
    Still drowning in the worry to complete your college assignments?

    Assignment helpers Online

    ReplyDelete
  61. Political science research paper writing help has become very popular among students seeking Political Science Writing Services and political science essay writing services.

    ReplyDelete
  62. Law Assignment Writing Services are hard to come across for those in need of Law Research Writing Services and law essay writing services.

    ReplyDelete
  63. The ultimate goal of engineering research writing services is to provide Engineering Assignment Writing Services and engineering coursework writing services since engineering dissertation help seekers lack time to complete their custom engineering research papers.

    ReplyDelete
  64. We are really grateful and refresh for your article post. You will find a lot of approaches after visiting your release. Your Website content gave us helpful data to work. Assignment Help Adelaide

    ReplyDelete
  65. http://blog.melonjs.org/2017/12/melonjs-50x.html

    ReplyDelete
  66. Good article. Thank you for sharing.

    Regards,
    Xfurbish.ae

    ReplyDelete
  67. Thank You for sharing such an wonderful post.


    Regards,
    Sureworks.in

    ReplyDelete


  68. this game is good pg slot
    this game is good joker
    this game is good joker123
    this game is good joker gaming
    this game is good pgslot auto
    this game is good pgslot

    ReplyDelete
  69. There is a reliable Healthcare Assignment Writing Service that is very popular for students in search of healthcare coursework writing services and nursing essay writing help services.

    ReplyDelete
  70. The ultimate goal of entrepreneurship coursework writing services is to provide Entrepreneurship Writing Services and entrepreneurship essay writing services since entrepreneurship assignments writing service seekers lack time to complete their entrepreneurship term paper writing services.

    ReplyDelete
  71. There are reliable PowerPoint Presentation Writing Services that are very popular for students in search of powerpoint presentation preparation services and pay for powerpoint presentations.

    ReplyDelete