blob: afba54e74fcf8377ed7f2a81111993587fb8d2c3 [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 {
342 rp->data_heap =
343 mheap_alloc_with_flags ((void *) (rp->data_base), map_size,
344 MHEAP_FLAG_DISABLE_VM);
345 rp->flags |= SVM_FLAGS_MHEAP;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700346 }
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400347 return 0;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700348}
349
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400350static int
351svm_data_region_map (svm_map_region_args_t * a, svm_region_t * rp)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700352{
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400353 int fd;
354 u8 junk = 0;
355 uword map_size;
356 struct stat statb;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700357
Dave Barachc3799992016-08-15 11:12:27 -0400358 map_size = rp->virtual_size -
359 (MMAP_PAGESIZE
Dave Barachb3d93da2016-08-03 14:34:38 -0400360 + (a->pvt_heap_size ? a->pvt_heap_size : SVM_PVT_MHEAP_SIZE));
Ed Warnickecb9cada2015-12-08 15:45:58 -0700361
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400362 if (a->flags & SVM_FLAGS_FILE)
363 {
Ed Warnickecb9cada2015-12-08 15:45:58 -0700364
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400365 fd = open (a->backing_file, O_RDWR, 0777);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700366
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400367 if (fd < 0)
368 {
369 clib_unix_warning ("open");
370 return -1;
371 }
Ed Warnickecb9cada2015-12-08 15:45:58 -0700372
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400373 if (fstat (fd, &statb) < 0)
374 {
375 clib_unix_warning ("fstat");
376 close (fd);
377 return -2;
378 }
379
380 if (statb.st_mode & S_IFREG)
381 {
382 if (statb.st_size == 0)
383 {
384 if (lseek (fd, map_size, SEEK_SET) == (off_t) - 1)
385 {
386 clib_unix_warning ("seek region size");
387 close (fd);
388 return -3;
389 }
390 if (write (fd, &junk, 1) != 1)
391 {
392 clib_unix_warning ("set region size");
393 close (fd);
394 return -3;
395 }
396 }
397 else
398 {
399 map_size = rnd_pagesize (statb.st_size);
400 }
401 }
402 else
403 {
404 map_size = a->backing_mmap_size;
405 }
406
407 ASSERT (map_size <= rp->virtual_size
Dave Barachc3799992016-08-15 11:12:27 -0400408 - (MMAP_PAGESIZE
409 +
410 (a->pvt_heap_size ? a->pvt_heap_size : SVM_PVT_MHEAP_SIZE)));
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400411
412 if (mmap (rp->data_base, map_size, PROT_READ | PROT_WRITE,
413 MAP_SHARED | MAP_FIXED, fd, 0) == MAP_FAILED)
414 {
415 clib_unix_warning ("mmap");
416 close (fd);
417 return -3;
418 }
419 close (fd);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700420 }
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400421 return 0;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700422}
423
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400424u8 *
425shm_name_from_svm_map_region_args (svm_map_region_args_t * a)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700426{
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400427 u8 *path;
428 u8 *shm_name;
429 u8 *split_point;
430 u8 *mkdir_arg = 0;
431 int root_path_offset = 0;
432 int name_offset = 0;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700433
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400434 if (a->root_path)
435 {
436 /* Tolerate present or absent slashes */
437 if (a->root_path[0] == '/')
438 root_path_offset++;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700439
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400440 /* create the root_path under /dev/shm
441 iterate through path creating directories */
Ed Warnickecb9cada2015-12-08 15:45:58 -0700442
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400443 path = format (0, "/dev/shm/%s%c", &a->root_path[root_path_offset], 0);
444 split_point = path + 1;
445 vec_add1 (mkdir_arg, '-');
446
447 while (*split_point)
448 {
449 while (*split_point && *split_point != '/')
450 {
451 vec_add1 (mkdir_arg, *split_point);
452 split_point++;
453 }
454 vec_add1 (mkdir_arg, 0);
455
456 /* ready to descend another level */
457 mkdir_arg[vec_len (mkdir_arg) - 1] = '-';
458 split_point++;
459 }
460 vec_free (mkdir_arg);
461 vec_free (path);
462
463 if (a->name[0] == '/')
464 name_offset = 1;
465
Matej Perinad135c192017-07-18 13:59:41 +0200466 shm_name = format (0, "/%s-%s%c", &a->root_path[root_path_offset],
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400467 &a->name[name_offset], 0);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700468 }
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400469 else
470 shm_name = format (0, "%s%c", a->name, 0);
471 return (shm_name);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700472}
473
Dave Barach59b25652017-09-10 15:04:27 -0400474void
475svm_region_init_mapped_region (svm_map_region_args_t * a, svm_region_t * rp)
476{
477 pthread_mutexattr_t attr;
478 pthread_condattr_t cattr;
479 int nbits, words, bit;
480 int overhead_space;
481 void *oldheap;
482 uword data_base;
483 ASSERT (rp);
484 int rv;
485
486 memset (rp, 0, sizeof (*rp));
487
488 if (pthread_mutexattr_init (&attr))
489 clib_unix_warning ("mutexattr_init");
490
491 if (pthread_mutexattr_setpshared (&attr, PTHREAD_PROCESS_SHARED))
492 clib_unix_warning ("mutexattr_setpshared");
493
494 if (pthread_mutex_init (&rp->mutex, &attr))
495 clib_unix_warning ("mutex_init");
496
497 if (pthread_mutexattr_destroy (&attr))
498 clib_unix_warning ("mutexattr_destroy");
499
500 if (pthread_condattr_init (&cattr))
501 clib_unix_warning ("condattr_init");
502
503 if (pthread_condattr_setpshared (&cattr, PTHREAD_PROCESS_SHARED))
504 clib_unix_warning ("condattr_setpshared");
505
506 if (pthread_cond_init (&rp->condvar, &cattr))
507 clib_unix_warning ("cond_init");
508
509 if (pthread_condattr_destroy (&cattr))
510 clib_unix_warning ("condattr_destroy");
511
512 region_lock (rp, 1);
513
514 rp->virtual_base = a->baseva;
515 rp->virtual_size = a->size;
516
517 rp->region_heap =
518 mheap_alloc_with_flags (uword_to_pointer
519 (a->baseva + MMAP_PAGESIZE, void *),
520 (a->pvt_heap_size !=
521 0) ? a->pvt_heap_size : SVM_PVT_MHEAP_SIZE,
522 MHEAP_FLAG_DISABLE_VM);
523 oldheap = svm_push_pvt_heap (rp);
524
525 rp->region_name = (char *) format (0, "%s%c", a->name, 0);
526 vec_add1 (rp->client_pids, getpid ());
527
528 nbits = rp->virtual_size / MMAP_PAGESIZE;
529
530 ASSERT (nbits > 0);
531 rp->bitmap_size = nbits;
532 words = (nbits + BITS (uword) - 1) / BITS (uword);
533 vec_validate (rp->bitmap, words - 1);
534
535 overhead_space = MMAP_PAGESIZE /* header */ +
536 ((a->pvt_heap_size != 0) ? a->pvt_heap_size : SVM_PVT_MHEAP_SIZE);
537
538 bit = 0;
539 data_base = (uword) rp->virtual_base;
540
541 if (a->flags & SVM_FLAGS_NODATA)
542 rp->flags |= SVM_FLAGS_NEED_DATA_INIT;
543
544 do
545 {
546 clib_bitmap_set_no_check (rp->bitmap, bit, 1);
547 bit++;
548 overhead_space -= MMAP_PAGESIZE;
549 data_base += MMAP_PAGESIZE;
550 }
551 while (overhead_space > 0);
552
553 rp->data_base = (void *) data_base;
554
555 /*
556 * Note: although the POSIX spec guarantees that only one
557 * process enters this block, we have to play games
558 * to hold off clients until e.g. the mutex is ready
559 */
560 rp->version = SVM_VERSION;
561
562 /* setup the data portion of the region */
563
564 rv = svm_data_region_create (a, rp);
565 if (rv)
566 {
567 clib_warning ("data_region_create: %d", rv);
568 }
569
570 region_unlock (rp);
571
572 svm_pop_heap (oldheap);
573}
574
Ed Warnickecb9cada2015-12-08 15:45:58 -0700575/*
576 * svm_map_region
577 */
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400578void *
579svm_map_region (svm_map_region_args_t * a)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700580{
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400581 int svm_fd;
582 svm_region_t *rp;
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400583 int deadman = 0;
584 u8 junk = 0;
585 void *oldheap;
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400586 int rv;
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400587 int pid_holding_region_lock;
588 u8 *shm_name;
589 int dead_region_recovery = 0;
590 int time_left;
591 struct stat stat;
592 struct timespec ts, tsrem;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700593
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400594 ASSERT ((a->size & ~(MMAP_PAGESIZE - 1)) == a->size);
595 ASSERT (a->name);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700596
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400597 shm_name = shm_name_from_svm_map_region_args (a);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700598
Dave Wallaced756b352017-07-03 13:11:38 -0400599 if (CLIB_DEBUG > 1)
600 clib_warning ("[%d] map region %s: shm_open (%s)",
601 getpid (), a->name, shm_name);
602
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400603 svm_fd = shm_open ((char *) shm_name, O_RDWR | O_CREAT | O_EXCL, 0777);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700604
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400605 if (svm_fd >= 0)
606 {
Dave Wallace19296112017-08-31 15:54:11 -0400607 if (fchmod (svm_fd, S_IRUSR | S_IWUSR | S_IRGRP | S_IWGRP) < 0)
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400608 clib_unix_warning ("segment chmod");
609 /* This turns out to fail harmlessly if the client starts first */
610 if (fchown (svm_fd, a->uid, a->gid) < 0)
611 clib_unix_warning ("segment chown [ok if client starts first]");
Ed Warnickecb9cada2015-12-08 15:45:58 -0700612
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400613 vec_free (shm_name);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700614
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400615 if (lseek (svm_fd, a->size, SEEK_SET) == (off_t) - 1)
616 {
617 clib_warning ("seek region size");
618 close (svm_fd);
619 return (0);
620 }
621 if (write (svm_fd, &junk, 1) != 1)
622 {
623 clib_warning ("set region size");
624 close (svm_fd);
625 return (0);
626 }
Ed Warnickecb9cada2015-12-08 15:45:58 -0700627
Damjan Marion7bee80c2017-04-26 15:32:12 +0200628 rp = mmap (uword_to_pointer (a->baseva, void *), a->size,
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400629 PROT_READ | PROT_WRITE, MAP_SHARED | MAP_FIXED, svm_fd, 0);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700630
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400631 if (rp == (svm_region_t *) MAP_FAILED)
632 {
633 clib_unix_warning ("mmap create");
634 close (svm_fd);
635 return (0);
636 }
637 close (svm_fd);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700638
Dave Barach59b25652017-09-10 15:04:27 -0400639 svm_region_init_mapped_region (a, rp);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700640
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400641 return ((void *) rp);
642 }
643 else
644 {
645 svm_fd = shm_open ((char *) shm_name, O_RDWR, 0777);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700646
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400647 vec_free (shm_name);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700648
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400649 if (svm_fd < 0)
650 {
651 perror ("svm_region_map(mmap open)");
652 return (0);
653 }
Ed Warnickecb9cada2015-12-08 15:45:58 -0700654
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400655 time_left = 20;
656 while (1)
657 {
658 if (0 != fstat (svm_fd, &stat))
659 {
660 clib_warning ("fstat failed: %d", errno);
661 close (svm_fd);
662 return (0);
663 }
664 if (stat.st_size > 0)
665 {
666 break;
667 }
668 if (0 == time_left)
669 {
670 clib_warning ("waiting for resize of shm file timed out");
671 close (svm_fd);
672 return (0);
673 }
674 ts.tv_sec = 0;
675 ts.tv_nsec = 100000000;
676 while (nanosleep (&ts, &tsrem) < 0)
677 ts = tsrem;
678 time_left--;
679 }
Ed Warnickecb9cada2015-12-08 15:45:58 -0700680
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400681 rp = mmap (0, MMAP_PAGESIZE,
682 PROT_READ | PROT_WRITE, MAP_SHARED, svm_fd, 0);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700683
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400684 if (rp == (svm_region_t *) MAP_FAILED)
685 {
686 close (svm_fd);
687 clib_warning ("mmap");
688 return (0);
689 }
690 /*
691 * We lost the footrace to create this region; make sure
692 * the winner has crossed the finish line.
693 */
694 while (rp->version == 0 && deadman++ < 5)
695 {
696 sleep (1);
697 }
Ed Warnickecb9cada2015-12-08 15:45:58 -0700698
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400699 /*
700 * <bleep>-ed?
701 */
702 if (rp->version == 0)
703 {
704 clib_warning ("rp->version %d not %d", rp->version, SVM_VERSION);
705 close (svm_fd);
706 munmap (rp, a->size);
707 return (0);
708 }
709 /* Remap now that the region has been placed */
710 a->baseva = rp->virtual_base;
711 a->size = rp->virtual_size;
712 munmap (rp, MMAP_PAGESIZE);
713
Damjan Marion7bee80c2017-04-26 15:32:12 +0200714 rp = (void *) mmap (uword_to_pointer (a->baseva, void *), a->size,
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400715 PROT_READ | PROT_WRITE,
716 MAP_SHARED | MAP_FIXED, svm_fd, 0);
717 if ((uword) rp == (uword) MAP_FAILED)
718 {
719 clib_unix_warning ("mmap");
720 close (svm_fd);
721 return (0);
722 }
723
Dave Barachada24ea2018-05-24 17:32:00 -0400724 close (svm_fd);
725
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400726 if ((uword) rp != rp->virtual_base)
727 {
728 clib_warning ("mmap botch");
729 }
730
731 /*
732 * Try to fix the region mutex if it is held by
733 * a dead process
734 */
735 pid_holding_region_lock = rp->mutex_owner_pid;
736 if (pid_holding_region_lock && kill (pid_holding_region_lock, 0) < 0)
737 {
738 clib_warning
739 ("region %s mutex held by dead pid %d, tag %d, force unlock",
740 rp->region_name, pid_holding_region_lock, rp->mutex_owner_tag);
741 /* owner pid is nonexistent */
742 rp->mutex.__data.__owner = 0;
743 rp->mutex.__data.__lock = 0;
744 dead_region_recovery = 1;
745 }
746
747 if (dead_region_recovery)
748 clib_warning ("recovery: attempt to re-lock region");
749
750 region_lock (rp, 2);
751 oldheap = svm_push_pvt_heap (rp);
752 vec_add1 (rp->client_pids, getpid ());
753
754 if (dead_region_recovery)
755 clib_warning ("recovery: attempt svm_data_region_map");
756
757 rv = svm_data_region_map (a, rp);
758 if (rv)
759 {
760 clib_warning ("data_region_map: %d", rv);
761 }
762
763 if (dead_region_recovery)
764 clib_warning ("unlock and continue");
765
766 region_unlock (rp);
767
768 svm_pop_heap (oldheap);
769
770 return ((void *) rp);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700771
772 }
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400773 return 0; /* NOTREACHED */
Ed Warnickecb9cada2015-12-08 15:45:58 -0700774}
775
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400776static void
777svm_mutex_cleanup (void)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700778{
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400779 int i;
780 for (i = 0; i < nheld; i++)
781 {
782 pthread_mutex_unlock (mutexes_held[i]);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700783 }
784}
785
Ole Troan3cdc25f2017-08-17 11:07:33 +0200786static int
Dave Barachb3d93da2016-08-03 14:34:38 -0400787svm_region_init_internal (svm_map_region_args_t * a)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700788{
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400789 svm_region_t *rp;
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400790 u64 ticks = clib_cpu_time_now ();
791 uword randomize_baseva;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700792
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400793 /* guard against klutz calls */
794 if (root_rp)
Ole Troan3cdc25f2017-08-17 11:07:33 +0200795 return -1;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700796
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400797 root_rp_refcount++;
Dave Barach16c75df2016-05-31 14:05:46 -0400798
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400799 atexit (svm_mutex_cleanup);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700800
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400801 /* Randomize the shared-VM base at init time */
802 if (MMAP_PAGESIZE <= (4 << 10))
803 randomize_baseva = (ticks & 15) * MMAP_PAGESIZE;
804 else
805 randomize_baseva = (ticks & 3) * MMAP_PAGESIZE;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700806
Dave Barachb3d93da2016-08-03 14:34:38 -0400807 a->baseva += randomize_baseva;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700808
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400809 rp = svm_map_region (a);
Ole Troan3cdc25f2017-08-17 11:07:33 +0200810 if (!rp)
811 return -1;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700812
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400813 region_lock (rp, 3);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700814
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400815 /* Set up the main region data structures */
816 if (rp->flags & SVM_FLAGS_NEED_DATA_INIT)
817 {
818 svm_main_region_t *mp = 0;
819 void *oldheap;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700820
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400821 rp->flags &= ~(SVM_FLAGS_NEED_DATA_INIT);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700822
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400823 oldheap = svm_push_pvt_heap (rp);
824 vec_validate (mp, 0);
825 mp->name_hash = hash_create_string (0, sizeof (uword));
Dave Barachb3d93da2016-08-03 14:34:38 -0400826 mp->root_path = a->root_path ? format (0, "%s%c", a->root_path, 0) : 0;
Dave Wallace19296112017-08-31 15:54:11 -0400827 mp->uid = a->uid;
828 mp->gid = a->gid;
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400829 rp->data_base = mp;
830 svm_pop_heap (oldheap);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700831 }
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400832 region_unlock (rp);
833 root_rp = rp;
Ole Troan3cdc25f2017-08-17 11:07:33 +0200834
835 return 0;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700836}
837
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400838void
839svm_region_init (void)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700840{
Dave Barachb3d93da2016-08-03 14:34:38 -0400841 svm_map_region_args_t _a, *a = &_a;
Dave Barachc3799992016-08-15 11:12:27 -0400842
Dave Barachb3d93da2016-08-03 14:34:38 -0400843 memset (a, 0, sizeof (*a));
844 a->root_path = 0;
845 a->name = SVM_GLOBAL_REGION_NAME;
Damjan Marionaec8f892018-01-08 16:35:35 +0100846 a->baseva = svm_get_global_region_base_va ();
Dave Barachb3d93da2016-08-03 14:34:38 -0400847 a->size = SVM_GLOBAL_REGION_SIZE;
848 a->flags = SVM_FLAGS_NODATA;
849 a->uid = 0;
850 a->gid = 0;
851
852 svm_region_init_internal (a);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700853}
854
Ole Troan3cdc25f2017-08-17 11:07:33 +0200855int
Neale Rannse72be392017-04-26 13:59:20 -0700856svm_region_init_chroot (const char *root_path)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700857{
Dave Barachb3d93da2016-08-03 14:34:38 -0400858 svm_map_region_args_t _a, *a = &_a;
Dave Barachc3799992016-08-15 11:12:27 -0400859
Dave Barachb3d93da2016-08-03 14:34:38 -0400860 memset (a, 0, sizeof (*a));
861 a->root_path = root_path;
862 a->name = SVM_GLOBAL_REGION_NAME;
Damjan Marionaec8f892018-01-08 16:35:35 +0100863 a->baseva = svm_get_global_region_base_va ();
Dave Barachb3d93da2016-08-03 14:34:38 -0400864 a->size = SVM_GLOBAL_REGION_SIZE;
865 a->flags = SVM_FLAGS_NODATA;
866 a->uid = 0;
867 a->gid = 0;
868
Ole Troan3cdc25f2017-08-17 11:07:33 +0200869 return svm_region_init_internal (a);
Dave Barach16c75df2016-05-31 14:05:46 -0400870}
871
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400872void
Neale Rannse72be392017-04-26 13:59:20 -0700873svm_region_init_chroot_uid_gid (const char *root_path, int uid, int gid)
Dave Barach16c75df2016-05-31 14:05:46 -0400874{
Dave Barachb3d93da2016-08-03 14:34:38 -0400875 svm_map_region_args_t _a, *a = &_a;
Dave Barachc3799992016-08-15 11:12:27 -0400876
Dave Barachb3d93da2016-08-03 14:34:38 -0400877 memset (a, 0, sizeof (*a));
878 a->root_path = root_path;
879 a->name = SVM_GLOBAL_REGION_NAME;
Damjan Marionaec8f892018-01-08 16:35:35 +0100880 a->baseva = svm_get_global_region_base_va ();
Dave Barachb3d93da2016-08-03 14:34:38 -0400881 a->size = SVM_GLOBAL_REGION_SIZE;
882 a->flags = SVM_FLAGS_NODATA;
883 a->uid = uid;
884 a->gid = gid;
885
886 svm_region_init_internal (a);
887}
888
889void
890svm_region_init_args (svm_map_region_args_t * a)
891{
892 svm_region_init_internal (a);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700893}
894
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400895void *
896svm_region_find_or_create (svm_map_region_args_t * a)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700897{
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400898 svm_main_region_t *mp;
899 svm_region_t *rp;
900 uword need_nbits;
901 int index, i;
902 void *oldheap;
903 uword *p;
904 u8 *name;
905 svm_subregion_t *subp;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700906
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400907 ASSERT (root_rp);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700908
Dave Barachc3799992016-08-15 11:12:27 -0400909 a->size += MMAP_PAGESIZE +
Dave Barachb3d93da2016-08-03 14:34:38 -0400910 ((a->pvt_heap_size != 0) ? a->pvt_heap_size : SVM_PVT_MHEAP_SIZE);
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400911 a->size = rnd_pagesize (a->size);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700912
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400913 region_lock (root_rp, 4);
914 oldheap = svm_push_pvt_heap (root_rp);
915 mp = root_rp->data_base;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700916
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400917 ASSERT (mp);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700918
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400919 /* Map the named region from the correct chroot environment */
Jan Srnicek5beec812017-03-24 10:18:11 +0100920 if (a->root_path == NULL)
921 a->root_path = (char *) mp->root_path;
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400922
923 /*
924 * See if this region is already known. If it is, we're
925 * almost done...
926 */
927 p = hash_get_mem (mp->name_hash, a->name);
928
929 if (p)
930 {
931 rp = svm_map_region (a);
932 region_unlock (root_rp);
933 svm_pop_heap (oldheap);
934 return rp;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700935 }
Ed Warnickecb9cada2015-12-08 15:45:58 -0700936
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400937 /* Create the region. */
938 ASSERT ((a->size & ~(MMAP_PAGESIZE - 1)) == a->size);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700939
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400940 need_nbits = a->size / MMAP_PAGESIZE;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700941
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400942 index = 1; /* $$$ fixme, figure out how many bit to really skip */
943
944 /*
945 * Scan the virtual space allocation bitmap, looking for a large
946 * enough chunk
947 */
948 do
949 {
950 if (clib_bitmap_get_no_check (root_rp->bitmap, index) == 0)
951 {
952 for (i = 0; i < (need_nbits - 1); i++)
953 {
954 if (clib_bitmap_get_no_check (root_rp->bitmap, index + i) == 1)
955 {
956 index = index + i;
957 goto next;
958 }
959 }
960 break;
961 }
962 index++;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700963 next:;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700964 }
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400965 while (index < root_rp->bitmap_size);
966
967 /* Completely out of VM? */
968 if (index >= root_rp->bitmap_size)
969 {
Dave Barachb3d93da2016-08-03 14:34:38 -0400970 clib_warning ("region %s: not enough VM to allocate 0x%llx (%lld)",
971 root_rp->region_name, a->size, a->size);
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400972 svm_pop_heap (oldheap);
973 region_unlock (root_rp);
974 return 0;
975 }
976
977 /*
978 * Mark virtual space allocated
979 */
Ed Warnickecb9cada2015-12-08 15:45:58 -0700980#if CLIB_DEBUG > 1
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400981 clib_warning ("set %d bits at index %d", need_nbits, index);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700982#endif
983
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400984 for (i = 0; i < need_nbits; i++)
985 {
986 clib_bitmap_set_no_check (root_rp->bitmap, index + i, 1);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700987 }
988
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400989 /* Place this region where it goes... */
990 a->baseva = root_rp->virtual_base + index * MMAP_PAGESIZE;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700991
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400992 rp = svm_map_region (a);
Dave Barachc3799992016-08-15 11:12:27 -0400993
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400994 pool_get (mp->subregions, subp);
995 name = format (0, "%s%c", a->name, 0);
996 subp->subregion_name = name;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700997
Dave Barach8a7fb0c2016-07-08 14:44:23 -0400998 hash_set_mem (mp->name_hash, name, subp - mp->subregions);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700999
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001000 svm_pop_heap (oldheap);
Ed Warnickecb9cada2015-12-08 15:45:58 -07001001
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001002 region_unlock (root_rp);
1003
1004 return (rp);
Ed Warnickecb9cada2015-12-08 15:45:58 -07001005}
1006
Dave Wallaced756b352017-07-03 13:11:38 -04001007void
1008svm_region_unlink (svm_region_t * rp)
1009{
1010 svm_map_region_args_t _a, *a = &_a;
1011 svm_main_region_t *mp;
1012 u8 *shm_name;
1013
1014 ASSERT (root_rp);
1015 ASSERT (rp);
1016 ASSERT (vec_c_string_is_terminated (rp->region_name));
1017
1018 mp = root_rp->data_base;
1019 ASSERT (mp);
1020
1021 a->root_path = (char *) mp->root_path;
1022 a->name = rp->region_name;
1023 shm_name = shm_name_from_svm_map_region_args (a);
1024 if (CLIB_DEBUG > 1)
1025 clib_warning ("[%d] shm_unlink (%s)", getpid (), shm_name);
1026 shm_unlink ((const char *) shm_name);
1027 vec_free (shm_name);
1028}
1029
Ed Warnickecb9cada2015-12-08 15:45:58 -07001030/*
1031 * svm_region_unmap
1032 *
1033 * Let go of the indicated region. If the calling process
1034 * is the last customer, throw it away completely.
1035 * The root region mutex guarantees atomicity with respect to
1036 * a new region client showing up at the wrong moment.
1037 */
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001038void
Florin Corasd6c30d92018-01-29 05:11:24 -08001039svm_region_unmap_internal (void *rp_arg, u8 is_client)
Ed Warnickecb9cada2015-12-08 15:45:58 -07001040{
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001041 int i, mypid = getpid ();
1042 int nclients_left;
1043 void *oldheap;
1044 uword virtual_base, virtual_size;
1045 svm_region_t *rp = rp_arg;
1046 char *name;
Ed Warnickecb9cada2015-12-08 15:45:58 -07001047
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001048 /*
1049 * If we take a signal while holding one or more shared-memory
1050 * mutexes, we may end up back here from an otherwise
1051 * benign exit handler. Bail out to avoid a recursive
1052 * mutex screw-up.
1053 */
1054 if (nheld)
1055 return;
Ed Warnickecb9cada2015-12-08 15:45:58 -07001056
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001057 ASSERT (rp);
1058 ASSERT (root_rp);
Ed Warnickecb9cada2015-12-08 15:45:58 -07001059
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001060 if (CLIB_DEBUG > 1)
1061 clib_warning ("[%d] unmap region %s", getpid (), rp->region_name);
Ed Warnickecb9cada2015-12-08 15:45:58 -07001062
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001063 region_lock (root_rp, 5);
1064 region_lock (rp, 6);
Ed Warnickecb9cada2015-12-08 15:45:58 -07001065
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001066 oldheap = svm_push_pvt_heap (rp); /* nb vec_delete() in the loop */
1067
1068 /* Remove the caller from the list of mappers */
1069 for (i = 0; i < vec_len (rp->client_pids); i++)
1070 {
1071 if (rp->client_pids[i] == mypid)
1072 {
1073 vec_delete (rp->client_pids, 1, i);
1074 goto found;
1075 }
Ed Warnickecb9cada2015-12-08 15:45:58 -07001076 }
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001077 clib_warning ("pid %d AWOL", mypid);
Ed Warnickecb9cada2015-12-08 15:45:58 -07001078
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001079found:
Ed Warnickecb9cada2015-12-08 15:45:58 -07001080
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001081 svm_pop_heap (oldheap);
Ed Warnickecb9cada2015-12-08 15:45:58 -07001082
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001083 nclients_left = vec_len (rp->client_pids);
1084 virtual_base = rp->virtual_base;
1085 virtual_size = rp->virtual_size;
Ed Warnickecb9cada2015-12-08 15:45:58 -07001086
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001087 if (nclients_left == 0)
1088 {
1089 int index, nbits, i;
1090 svm_main_region_t *mp;
1091 uword *p;
1092 svm_subregion_t *subp;
Ed Warnickecb9cada2015-12-08 15:45:58 -07001093
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001094 /* Kill the region, last guy on his way out */
Ed Warnickecb9cada2015-12-08 15:45:58 -07001095
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001096 oldheap = svm_push_pvt_heap (root_rp);
1097 name = vec_dup (rp->region_name);
Ed Warnickecb9cada2015-12-08 15:45:58 -07001098
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001099 virtual_base = rp->virtual_base;
1100 virtual_size = rp->virtual_size;
Ed Warnickecb9cada2015-12-08 15:45:58 -07001101
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001102 /* Figure out which bits to clear in the root region bitmap */
1103 index = (virtual_base - root_rp->virtual_base) / MMAP_PAGESIZE;
Ed Warnickecb9cada2015-12-08 15:45:58 -07001104
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001105 nbits = (virtual_size + MMAP_PAGESIZE - 1) / MMAP_PAGESIZE;
Ed Warnickecb9cada2015-12-08 15:45:58 -07001106
1107#if CLIB_DEBUG > 1
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001108 clib_warning ("clear %d bits at index %d", nbits, index);
Ed Warnickecb9cada2015-12-08 15:45:58 -07001109#endif
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001110 /* Give back the allocated VM */
1111 for (i = 0; i < nbits; i++)
1112 {
1113 clib_bitmap_set_no_check (root_rp->bitmap, index + i, 0);
1114 }
Ed Warnickecb9cada2015-12-08 15:45:58 -07001115
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001116 mp = root_rp->data_base;
Ed Warnickecb9cada2015-12-08 15:45:58 -07001117
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001118 p = hash_get_mem (mp->name_hash, name);
Ed Warnickecb9cada2015-12-08 15:45:58 -07001119
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001120 /* Better never happen ... */
1121 if (p == NULL)
1122 {
1123 region_unlock (rp);
1124 region_unlock (root_rp);
1125 svm_pop_heap (oldheap);
1126 clib_warning ("Region name '%s' not found?", name);
1127 return;
1128 }
Ed Warnickecb9cada2015-12-08 15:45:58 -07001129
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001130 /* Remove from the root region subregion pool */
1131 subp = mp->subregions + p[0];
1132 pool_put (mp->subregions, subp);
1133
1134 hash_unset_mem (mp->name_hash, name);
1135
1136 vec_free (name);
1137
1138 region_unlock (rp);
Florin Corasd6c30d92018-01-29 05:11:24 -08001139
1140 /* If a client asks for the cleanup, don't unlink the backing
1141 * file since we can't tell if it has been recreated. */
1142 if (!is_client)
1143 svm_region_unlink (rp);
1144
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001145 munmap ((void *) virtual_base, virtual_size);
1146 region_unlock (root_rp);
1147 svm_pop_heap (oldheap);
1148 return;
Ed Warnickecb9cada2015-12-08 15:45:58 -07001149 }
1150
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001151 region_unlock (rp);
1152 region_unlock (root_rp);
Ed Warnickecb9cada2015-12-08 15:45:58 -07001153
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001154 munmap ((void *) virtual_base, virtual_size);
Ed Warnickecb9cada2015-12-08 15:45:58 -07001155}
1156
Florin Corasd6c30d92018-01-29 05:11:24 -08001157void
1158svm_region_unmap (void *rp_arg)
1159{
1160 svm_region_unmap_internal (rp_arg, 0 /* is_client */ );
1161}
1162
1163void
1164svm_region_unmap_client (void *rp_arg)
1165{
1166 svm_region_unmap_internal (rp_arg, 1 /* is_client */ );
1167}
1168
Ed Warnickecb9cada2015-12-08 15:45:58 -07001169/*
1170 * svm_region_exit
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001171 */
Florin Corasd6c30d92018-01-29 05:11:24 -08001172static void
1173svm_region_exit_internal (u8 is_client)
Ed Warnickecb9cada2015-12-08 15:45:58 -07001174{
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001175 void *oldheap;
1176 int i, mypid = getpid ();
1177 uword virtual_base, virtual_size;
Ed Warnickecb9cada2015-12-08 15:45:58 -07001178
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001179 /* It felt so nice we did it twice... */
1180 if (root_rp == 0)
1181 return;
Ed Warnickecb9cada2015-12-08 15:45:58 -07001182
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001183 if (--root_rp_refcount > 0)
1184 return;
Ed Warnickecb9cada2015-12-08 15:45:58 -07001185
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001186 /*
1187 * If we take a signal while holding one or more shared-memory
1188 * mutexes, we may end up back here from an otherwise
1189 * benign exit handler. Bail out to avoid a recursive
1190 * mutex screw-up.
1191 */
1192 if (nheld)
1193 return;
Ed Warnickecb9cada2015-12-08 15:45:58 -07001194
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001195 region_lock (root_rp, 7);
1196 oldheap = svm_push_pvt_heap (root_rp);
Ed Warnickecb9cada2015-12-08 15:45:58 -07001197
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001198 virtual_base = root_rp->virtual_base;
1199 virtual_size = root_rp->virtual_size;
Ed Warnickecb9cada2015-12-08 15:45:58 -07001200
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001201 for (i = 0; i < vec_len (root_rp->client_pids); i++)
1202 {
1203 if (root_rp->client_pids[i] == mypid)
1204 {
1205 vec_delete (root_rp->client_pids, 1, i);
1206 goto found;
1207 }
Ed Warnickecb9cada2015-12-08 15:45:58 -07001208 }
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001209 clib_warning ("pid %d AWOL", mypid);
Ed Warnickecb9cada2015-12-08 15:45:58 -07001210
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001211found:
Ed Warnickecb9cada2015-12-08 15:45:58 -07001212
Florin Corasd6c30d92018-01-29 05:11:24 -08001213 if (!is_client && vec_len (root_rp->client_pids) == 0)
Dave Wallaced756b352017-07-03 13:11:38 -04001214 svm_region_unlink (root_rp);
1215
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001216 region_unlock (root_rp);
1217 svm_pop_heap (oldheap);
Ed Warnickecb9cada2015-12-08 15:45:58 -07001218
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001219 root_rp = 0;
1220 munmap ((void *) virtual_base, virtual_size);
Ed Warnickecb9cada2015-12-08 15:45:58 -07001221}
1222
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001223void
Florin Corasd6c30d92018-01-29 05:11:24 -08001224svm_region_exit (void)
1225{
1226 svm_region_exit_internal (0 /* is_client */ );
1227}
1228
1229void
1230svm_region_exit_client (void)
1231{
1232 svm_region_exit_internal (1 /* is_client */ );
1233}
1234
1235void
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001236svm_client_scan_this_region_nolock (svm_region_t * rp)
Ed Warnickecb9cada2015-12-08 15:45:58 -07001237{
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001238 int j;
1239 int mypid = getpid ();
1240 void *oldheap;
Ed Warnickecb9cada2015-12-08 15:45:58 -07001241
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001242 for (j = 0; j < vec_len (rp->client_pids); j++)
1243 {
1244 if (mypid == rp->client_pids[j])
1245 continue;
1246 if (rp->client_pids[j] && (kill (rp->client_pids[j], 0) < 0))
1247 {
1248 clib_warning ("%s: cleanup ghost pid %d",
1249 rp->region_name, rp->client_pids[j]);
1250 /* nb: client vec in rp->region_heap */
1251 oldheap = svm_push_pvt_heap (rp);
1252 vec_delete (rp->client_pids, 1, j);
1253 j--;
1254 svm_pop_heap (oldheap);
1255 }
Ed Warnickecb9cada2015-12-08 15:45:58 -07001256 }
1257}
1258
1259
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001260/*
Ed Warnickecb9cada2015-12-08 15:45:58 -07001261 * Scan svm regions for dead clients
1262 */
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001263void
Neale Rannse72be392017-04-26 13:59:20 -07001264svm_client_scan (const char *root_path)
Ed Warnickecb9cada2015-12-08 15:45:58 -07001265{
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001266 int i, j;
1267 svm_main_region_t *mp;
1268 svm_map_region_args_t *a = 0;
1269 svm_region_t *root_rp;
1270 svm_region_t *rp;
1271 svm_subregion_t *subp;
1272 u8 *name = 0;
1273 u8 **svm_names = 0;
1274 void *oldheap;
1275 int mypid = getpid ();
Ed Warnickecb9cada2015-12-08 15:45:58 -07001276
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001277 vec_validate (a, 0);
Ed Warnickecb9cada2015-12-08 15:45:58 -07001278
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001279 svm_region_init_chroot (root_path);
Ed Warnickecb9cada2015-12-08 15:45:58 -07001280
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001281 root_rp = svm_get_root_rp ();
Ed Warnickecb9cada2015-12-08 15:45:58 -07001282
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001283 pthread_mutex_lock (&root_rp->mutex);
Ed Warnickecb9cada2015-12-08 15:45:58 -07001284
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001285 mp = root_rp->data_base;
Ed Warnickecb9cada2015-12-08 15:45:58 -07001286
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001287 for (j = 0; j < vec_len (root_rp->client_pids); j++)
1288 {
1289 if (mypid == root_rp->client_pids[j])
1290 continue;
1291 if (root_rp->client_pids[j] && (kill (root_rp->client_pids[j], 0) < 0))
1292 {
1293 clib_warning ("%s: cleanup ghost pid %d",
1294 root_rp->region_name, root_rp->client_pids[j]);
1295 /* nb: client vec in root_rp->region_heap */
1296 oldheap = svm_push_pvt_heap (root_rp);
1297 vec_delete (root_rp->client_pids, 1, j);
1298 j--;
1299 svm_pop_heap (oldheap);
1300 }
Ed Warnickecb9cada2015-12-08 15:45:58 -07001301 }
1302
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001303 /*
1304 * Snapshoot names, can't hold root rp mutex across
1305 * find_or_create.
1306 */
1307 /* *INDENT-OFF* */
1308 pool_foreach (subp, mp->subregions, ({
1309 name = vec_dup (subp->subregion_name);
1310 vec_add1(svm_names, name);
1311 }));
1312 /* *INDENT-ON* */
Ed Warnickecb9cada2015-12-08 15:45:58 -07001313
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001314 pthread_mutex_unlock (&root_rp->mutex);
Ed Warnickecb9cada2015-12-08 15:45:58 -07001315
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001316 for (i = 0; i < vec_len (svm_names); i++)
1317 {
1318 vec_validate (a, 0);
1319 a->root_path = root_path;
1320 a->name = (char *) svm_names[i];
1321 rp = svm_region_find_or_create (a);
1322 if (rp)
1323 {
1324 pthread_mutex_lock (&rp->mutex);
Ed Warnickecb9cada2015-12-08 15:45:58 -07001325
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001326 svm_client_scan_this_region_nolock (rp);
Ed Warnickecb9cada2015-12-08 15:45:58 -07001327
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001328 pthread_mutex_unlock (&rp->mutex);
1329 svm_region_unmap (rp);
1330 vec_free (svm_names[i]);
1331 }
1332 vec_free (a);
Ed Warnickecb9cada2015-12-08 15:45:58 -07001333 }
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001334 vec_free (svm_names);
Ed Warnickecb9cada2015-12-08 15:45:58 -07001335
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001336 svm_region_exit ();
Ed Warnickecb9cada2015-12-08 15:45:58 -07001337
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001338 vec_free (a);
Ed Warnickecb9cada2015-12-08 15:45:58 -07001339}
Dave Barach8a7fb0c2016-07-08 14:44:23 -04001340
1341/*
1342 * fd.io coding-style-patch-verification: ON
1343 *
1344 * Local Variables:
1345 * eval: (c-set-style "gnu")
1346 * End:
1347 */