This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Thread safety annotations and analysis in GCC
- From: Tom Tromey <tromey at redhat dot com>
- To: "Le-Chun Wu" <lcwu at google dot com>
- Cc: gcc at gcc dot gnu dot org
- Date: Sun, 15 Jun 2008 15:43:44 -0600
- Subject: Re: Thread safety annotations and analysis in GCC
- References: <82091ad70806091629q5a585d1fq4942d9c5ed3d6a69@mail.gmail.com>
- Reply-to: tromey at redhat dot com
>>>>> "Le-Chun" == Le-Chun Wu <lcwu@google.com> writes:
Le-Chun> Here is the design doc for the proposed annotations:
Le-Chun> http://docs.google.com/Doc?id=ddqtfwhb_0c49t6zgr
I am curious to know how this compares to the kind of lock checking
implemented in sparse, and in particular whether sparse annotations
could easily be translated to this style.
Tom