Hi, We have been working on creating program annotations for C/C++ (in GCC attributes) to help developers document locks and how they need to be used to safely read and write shared variables in multi-threaded code. We've also implemented a new GCC pass that uses the annotations to identify and warn about the issues that could potentially result in race conditions and deadlocks. Here is the design doc for the proposed annotations:
http://docs.google.com/Doc?id=ddqtfwhb_0c49t6zgr Attached please find also find the patch file that contains the initial implementation of the annotations and analysis. Please let me know if you have any feedback/comments/questions on the proposed annotations and the GCC implementation. We will be creating a public branch for people who are interested to start contributing to the project (before the patch is accepted and checked into the trunk). We will send out another email once the public branch is created. Thanks, Le-Chun Wu
ts_annotations.patch.gz
Description: GNU Zip compressed data
