This is the mail archive of the
libc-help@sourceware.org
mailing list for the glibc project.
Re: Annex K
- From: Adhemerval Zanella <adhemerval dot zanella at linaro dot org>
- To: libc-help at sourceware dot org
- Date: Mon, 15 Jan 2018 08:50:22 -0200
- Subject: Re: Annex K
- Authentication-results: sourceware.org; auth=none
- References: <CAN3N+znFYLPpJd61W0Hw7mEXGq5ZP-N8q7iGVqAonS+OHBvrJg@mail.gmail.com> <CAN3N+z=yc0S1LD-OCCnxpaQ+fPqKzmQFrDt65-zasTQkYj0nTw@mail.gmail.com>
On 14/01/2018 18:30, <Alexander G. Riccio> wrote:
> So, I heard from a little birdie (from WG14) that you guys might accept
> patches to implement annex k support... Is that true?
>
I has been discussed in various different threads over the years and the
last one if I remember correctly was at 2014 [1]. Carlos O'Donnel and
Martin Sebor wrote a very good analysis of Annek K [2], pointing out
flaw, potential misuses, and inefficiencies in the API.
Personalty the multithread safety issue with the contraint handler basically
render de API useless in most of the cases (even more now where multithread
become ubiquitous). It has been proposed adjustments to its interface [3],
but even though the libc-alpha discussion have discussion about its issues
(mainly from Rich Felker).
[1] https://sourceware.org/ml/libc-alpha/2014-08/msg00133.html
[2] http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1967.htm
[3] http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1962.htm
- References:
- Annex K
- From: <Alexander G. Riccio>