This is the mail archive of the
libc-alpha@sourceware.org
mailing list for the glibc project.
Re: Thread-, Signal- and Cancellation-safety documentation
- From: "Carlos O'Donell" <carlos at redhat dot com>
- To: Torvald Riegel <triegel at redhat dot com>
- Cc: Alexandre Oliva <aoliva at redhat dot com>, KOSAKI Motohiro <kosaki dot motohiro at gmail dot com>, Rich Felker <dalias at aerifal dot cx>, Florian Weimer <fweimer at redhat dot com>, libc-alpha <libc-alpha at sourceware dot org>
- Date: Mon, 10 Jun 2013 17:15:37 -0400
- Subject: Re: Thread-, Signal- and Cancellation-safety documentation
- References: <orppym7okv dot fsf at livre dot home> <20130326064347 dot GL20323 at brightrain dot aerifal dot cx> <515AB073 dot 9000500 at redhat dot com> <20130402134325 dot GO20323 at brightrain dot aerifal dot cx> <CAHGf_=q=2sM0C5kLazsVWiRfRvO0NX-sDRX2-SfoJkkCix9vzQ at mail dot gmail dot com> <1368788825 dot 3054 dot 3182 dot camel at triegel dot csb> <ora9nrh1cz dot fsf at livre dot home> <1369592301 dot 16968 dot 3046 dot camel at triegel dot csb> <orehcoqm0d dot fsf at livre dot home> <1370363818 dot 16968 dot 11024 dot camel at triegel dot csb> <orsj0ur1nu dot fsf at livre dot home> <1370610034 dot 16968 dot 11295 dot camel at triegel dot csb> <ork3m5r6uu dot fsf at livre dot home> <1370873323 dot 16968 dot 12183 dot camel at triegel dot csb>
On 06/10/2013 10:08 AM, Torvald Riegel wrote:
>>> If you wish to see a formal proof, why don't you (1) provide a proper
>>> definition and (2) *prove* that it doesn't have loopholes that render
>>> it useless?
>>
>> Because I'm not the one who's claiming there's a problem in the
>> standard. The burden of showing that is yours, not mine.
>
> It seems indeed like I can't explain the issues that I see in the
> standard's definition to you. It would be helpful if at this point in
> the discussion, others can chime.
Someone needs to be responsible for summarizing the results
of the discussion into something that others can comment
on more usefully, either a patch against Alex's branch or
a wiki page with a definition.
Cheers,
Carlos.