xref: /freebsd/lib/libthr/thread/thr_pshared.c (revision d5b0e70f7e04d971691517ce1304d86a1e367e2e)
1 /*-
2  * Copyright (c) 2015 The FreeBSD Foundation
3  *
4  * This software was developed by Konstantin Belousov
5  * under sponsorship from the FreeBSD Foundation.
6  *
7  * Redistribution and use in source and binary forms, with or without
8  * modification, are permitted provided that the following conditions
9  * are met:
10  * 1. Redistributions of source code must retain the above copyright
11  *    notice, this list of conditions and the following disclaimer.
12  * 2. Redistributions in binary form must reproduce the above copyright
13  *    notice, this list of conditions and the following disclaimer in the
14  *    documentation and/or other materials provided with the distribution.
15  *
16  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
17  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
18  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
19  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
20  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
21  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
22  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
23  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
24  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
25  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
26  * SUCH DAMAGE.
27  */
28 
29 #include <sys/cdefs.h>
30 __FBSDID("$FreeBSD$");
31 
32 #include <sys/types.h>
33 #include <sys/mman.h>
34 #include <sys/queue.h>
35 #include "namespace.h"
36 #include <stdlib.h>
37 #include "un-namespace.h"
38 
39 #include "thr_private.h"
40 
41 struct psh {
42 	LIST_ENTRY(psh) link;
43 	void *key;
44 	void *val;
45 };
46 
47 LIST_HEAD(pshared_hash_head, psh);
48 #define	HASH_SIZE	128
49 static struct pshared_hash_head pshared_hash[HASH_SIZE];
50 #define	PSHARED_KEY_HASH(key)	(((unsigned long)(key) >> 8) % HASH_SIZE)
51 /* XXXKIB: lock could be split to per-hash chain, if appears contested */
52 static struct urwlock pshared_lock = DEFAULT_URWLOCK;
53 static int page_size;
54 
55 void
56 __thr_pshared_init(void)
57 {
58 	int i;
59 
60 	page_size = getpagesize();
61 	THR_ASSERT(page_size >= THR_PAGE_SIZE_MIN,
62 	    "THR_PAGE_SIZE_MIN is too large");
63 
64 	_thr_urwlock_init(&pshared_lock);
65 	for (i = 0; i < HASH_SIZE; i++)
66 		LIST_INIT(&pshared_hash[i]);
67 }
68 
69 static void
70 pshared_rlock(struct pthread *curthread)
71 {
72 
73 	curthread->locklevel++;
74 	_thr_rwl_rdlock(&pshared_lock);
75 }
76 
77 static void
78 pshared_wlock(struct pthread *curthread)
79 {
80 
81 	curthread->locklevel++;
82 	_thr_rwl_wrlock(&pshared_lock);
83 }
84 
85 static void
86 pshared_unlock(struct pthread *curthread)
87 {
88 
89 	_thr_rwl_unlock(&pshared_lock);
90 	curthread->locklevel--;
91 	_thr_ast(curthread);
92 }
93 
94 /*
95  * Among all processes sharing a lock only one executes
96  * pthread_lock_destroy().  Other processes still have the hash and
97  * mapped off-page.
98  *
99  * Mitigate the problem by checking the liveness of all hashed keys
100  * periodically.  Right now this is executed on each
101  * pthread_lock_destroy(), but may be done less often if found to be
102  * too time-consuming.
103  */
104 static void
105 pshared_gc(struct pthread *curthread)
106 {
107 	struct pshared_hash_head *hd;
108 	struct psh *h, *h1;
109 	int error, i;
110 
111 	pshared_wlock(curthread);
112 	for (i = 0; i < HASH_SIZE; i++) {
113 		hd = &pshared_hash[i];
114 		LIST_FOREACH_SAFE(h, hd, link, h1) {
115 			error = _umtx_op(NULL, UMTX_OP_SHM, UMTX_SHM_ALIVE,
116 			    h->val, NULL);
117 			if (error == 0)
118 				continue;
119 			LIST_REMOVE(h, link);
120 			munmap(h->val, page_size);
121 			free(h);
122 		}
123 	}
124 	pshared_unlock(curthread);
125 }
126 
127 static void *
128 pshared_lookup(void *key)
129 {
130 	struct pshared_hash_head *hd;
131 	struct psh *h;
132 
133 	hd = &pshared_hash[PSHARED_KEY_HASH(key)];
134 	LIST_FOREACH(h, hd, link) {
135 		if (h->key == key)
136 			return (h->val);
137 	}
138 	return (NULL);
139 }
140 
141 static int
142 pshared_insert(void *key, void **val)
143 {
144 	struct pshared_hash_head *hd;
145 	struct psh *h;
146 
147 	hd = &pshared_hash[PSHARED_KEY_HASH(key)];
148 	LIST_FOREACH(h, hd, link) {
149 		/*
150 		 * When the key already exists in the hash, we should
151 		 * return either the new (just mapped) or old (hashed)
152 		 * val, and the other val should be unmapped to avoid
153 		 * address space leak.
154 		 *
155 		 * If two threads perform lock of the same object
156 		 * which is not yet stored in the pshared_hash, then
157 		 * the val already inserted by the first thread should
158 		 * be returned, and the second val freed (order is by
159 		 * the pshared_lock()).  Otherwise, if we unmap the
160 		 * value obtained from the hash, the first thread
161 		 * might operate on an unmapped off-page object.
162 		 *
163 		 * There is still an issue: if hashed key was unmapped
164 		 * and then other page is mapped at the same key
165 		 * address, the hash would return the old val.  I
166 		 * decided to handle the race of simultaneous hash
167 		 * insertion, leaving the unlikely remap problem
168 		 * unaddressed.
169 		 */
170 		if (h->key == key) {
171 			if (h->val != *val) {
172 				munmap(*val, page_size);
173 				*val = h->val;
174 			}
175 			return (1);
176 		}
177 	}
178 
179 	h = malloc(sizeof(*h));
180 	if (h == NULL)
181 		return (0);
182 	h->key = key;
183 	h->val = *val;
184 	LIST_INSERT_HEAD(hd, h, link);
185 	return (1);
186 }
187 
188 static void *
189 pshared_remove(void *key)
190 {
191 	struct pshared_hash_head *hd;
192 	struct psh *h;
193 	void *val;
194 
195 	hd = &pshared_hash[PSHARED_KEY_HASH(key)];
196 	LIST_FOREACH(h, hd, link) {
197 		if (h->key == key) {
198 			LIST_REMOVE(h, link);
199 			val = h->val;
200 			free(h);
201 			return (val);
202 		}
203 	}
204 	return (NULL);
205 }
206 
207 static void
208 pshared_clean(void *key, void *val)
209 {
210 
211 	if (val != NULL)
212 		munmap(val, page_size);
213 	_umtx_op(NULL, UMTX_OP_SHM, UMTX_SHM_DESTROY, key, NULL);
214 }
215 
216 void *
217 __thr_pshared_offpage(void *key, int doalloc)
218 {
219 	struct pthread *curthread;
220 	void *res;
221 	int fd, ins_done;
222 
223 	curthread = _get_curthread();
224 	pshared_rlock(curthread);
225 	res = pshared_lookup(key);
226 	pshared_unlock(curthread);
227 	if (res != NULL)
228 		return (res);
229 	fd = _umtx_op(NULL, UMTX_OP_SHM, doalloc ? UMTX_SHM_CREAT :
230 	    UMTX_SHM_LOOKUP, key, NULL);
231 	if (fd == -1)
232 		return (NULL);
233 	res = mmap(NULL, page_size, PROT_READ | PROT_WRITE, MAP_SHARED, fd, 0);
234 	close(fd);
235 	if (res == MAP_FAILED)
236 		return (NULL);
237 	pshared_wlock(curthread);
238 	ins_done = pshared_insert(key, &res);
239 	pshared_unlock(curthread);
240 	if (!ins_done) {
241 		pshared_clean(key, res);
242 		res = NULL;
243 	}
244 	return (res);
245 }
246 
247 void
248 __thr_pshared_destroy(void *key)
249 {
250 	struct pthread *curthread;
251 	void *val;
252 
253 	curthread = _get_curthread();
254 	pshared_wlock(curthread);
255 	val = pshared_remove(key);
256 	pshared_unlock(curthread);
257 	pshared_clean(key, val);
258 	pshared_gc(curthread);
259 }
260 
261 void
262 __thr_pshared_atfork_pre(void)
263 {
264 
265 	_thr_rwl_rdlock(&pshared_lock);
266 }
267 
268 void
269 __thr_pshared_atfork_post(void)
270 {
271 
272 	_thr_rwl_unlock(&pshared_lock);
273 }
274