public inbox for libc-alpha@sourceware.org
 help / color / mirror / Atom feed
From: Florian Weimer <fweimer@redhat.com>
To: Adhemerval Zanella via Libc-alpha <libc-alpha@sourceware.org>
Cc: Joseph Myers <joseph@codesourcery.com>,
	 Adhemerval Zanella <adhemerval.zanella@linaro.org>,
	 Tom Honermann <tom@honermann.net>
Subject: Re: [PATCH 2/3]: C++20 P0482R6 and C2X N2653: Implement mbrtoc8, c8rtomb, char8_t
Date: Tue, 17 May 2022 23:33:45 +0200	[thread overview]
Message-ID: <87h75ng7ye.fsf@oldenburg.str.redhat.com> (raw)
In-Reply-To: <7c7e07a6-ebf0-71bc-cdc4-2f563b0e3b0f@linaro.org> (Adhemerval Zanella via Libc-alpha's message of "Tue, 17 May 2022 15:17:52 -0300")

* Adhemerval Zanella via Libc-alpha:

> On 17/05/2022 15:12, Joseph Myers wrote:
>> On Tue, 17 May 2022, Adhemerval Zanella wrote:
>> 
>>>> +/* This is the private state used if PS is NULL.  */
>>>> +static mbstate_t state;
>>>
>>> Although it was done for other convertion interfaces, I wonder if we should
>>> keep supporting this mt-unsafe usage for newer ones.  It was not clear from 
>> 
>> In C23 it's implementation-defined whether the internal state for such 
>> functions has static or thread storage duration (see the general 
>> introduction to the uchar.h functions).
>> 
>
> Right, so glibc still need to support either mode.

No, I think we can and should switch.  Maybe with new symbol versions
(but the same implementation) if we want to play it conservative.

The intent in POSIX and C has been for a long time that thread-local
state is permitted for these functions, only the wording did not
technically allow it.  The phrase was “not required to avoid data
races”.  The problem is that it's possible to tell the difference
without data races (with external synchronization).  Many libcs already
use thread-local state for these functions, without any apparent ill
effects.

Thanks,
Florian


  reply	other threads:[~2022-05-17 21:33 UTC|newest]

Thread overview: 27+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2022-02-27 16:53 Tom Honermann
2022-02-28 23:01 ` Joseph Myers
2022-03-01  3:40   ` Tom Honermann
2022-05-17 15:57     ` Carlos O'Donell
2022-05-17 18:05     ` Adhemerval Zanella
2022-05-17 18:12       ` Joseph Myers
2022-05-17 18:17         ` Adhemerval Zanella
2022-05-17 21:33           ` Florian Weimer [this message]
2022-05-18 15:32             ` Tom Honermann
2022-05-18 16:17               ` Adhemerval Zanella
2022-05-18 17:26                 ` Tom Honermann
2022-05-18 17:39                   ` Adhemerval Zanella
2022-05-18 17:40                 ` Florian Weimer
2022-05-18 17:57                   ` Adhemerval Zanella
  -- strict thread matches above, loose matches on Subject: below --
2022-01-08  0:39 Tom Honermann
2022-01-11  0:53 ` Joseph Myers
2022-01-11 19:23   ` Tom Honermann
2022-01-20 23:17     ` Tom Honermann
2022-01-21 20:01       ` Adhemerval Zanella
2022-01-22 12:24         ` Tom Honermann
2022-02-16 18:29           ` Joseph Myers
2022-02-16 19:14             ` tom
2021-06-07  2:08 Tom Honermann
2021-06-07 18:53 ` Joseph Myers
2021-06-11 11:25   ` Tom Honermann
2021-06-11 16:28     ` Joseph Myers
2021-06-13 15:35       ` Tom Honermann

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=87h75ng7ye.fsf@oldenburg.str.redhat.com \
    --to=fweimer@redhat.com \
    --cc=adhemerval.zanella@linaro.org \
    --cc=joseph@codesourcery.com \
    --cc=libc-alpha@sourceware.org \
    --cc=tom@honermann.net \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).