From: "Michael Kerrisk (man-pages)" <mtk.manpages-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org>
To: Carlos O'Donell <carlos-H+wXaHxf7aLQT0dZR+AlfA@public.gmane.org>,
Peng Haitao <penght-BthXqXjhjHXQFUHtdCDX3A@public.gmane.org>,
Alexandre Oliva <aoliva-H+wXaHxf7aLQT0dZR+AlfA@public.gmane.org>,
"linux-man-u79uwXL29TY76Z2rM5mHXA@public.gmane.org"
<linux-man-u79uwXL29TY76Z2rM5mHXA@public.gmane.org>,
GNU C Library
<libc-alpha-9JcytcrH/bA+uJoB2kUjGw@public.gmane.org>
Cc: mtk.manpages-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org
Subject: Re: Adding reentrancy information to safety notes?
Date: Tue, 30 Dec 2014 20:53:05 +0100 [thread overview]
Message-ID: <54A302A1.3020706@gmail.com> (raw)
In-Reply-To: <54A2C8A6.9050100-H+wXaHxf7aLQT0dZR+AlfA@public.gmane.org>
Hi Carlos,
You better turn on the spell checker in your mailer (or update
its dictionary) ;-). ("Ree_n_tran*")
On 12/30/2014 04:45 PM, Carlos O'Donell wrote:
> Michael, Peng, Alex,
>
> We have had some recent discussions about reetrancy safety
> of dlopen. My goal is going to be to ensure that dlopen
> and in general the intefaces in libdl remain reetrant to
> allow user implemented malloc to use these interfaces to
> load libraries that themselves may have reetrant helper
> functions.
>
> This raises the question: How do we clearly document which
> functions are reetrant?
>
> My thoughts are as follows:
> * Add some introductory text about reetrancy in the safety
> section. This text will discuss that AS-safe functions
> are reetrant because they must be to be AS-safe. Note that
> reetrant functions need not be AS-safe nor MT-safe.
Sounds good to me.
> * Add a "R-Safe" and "R-Unsafe" to indicate safety with respect
> to reetrancy.
Sounds odd to me. Why not just say "Reentrant" and "Nonreentrant",
rather than add new terms?
> * Immediately annotate all AS-safe functions as R-Safe.
Okay -- modulo preceding point
> * Review all of the "_r" functions for reetrance safety.
Okay.
> Thoughts?
>
> My review of other Unices indicates this is probably the
> last type of safety that documented by other systems.
I am not quite clear what you mean by "last...documented".
Do you mean: few other systems document it?
Thanks,
Michael
--
Michael Kerrisk
Linux man-pages maintainer; http://www.kernel.org/doc/man-pages/
Linux/UNIX System Programming Training: http://man7.org/training/
--
To unsubscribe from this list: send the line "unsubscribe linux-man" in
the body of a message to majordomo-u79uwXL29TY76Z2rM5mHXA@public.gmane.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
next prev parent reply other threads:[~2014-12-30 19:53 UTC|newest]
Thread overview: 20+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-12-30 15:45 Adding reentrancy information to safety notes? Carlos O'Donell
[not found] ` <54A2C8A6.9050100-H+wXaHxf7aLQT0dZR+AlfA@public.gmane.org>
2014-12-30 19:53 ` Michael Kerrisk (man-pages) [this message]
2014-12-30 20:08 ` Carlos O'Donell
[not found] ` <54A30624.7070207-H+wXaHxf7aLQT0dZR+AlfA@public.gmane.org>
2014-12-30 20:35 ` Michael Kerrisk (man-pages)
2014-12-30 22:55 ` Alexandre Oliva
[not found] ` <ork318eoj4.fsf-o1YuAO9g/txBDLzU/O5InQ@public.gmane.org>
2014-12-30 23:05 ` Rich Felker
[not found] ` <20141230230529.GT4574-C3MtFaGISjmo6RMmaWD+6Sb1p8zYI1N1@public.gmane.org>
2014-12-31 1:43 ` Alexandre Oliva
2014-12-31 4:12 ` Carlos O'Donell
2014-12-31 9:38 ` Alexandre Oliva
[not found] ` <orppb0dur7.fsf-o1YuAO9g/txBDLzU/O5InQ@public.gmane.org>
2014-12-31 16:07 ` Carlos O'Donell
[not found] ` <54A41F36.5010800-H+wXaHxf7aLQT0dZR+AlfA@public.gmane.org>
2015-01-01 7:11 ` Alexandre Oliva
2015-01-05 15:26 ` Carlos O'Donell
2015-01-05 23:21 ` Alexandre Oliva
2015-01-07 9:52 ` Michael Kerrisk (man-pages)
[not found] ` <54A377B8.60802-H+wXaHxf7aLQT0dZR+AlfA@public.gmane.org>
2014-12-31 9:31 ` Alexandre Oliva
[not found] ` <ortx0cdv3c.fsf-o1YuAO9g/txBDLzU/O5InQ@public.gmane.org>
2014-12-31 15:26 ` Carlos O'Donell
[not found] ` <54A41595.4010007-H+wXaHxf7aLQT0dZR+AlfA@public.gmane.org>
2015-01-01 7:05 ` Alexandre Oliva
2015-01-05 14:25 ` Carlos O'Donell
2015-01-01 0:19 ` Rich Felker
[not found] ` <20150101001905.GU4574-C3MtFaGISjmo6RMmaWD+6Sb1p8zYI1N1@public.gmane.org>
2015-01-05 15:05 ` Carlos O'Donell
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=54A302A1.3020706@gmail.com \
--to=mtk.manpages-re5jqeeqqe8avxtiumwx3w@public.gmane.org \
--cc=aoliva-H+wXaHxf7aLQT0dZR+AlfA@public.gmane.org \
--cc=carlos-H+wXaHxf7aLQT0dZR+AlfA@public.gmane.org \
--cc=libc-alpha-9JcytcrH/bA+uJoB2kUjGw@public.gmane.org \
--cc=linux-man-u79uwXL29TY76Z2rM5mHXA@public.gmane.org \
--cc=penght-BthXqXjhjHXQFUHtdCDX3A@public.gmane.org \
/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 NNTP newsgroup(s).