blob: d958c8378e5388c717a8a8a2a36e1a4b60536ec6 [file] [log] [blame]
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001/*
Ed Warnickecb9cada2015-12-08 15:45:58 -07002 *------------------------------------------------------------------
Dave Barach8a7fb0c2016-07-08 14:44:23 -04003 * svm.c - shared VM allocation, mmap(...MAP_FIXED...)
Ed Warnickecb9cada2015-12-08 15:45:58 -07004 * library
5 *
6 * Copyright (c) 2009 Cisco and/or its affiliates.
7 * Licensed under the Apache License, Version 2.0 (the "License");
8 * you may not use this file except in compliance with the License.
9 * You may obtain a copy of the License at:
10 *
11 * http://www.apache.org/licenses/LICENSE-2.0
12 *
13 * Unless required by applicable law or agreed to in writing, software
14 * distributed under the License is distributed on an "AS IS" BASIS,
15 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
16 * See the License for the specific language governing permissions and
17 * limitations under the License.
18 *------------------------------------------------------------------
19 */
20
21#include <stdio.h>
22#include <stdlib.h>
23#include <sys/types.h>
24#include <sys/mman.h>
25#include <sys/stat.h>
26#include <netinet/in.h>
27#include <signal.h>
28#include <pthread.h>
29#include <unistd.h>
30#include <time.h>
31#include <fcntl.h>
32#include <string.h>
33#include <vppinfra/clib.h>
34#include <vppinfra/vec.h>
35#include <vppinfra/hash.h>
36#include <vppinfra/bitmap.h>
37#include <vppinfra/fifo.h>
38#include <vppinfra/time.h>
39#include <vppinfra/mheap.h>
40#include <vppinfra/heap.h>
41#include <vppinfra/pool.h>
42#include <vppinfra/format.h>
43
44#include "svm.h"
45
46static svm_region_t *root_rp;
47static int root_rp_refcount;
48
49#define MAXLOCK 2
Dave Barach8a7fb0c2016-07-08 14:44:23 -040050static pthread_mutex_t *mutexes_held[MAXLOCK];
Ed Warnickecb9cada2015-12-08 15:45:58 -070051static int nheld;
52
Dave Barach8a7fb0c2016-07-08 14:44:23 -040053svm_region_t *
54svm_get_root_rp (void)
Ed Warnickecb9cada2015-12-08 15:45:58 -070055{
Dave Barach8a7fb0c2016-07-08 14:44:23 -040056 return root_rp;
Ed Warnickecb9cada2015-12-08 15:45:58 -070057}
58
59#define MUTEX_DEBUG
60
Damjan Marionaec8f892018-01-08 16:35:35 +010061u64
62svm_get_global_region_base_va ()
63{
64#if __aarch64__
65 /* On AArch64 VA space can have different size, from 36 to 48 bits.
66 Here we are trying to detect VA bits by parsing /proc/self/maps
67 address ranges */
68 int fd;
69 unformat_input_t input;
70 u64 start, end = 0;
71 u8 bits = 0;
72
73 if ((fd = open ("/proc/self/maps", 0)) < 0)
74 clib_unix_error ("open '/proc/self/maps'");
75
76 unformat_init_clib_file (&input, fd);
77 while (unformat_check_input (&input) != UNFORMAT_END_OF_INPUT)
78 {
Gabriel Gannec5239ad2018-01-11 15:04:19 +010079 if (unformat (&input, "%llx-%llx", &start, &end))
80 end--;
Damjan Marionaec8f892018-01-08 16:35:35 +010081 unformat_skip_line (&input);
82 }
Gabriel Ganne83d47432018-01-10 11:40:50 +010083 unformat_free (&input);
84 close (fd);
Damjan Marionaec8f892018-01-08 16:35:35 +010085
Damjan Marion11056002018-05-10 13:40:44 +020086 bits = count_leading_zeros (end);
Gabriel Gannec5239ad2018-01-11 15:04:19 +010087 bits = 64 - bits;
Damjan Marionaec8f892018-01-08 16:35:35 +010088 if (bits >= 36 && bits <= 48)
89 return ((1ul << bits) / 4) - (2 * SVM_GLOBAL_REGION_SIZE);
90 else
91 clib_unix_error ("unexpected va bits '%u'", bits);
Damjan Marionaec8f892018-01-08 16:35:35 +010092#endif
93
94 /* default value */
95 return 0x30000000;
96}
97
Dave Barach8a7fb0c2016-07-08 14:44:23 -040098static void
99region_lock (svm_region_t * rp, int tag)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700100{
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400101 pthread_mutex_lock (&rp->mutex);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700102#ifdef MUTEX_DEBUG
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400103 rp->mutex_owner_pid = getpid ();
104 rp->mutex_owner_tag = tag;
105#endif
106 ASSERT (nheld < MAXLOCK);
107 /*
108 * Keep score of held mutexes so we can try to exit
109 * cleanly if the world comes to an end at the worst possible
110 * moment
111 */
112 mutexes_held[nheld++] = &rp->mutex;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700113}
114
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400115static void
116region_unlock (svm_region_t * rp)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700117{
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400118 int i, j;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700119#ifdef MUTEX_DEBUG
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400120 rp->mutex_owner_pid = 0;
121 rp->mutex_owner_tag = 0;
122#endif
Ed Warnickecb9cada2015-12-08 15:45:58 -0700123
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400124 for (i = nheld - 1; i >= 0; i--)
125 {
126 if (mutexes_held[i] == &rp->mutex)
127 {
128 for (j = i; j < MAXLOCK - 1; j++)
129 mutexes_held[j] = mutexes_held[j + 1];
130 nheld--;
131 goto found;
132 }
Ed Warnickecb9cada2015-12-08 15:45:58 -0700133 }
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400134 ASSERT (0);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700135
136found:
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400137 CLIB_MEMORY_BARRIER ();
138 pthread_mutex_unlock (&rp->mutex);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700139}
140
141
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400142static u8 *
143format_svm_flags (u8 * s, va_list * args)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700144{
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400145 uword f = va_arg (*args, uword);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700146
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400147 if (f & SVM_FLAGS_MHEAP)
148 s = format (s, "MHEAP ");
149 if (f & SVM_FLAGS_FILE)
150 s = format (s, "FILE ");
151 if (f & SVM_FLAGS_NODATA)
152 s = format (s, "NODATA ");
153 if (f & SVM_FLAGS_NEED_DATA_INIT)
154 s = format (s, "INIT ");
155
156 return (s);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700157}
158
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400159static u8 *
160format_svm_size (u8 * s, va_list * args)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700161{
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400162 uword size = va_arg (*args, uword);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700163
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400164 if (size >= (1 << 20))
165 {
166 s = format (s, "(%d mb)", size >> 20);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700167 }
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400168 else if (size >= (1 << 10))
169 {
170 s = format (s, "(%d kb)", size >> 10);
171 }
172 else
173 {
174 s = format (s, "(%d bytes)", size);
175 }
176 return (s);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700177}
178
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400179u8 *
180format_svm_region (u8 * s, va_list * args)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700181{
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400182 svm_region_t *rp = va_arg (*args, svm_region_t *);
183 int verbose = va_arg (*args, int);
184 int i;
185 uword lo, hi;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700186
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400187 s = format (s, "%s: base va 0x%x size 0x%x %U\n",
188 rp->region_name, rp->virtual_base,
189 rp->virtual_size, format_svm_size, rp->virtual_size);
190 s = format (s, " user_ctx 0x%x, bitmap_size %d\n",
191 rp->user_ctx, rp->bitmap_size);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700192
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400193 if (verbose)
194 {
195 s = format (s, " flags: 0x%x %U\n", rp->flags,
196 format_svm_flags, rp->flags);
197 s = format (s,
198 " region_heap 0x%x data_base 0x%x data_heap 0x%x\n",
199 rp->region_heap, rp->data_base, rp->data_heap);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700200 }
201
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400202 s = format (s, " %d clients, pids: ", vec_len (rp->client_pids));
Ed Warnickecb9cada2015-12-08 15:45:58 -0700203
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400204 for (i = 0; i < vec_len (rp->client_pids); i++)
205 s = format (s, "%d ", rp->client_pids[i]);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700206
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400207 s = format (s, "\n");
Ed Warnickecb9cada2015-12-08 15:45:58 -0700208
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400209 if (verbose)
210 {
211 lo = hi = ~0;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700212
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400213 s = format (s, " VM in use: ");
214
215 for (i = 0; i < rp->bitmap_size; i++)
216 {
217 if (clib_bitmap_get_no_check (rp->bitmap, i) != 0)
218 {
219 if (lo == ~0)
220 {
221 hi = lo = rp->virtual_base + i * MMAP_PAGESIZE;
222 }
223 else
224 {
225 hi = rp->virtual_base + i * MMAP_PAGESIZE;
226 }
227 }
228 else
229 {
230 if (lo != ~0)
231 {
232 hi = rp->virtual_base + i * MMAP_PAGESIZE - 1;
233 s = format (s, " 0x%x - 0x%x (%dk)\n", lo, hi,
234 (hi - lo) >> 10);
235 lo = hi = ~0;
236 }
237 }
238 }
239 s = format (s, " rgn heap stats: %U", format_mheap,
240 rp->region_heap, 0);
241 if ((rp->flags & SVM_FLAGS_MHEAP) && rp->data_heap)
242 {
243 s = format (s, "\n data heap stats: %U", format_mheap,
244 rp->data_heap, 1);
245 }
246 s = format (s, "\n");
Ed Warnickecb9cada2015-12-08 15:45:58 -0700247 }
248
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400249 return (s);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700250}
251
252/*
253 * rnd_pagesize
254 * Round to a pagesize multiple, presumably 4k works
255 */
Dave Barachb3d93da2016-08-03 14:34:38 -0400256static u64
257rnd_pagesize (u64 size)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700258{
Dave Barachb3d93da2016-08-03 14:34:38 -0400259 u64 rv;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700260
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400261 rv = (size + (MMAP_PAGESIZE - 1)) & ~(MMAP_PAGESIZE - 1);
262 return (rv);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700263}
264
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400265/*
Ed Warnickecb9cada2015-12-08 15:45:58 -0700266 * svm_data_region_setup
267 */
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400268static int
269svm_data_region_create (svm_map_region_args_t * a, svm_region_t * rp)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700270{
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400271 int fd;
272 u8 junk = 0;
273 uword map_size;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700274
Dave Barachc3799992016-08-15 11:12:27 -0400275 map_size = rp->virtual_size - (MMAP_PAGESIZE +
276 (a->pvt_heap_size ? a->pvt_heap_size :
277 SVM_PVT_MHEAP_SIZE));
Ed Warnickecb9cada2015-12-08 15:45:58 -0700278
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400279 if (a->flags & SVM_FLAGS_FILE)
280 {
281 struct stat statb;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700282
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400283 fd = open (a->backing_file, O_RDWR | O_CREAT, 0777);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700284
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400285 if (fd < 0)
286 {
287 clib_unix_warning ("open");
288 return -1;
289 }
Ed Warnickecb9cada2015-12-08 15:45:58 -0700290
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400291 if (fstat (fd, &statb) < 0)
292 {
293 clib_unix_warning ("fstat");
294 close (fd);
295 return -2;
296 }
297
298 if (statb.st_mode & S_IFREG)
299 {
300 if (statb.st_size == 0)
301 {
302 if (lseek (fd, map_size, SEEK_SET) == (off_t) - 1)
303 {
304 clib_unix_warning ("seek region size");
305 close (fd);
306 return -3;
307 }
308 if (write (fd, &junk, 1) != 1)
309 {
310 clib_unix_warning ("set region size");
311 close (fd);
312 return -3;
313 }
314 }
315 else
316 {
317 map_size = rnd_pagesize (statb.st_size);
318 }
319 }
320 else
321 {
322 map_size = a->backing_mmap_size;
323 }
324
325 ASSERT (map_size <= rp->virtual_size -
326 (MMAP_PAGESIZE + SVM_PVT_MHEAP_SIZE));
327
328 if (mmap (rp->data_base, map_size, PROT_READ | PROT_WRITE,
329 MAP_SHARED | MAP_FIXED, fd, 0) == MAP_FAILED)
330 {
331 clib_unix_warning ("mmap");
332 close (fd);
333 return -3;
334 }
335 close (fd);
336 rp->backing_file = (char *) format (0, "%s\0", a->backing_file);
337 rp->flags |= SVM_FLAGS_FILE;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700338 }
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400339
340 if (a->flags & SVM_FLAGS_MHEAP)
341 {
Ole Troan73710c72018-06-04 22:27:49 +0200342 mheap_t *heap_header;
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400343 rp->data_heap =
344 mheap_alloc_with_flags ((void *) (rp->data_base), map_size,
345 MHEAP_FLAG_DISABLE_VM);
Ole Troan73710c72018-06-04 22:27:49 +0200346 heap_header = mheap_header (rp->data_heap);
347 heap_header->flags |= MHEAP_FLAG_THREAD_SAFE;
348
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400349 rp->flags |= SVM_FLAGS_MHEAP;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700350 }
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400351 return 0;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700352}
353
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400354static int
355svm_data_region_map (svm_map_region_args_t * a, svm_region_t * rp)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700356{
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400357 int fd;
358 u8 junk = 0;
359 uword map_size;
360 struct stat statb;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700361
Dave Barachc3799992016-08-15 11:12:27 -0400362 map_size = rp->virtual_size -
363 (MMAP_PAGESIZE
Dave Barachb3d93da2016-08-03 14:34:38 -0400364 + (a->pvt_heap_size ? a->pvt_heap_size : SVM_PVT_MHEAP_SIZE));
Ed Warnickecb9cada2015-12-08 15:45:58 -0700365
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400366 if (a->flags & SVM_FLAGS_FILE)
367 {
Ed Warnickecb9cada2015-12-08 15:45:58 -0700368
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400369 fd = open (a->backing_file, O_RDWR, 0777);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700370
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400371 if (fd < 0)
372 {
373 clib_unix_warning ("open");
374 return -1;
375 }
Ed Warnickecb9cada2015-12-08 15:45:58 -0700376
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400377 if (fstat (fd, &statb) < 0)
378 {
379 clib_unix_warning ("fstat");
380 close (fd);
381 return -2;
382 }
383
384 if (statb.st_mode & S_IFREG)
385 {
386 if (statb.st_size == 0)
387 {
388 if (lseek (fd, map_size, SEEK_SET) == (off_t) - 1)
389 {
390 clib_unix_warning ("seek region size");
391 close (fd);
392 return -3;
393 }
394 if (write (fd, &junk, 1) != 1)
395 {
396 clib_unix_warning ("set region size");
397 close (fd);
398 return -3;
399 }
400 }
401 else
402 {
403 map_size = rnd_pagesize (statb.st_size);
404 }
405 }
406 else
407 {
408 map_size = a->backing_mmap_size;
409 }
410
411 ASSERT (map_size <= rp->virtual_size
Dave Barachc3799992016-08-15 11:12:27 -0400412 - (MMAP_PAGESIZE
413 +
414 (a->pvt_heap_size ? a->pvt_heap_size : SVM_PVT_MHEAP_SIZE)));
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400415
416 if (mmap (rp->data_base, map_size, PROT_READ | PROT_WRITE,
417 MAP_SHARED | MAP_FIXED, fd, 0) == MAP_FAILED)
418 {
419 clib_unix_warning ("mmap");
420 close (fd);
421 return -3;
422 }
423 close (fd);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700424 }
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400425 return 0;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700426}
427
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400428u8 *
429shm_name_from_svm_map_region_args (svm_map_region_args_t * a)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700430{
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400431 u8 *path;
432 u8 *shm_name;
433 u8 *split_point;
434 u8 *mkdir_arg = 0;
435 int root_path_offset = 0;
436 int name_offset = 0;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700437
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400438 if (a->root_path)
439 {
440 /* Tolerate present or absent slashes */
441 if (a->root_path[0] == '/')
442 root_path_offset++;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700443
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400444 /* create the root_path under /dev/shm
445 iterate through path creating directories */
Ed Warnickecb9cada2015-12-08 15:45:58 -0700446
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400447 path = format (0, "/dev/shm/%s%c", &a->root_path[root_path_offset], 0);
448 split_point = path + 1;
449 vec_add1 (mkdir_arg, '-');
450
451 while (*split_point)
452 {
453 while (*split_point && *split_point != '/')
454 {
455 vec_add1 (mkdir_arg, *split_point);
456 split_point++;
457 }
458 vec_add1 (mkdir_arg, 0);
459
460 /* ready to descend another level */
461 mkdir_arg[vec_len (mkdir_arg) - 1] = '-';
462 split_point++;
463 }
464 vec_free (mkdir_arg);
465 vec_free (path);
466
467 if (a->name[0] == '/')
468 name_offset = 1;
469
Matej Perinad135c192017-07-18 13:59:41 +0200470 shm_name = format (0, "/%s-%s%c", &a->root_path[root_path_offset],
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400471 &a->name[name_offset], 0);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700472 }
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400473 else
474 shm_name = format (0, "%s%c", a->name, 0);
475 return (shm_name);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700476}
477
Dave Barach59b25652017-09-10 15:04:27 -0400478void
479svm_region_init_mapped_region (svm_map_region_args_t * a, svm_region_t * rp)
480{
481 pthread_mutexattr_t attr;
482 pthread_condattr_t cattr;
483 int nbits, words, bit;
484 int overhead_space;
485 void *oldheap;
486 uword data_base;
487 ASSERT (rp);
488 int rv;
489
490 memset (rp, 0, sizeof (*rp));
491
492 if (pthread_mutexattr_init (&attr))
493 clib_unix_warning ("mutexattr_init");
494
495 if (pthread_mutexattr_setpshared (&attr, PTHREAD_PROCESS_SHARED))
496 clib_unix_warning ("mutexattr_setpshared");
497
498 if (pthread_mutex_init (&rp->mutex, &attr))
499 clib_unix_warning ("mutex_init");
500
501 if (pthread_mutexattr_destroy (&attr))
502 clib_unix_warning ("mutexattr_destroy");
503
504 if (pthread_condattr_init (&cattr))
505 clib_unix_warning ("condattr_init");
506
507 if (pthread_condattr_setpshared (&cattr, PTHREAD_PROCESS_SHARED))
508 clib_unix_warning ("condattr_setpshared");
509
510 if (pthread_cond_init (&rp->condvar, &cattr))
511 clib_unix_warning ("cond_init");
512
513 if (pthread_condattr_destroy (&cattr))
514 clib_unix_warning ("condattr_destroy");
515
516 region_lock (rp, 1);
517
518 rp->virtual_base = a->baseva;
519 rp->virtual_size = a->size;
520
521 rp->region_heap =
522 mheap_alloc_with_flags (uword_to_pointer
523 (a->baseva + MMAP_PAGESIZE, void *),
524 (a->pvt_heap_size !=
525 0) ? a->pvt_heap_size : SVM_PVT_MHEAP_SIZE,
526 MHEAP_FLAG_DISABLE_VM);
527 oldheap = svm_push_pvt_heap (rp);
528
529 rp->region_name = (char *) format (0, "%s%c", a->name, 0);
530 vec_add1 (rp->client_pids, getpid ());
531
532 nbits = rp->virtual_size / MMAP_PAGESIZE;
533
534 ASSERT (nbits > 0);
535 rp->bitmap_size = nbits;
536 words = (nbits + BITS (uword) - 1) / BITS (uword);
537 vec_validate (rp->bitmap, words - 1);
538
539 overhead_space = MMAP_PAGESIZE /* header */ +
540 ((a->pvt_heap_size != 0) ? a->pvt_heap_size : SVM_PVT_MHEAP_SIZE);
541
542 bit = 0;
543 data_base = (uword) rp->virtual_base;
544
545 if (a->flags & SVM_FLAGS_NODATA)
546 rp->flags |= SVM_FLAGS_NEED_DATA_INIT;
547
548 do
549 {
550 clib_bitmap_set_no_check (rp->bitmap, bit, 1);
551 bit++;
552 overhead_space -= MMAP_PAGESIZE;
553 data_base += MMAP_PAGESIZE;
554 }
555 while (overhead_space > 0);
556
557 rp->data_base = (void *) data_base;
558
559 /*
560 * Note: although the POSIX spec guarantees that only one
561 * process enters this block, we have to play games
562 * to hold off clients until e.g. the mutex is ready
563 */
564 rp->version = SVM_VERSION;
565
566 /* setup the data portion of the region */
567
568 rv = svm_data_region_create (a, rp);
569 if (rv)
570 {
571 clib_warning ("data_region_create: %d", rv);
572 }
573
574 region_unlock (rp);
575
576 svm_pop_heap (oldheap);
577}
578
Ed Warnickecb9cada2015-12-08 15:45:58 -0700579/*
580 * svm_map_region
581 */
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400582void *
583svm_map_region (svm_map_region_args_t * a)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700584{
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400585 int svm_fd;
586 svm_region_t *rp;
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400587 int deadman = 0;
588 u8 junk = 0;
589 void *oldheap;
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400590 int rv;
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400591 int pid_holding_region_lock;
592 u8 *shm_name;
593 int dead_region_recovery = 0;
594 int time_left;
595 struct stat stat;
596 struct timespec ts, tsrem;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700597
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400598 ASSERT ((a->size & ~(MMAP_PAGESIZE - 1)) == a->size);
599 ASSERT (a->name);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700600
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400601 shm_name = shm_name_from_svm_map_region_args (a);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700602
Dave Wallaced756b352017-07-03 13:11:38 -0400603 if (CLIB_DEBUG > 1)
604 clib_warning ("[%d] map region %s: shm_open (%s)",
605 getpid (), a->name, shm_name);
606
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400607 svm_fd = shm_open ((char *) shm_name, O_RDWR | O_CREAT | O_EXCL, 0777);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700608
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400609 if (svm_fd >= 0)
610 {
Dave Wallace19296112017-08-31 15:54:11 -0400611 if (fchmod (svm_fd, S_IRUSR | S_IWUSR | S_IRGRP | S_IWGRP) < 0)
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400612 clib_unix_warning ("segment chmod");
613 /* This turns out to fail harmlessly if the client starts first */
614 if (fchown (svm_fd, a->uid, a->gid) < 0)
615 clib_unix_warning ("segment chown [ok if client starts first]");
Ed Warnickecb9cada2015-12-08 15:45:58 -0700616
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400617 vec_free (shm_name);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700618
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400619 if (lseek (svm_fd, a->size, SEEK_SET) == (off_t) - 1)
620 {
621 clib_warning ("seek region size");
622 close (svm_fd);
623 return (0);
624 }
625 if (write (svm_fd, &junk, 1) != 1)
626 {
627 clib_warning ("set region size");
628 close (svm_fd);
629 return (0);
630 }
Ed Warnickecb9cada2015-12-08 15:45:58 -0700631
Damjan Marion7bee80c2017-04-26 15:32:12 +0200632 rp = mmap (uword_to_pointer (a->baseva, void *), a->size,
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400633 PROT_READ | PROT_WRITE, MAP_SHARED | MAP_FIXED, svm_fd, 0);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700634
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400635 if (rp == (svm_region_t *) MAP_FAILED)
636 {
637 clib_unix_warning ("mmap create");
638 close (svm_fd);
639 return (0);
640 }
641 close (svm_fd);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700642
Dave Barach59b25652017-09-10 15:04:27 -0400643 svm_region_init_mapped_region (a, rp);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700644
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400645 return ((void *) rp);
646 }
647 else
648 {
649 svm_fd = shm_open ((char *) shm_name, O_RDWR, 0777);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700650
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400651 vec_free (shm_name);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700652
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400653 if (svm_fd < 0)
654 {
655 perror ("svm_region_map(mmap open)");
656 return (0);
657 }
Ed Warnickecb9cada2015-12-08 15:45:58 -0700658
Ole Troanc4f2ef72018-05-30 22:43:25 +0200659 /* Reset ownership in case the client started first */
660 if (fchown (svm_fd, a->uid, a->gid) < 0)
661 clib_unix_warning ("segment chown [ok if client starts first]");
662
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400663 time_left = 20;
664 while (1)
665 {
666 if (0 != fstat (svm_fd, &stat))
667 {
668 clib_warning ("fstat failed: %d", errno);
669 close (svm_fd);
670 return (0);
671 }
672 if (stat.st_size > 0)
673 {
674 break;
675 }
676 if (0 == time_left)
677 {
678 clib_warning ("waiting for resize of shm file timed out");
679 close (svm_fd);
680 return (0);
681 }
682 ts.tv_sec = 0;
683 ts.tv_nsec = 100000000;
684 while (nanosleep (&ts, &tsrem) < 0)
685 ts = tsrem;
686 time_left--;
687 }
Ed Warnickecb9cada2015-12-08 15:45:58 -0700688
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400689 rp = mmap (0, MMAP_PAGESIZE,
690 PROT_READ | PROT_WRITE, MAP_SHARED, svm_fd, 0);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700691
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400692 if (rp == (svm_region_t *) MAP_FAILED)
693 {
694 close (svm_fd);
695 clib_warning ("mmap");
696 return (0);
697 }
698 /*
699 * We lost the footrace to create this region; make sure
700 * the winner has crossed the finish line.
701 */
702 while (rp->version == 0 && deadman++ < 5)
703 {
704 sleep (1);
705 }
Ed Warnickecb9cada2015-12-08 15:45:58 -0700706
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400707 /*
708 * <bleep>-ed?
709 */
710 if (rp->version == 0)
711 {
712 clib_warning ("rp->version %d not %d", rp->version, SVM_VERSION);
713 close (svm_fd);
714 munmap (rp, a->size);
715 return (0);
716 }
717 /* Remap now that the region has been placed */
718 a->baseva = rp->virtual_base;
719 a->size = rp->virtual_size;
720 munmap (rp, MMAP_PAGESIZE);
721
Damjan Marion7bee80c2017-04-26 15:32:12 +0200722 rp = (void *) mmap (uword_to_pointer (a->baseva, void *), a->size,
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400723 PROT_READ | PROT_WRITE,
724 MAP_SHARED | MAP_FIXED, svm_fd, 0);
725 if ((uword) rp == (uword) MAP_FAILED)
726 {
727 clib_unix_warning ("mmap");
728 close (svm_fd);
729 return (0);
730 }
731
Dave Barachada24ea2018-05-24 17:32:00 -0400732 close (svm_fd);
733
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400734 if ((uword) rp != rp->virtual_base)
735 {
736 clib_warning ("mmap botch");
737 }
738
739 /*
740 * Try to fix the region mutex if it is held by
741 * a dead process
742 */
743 pid_holding_region_lock = rp->mutex_owner_pid;
744 if (pid_holding_region_lock && kill (pid_holding_region_lock, 0) < 0)
745 {
746 clib_warning
747 ("region %s mutex held by dead pid %d, tag %d, force unlock",
748 rp->region_name, pid_holding_region_lock, rp->mutex_owner_tag);
749 /* owner pid is nonexistent */
750 rp->mutex.__data.__owner = 0;
751 rp->mutex.__data.__lock = 0;
752 dead_region_recovery = 1;
753 }
754
755 if (dead_region_recovery)
756 clib_warning ("recovery: attempt to re-lock region");
757
758 region_lock (rp, 2);
759 oldheap = svm_push_pvt_heap (rp);
760 vec_add1 (rp->client_pids, getpid ());
761
762 if (dead_region_recovery)
763 clib_warning ("recovery: attempt svm_data_region_map");
764
765 rv = svm_data_region_map (a, rp);
766 if (rv)
767 {
768 clib_warning ("data_region_map: %d", rv);
769 }
770
771 if (dead_region_recovery)
772 clib_warning ("unlock and continue");
773
774 region_unlock (rp);
775
776 svm_pop_heap (oldheap);
777
778 return ((void *) rp);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700779
780 }
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400781 return 0; /* NOTREACHED */
Ed Warnickecb9cada2015-12-08 15:45:58 -0700782}
783
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400784static void
785svm_mutex_cleanup (void)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700786{
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400787 int i;
788 for (i = 0; i < nheld; i++)
789 {
790 pthread_mutex_unlock (mutexes_held[i]);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700791 }
792}
793
Ole Troan3cdc25f2017-08-17 11:07:33 +0200794static int
Dave Barachb3d93da2016-08-03 14:34:38 -0400795svm_region_init_internal (svm_map_region_args_t * a)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700796{
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400797 svm_region_t *rp;
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400798 u64 ticks = clib_cpu_time_now ();
799 uword randomize_baseva;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700800
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400801 /* guard against klutz calls */
802 if (root_rp)
Ole Troan3cdc25f2017-08-17 11:07:33 +0200803 return -1;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700804
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400805 root_rp_refcount++;
Dave Barach16c75df2016-05-31 14:05:46 -0400806
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400807 atexit (svm_mutex_cleanup);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700808
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400809 /* Randomize the shared-VM base at init time */
810 if (MMAP_PAGESIZE <= (4 << 10))
811 randomize_baseva = (ticks & 15) * MMAP_PAGESIZE;
812 else
813 randomize_baseva = (ticks & 3) * MMAP_PAGESIZE;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700814
Dave Barachb3d93da2016-08-03 14:34:38 -0400815 a->baseva += randomize_baseva;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700816
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400817 rp = svm_map_region (a);
Ole Troan3cdc25f2017-08-17 11:07:33 +0200818 if (!rp)
819 return -1;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700820
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400821 region_lock (rp, 3);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700822
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400823 /* Set up the main region data structures */
824 if (rp->flags & SVM_FLAGS_NEED_DATA_INIT)
825 {
826 svm_main_region_t *mp = 0;
827 void *oldheap;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700828
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400829 rp->flags &= ~(SVM_FLAGS_NEED_DATA_INIT);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700830
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400831 oldheap = svm_push_pvt_heap (rp);
832 vec_validate (mp, 0);
833 mp->name_hash = hash_create_string (0, sizeof (uword));
Dave Barachb3d93da2016-08-03 14:34:38 -0400834 mp->root_path = a->root_path ? format (0, "%s%c", a->root_path, 0) : 0;
Dave Wallace19296112017-08-31 15:54:11 -0400835 mp->uid = a->uid;
836 mp->gid = a->gid;
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400837 rp->data_base = mp;
838 svm_pop_heap (oldheap);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700839 }
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400840 region_unlock (rp);
841 root_rp = rp;
Ole Troan3cdc25f2017-08-17 11:07:33 +0200842
843 return 0;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700844}
845
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400846void
847svm_region_init (void)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700848{
Dave Barachb3d93da2016-08-03 14:34:38 -0400849 svm_map_region_args_t _a, *a = &_a;
Dave Barachc3799992016-08-15 11:12:27 -0400850
Dave Barachb3d93da2016-08-03 14:34:38 -0400851 memset (a, 0, sizeof (*a));
852 a->root_path = 0;
853 a->name = SVM_GLOBAL_REGION_NAME;
Damjan Marionaec8f892018-01-08 16:35:35 +0100854 a->baseva = svm_get_global_region_base_va ();
Dave Barachb3d93da2016-08-03 14:34:38 -0400855 a->size = SVM_GLOBAL_REGION_SIZE;
856 a->flags = SVM_FLAGS_NODATA;
857 a->uid = 0;
858 a->gid = 0;
859
860 svm_region_init_internal (a);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700861}
862
Ole Troan3cdc25f2017-08-17 11:07:33 +0200863int
Neale Rannse72be392017-04-26 13:59:20 -0700864svm_region_init_chroot (const char *root_path)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700865{
Dave Barachb3d93da2016-08-03 14:34:38 -0400866 svm_map_region_args_t _a, *a = &_a;
Dave Barachc3799992016-08-15 11:12:27 -0400867
Dave Barachb3d93da2016-08-03 14:34:38 -0400868 memset (a, 0, sizeof (*a));
869 a->root_path = root_path;
870 a->name = SVM_GLOBAL_REGION_NAME;
Damjan Marionaec8f892018-01-08 16:35:35 +0100871 a->baseva = svm_get_global_region_base_va ();
Dave Barachb3d93da2016-08-03 14:34:38 -0400872 a->size = SVM_GLOBAL_REGION_SIZE;
873 a->flags = SVM_FLAGS_NODATA;
874 a->uid = 0;
875 a->gid = 0;
876
Ole Troan3cdc25f2017-08-17 11:07:33 +0200877 return svm_region_init_internal (a);
Dave Barach16c75df2016-05-31 14:05:46 -0400878}
879
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400880void
Neale Rannse72be392017-04-26 13:59:20 -0700881svm_region_init_chroot_uid_gid (const char *root_path, int uid, int gid)
Dave Barach16c75df2016-05-31 14:05:46 -0400882{
Dave Barachb3d93da2016-08-03 14:34:38 -0400883 svm_map_region_args_t _a, *a = &_a;
Dave Barachc3799992016-08-15 11:12:27 -0400884
Dave Barachb3d93da2016-08-03 14:34:38 -0400885 memset (a, 0, sizeof (*a));
886 a->root_path = root_path;
887 a->name = SVM_GLOBAL_REGION_NAME;
Damjan Marionaec8f892018-01-08 16:35:35 +0100888 a->baseva = svm_get_global_region_base_va ();
Dave Barachb3d93da2016-08-03 14:34:38 -0400889 a->size = SVM_GLOBAL_REGION_SIZE;
890 a->flags = SVM_FLAGS_NODATA;
891 a->uid = uid;
892 a->gid = gid;
893
894 svm_region_init_internal (a);
895}
896
897void
898svm_region_init_args (svm_map_region_args_t * a)
899{
900 svm_region_init_internal (a);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700901}
902
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400903void *
904svm_region_find_or_create (svm_map_region_args_t * a)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700905{
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400906 svm_main_region_t *mp;
907 svm_region_t *rp;
908 uword need_nbits;
909 int index, i;
910 void *oldheap;
911 uword *p;
912 u8 *name;
913 svm_subregion_t *subp;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700914
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400915 ASSERT (root_rp);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700916
Dave Barachc3799992016-08-15 11:12:27 -0400917 a->size += MMAP_PAGESIZE +
Dave Barachb3d93da2016-08-03 14:34:38 -0400918 ((a->pvt_heap_size != 0) ? a->pvt_heap_size : SVM_PVT_MHEAP_SIZE);
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400919 a->size = rnd_pagesize (a->size);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700920
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400921 region_lock (root_rp, 4);
922 oldheap = svm_push_pvt_heap (root_rp);
923 mp = root_rp->data_base;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700924
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400925 ASSERT (mp);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700926
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400927 /* Map the named region from the correct chroot environment */
Jan Srnicek5beec812017-03-24 10:18:11 +0100928 if (a->root_path == NULL)
929 a->root_path = (char *) mp->root_path;
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400930
931 /*
932 * See if this region is already known. If it is, we're
933 * almost done...
934 */
935 p = hash_get_mem (mp->name_hash, a->name);
936
937 if (p)
938 {
939 rp = svm_map_region (a);
940 region_unlock (root_rp);
941 svm_pop_heap (oldheap);
942 return rp;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700943 }
Ed Warnickecb9cada2015-12-08 15:45:58 -0700944
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400945 /* Create the region. */
946 ASSERT ((a->size & ~(MMAP_PAGESIZE - 1)) == a->size);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700947
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400948 need_nbits = a->size / MMAP_PAGESIZE;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700949
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400950 index = 1; /* $$$ fixme, figure out how many bit to really skip */
951
952 /*
953 * Scan the virtual space allocation bitmap, looking for a large
954 * enough chunk
955 */
956 do
957 {
958 if (clib_bitmap_get_no_check (root_rp->bitmap, index) == 0)
959 {
960 for (i = 0; i < (need_nbits - 1); i++)
961 {
962 if (clib_bitmap_get_no_check (root_rp->bitmap, index + i) == 1)
963 {
964 index = index + i;
965 goto next;
966 }
967 }
968 break;
969 }
970 index++;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700971 next:;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700972 }
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400973 while (index < root_rp->bitmap_size);
974
975 /* Completely out of VM? */
976 if (index >= root_rp->bitmap_size)
977 {
Dave Barachb3d93da2016-08-03 14:34:38 -0400978 clib_warning ("region %s: not enough VM to allocate 0x%llx (%lld)",
979 root_rp->region_name, a->size, a->size);
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400980 svm_pop_heap (oldheap);
981 region_unlock (root_rp);
982 return 0;
983 }
984
985 /*
986 * Mark virtual space allocated
987 */
Ed Warnickecb9cada2015-12-08 15:45:58 -0700988#if CLIB_DEBUG > 1
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400989 clib_warning ("set %d bits at index %d", need_nbits, index);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700990#endif
991
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400992 for (i = 0; i < need_nbits; i++)
993 {
994 clib_bitmap_set_no_check (root_rp->bitmap, index + i, 1);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700995 }
996
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400997 /* Place this region where it goes... */
998 a->baseva = root_rp->virtual_base + index * MMAP_PAGESIZE;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700999
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001000 rp = svm_map_region (a);
Dave Barachc3799992016-08-15 11:12:27 -04001001
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001002 pool_get (mp->subregions, subp);
1003 name = format (0, "%s%c", a->name, 0);
1004 subp->subregion_name = name;
Ed Warnickecb9cada2015-12-08 15:45:58 -07001005
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001006 hash_set_mem (mp->name_hash, name, subp - mp->subregions);
Ed Warnickecb9cada2015-12-08 15:45:58 -07001007
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001008 svm_pop_heap (oldheap);
Ed Warnickecb9cada2015-12-08 15:45:58 -07001009
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001010 region_unlock (root_rp);
1011
1012 return (rp);
Ed Warnickecb9cada2015-12-08 15:45:58 -07001013}
1014
Dave Wallaced756b352017-07-03 13:11:38 -04001015void
1016svm_region_unlink (svm_region_t * rp)
1017{
1018 svm_map_region_args_t _a, *a = &_a;
1019 svm_main_region_t *mp;
1020 u8 *shm_name;
1021
1022 ASSERT (root_rp);
1023 ASSERT (rp);
1024 ASSERT (vec_c_string_is_terminated (rp->region_name));
1025
1026 mp = root_rp->data_base;
1027 ASSERT (mp);
1028
1029 a->root_path = (char *) mp->root_path;
1030 a->name = rp->region_name;
1031 shm_name = shm_name_from_svm_map_region_args (a);
1032 if (CLIB_DEBUG > 1)
1033 clib_warning ("[%d] shm_unlink (%s)", getpid (), shm_name);
1034 shm_unlink ((const char *) shm_name);
1035 vec_free (shm_name);
1036}
1037
Ed Warnickecb9cada2015-12-08 15:45:58 -07001038/*
1039 * svm_region_unmap
1040 *
1041 * Let go of the indicated region. If the calling process
1042 * is the last customer, throw it away completely.
1043 * The root region mutex guarantees atomicity with respect to
1044 * a new region client showing up at the wrong moment.
1045 */
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001046void
Florin Corasd6c30d92018-01-29 05:11:24 -08001047svm_region_unmap_internal (void *rp_arg, u8 is_client)
Ed Warnickecb9cada2015-12-08 15:45:58 -07001048{
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001049 int i, mypid = getpid ();
1050 int nclients_left;
1051 void *oldheap;
1052 uword virtual_base, virtual_size;
1053 svm_region_t *rp = rp_arg;
1054 char *name;
Ed Warnickecb9cada2015-12-08 15:45:58 -07001055
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001056 /*
1057 * If we take a signal while holding one or more shared-memory
1058 * mutexes, we may end up back here from an otherwise
1059 * benign exit handler. Bail out to avoid a recursive
1060 * mutex screw-up.
1061 */
1062 if (nheld)
1063 return;
Ed Warnickecb9cada2015-12-08 15:45:58 -07001064
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001065 ASSERT (rp);
1066 ASSERT (root_rp);
Ed Warnickecb9cada2015-12-08 15:45:58 -07001067
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001068 if (CLIB_DEBUG > 1)
1069 clib_warning ("[%d] unmap region %s", getpid (), rp->region_name);
Ed Warnickecb9cada2015-12-08 15:45:58 -07001070
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001071 region_lock (root_rp, 5);
1072 region_lock (rp, 6);
Ed Warnickecb9cada2015-12-08 15:45:58 -07001073
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001074 oldheap = svm_push_pvt_heap (rp); /* nb vec_delete() in the loop */
1075
1076 /* Remove the caller from the list of mappers */
1077 for (i = 0; i < vec_len (rp->client_pids); i++)
1078 {
1079 if (rp->client_pids[i] == mypid)
1080 {
1081 vec_delete (rp->client_pids, 1, i);
1082 goto found;
1083 }
Ed Warnickecb9cada2015-12-08 15:45:58 -07001084 }
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001085 clib_warning ("pid %d AWOL", mypid);
Ed Warnickecb9cada2015-12-08 15:45:58 -07001086
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001087found:
Ed Warnickecb9cada2015-12-08 15:45:58 -07001088
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001089 svm_pop_heap (oldheap);
Ed Warnickecb9cada2015-12-08 15:45:58 -07001090
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001091 nclients_left = vec_len (rp->client_pids);
1092 virtual_base = rp->virtual_base;
1093 virtual_size = rp->virtual_size;
Ed Warnickecb9cada2015-12-08 15:45:58 -07001094
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001095 if (nclients_left == 0)
1096 {
1097 int index, nbits, i;
1098 svm_main_region_t *mp;
1099 uword *p;
1100 svm_subregion_t *subp;
Ed Warnickecb9cada2015-12-08 15:45:58 -07001101
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001102 /* Kill the region, last guy on his way out */
Ed Warnickecb9cada2015-12-08 15:45:58 -07001103
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001104 oldheap = svm_push_pvt_heap (root_rp);
1105 name = vec_dup (rp->region_name);
Ed Warnickecb9cada2015-12-08 15:45:58 -07001106
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001107 virtual_base = rp->virtual_base;
1108 virtual_size = rp->virtual_size;
Ed Warnickecb9cada2015-12-08 15:45:58 -07001109
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001110 /* Figure out which bits to clear in the root region bitmap */
1111 index = (virtual_base - root_rp->virtual_base) / MMAP_PAGESIZE;
Ed Warnickecb9cada2015-12-08 15:45:58 -07001112
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001113 nbits = (virtual_size + MMAP_PAGESIZE - 1) / MMAP_PAGESIZE;
Ed Warnickecb9cada2015-12-08 15:45:58 -07001114
1115#if CLIB_DEBUG > 1
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001116 clib_warning ("clear %d bits at index %d", nbits, index);
Ed Warnickecb9cada2015-12-08 15:45:58 -07001117#endif
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001118 /* Give back the allocated VM */
1119 for (i = 0; i < nbits; i++)
1120 {
1121 clib_bitmap_set_no_check (root_rp->bitmap, index + i, 0);
1122 }
Ed Warnickecb9cada2015-12-08 15:45:58 -07001123
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001124 mp = root_rp->data_base;
Ed Warnickecb9cada2015-12-08 15:45:58 -07001125
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001126 p = hash_get_mem (mp->name_hash, name);
Ed Warnickecb9cada2015-12-08 15:45:58 -07001127
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001128 /* Better never happen ... */
1129 if (p == NULL)
1130 {
1131 region_unlock (rp);
1132 region_unlock (root_rp);
1133 svm_pop_heap (oldheap);
1134 clib_warning ("Region name '%s' not found?", name);
1135 return;
1136 }
Ed Warnickecb9cada2015-12-08 15:45:58 -07001137
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001138 /* Remove from the root region subregion pool */
1139 subp = mp->subregions + p[0];
1140 pool_put (mp->subregions, subp);
1141
1142 hash_unset_mem (mp->name_hash, name);
1143
1144 vec_free (name);
1145
1146 region_unlock (rp);
Florin Corasd6c30d92018-01-29 05:11:24 -08001147
1148 /* If a client asks for the cleanup, don't unlink the backing
1149 * file since we can't tell if it has been recreated. */
1150 if (!is_client)
1151 svm_region_unlink (rp);
1152
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001153 munmap ((void *) virtual_base, virtual_size);
1154 region_unlock (root_rp);
1155 svm_pop_heap (oldheap);
1156 return;
Ed Warnickecb9cada2015-12-08 15:45:58 -07001157 }
1158
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001159 region_unlock (rp);
1160 region_unlock (root_rp);
Ed Warnickecb9cada2015-12-08 15:45:58 -07001161
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001162 munmap ((void *) virtual_base, virtual_size);
Ed Warnickecb9cada2015-12-08 15:45:58 -07001163}
1164
Florin Corasd6c30d92018-01-29 05:11:24 -08001165void
1166svm_region_unmap (void *rp_arg)
1167{
1168 svm_region_unmap_internal (rp_arg, 0 /* is_client */ );
1169}
1170
1171void
1172svm_region_unmap_client (void *rp_arg)
1173{
1174 svm_region_unmap_internal (rp_arg, 1 /* is_client */ );
1175}
1176
Ed Warnickecb9cada2015-12-08 15:45:58 -07001177/*
1178 * svm_region_exit
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001179 */
Florin Corasd6c30d92018-01-29 05:11:24 -08001180static void
1181svm_region_exit_internal (u8 is_client)
Ed Warnickecb9cada2015-12-08 15:45:58 -07001182{
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001183 void *oldheap;
1184 int i, mypid = getpid ();
1185 uword virtual_base, virtual_size;
Ed Warnickecb9cada2015-12-08 15:45:58 -07001186
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001187 /* It felt so nice we did it twice... */
1188 if (root_rp == 0)
1189 return;
Ed Warnickecb9cada2015-12-08 15:45:58 -07001190
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001191 if (--root_rp_refcount > 0)
1192 return;
Ed Warnickecb9cada2015-12-08 15:45:58 -07001193
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001194 /*
1195 * If we take a signal while holding one or more shared-memory
1196 * mutexes, we may end up back here from an otherwise
1197 * benign exit handler. Bail out to avoid a recursive
1198 * mutex screw-up.
1199 */
1200 if (nheld)
1201 return;
Ed Warnickecb9cada2015-12-08 15:45:58 -07001202
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001203 region_lock (root_rp, 7);
1204 oldheap = svm_push_pvt_heap (root_rp);
Ed Warnickecb9cada2015-12-08 15:45:58 -07001205
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001206 virtual_base = root_rp->virtual_base;
1207 virtual_size = root_rp->virtual_size;
Ed Warnickecb9cada2015-12-08 15:45:58 -07001208
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001209 for (i = 0; i < vec_len (root_rp->client_pids); i++)
1210 {
1211 if (root_rp->client_pids[i] == mypid)
1212 {
1213 vec_delete (root_rp->client_pids, 1, i);
1214 goto found;
1215 }
Ed Warnickecb9cada2015-12-08 15:45:58 -07001216 }
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001217 clib_warning ("pid %d AWOL", mypid);
Ed Warnickecb9cada2015-12-08 15:45:58 -07001218
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001219found:
Ed Warnickecb9cada2015-12-08 15:45:58 -07001220
Florin Corasd6c30d92018-01-29 05:11:24 -08001221 if (!is_client && vec_len (root_rp->client_pids) == 0)
Dave Wallaced756b352017-07-03 13:11:38 -04001222 svm_region_unlink (root_rp);
1223
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001224 region_unlock (root_rp);
1225 svm_pop_heap (oldheap);
Ed Warnickecb9cada2015-12-08 15:45:58 -07001226
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001227 root_rp = 0;
1228 munmap ((void *) virtual_base, virtual_size);
Ed Warnickecb9cada2015-12-08 15:45:58 -07001229}
1230
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001231void
Florin Corasd6c30d92018-01-29 05:11:24 -08001232svm_region_exit (void)
1233{
1234 svm_region_exit_internal (0 /* is_client */ );
1235}
1236
1237void
1238svm_region_exit_client (void)
1239{
1240 svm_region_exit_internal (1 /* is_client */ );
1241}
1242
1243void
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001244svm_client_scan_this_region_nolock (svm_region_t * rp)
Ed Warnickecb9cada2015-12-08 15:45:58 -07001245{
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001246 int j;
1247 int mypid = getpid ();
1248 void *oldheap;
Ed Warnickecb9cada2015-12-08 15:45:58 -07001249
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001250 for (j = 0; j < vec_len (rp->client_pids); j++)
1251 {
1252 if (mypid == rp->client_pids[j])
1253 continue;
1254 if (rp->client_pids[j] && (kill (rp->client_pids[j], 0) < 0))
1255 {
1256 clib_warning ("%s: cleanup ghost pid %d",
1257 rp->region_name, rp->client_pids[j]);
1258 /* nb: client vec in rp->region_heap */
1259 oldheap = svm_push_pvt_heap (rp);
1260 vec_delete (rp->client_pids, 1, j);
1261 j--;
1262 svm_pop_heap (oldheap);
1263 }
Ed Warnickecb9cada2015-12-08 15:45:58 -07001264 }
1265}
1266
1267
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001268/*
Ed Warnickecb9cada2015-12-08 15:45:58 -07001269 * Scan svm regions for dead clients
1270 */
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001271void
Neale Rannse72be392017-04-26 13:59:20 -07001272svm_client_scan (const char *root_path)
Ed Warnickecb9cada2015-12-08 15:45:58 -07001273{
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001274 int i, j;
1275 svm_main_region_t *mp;
1276 svm_map_region_args_t *a = 0;
1277 svm_region_t *root_rp;
1278 svm_region_t *rp;
1279 svm_subregion_t *subp;
1280 u8 *name = 0;
1281 u8 **svm_names = 0;
1282 void *oldheap;
1283 int mypid = getpid ();
Ed Warnickecb9cada2015-12-08 15:45:58 -07001284
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001285 vec_validate (a, 0);
Ed Warnickecb9cada2015-12-08 15:45:58 -07001286
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001287 svm_region_init_chroot (root_path);
Ed Warnickecb9cada2015-12-08 15:45:58 -07001288
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001289 root_rp = svm_get_root_rp ();
Ed Warnickecb9cada2015-12-08 15:45:58 -07001290
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001291 pthread_mutex_lock (&root_rp->mutex);
Ed Warnickecb9cada2015-12-08 15:45:58 -07001292
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001293 mp = root_rp->data_base;
Ed Warnickecb9cada2015-12-08 15:45:58 -07001294
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001295 for (j = 0; j < vec_len (root_rp->client_pids); j++)
1296 {
1297 if (mypid == root_rp->client_pids[j])
1298 continue;
1299 if (root_rp->client_pids[j] && (kill (root_rp->client_pids[j], 0) < 0))
1300 {
1301 clib_warning ("%s: cleanup ghost pid %d",
1302 root_rp->region_name, root_rp->client_pids[j]);
1303 /* nb: client vec in root_rp->region_heap */
1304 oldheap = svm_push_pvt_heap (root_rp);
1305 vec_delete (root_rp->client_pids, 1, j);
1306 j--;
1307 svm_pop_heap (oldheap);
1308 }
Ed Warnickecb9cada2015-12-08 15:45:58 -07001309 }
1310
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001311 /*
1312 * Snapshoot names, can't hold root rp mutex across
1313 * find_or_create.
1314 */
1315 /* *INDENT-OFF* */
1316 pool_foreach (subp, mp->subregions, ({
1317 name = vec_dup (subp->subregion_name);
1318 vec_add1(svm_names, name);
1319 }));
1320 /* *INDENT-ON* */
Ed Warnickecb9cada2015-12-08 15:45:58 -07001321
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001322 pthread_mutex_unlock (&root_rp->mutex);
Ed Warnickecb9cada2015-12-08 15:45:58 -07001323
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001324 for (i = 0; i < vec_len (svm_names); i++)
1325 {
1326 vec_validate (a, 0);
1327 a->root_path = root_path;
1328 a->name = (char *) svm_names[i];
1329 rp = svm_region_find_or_create (a);
1330 if (rp)
1331 {
1332 pthread_mutex_lock (&rp->mutex);
Ed Warnickecb9cada2015-12-08 15:45:58 -07001333
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001334 svm_client_scan_this_region_nolock (rp);
Ed Warnickecb9cada2015-12-08 15:45:58 -07001335
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001336 pthread_mutex_unlock (&rp->mutex);
1337 svm_region_unmap (rp);
1338 vec_free (svm_names[i]);
1339 }
1340 vec_free (a);
Ed Warnickecb9cada2015-12-08 15:45:58 -07001341 }
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001342 vec_free (svm_names);
Ed Warnickecb9cada2015-12-08 15:45:58 -07001343
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001344 svm_region_exit ();
Ed Warnickecb9cada2015-12-08 15:45:58 -07001345
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001346 vec_free (a);
Ed Warnickecb9cada2015-12-08 15:45:58 -07001347}
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001348
1349/*
1350 * fd.io coding-style-patch-verification: ON
1351 *
1352 * Local Variables:
1353 * eval: (c-set-style "gnu")
1354 * End:
1355 */