Home | History | Annotate | Line # | Download | only in stdlib
_env.c revision 1.9.16.1
      1  1.9.16.1    martin /*	$NetBSD: _env.c,v 1.9.16.1 2020/04/08 14:07:13 martin Exp $ */
      2       1.1      tron 
      3       1.1      tron /*-
      4       1.1      tron  * Copyright (c) 2010 The NetBSD Foundation, Inc.
      5       1.1      tron  * All rights reserved.
      6       1.1      tron  *
      7       1.1      tron  * This code is derived from software contributed to The NetBSD Foundation
      8       1.1      tron  * by Matthias Scheler.
      9       1.1      tron  *
     10       1.1      tron  * Redistribution and use in source and binary forms, with or without
     11       1.1      tron  * modification, are permitted provided that the following conditions
     12       1.1      tron  * are met:
     13       1.1      tron  * 1. Redistributions of source code must retain the above copyright
     14       1.1      tron  *    notice, this list of conditions and the following disclaimer.
     15       1.1      tron  * 2. Redistributions in binary form must reproduce the above copyright
     16       1.1      tron  *    notice, this list of conditions and the following disclaimer in the
     17       1.1      tron  *    documentation and/or other materials provided with the distribution.
     18       1.1      tron  *
     19       1.1      tron  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
     20       1.1      tron  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
     21       1.1      tron  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
     22       1.1      tron  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
     23       1.1      tron  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
     24       1.1      tron  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
     25       1.1      tron  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
     26       1.1      tron  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
     27       1.1      tron  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
     28       1.1      tron  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
     29       1.1      tron  * POSSIBILITY OF SUCH DAMAGE.
     30       1.1      tron  */
     31       1.1      tron 
     32       1.4      tron #include <sys/cdefs.h>
     33       1.4      tron #if defined(LIBC_SCCS) && !defined(lint)
     34  1.9.16.1    martin __RCSID("$NetBSD: _env.c,v 1.9.16.1 2020/04/08 14:07:13 martin Exp $");
     35       1.4      tron #endif /* LIBC_SCCS and not lint */
     36       1.4      tron 
     37       1.5      tron #include "namespace.h"
     38       1.5      tron 
     39       1.1      tron #include <sys/rbtree.h>
     40       1.1      tron 
     41       1.1      tron #include <assert.h>
     42       1.1      tron #include <errno.h>
     43       1.2      tron #include <limits.h>
     44       1.1      tron #include <stdlib.h>
     45       1.1      tron #include <stddef.h>
     46       1.1      tron #include <string.h>
     47       1.1      tron 
     48       1.1      tron #include "env.h"
     49       1.1      tron #include "local.h"
     50       1.1      tron 
     51       1.1      tron /*
     52       1.1      tron  * Red-Black tree node for tracking memory used by environment variables.
     53       1.1      tron  * The tree is sorted by the address of the nodes themselves.
     54       1.1      tron  */
     55       1.1      tron typedef struct {
     56       1.1      tron 	rb_node_t	rb_node;
     57       1.1      tron 	size_t		length;
     58       1.4      tron 	uint8_t		marker;
     59       1.1      tron 	char		data[];
     60       1.1      tron } env_node_t;
     61       1.1      tron 
     62       1.1      tron /* Compare functions for above tree. */
     63       1.1      tron static signed int env_tree_compare_nodes(void *, const void *, const void *);
     64       1.1      tron static signed int env_tree_compare_key(void *, const void *, const void *);
     65       1.1      tron 
     66       1.1      tron /* Operations for above tree. */
     67       1.1      tron static const rb_tree_ops_t env_tree_ops = {
     68       1.1      tron 	.rbto_compare_nodes = env_tree_compare_nodes,
     69       1.1      tron 	.rbto_compare_key = env_tree_compare_key,
     70       1.1      tron 	.rbto_node_offset = offsetof(env_node_t, rb_node),
     71       1.1      tron 	.rbto_context = NULL
     72       1.1      tron };
     73       1.1      tron 
     74       1.1      tron /* The single instance of above tree. */
     75       1.1      tron static rb_tree_t	env_tree;
     76       1.1      tron 
     77       1.1      tron /* The allocated environment. */
     78       1.1      tron static char	**allocated_environ;
     79       1.1      tron static size_t	allocated_environ_size;
     80       1.1      tron 
     81       1.1      tron #define	ENV_ARRAY_SIZE_MIN	16
     82       1.1      tron 
     83       1.3     enami /* The lock protecting access to the environment. */
     84       1.1      tron #ifdef _REENTRANT
     85       1.1      tron static rwlock_t env_lock = RWLOCK_INITIALIZER;
     86       1.1      tron #endif
     87       1.1      tron 
     88       1.2      tron /* Compatibility function. */
     89       1.2      tron char *__findenv(const char *name, int *offsetp);
     90       1.2      tron 
     91       1.2      tron __warn_references(__findenv,
     92       1.2      tron     "warning: __findenv is an internal obsolete function.")
     93       1.2      tron 
     94       1.1      tron /* Our initialization function. */
     95       1.1      tron void __libc_env_init(void);
     96       1.1      tron 
     97       1.6  christos char **environ;
     98       1.6  christos 
     99       1.1      tron /*ARGSUSED*/
    100       1.1      tron static signed int
    101       1.1      tron env_tree_compare_nodes(void *ctx, const void *node_a, const void *node_b)
    102       1.1      tron {
    103       1.1      tron 	uintptr_t addr_a, addr_b;
    104       1.1      tron 
    105       1.1      tron 	addr_a = (uintptr_t)node_a;
    106       1.1      tron 	addr_b = (uintptr_t)node_b;
    107       1.1      tron 
    108       1.1      tron 	if (addr_a < addr_b)
    109       1.1      tron 		return -1;
    110       1.1      tron 
    111       1.1      tron 	if (addr_a > addr_b)
    112       1.1      tron 		return 1;
    113       1.1      tron 
    114       1.1      tron 	return 0;
    115       1.1      tron }
    116       1.1      tron 
    117       1.1      tron static signed int
    118       1.1      tron env_tree_compare_key(void *ctx, const void *node, const void *key)
    119       1.1      tron {
    120       1.1      tron 	return env_tree_compare_nodes(ctx, node,
    121       1.1      tron 	    (const uint8_t *)key - offsetof(env_node_t, data));
    122       1.1      tron }
    123       1.1      tron 
    124       1.1      tron /*
    125       1.1      tron  * Determine the of the name in an environment string. Return 0 if the
    126       1.1      tron  * name is not valid.
    127       1.1      tron  */
    128       1.1      tron size_t
    129       1.1      tron __envvarnamelen(const char *str, bool withequal)
    130       1.1      tron {
    131       1.1      tron 	size_t l_name;
    132       1.1      tron 
    133       1.1      tron 	if (str == NULL)
    134       1.1      tron 		return 0;
    135       1.1      tron 
    136       1.1      tron 	l_name = strcspn(str, "=");
    137       1.1      tron 	if (l_name == 0)
    138       1.1      tron 		return 0;
    139       1.1      tron 
    140       1.1      tron 	if (withequal) {
    141       1.1      tron 		if (str[l_name] != '=')
    142       1.1      tron 			return 0;
    143       1.1      tron 	} else {
    144       1.1      tron 		if (str[l_name] == '=')
    145       1.1      tron 			return 0;
    146       1.1      tron 	}
    147       1.1      tron 
    148       1.1      tron 	return l_name;
    149       1.1      tron }
    150       1.1      tron 
    151       1.1      tron /*
    152       1.1      tron  * Free memory occupied by environment variable if possible. This function
    153       1.1      tron  * must be called with the environment write locked.
    154       1.1      tron  */
    155       1.1      tron void
    156       1.1      tron __freeenvvar(char *envvar)
    157       1.1      tron {
    158       1.1      tron 	env_node_t *node;
    159       1.1      tron 
    160       1.1      tron 	_DIAGASSERT(envvar != NULL);
    161       1.1      tron 	node = rb_tree_find_node(&env_tree, envvar);
    162       1.1      tron 	if (node != NULL) {
    163       1.1      tron 		rb_tree_remove_node(&env_tree, node);
    164       1.1      tron 		free(node);
    165       1.1      tron 	}
    166       1.1      tron }
    167       1.1      tron 
    168       1.1      tron /*
    169       1.1      tron  * Allocate memory for an environment variable. This function must be called
    170       1.1      tron  * with the environment write locked.
    171       1.1      tron  */
    172       1.1      tron char *
    173       1.1      tron __allocenvvar(size_t length)
    174       1.1      tron {
    175       1.1      tron 	env_node_t *node;
    176       1.1      tron 
    177       1.1      tron 	node = malloc(sizeof(*node) + length);
    178       1.1      tron 	if (node != NULL) {
    179       1.1      tron 		node->length = length;
    180       1.4      tron 		node->marker = 0;
    181       1.1      tron 		rb_tree_insert_node(&env_tree, node);
    182       1.1      tron 		return node->data;
    183       1.1      tron 	} else {
    184       1.1      tron 		return NULL;
    185       1.1      tron 	}
    186       1.1      tron }
    187       1.1      tron 
    188       1.1      tron /*
    189       1.3     enami  * Check whether an environment variable is writable. This function must be
    190       1.1      tron  * called with the environment write locked as the caller will probably
    191       1.3     enami  * overwrite the environment variable afterwards.
    192       1.1      tron  */
    193       1.1      tron bool
    194       1.1      tron __canoverwriteenvvar(char *envvar, size_t length)
    195       1.1      tron {
    196       1.1      tron 	env_node_t *node;
    197       1.1      tron 
    198       1.1      tron 	_DIAGASSERT(envvar != NULL);
    199       1.1      tron 
    200       1.1      tron 	node = rb_tree_find_node(&env_tree, envvar);
    201       1.1      tron 	return (node != NULL && length <= node->length);
    202       1.1      tron }
    203       1.1      tron 
    204       1.4      tron /* Free all allocated environment variables that are no longer used. */
    205       1.4      tron static void
    206       1.4      tron __scrubenv(void)
    207       1.4      tron {
    208       1.4      tron 	static uint8_t marker = 0;
    209       1.4      tron 	size_t num_entries;
    210       1.4      tron 	env_node_t *node, *next;
    211       1.4      tron 
    212       1.4      tron 	while (++marker == 0);
    213       1.4      tron 
    214       1.4      tron 	/* Mark all nodes which are currently used. */
    215       1.4      tron 	for (num_entries = 0; environ[num_entries] != NULL; num_entries++) {
    216       1.4      tron 		node = rb_tree_find_node(&env_tree, environ[num_entries]);
    217       1.4      tron 		if (node != NULL)
    218       1.4      tron 			node->marker = marker;
    219       1.4      tron 	}
    220       1.4      tron 
    221       1.4      tron 	/* Free all nodes which are currently not used. */
    222       1.4      tron 	for (node = RB_TREE_MIN(&env_tree); node != NULL; node = next) {
    223       1.4      tron 		next = rb_tree_iterate(&env_tree, node, RB_DIR_RIGHT);
    224       1.4      tron 
    225       1.4      tron 		if (node->marker != marker) {
    226       1.4      tron 			rb_tree_remove_node(&env_tree, node);
    227       1.4      tron 			free(node);
    228       1.4      tron 		}
    229       1.4      tron 	}
    230       1.4      tron 
    231       1.4      tron 	/* Deal with the environment array itself. */
    232       1.4      tron 	if (environ == allocated_environ) {
    233       1.4      tron 		/* Clear out spurious entries in the environment. */
    234       1.4      tron 		(void)memset(&environ[num_entries + 1], 0,
    235       1.4      tron 		    (allocated_environ_size - num_entries - 1) *
    236       1.4      tron 		    sizeof(*environ));
    237       1.4      tron 	} else {
    238       1.4      tron 		/*
    239       1.4      tron 		 * The environment array was not allocated by "libc".
    240       1.4      tron 		 * Free our array if we allocated one.
    241       1.4      tron 		 */
    242       1.4      tron 		free(allocated_environ);
    243       1.4      tron 		allocated_environ = NULL;
    244       1.4      tron 		allocated_environ_size = 0;
    245       1.4      tron 	}
    246       1.4      tron }
    247       1.4      tron 
    248       1.1      tron /*
    249       1.1      tron  * Get a (new) slot in the environment. This function must be called with
    250       1.1      tron  * the environment write locked.
    251       1.1      tron  */
    252       1.1      tron ssize_t
    253       1.1      tron __getenvslot(const char *name, size_t l_name, bool allocate)
    254       1.1      tron {
    255       1.1      tron 	size_t new_size, num_entries, required_size;
    256       1.1      tron 	char **new_environ;
    257       1.1      tron 
    258       1.1      tron 	/* Search for an existing environment variable of the given name. */
    259       1.1      tron 	num_entries = 0;
    260  1.9.16.1    martin 	if (environ != NULL) {
    261  1.9.16.1    martin 		while (environ[num_entries] != NULL) {
    262  1.9.16.1    martin 			if (strncmp(environ[num_entries], name, l_name) == 0 &&
    263  1.9.16.1    martin 			    environ[num_entries][l_name] == '=') {
    264  1.9.16.1    martin 				/* We found a match. */
    265  1.9.16.1    martin 				return num_entries;
    266  1.9.16.1    martin 			}
    267  1.9.16.1    martin 			num_entries ++;
    268       1.1      tron 		}
    269       1.1      tron 	}
    270       1.1      tron 
    271       1.1      tron 	/* No match found, return if we don't want to allocate a new slot. */
    272       1.1      tron 	if (!allocate)
    273       1.1      tron 		return -1;
    274       1.1      tron 
    275       1.8      tron 	/* Does the environ need scrubbing? */
    276       1.8      tron 	if (environ != allocated_environ && allocated_environ != NULL)
    277       1.8      tron 		__scrubenv();
    278       1.8      tron 
    279       1.1      tron 	/* Create a new slot in the environment. */
    280       1.1      tron 	required_size = num_entries + 1;
    281       1.1      tron 	if (environ == allocated_environ &&
    282       1.1      tron 	    required_size < allocated_environ_size) {
    283       1.4      tron 		/* Does the environment need scrubbing? */
    284       1.4      tron 		if (required_size < allocated_environ_size &&
    285       1.4      tron 		    allocated_environ[required_size] != NULL) {
    286       1.4      tron 			__scrubenv();
    287       1.1      tron 		}
    288       1.1      tron 
    289       1.1      tron 		/* Return a free slot. */
    290       1.1      tron 		return num_entries;
    291       1.1      tron 	}
    292       1.1      tron 
    293       1.1      tron 	/* Determine size of a new environment array. */
    294       1.1      tron 	new_size = ENV_ARRAY_SIZE_MIN;
    295       1.1      tron 	while (new_size <= required_size)
    296       1.1      tron 		new_size <<= 1;
    297       1.1      tron 
    298       1.1      tron 	/* Allocate a new environment array. */
    299       1.1      tron 	if (environ == allocated_environ) {
    300       1.1      tron 		new_environ = realloc(environ,
    301       1.1      tron 		    new_size * sizeof(*new_environ));
    302       1.1      tron 		if (new_environ == NULL)
    303       1.1      tron 			return -1;
    304       1.1      tron 	} else {
    305       1.1      tron 		free(allocated_environ);
    306       1.1      tron 		allocated_environ = NULL;
    307       1.1      tron 		allocated_environ_size = 0;
    308       1.1      tron 
    309       1.1      tron 		new_environ = malloc(new_size * sizeof(*new_environ));
    310       1.1      tron 		if (new_environ == NULL)
    311       1.1      tron 			return -1;
    312       1.1      tron 		(void)memcpy(new_environ, environ,
    313       1.1      tron 		    num_entries * sizeof(*new_environ));
    314       1.1      tron 	}
    315       1.1      tron 
    316       1.1      tron 	/* Clear remaining entries. */
    317       1.1      tron 	(void)memset(&new_environ[num_entries], 0,
    318       1.1      tron 	    (new_size - num_entries) * sizeof(*new_environ));
    319       1.1      tron 
    320       1.3     enami 	/* Use the new environment array. */
    321       1.1      tron 	environ = allocated_environ = new_environ;
    322       1.1      tron 	allocated_environ_size = new_size;
    323       1.1      tron 
    324       1.1      tron 	/* Return a free slot. */
    325       1.1      tron 	return num_entries;
    326       1.1      tron }
    327       1.1      tron 
    328       1.1      tron /* Find a string in the environment. */
    329       1.1      tron char *
    330       1.2      tron __findenvvar(const char *name, size_t l_name)
    331       1.1      tron {
    332       1.1      tron 	ssize_t offset;
    333       1.1      tron 
    334       1.1      tron 	offset = __getenvslot(name, l_name, false);
    335       1.1      tron 	return (offset != -1) ? environ[offset] + l_name + 1 : NULL;
    336       1.1      tron }
    337       1.1      tron 
    338       1.2      tron /* Compatibility interface, do *not* call this function. */
    339       1.2      tron char *
    340       1.2      tron __findenv(const char *name, int *offsetp)
    341       1.2      tron {
    342       1.2      tron 	size_t l_name;
    343       1.2      tron 	ssize_t offset;
    344       1.2      tron 
    345       1.2      tron 	l_name = __envvarnamelen(name, false);
    346       1.2      tron 	if (l_name == 0)
    347       1.2      tron 		return NULL;
    348       1.2      tron 
    349       1.2      tron 	offset = __getenvslot(name, l_name, false);
    350       1.2      tron 	if (offset < 0 || offset > INT_MAX)
    351       1.2      tron 		return NULL;
    352       1.2      tron 
    353       1.2      tron 	*offsetp = (int)offset;
    354       1.2      tron 	return environ[offset] + l_name + 1;
    355       1.2      tron }
    356       1.2      tron 
    357       1.1      tron #ifdef _REENTRANT
    358       1.1      tron 
    359       1.1      tron /* Lock the environment for read. */
    360       1.1      tron bool
    361       1.1      tron __readlockenv(void)
    362       1.1      tron {
    363       1.1      tron 	int error;
    364       1.1      tron 
    365       1.1      tron 	error = rwlock_rdlock(&env_lock);
    366       1.1      tron 	if (error == 0)
    367       1.1      tron 		return true;
    368       1.1      tron 
    369       1.1      tron 	errno = error;
    370       1.1      tron 	return false;
    371       1.1      tron }
    372       1.1      tron 
    373       1.1      tron /* Lock the environment for write. */
    374       1.1      tron bool
    375       1.1      tron __writelockenv(void)
    376       1.1      tron {
    377       1.1      tron 	int error;
    378       1.1      tron 
    379       1.1      tron 	error = rwlock_wrlock(&env_lock);
    380       1.1      tron 	if (error == 0)
    381       1.1      tron 		return true;
    382       1.1      tron 
    383       1.1      tron 	errno = error;
    384       1.1      tron 	return false;
    385       1.1      tron }
    386       1.1      tron 
    387       1.1      tron /* Unlock the environment for write. */
    388       1.1      tron bool
    389       1.1      tron __unlockenv(void)
    390       1.1      tron {
    391       1.1      tron 	int error;
    392       1.1      tron 
    393       1.1      tron 	error = rwlock_unlock(&env_lock);
    394       1.1      tron 	if (error == 0)
    395       1.1      tron 		return true;
    396       1.1      tron 
    397       1.1      tron 	errno = error;
    398       1.1      tron 	return false;
    399       1.1      tron }
    400       1.1      tron 
    401       1.1      tron #endif
    402       1.1      tron 
    403       1.1      tron /* Initialize environment memory RB tree. */
    404       1.7      matt void __section(".text.startup")
    405       1.1      tron __libc_env_init(void)
    406       1.1      tron {
    407       1.1      tron 	rb_tree_init(&env_tree, &env_tree_ops);
    408       1.1      tron }
    409