The Linux Programming Interface

Threads: Thread Safety and Per-Thread Storage 657

Reentrant and nonreentrant functions

Although the use of critical sections to implement thread safety is a significant
improvement over the use of per-function mutexes, it is still somewhat inefficient
because there is a cost to locking and unlocking a mutex. A reentrant function
achieves thread safety without the use of mutexes. It does this by avoiding the use
of global and static variables. Any information that must be returned to the caller,
or maintained between calls to the function, is stored in buffers allocated by the
caller. (We first encountered reentrancy when discussing the treatment of global
variables within signal handlers in Section 21.1.2.) However, not all functions can
be made reentrant. The usual reasons are the following:

z By their nature, some functions must access global data structures. The func-
tions in the malloc library provide a good example. These functions maintain a
global linked list of free blocks on the heap. The functions of the malloc library
are made thread-safe through the use of mutexes.

z Some functions (defined before the invention of threads) have an interface
that by definition is nonreentrant, because they return pointers to storage statically
allocated by the function, or they employ static storage to maintain informa-
tion between successive calls to the same (or a related) function. Most of the
functions in Table 31-1 fall into this category. For example, the asctime() func-
tion (Section 10.2.3) returns a pointer to a statically allocated buffer containing
a date-time string.

Table 31-1: Functions that SUSv3 does not require to be thread-safe

asctime()

basename()

catgets()

crypt()

ctime()

dbm_clearerr()

dbm_close()

dbm_delete()

dbm_error()

dbm_fetch()

dbm_firstkey()

dbm_nextkey()

dbm_open()

dbm_store()

dirname()

dlerror()

drand48()

ecvt()

encrypt()

endgrent()

endpwent()

endutxent()

fcvt()

ftw()

gcvt()

getc_unlocked()

getchar_unlocked()

getdate()

getenv()

getgrent()

getgrgid()

getgrnam()

gethostbyaddr()

gethostbyname()

gethostent()

getlogin()

getnetbyaddr()

getnetbyname()

getnetent()

getopt()

getprotobyname()

getprotobynumber()

getprotoent()

getpwent()

getpwnam()

getpwuid()

getservbyname()

getservbyport()

getservent()

getutxent()

getutxid()

getutxline()

gmtime()

hcreate()

hdestroy()

hsearch()

inet_ntoa()

l64a()

lgamma()

lgammaf()

lgammal()

localeconv()

localtime()

lrand48()

mrand48()

nftw()

nl_langinfo()

ptsname()

putc_unlocked()

putchar_unlocked()

putenv()

pututxline()

rand()

readdir()

setenv()

setgrent()

setkey()

setpwent()

setutxent()

strerror()

strtok()

ttyname()

unsetenv()

wcstombs()

wctomb()