shim_ipc_nsimpl.h 50 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363136413651366136713681369137013711372137313741375137613771378137913801381138213831384138513861387138813891390139113921393139413951396139713981399140014011402140314041405140614071408140914101411141214131414141514161417141814191420142114221423142414251426142714281429143014311432143314341435143614371438143914401441144214431444144514461447144814491450145114521453145414551456145714581459146014611462146314641465146614671468146914701471147214731474147514761477147814791480148114821483148414851486148714881489149014911492149314941495149614971498149915001501150215031504150515061507150815091510151115121513151415151516151715181519152015211522152315241525152615271528152915301531153215331534153515361537153815391540154115421543154415451546154715481549155015511552155315541555155615571558155915601561156215631564156515661567156815691570157115721573157415751576157715781579158015811582158315841585158615871588158915901591159215931594159515961597159815991600160116021603160416051606160716081609161016111612161316141615161616171618161916201621162216231624162516261627162816291630163116321633163416351636163716381639164016411642164316441645164616471648164916501651165216531654165516561657165816591660166116621663166416651666166716681669167016711672167316741675167616771678167916801681168216831684168516861687168816891690169116921693169416951696169716981699170017011702170317041705170617071708170917101711171217131714171517161717171817191720172117221723172417251726172717281729173017311732173317341735173617371738173917401741174217431744174517461747174817491750175117521753175417551756175717581759176017611762176317641765176617671768176917701771177217731774177517761777177817791780178117821783178417851786178717881789179017911792
  1. /* Copyright (C) 2014 Stony Brook University
  2. This file is part of Graphene Library OS.
  3. Graphene Library OS is free software: you can redistribute it and/or
  4. modify it under the terms of the GNU Lesser General Public License
  5. as published by the Free Software Foundation, either version 3 of the
  6. License, or (at your option) any later version.
  7. Graphene Library OS is distributed in the hope that it will be useful,
  8. but WITHOUT ANY WARRANTY; without even the implied warranty of
  9. MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  10. GNU Lesser General Public License for more details.
  11. You should have received a copy of the GNU Lesser General Public License
  12. along with this program. If not, see <http://www.gnu.org/licenses/>. */
  13. /*
  14. * shim_ipc_nsimpl.h
  15. *
  16. * This file contains a template for generic functions and callbacks to
  17. * implement a namespace.
  18. */
  19. #include <errno.h>
  20. #include <shim_internal.h>
  21. #include <shim_ipc.h>
  22. #include <shim_profile.h>
  23. #include <shim_utils.h>
  24. #ifndef INCLUDE_IPC_NSIMPL
  25. #warning "Be sure before including \"shim_ipc_nsimpl.h\"."
  26. #endif
  27. #ifdef __SHIM_IPC_NSIMPL__
  28. #error "Include \"shim_ipc_nsimpl.h\" only once."
  29. #endif
  30. #define __SHIM_IPC_NSIMPL__
  31. #if !defined(NS) || !defined(NS_CAP)
  32. #error "NS or NS_CAP is not defined"
  33. #endif
  34. #define NS_STR XSTRINGIFY(NS)
  35. #define NS_CAP_STR XSTRINGIFY(NS_CAP)
  36. #define RANGE_SIZE CONCAT2(NS_CAP, RANGE_SIZE)
  37. #define BITS (sizeof(unsigned char) * 8)
  38. struct idx_bitmap {
  39. unsigned char map[RANGE_SIZE / BITS];
  40. };
  41. struct subrange {
  42. struct shim_ipc_info* owner;
  43. LEASETYPE lease;
  44. };
  45. struct sub_map {
  46. struct subrange* map[RANGE_SIZE];
  47. };
  48. DEFINE_LIST(range);
  49. struct range {
  50. LIST_TYPE(range) hlist;
  51. LIST_TYPE(range) list;
  52. IDTYPE offset;
  53. struct shim_ipc_info* owner;
  54. LEASETYPE lease;
  55. struct idx_bitmap* used;
  56. struct sub_map* subranges;
  57. };
  58. struct range_bitmap {
  59. IDTYPE map_size;
  60. unsigned char map[];
  61. };
  62. /* Helper functions __*_range_*() must be called with range_map_lock held */
  63. static struct range_bitmap* range_map;
  64. static struct shim_lock range_map_lock;
  65. #define RANGE_HASH_LEN 6
  66. #define RANGE_HASH_NUM (1 << RANGE_HASH_LEN)
  67. #define RANGE_HASH_MASK (RANGE_HASH_NUM - 1)
  68. #define RANGE_HASH(off) (((off - 1) / RANGE_SIZE) & RANGE_HASH_MASK)
  69. /* This hash table organizes range structs by hlist */
  70. DEFINE_LISTP(range);
  71. static LISTP_TYPE(range) range_table[RANGE_HASH_NUM];
  72. /* These lists organizes range structs by list
  73. */
  74. static LISTP_TYPE(range) owned_ranges;
  75. static LISTP_TYPE(range) offered_ranges;
  76. static int nowned = 0;
  77. static int noffered = 0;
  78. static int nsubed = 0;
  79. DEFINE_LIST(ns_query);
  80. struct ns_query {
  81. IDTYPE dest;
  82. unsigned long seq;
  83. struct shim_ipc_port* port;
  84. LIST_TYPE(ns_query) list;
  85. };
  86. DEFINE_LISTP(ns_query);
  87. static LISTP_TYPE(ns_query) ns_queries;
  88. static inline LEASETYPE get_lease(void) {
  89. return DkSystemTimeQuery() + CONCAT2(NS_CAP, LEASE_TIME);
  90. }
  91. void CONCAT3(debug_print, NS, ranges)(void) {
  92. lock(&range_map_lock);
  93. SYS_PRINTF(NS_STR " ranges in process %010u:\n", cur_process.vmid);
  94. if (!range_map) {
  95. unlock(&range_map_lock);
  96. return;
  97. }
  98. for (IDTYPE i = 0; i < range_map->map_size; i++) {
  99. unsigned char map = range_map->map[i];
  100. if (!map)
  101. continue;
  102. for (IDTYPE j = 0; j < BITS; map >>= 1, j++) {
  103. if (!(map & 1))
  104. continue;
  105. IDTYPE off = i * BITS + j;
  106. LISTP_TYPE(range)* head = range_table + RANGE_HASH(off);
  107. struct range* tmp;
  108. struct range* r = NULL;
  109. LISTP_FOR_EACH_ENTRY(tmp, head, hlist) {
  110. if (tmp->offset == off) {
  111. r = tmp;
  112. break;
  113. }
  114. }
  115. assert(r);
  116. IDTYPE base = RANGE_SIZE * off + 1;
  117. struct shim_ipc_info* p = r->owner;
  118. SYS_PRINTF("%04u - %04u: owner %010u, port \"%s\" lease %lu\n", base,
  119. base + RANGE_SIZE - 1, p->vmid, qstrgetstr(&p->uri), r->lease);
  120. if (!r->subranges)
  121. continue;
  122. for (IDTYPE k = 0; k < RANGE_SIZE; k++) {
  123. struct subrange* s = r->subranges->map[j];
  124. if (!s)
  125. continue;
  126. p = s->owner;
  127. SYS_PRINTF(" %04u: owner %010u, port \"%s\" lease %lu\n", base + k, p->vmid,
  128. qstrgetstr(&p->uri), s->lease);
  129. }
  130. }
  131. }
  132. unlock(&range_map_lock);
  133. }
  134. #define INIT_RANGE_MAP_SIZE 32
  135. static int __extend_range_bitmap(IDTYPE expected) {
  136. IDTYPE size = INIT_RANGE_MAP_SIZE;
  137. if (range_map)
  138. size = range_map->map_size;
  139. while (size <= expected) {
  140. size *= 2;
  141. }
  142. struct range_bitmap* new_map = malloc(sizeof(struct range_bitmap) + size / BITS);
  143. if (!new_map)
  144. return -ENOMEM;
  145. if (range_map) {
  146. memcpy(new_map->map, range_map->map, range_map->map_size / BITS);
  147. memset(new_map->map + range_map->map_size / BITS, 0, (size - range_map->map_size) / BITS);
  148. free(range_map);
  149. } else {
  150. memset(new_map->map, 0, size / BITS);
  151. }
  152. new_map->map_size = size;
  153. range_map = new_map;
  154. return 0;
  155. }
  156. static int __set_range_bitmap(IDTYPE off, bool unset) {
  157. IDTYPE i = off / BITS;
  158. IDTYPE j = off - i * BITS;
  159. unsigned char* m = range_map->map + i;
  160. unsigned char f = 1U << j;
  161. if (unset) {
  162. if (!((*m) & f))
  163. return -ENOENT;
  164. (*m) &= ~f;
  165. } else {
  166. if ((*m) & f)
  167. return -EEXIST;
  168. (*m) |= f;
  169. }
  170. return 0;
  171. }
  172. static bool __check_range_bitmap(IDTYPE off) {
  173. IDTYPE i = off / BITS;
  174. IDTYPE j = off - i * BITS;
  175. unsigned char* m = range_map->map + i;
  176. unsigned char f = 1U << j;
  177. return (*m) && ((*m) & f);
  178. }
  179. static struct range* __get_range(IDTYPE off) {
  180. LISTP_TYPE(range)* head = range_table + RANGE_HASH(off);
  181. if (!range_map || off >= range_map->map_size)
  182. return NULL;
  183. if (!__check_range_bitmap(off))
  184. return NULL;
  185. struct range* r;
  186. LISTP_FOR_EACH_ENTRY(r, head, hlist) {
  187. if (r->offset == off)
  188. return r;
  189. }
  190. return NULL;
  191. }
  192. static int __add_range(struct range* r, IDTYPE off, IDTYPE owner, const char* uri,
  193. LEASETYPE lease) {
  194. LISTP_TYPE(range)* head = range_table + RANGE_HASH(off);
  195. int ret = 0;
  196. if (!range_map || range_map->map_size <= off) {
  197. ret = __extend_range_bitmap(off);
  198. if (ret < 0)
  199. return ret;
  200. }
  201. r->owner = NULL;
  202. r->offset = off;
  203. r->lease = lease;
  204. r->used = NULL;
  205. r->subranges = NULL;
  206. if (owner) {
  207. r->owner = create_ipc_info_in_list(owner, uri, strlen(uri));
  208. if (!r->owner)
  209. return -ENOMEM;
  210. }
  211. ret = __set_range_bitmap(off, false);
  212. if (ret == -EEXIST) {
  213. struct range* tmp;
  214. LISTP_FOR_EACH_ENTRY(tmp, head, hlist) {
  215. if (tmp->offset == off) {
  216. LISTP_DEL(tmp, head, hlist);
  217. /* Chia-Che Tsai 10/17/17: only when tmp->owner is non-NULL,
  218. * and tmp->owner->vmid == cur_process.vmid, tmp is on the
  219. * owned list, otherwise it is an offered. */
  220. if (tmp->owner && tmp->owner->vmid == cur_process.vmid) {
  221. LISTP_DEL(tmp, &owned_ranges, list);
  222. nowned--;
  223. } else {
  224. LISTP_DEL(tmp, &offered_ranges, list);
  225. noffered--;
  226. }
  227. if (tmp->owner)
  228. put_ipc_info_in_list(tmp->owner);
  229. r->used = tmp->used;
  230. r->subranges = tmp->subranges;
  231. free(tmp);
  232. break;
  233. }
  234. }
  235. }
  236. INIT_LIST_HEAD(r, hlist);
  237. LISTP_ADD(r, head, hlist);
  238. INIT_LIST_HEAD(r, list);
  239. LISTP_TYPE(range)* list = (owner == cur_process.vmid) ? &owned_ranges : &offered_ranges;
  240. struct range* prev = LISTP_FIRST_ENTRY(list, range, list);
  241. struct range* tmp;
  242. LISTP_FOR_EACH_ENTRY(tmp, list, list) {
  243. if (tmp->offset >= off)
  244. break;
  245. prev = tmp;
  246. }
  247. LISTP_ADD_AFTER(r, prev, list, list);
  248. if (owner == cur_process.vmid)
  249. nowned++;
  250. else
  251. noffered++;
  252. return 0;
  253. }
  254. int CONCAT3(add, NS, range)(IDTYPE base, IDTYPE owner, const char* uri, LEASETYPE lease) {
  255. IDTYPE off = (base - 1) / RANGE_SIZE;
  256. int ret;
  257. struct range* r = malloc(sizeof(struct range));
  258. if (!r)
  259. return -ENOMEM;
  260. lock(&range_map_lock);
  261. r->owner = NULL;
  262. ret = __add_range(r, off, owner, uri, lease);
  263. if (ret < 0)
  264. free(r);
  265. unlock(&range_map_lock);
  266. return ret;
  267. }
  268. static void CONCAT3(__del, NS, subrange)(struct subrange** ptr) {
  269. struct subrange* s = *ptr;
  270. *ptr = NULL;
  271. put_ipc_info(s->owner);
  272. free(s);
  273. nsubed--;
  274. }
  275. int CONCAT3(add, NS, subrange)(IDTYPE idx, IDTYPE owner, const char* uri, LEASETYPE* lease) {
  276. IDTYPE off = (idx - 1) / RANGE_SIZE;
  277. IDTYPE base = off * RANGE_SIZE + 1;
  278. int err = 0;
  279. struct subrange* s = malloc(sizeof(struct subrange));
  280. if (!s)
  281. return -ENOMEM;
  282. assert(owner);
  283. lock(&range_map_lock);
  284. s->owner = create_ipc_info_in_list(owner, uri, strlen(uri));
  285. if (!s->owner) {
  286. err = -ENOMEM;
  287. goto failed;
  288. }
  289. s->lease = (lease && (*lease)) ? (*lease) : get_lease();
  290. struct range* r = __get_range(off);
  291. if (!r) {
  292. r = malloc(sizeof(struct range));
  293. if (!r) {
  294. err = -ENOMEM;
  295. goto failed;
  296. }
  297. if ((err = __add_range(r, off, 0, NULL, 0)) < 0) {
  298. free(r);
  299. goto failed;
  300. }
  301. }
  302. if (!r->subranges) {
  303. r->subranges = calloc(1, sizeof(struct sub_map));
  304. if (!r->subranges) {
  305. err = -ENOMEM;
  306. goto failed;
  307. }
  308. }
  309. struct subrange** m = &r->subranges->map[idx - base];
  310. if (*m)
  311. CONCAT3(__del, NS, subrange)(m);
  312. (*m) = s;
  313. nsubed++;
  314. if (lease)
  315. *lease = s->lease;
  316. unlock(&range_map_lock);
  317. return 0;
  318. failed:
  319. if (s->owner)
  320. put_ipc_info(s->owner);
  321. unlock(&range_map_lock);
  322. free(s);
  323. return err;
  324. }
  325. int CONCAT3(alloc, NS, range)(IDTYPE owner, const char* uri, IDTYPE* base, LEASETYPE* lease) {
  326. struct range* r = malloc(sizeof(struct range));
  327. if (!r)
  328. return -ENOMEM;
  329. int ret = 0;
  330. lock(&range_map_lock);
  331. r->owner = NULL;
  332. IDTYPE i = 0, j = 0;
  333. if (range_map)
  334. for (i = 0; i < range_map->map_size; i++) {
  335. unsigned char map = range_map->map[i];
  336. if (map < 255U) {
  337. for (j = 0; j < BITS; map >>= 1, j++)
  338. if (!(map & 1U))
  339. break;
  340. assert(j < BITS);
  341. break;
  342. }
  343. }
  344. LEASETYPE l = get_lease();
  345. ret = __add_range(r, i * BITS + j, owner, uri, l);
  346. if (ret < 0) {
  347. if (r->owner)
  348. put_ipc_info(r->owner);
  349. free(r);
  350. goto out;
  351. }
  352. if (base)
  353. *base = (i * BITS + j) * RANGE_SIZE + 1;
  354. if (lease)
  355. *lease = l;
  356. out:
  357. unlock(&range_map_lock);
  358. return ret;
  359. }
  360. int CONCAT3(get, NS, range)(IDTYPE idx, struct CONCAT2(NS, range) * range,
  361. struct shim_ipc_info** info) {
  362. IDTYPE off = (idx - 1) / RANGE_SIZE;
  363. lock(&range_map_lock);
  364. struct range* r = __get_range(off);
  365. if (!r) {
  366. unlock(&range_map_lock);
  367. return -ESRCH;
  368. }
  369. IDTYPE base = r->offset * RANGE_SIZE + 1;
  370. IDTYPE sz = RANGE_SIZE;
  371. LEASETYPE l = r->lease;
  372. struct shim_ipc_info* p = r->owner;
  373. if (r->subranges && r->subranges->map[idx - base]) {
  374. struct subrange* s = r->subranges->map[idx - base];
  375. base = idx;
  376. sz = 1;
  377. l = s->lease;
  378. p = s->owner;
  379. }
  380. if (!p) {
  381. unlock(&range_map_lock);
  382. return -ESRCH;
  383. }
  384. if (p->port)
  385. get_ipc_port(p->port);
  386. range->base = base;
  387. range->size = sz;
  388. range->lease = l;
  389. range->owner = p->vmid;
  390. qstrcopy(&range->uri, &p->uri);
  391. range->port = p->port;
  392. if (info) {
  393. get_ipc_info(p);
  394. *info = p;
  395. }
  396. unlock(&range_map_lock);
  397. return 0;
  398. }
  399. int CONCAT3(del, NS, range)(IDTYPE idx) {
  400. IDTYPE off = (idx - 1) / RANGE_SIZE;
  401. int ret = -ESRCH;
  402. lock(&range_map_lock);
  403. struct range* r = __get_range(off);
  404. if (!r)
  405. goto failed;
  406. if (r->subranges) {
  407. for (IDTYPE i = 0; i < RANGE_SIZE; i++)
  408. if (r->subranges->map[i]) {
  409. ret = -EBUSY;
  410. goto failed;
  411. }
  412. }
  413. ret = __set_range_bitmap(off, true);
  414. if (ret < 0)
  415. goto failed;
  416. if (r->owner->vmid == cur_process.vmid)
  417. nowned--;
  418. else
  419. noffered--;
  420. if (r->subranges)
  421. free(r->subranges);
  422. if (r->used)
  423. free(r->used);
  424. // Re-acquire the head; kind of ugly
  425. LISTP_TYPE(range)* head = range_table + RANGE_HASH(off);
  426. LISTP_DEL(r, head, hlist);
  427. /* Chia-Che Tsai 10/17/17: only when r->owner is non-NULL,
  428. * and r->owner->vmid == cur_process.vmid, r is on the
  429. * owned list, otherwise it is an offered. */
  430. if (r->owner && r->owner->vmid == cur_process.vmid)
  431. LISTP_DEL(r, &owned_ranges, list);
  432. else
  433. LISTP_DEL(r, &offered_ranges, list);
  434. put_ipc_info(r->owner);
  435. free(r);
  436. ret = 0;
  437. failed:
  438. unlock(&range_map_lock);
  439. return ret;
  440. }
  441. int CONCAT3(del, NS, subrange)(IDTYPE idx) {
  442. IDTYPE off = (idx - 1) / RANGE_SIZE;
  443. IDTYPE base = off * RANGE_SIZE + 1;
  444. int ret = -ESRCH;
  445. lock(&range_map_lock);
  446. struct range* r = __get_range(off);
  447. if (!r)
  448. goto failed;
  449. if (!r->subranges || !r->subranges->map[idx - base])
  450. goto failed;
  451. CONCAT3(__del, NS, subrange)(&r->subranges->map[idx - base]);
  452. ret = 0;
  453. failed:
  454. unlock(&range_map_lock);
  455. return ret;
  456. }
  457. int CONCAT3(renew, NS, range)(IDTYPE idx, LEASETYPE* lease) {
  458. IDTYPE off = (idx - 1) / RANGE_SIZE;
  459. lock(&range_map_lock);
  460. struct range* r = __get_range(off);
  461. if (!r) {
  462. unlock(&range_map_lock);
  463. return -ESRCH;
  464. }
  465. r->lease = get_lease();
  466. if (lease)
  467. *lease = r->lease;
  468. unlock(&range_map_lock);
  469. return 0;
  470. }
  471. int CONCAT3(renew, NS, subrange)(IDTYPE idx, LEASETYPE* lease) {
  472. IDTYPE off = (idx - 1) / RANGE_SIZE;
  473. IDTYPE base = off * RANGE_SIZE + 1;
  474. lock(&range_map_lock);
  475. struct range* r = __get_range(off);
  476. if (!r) {
  477. unlock(&range_map_lock);
  478. return -ESRCH;
  479. }
  480. if (!r->subranges || !r->subranges->map[idx - base]) {
  481. unlock(&range_map_lock);
  482. return -ESRCH;
  483. }
  484. struct subrange* s = r->subranges->map[idx - base];
  485. s->lease = get_lease();
  486. if (lease)
  487. *lease = s->lease;
  488. unlock(&range_map_lock);
  489. return 0;
  490. }
  491. IDTYPE CONCAT2(allocate, NS)(IDTYPE min, IDTYPE max) {
  492. IDTYPE idx = min;
  493. struct range* r;
  494. lock(&range_map_lock);
  495. LISTP_FOR_EACH_ENTRY(r, &owned_ranges, list) {
  496. if (max && idx >= max)
  497. break;
  498. IDTYPE base = r->offset * RANGE_SIZE + 1;
  499. if (idx >= base + RANGE_SIZE)
  500. continue;
  501. if (idx < base)
  502. idx = base;
  503. if (!r->used) {
  504. r->used = calloc(1, sizeof(struct idx_bitmap));
  505. if (!r->used)
  506. continue;
  507. }
  508. IDTYPE i = (idx - base) / BITS;
  509. IDTYPE j = (idx - base) - i * BITS;
  510. unsigned char* m = r->used->map + i;
  511. unsigned char f = 1U << j;
  512. for (; i < RANGE_SIZE / BITS; i++, j = 0, f = 1U, m++) {
  513. unsigned char map = (*m) ^ (f - 1);
  514. if (map < 255U) {
  515. for (; j < BITS; f <<= 1, j++)
  516. if (!(map & f)) {
  517. (*m) |= f;
  518. idx = base + i * BITS + j;
  519. debug("allocated " NS_STR ": %u\n", idx);
  520. goto out;
  521. }
  522. }
  523. }
  524. }
  525. idx = 0;
  526. out:
  527. unlock(&range_map_lock);
  528. return idx;
  529. }
  530. void CONCAT2(release, NS)(IDTYPE idx) {
  531. IDTYPE off = (idx - 1) / RANGE_SIZE;
  532. IDTYPE base = off * RANGE_SIZE + 1;
  533. lock(&range_map_lock);
  534. struct range* r = __get_range(off);
  535. if (!r)
  536. goto out;
  537. if (r->subranges && r->subranges->map[idx - base])
  538. CONCAT3(__del, NS, subrange)(&r->subranges->map[idx - base]);
  539. if (!r->used)
  540. goto out;
  541. if (idx < base || idx >= base + RANGE_SIZE)
  542. goto out;
  543. IDTYPE i = (idx - base) / BITS;
  544. IDTYPE j = (idx - base) - i * BITS;
  545. unsigned char* m = r->used->map + i;
  546. unsigned char f = 1U << j;
  547. if ((*m) & f) {
  548. debug("released " NS_STR ": %u\n", idx);
  549. (*m) &= ~f;
  550. }
  551. out:
  552. unlock(&range_map_lock);
  553. }
  554. static inline void init_namespace(void) {
  555. create_lock(&range_map_lock);
  556. }
  557. #define _NS_ID(ns) __NS_ID(ns)
  558. #define __NS_ID(ns) ns##_NS
  559. #define NS_ID _NS_ID(NS_CAP)
  560. #define NS_LEADER cur_process.ns[NS_ID]
  561. #define NS_SEND(t) CONCAT3(ipc, NS, t##_send)
  562. #define NS_CALLBACK(t) CONCAT3(ipc, NS, t##_callback)
  563. #define NS_CODE(t) CONCAT3(IPC, NS_CAP, t)
  564. #define NS_CODE_STR(t) "IPC_" NS_CAP_STR "_" #t
  565. #define NS_MSG_TYPE(t) struct CONCAT3(shim_ipc, NS, t)
  566. #define PORT(ns, t) __PORT(ns, t)
  567. #define __PORT(ns, t) IPC_PORT_##ns##t
  568. #define IPC_PORT_CLT PORT(NS_CAP, CLT)
  569. #define IPC_PORT_LDR PORT(NS_CAP, LDR)
  570. #define IPC_PORT_CON PORT(NS_CAP, CON)
  571. #define IPC_PORT_OWN PORT(NS_CAP, OWN)
  572. static void ipc_leader_exit(struct shim_ipc_port* port, IDTYPE vmid, unsigned int exitcode) {
  573. __UNUSED(exitcode); // Kept for API compatibility
  574. lock(&cur_process.lock);
  575. if (!NS_LEADER || NS_LEADER->port != port) {
  576. unlock(&cur_process.lock);
  577. return;
  578. }
  579. struct shim_ipc_info* info = NS_LEADER;
  580. NS_LEADER = NULL;
  581. unlock(&cur_process.lock);
  582. debug("ipc port %p of process %u closed suggests " NS_STR " leader exits\n", port, vmid);
  583. put_ipc_info(info);
  584. }
  585. /*
  586. * __discover_ns(): Discover the leader of this namespace.
  587. * @block: Whether to block for discovery.
  588. * @need_locate: Need the location information of the leader.
  589. */
  590. static void __discover_ns(bool block, bool need_locate) {
  591. bool ipc_pending = false;
  592. lock(&cur_process.lock);
  593. if (NS_LEADER) {
  594. if (NS_LEADER->vmid == cur_process.vmid) {
  595. if (need_locate && qstrempty(&NS_LEADER->uri)) {
  596. bool is_self_ipc_info = false; /* not cur_process.self but cur_process.ns */
  597. struct shim_ipc_info* info = create_ipc_info_cur_process(is_self_ipc_info);
  598. if (info) {
  599. put_ipc_info(NS_LEADER);
  600. NS_LEADER = info;
  601. add_ipc_port(info->port, 0, IPC_PORT_CLT, &ipc_leader_exit);
  602. }
  603. }
  604. goto out;
  605. }
  606. if (!qstrempty(&NS_LEADER->uri))
  607. goto out;
  608. }
  609. /*
  610. * Now we need to discover the leader through IPC. Because IPC calls can be blocking,
  611. * we need to temporarily release cur_process.lock to prevent deadlocks. If the discovery
  612. * succeeds, NS_LEADER will contain the IPC information of the namespace leader.
  613. */
  614. unlock(&cur_process.lock);
  615. // Send out an IPC message to find out the namespace information.
  616. // If the call is non-blocking, can't expect the answer when the function finishes.
  617. int ret = NS_SEND(findns)(block);
  618. if (!ret) {
  619. ipc_pending = !block; // There is still some unfinished business with IPC
  620. lock(&cur_process.lock);
  621. assert(NS_LEADER);
  622. goto out;
  623. }
  624. lock(&cur_process.lock);
  625. // At this point, (1) the leader is not me, (2) I don't know leader's URI,
  626. // and (3) I failed to find out the leader via IPC. But I am pressed to
  627. // report the leader so promote myself (and remove stale leader info).
  628. if (NS_LEADER)
  629. put_ipc_info(NS_LEADER);
  630. if (!need_locate) {
  631. NS_LEADER = create_ipc_info(cur_process.vmid, NULL, 0);
  632. goto out;
  633. }
  634. bool is_self_ipc_info = false; /* not cur_process.self but cur_process.ns */
  635. if (!(NS_LEADER = create_ipc_info_cur_process(is_self_ipc_info)))
  636. goto out;
  637. // Finally, set the IPC port as a leadership port
  638. add_ipc_port(NS_LEADER->port, 0, IPC_PORT_CLT, &ipc_leader_exit);
  639. out:
  640. if (NS_LEADER && !ipc_pending) {
  641. // Assertions for checking the correctness of __discover_ns()
  642. assert(NS_LEADER->vmid == cur_process.vmid // The current process is the leader;
  643. || NS_LEADER->port // Or there is a connected port
  644. || !qstrempty(&NS_LEADER->uri)); // Or there is a known URI
  645. if (need_locate)
  646. assert(!qstrempty(&NS_LEADER->uri)); // A known URI is needed
  647. }
  648. unlock(&cur_process.lock);
  649. }
  650. static int connect_ns(IDTYPE* vmid, struct shim_ipc_port** portptr) {
  651. __discover_ns(true, false); // This function cannot be called with cur_process.lock held
  652. lock(&cur_process.lock);
  653. if (!NS_LEADER) {
  654. unlock(&cur_process.lock);
  655. return -ESRCH;
  656. }
  657. if (NS_LEADER->vmid == cur_process.vmid) {
  658. if (vmid)
  659. *vmid = NS_LEADER->vmid;
  660. unlock(&cur_process.lock);
  661. return 0;
  662. }
  663. if (!NS_LEADER->port) {
  664. if (qstrempty(&NS_LEADER->uri)) {
  665. unlock(&cur_process.lock);
  666. return -ESRCH;
  667. }
  668. PAL_HANDLE pal_handle = DkStreamOpen(qstrgetstr(&NS_LEADER->uri), 0, 0, 0, 0);
  669. if (!pal_handle) {
  670. unlock(&cur_process.lock);
  671. return -PAL_ERRNO;
  672. }
  673. add_ipc_port_by_id(NS_LEADER->vmid, pal_handle, IPC_PORT_LDR | IPC_PORT_LISTEN,
  674. &ipc_leader_exit, &NS_LEADER->port);
  675. }
  676. if (vmid)
  677. *vmid = NS_LEADER->vmid;
  678. if (portptr) {
  679. if (NS_LEADER->port)
  680. get_ipc_port(NS_LEADER->port);
  681. *portptr = NS_LEADER->port;
  682. }
  683. unlock(&cur_process.lock);
  684. return 0;
  685. }
  686. // Turn off this function as it is not used
  687. // Keep the code for future use
  688. #if 0
  689. static int disconnect_ns(struct shim_ipc_port * port)
  690. {
  691. lock(&cur_process.lock);
  692. if (NS_LEADER && NS_LEADER->port == port) {
  693. NS_LEADER->port = NULL;
  694. put_ipc_port(port);
  695. }
  696. unlock(&cur_process.lock);
  697. del_ipc_port(port, IPC_PORT_LDR);
  698. return 0;
  699. }
  700. #endif
  701. int CONCAT3(prepare, NS, leader)(void) {
  702. lock(&cur_process.lock);
  703. bool need_discover = (!NS_LEADER || qstrempty(&NS_LEADER->uri));
  704. unlock(&cur_process.lock);
  705. if (need_discover)
  706. __discover_ns(true, true); // This function cannot be called with cur_process.lock held
  707. return 0;
  708. }
  709. static int connect_owner(IDTYPE idx, struct shim_ipc_port** portptr, IDTYPE* owner) {
  710. struct shim_ipc_info* info = NULL;
  711. struct CONCAT2(NS, range) range;
  712. memset(&range, 0, sizeof(struct CONCAT2(NS, range)));
  713. int ret = CONCAT3(get, NS, range)(idx, &range, &info);
  714. if (ret == -ESRCH) {
  715. if ((ret = NS_SEND(query)(idx)) < 0)
  716. return -ESRCH;
  717. ret = CONCAT3(get, NS, range)(idx, &range, &info);
  718. }
  719. if (ret < 0)
  720. goto out;
  721. if (range.owner == cur_process.vmid) {
  722. ret = -ESRCH;
  723. assert(!range.port);
  724. goto out;
  725. }
  726. if (range.port)
  727. goto success;
  728. IDTYPE type = IPC_PORT_OWN | IPC_PORT_LISTEN;
  729. if (!range.port) {
  730. PAL_HANDLE pal_handle = DkStreamOpen(qstrgetstr(&range.uri), 0, 0, 0, 0);
  731. if (!pal_handle) {
  732. ret = -PAL_ERRNO ?: -EACCES;
  733. goto out;
  734. }
  735. add_ipc_port_by_id(range.owner, pal_handle, type, NULL, &range.port);
  736. assert(range.port);
  737. }
  738. lock(&range_map_lock);
  739. if (info->port)
  740. put_ipc_port(info->port);
  741. get_ipc_port(range.port);
  742. info->port = range.port;
  743. unlock(&range_map_lock);
  744. success:
  745. if (portptr)
  746. *portptr = range.port;
  747. else
  748. put_ipc_port(range.port);
  749. if (owner)
  750. *owner = range.owner;
  751. out:
  752. if (info)
  753. put_ipc_info(info);
  754. assert(ret || range.port);
  755. return ret;
  756. }
  757. DEFINE_PROFILE_INTERVAL(NS_SEND(findns), ipc);
  758. DEFINE_PROFILE_INTERVAL(NS_CALLBACK(findns), ipc);
  759. int NS_SEND(findns)(bool block) {
  760. BEGIN_PROFILE_INTERVAL();
  761. int ret = -ESRCH;
  762. lock(&cur_process.lock);
  763. if (!cur_process.parent || !cur_process.parent->port) {
  764. unlock(&cur_process.lock);
  765. goto out;
  766. }
  767. IDTYPE dest = cur_process.parent->vmid;
  768. struct shim_ipc_port* port = cur_process.parent->port;
  769. get_ipc_port(port);
  770. unlock(&cur_process.lock);
  771. if (block) {
  772. size_t total_msg_size = get_ipc_msg_duplex_size(0);
  773. struct shim_ipc_msg_duplex* msg = __alloca(total_msg_size);
  774. init_ipc_msg_duplex(msg, NS_CODE(FINDNS), total_msg_size, dest);
  775. debug("ipc send to %u: " NS_CODE_STR(FINDNS) "\n", dest);
  776. ret = send_ipc_message_duplex(msg, port, NULL, NULL);
  777. goto out_port;
  778. }
  779. size_t total_msg_size = get_ipc_msg_size(0);
  780. struct shim_ipc_msg* msg = __alloca(total_msg_size);
  781. init_ipc_msg(msg, NS_CODE(FINDNS), total_msg_size, dest);
  782. debug("ipc send to %u: " NS_CODE_STR(FINDNS) "\n", dest);
  783. ret = send_ipc_message(msg, port);
  784. out_port:
  785. put_ipc_port(port);
  786. out:
  787. SAVE_PROFILE_INTERVAL(NS_SEND(findns));
  788. return ret;
  789. }
  790. int NS_CALLBACK(findns)(IPC_CALLBACK_ARGS) {
  791. BEGIN_PROFILE_INTERVAL();
  792. debug("ipc callback from %u: " NS_CODE_STR(FINDNS) "\n", msg->src);
  793. int ret = 0;
  794. __discover_ns(false, true); // This function cannot be called with cur_process.lock held
  795. lock(&cur_process.lock);
  796. if (NS_LEADER && !qstrempty(&NS_LEADER->uri)) {
  797. // Got the answer! Send back the discovery now.
  798. ret = NS_SEND(tellns)(port, msg->src, NS_LEADER, msg->seq);
  799. } else {
  800. // Don't know the answer yet, set up a callback for sending the discovery later.
  801. struct ns_query* query = malloc(sizeof(struct ns_query));
  802. if (query) {
  803. query->dest = msg->src;
  804. query->seq = msg->seq;
  805. get_ipc_port(port);
  806. query->port = port;
  807. INIT_LIST_HEAD(query, list);
  808. LISTP_ADD_TAIL(query, &ns_queries, list);
  809. } else {
  810. ret = -ENOMEM;
  811. }
  812. }
  813. unlock(&cur_process.lock);
  814. SAVE_PROFILE_INTERVAL(NS_CALLBACK(findns));
  815. return ret;
  816. }
  817. DEFINE_PROFILE_INTERVAL(NS_SEND(tellns), ipc);
  818. DEFINE_PROFILE_INTERVAL(NS_CALLBACK(tellns), ipc);
  819. int NS_SEND(tellns)(struct shim_ipc_port* port, IDTYPE dest, struct shim_ipc_info* leader,
  820. unsigned long seq) {
  821. BEGIN_PROFILE_INTERVAL();
  822. size_t total_msg_size = get_ipc_msg_size(leader->uri.len + sizeof(NS_MSG_TYPE(tellns)));
  823. struct shim_ipc_msg* msg = __alloca(total_msg_size);
  824. init_ipc_msg(msg, NS_CODE(TELLNS), total_msg_size, dest);
  825. NS_MSG_TYPE(tellns)* msgin = (void*)&msg->msg;
  826. msgin->vmid = leader->vmid;
  827. memcpy(msgin->uri, qstrgetstr(&leader->uri), leader->uri.len + 1);
  828. msg->seq = seq;
  829. debug("ipc send to %u: " NS_CODE_STR(TELLNS) "(%u, %s)\n", dest, leader->vmid, msgin->uri);
  830. int ret = send_ipc_message(msg, port);
  831. SAVE_PROFILE_INTERVAL(NS_SEND(tellns));
  832. return ret;
  833. }
  834. int NS_CALLBACK(tellns)(IPC_CALLBACK_ARGS) {
  835. BEGIN_PROFILE_INTERVAL();
  836. NS_MSG_TYPE(tellns)* msgin = (void*)&msg->msg;
  837. int ret = 0;
  838. debug("ipc callback from %u: " NS_CODE_STR(TELLNS) "(%u, %s)\n", msg->src, msgin->vmid,
  839. msgin->uri);
  840. lock(&cur_process.lock);
  841. if (NS_LEADER) {
  842. NS_LEADER->vmid = msgin->vmid;
  843. qstrsetstr(&NS_LEADER->uri, msgin->uri, strlen(msgin->uri));
  844. } else {
  845. NS_LEADER = create_ipc_info(msgin->vmid, msgin->uri, strlen(msgin->uri));
  846. if (!NS_LEADER) {
  847. ret = -ENOMEM;
  848. goto out;
  849. }
  850. }
  851. assert(NS_LEADER->vmid != 0);
  852. assert(!qstrempty(&NS_LEADER->uri));
  853. struct ns_query* query;
  854. struct ns_query* pos;
  855. LISTP_FOR_EACH_ENTRY_SAFE(query, pos, &ns_queries, list) {
  856. LISTP_DEL(query, &ns_queries, list);
  857. NS_SEND(tellns)(query->port, query->dest, NS_LEADER, query->seq);
  858. put_ipc_port(query->port);
  859. free(query);
  860. }
  861. struct shim_ipc_msg_duplex* obj = pop_ipc_msg_duplex(port, msg->seq);
  862. if (obj && obj->thread)
  863. thread_wakeup(obj->thread);
  864. out:
  865. unlock(&cur_process.lock);
  866. SAVE_PROFILE_INTERVAL(NS_CALLBACK(tellns));
  867. return ret;
  868. }
  869. DEFINE_PROFILE_INTERVAL(NS_SEND(lease), ipc);
  870. DEFINE_PROFILE_INTERVAL(NS_CALLBACK(lease), ipc);
  871. int NS_SEND(lease)(LEASETYPE* lease) {
  872. BEGIN_PROFILE_INTERVAL();
  873. IDTYPE leader;
  874. struct shim_ipc_port* port = NULL;
  875. struct shim_ipc_info* self = NULL;
  876. int ret = 0;
  877. if ((ret = connect_ns(&leader, &port)) < 0)
  878. goto out;
  879. if ((ret = get_ipc_info_cur_process(&self)) < 0)
  880. goto out;
  881. if (leader == cur_process.vmid) {
  882. ret = CONCAT3(alloc, NS, range)(cur_process.vmid, qstrgetstr(&self->uri), NULL, NULL);
  883. put_ipc_info(self);
  884. goto out;
  885. }
  886. int len = self->uri.len;
  887. size_t total_msg_size = get_ipc_msg_duplex_size(len + sizeof(NS_MSG_TYPE(lease)));
  888. struct shim_ipc_msg_duplex* msg = __alloca(total_msg_size);
  889. init_ipc_msg_duplex(msg, NS_CODE(LEASE), total_msg_size, leader);
  890. NS_MSG_TYPE(lease)* msgin = (void*)&msg->msg.msg;
  891. assert(!qstrempty(&self->uri));
  892. memcpy(msgin->uri, qstrgetstr(&self->uri), len + 1);
  893. put_ipc_info(self);
  894. debug("ipc send to %u: " NS_CODE_STR(LEASE) "(%s)\n", leader, msgin->uri);
  895. ret = send_ipc_message_duplex(msg, port, NULL, lease);
  896. out:
  897. if (port)
  898. put_ipc_port(port);
  899. SAVE_PROFILE_INTERVAL(NS_SEND(lease));
  900. return ret;
  901. }
  902. int NS_CALLBACK(lease)(IPC_CALLBACK_ARGS) {
  903. BEGIN_PROFILE_INTERVAL();
  904. NS_MSG_TYPE(lease)* msgin = (void*)&msg->msg;
  905. debug("ipc callback from %u: " NS_CODE_STR(LEASE) "(%s)\n", msg->src, msgin->uri);
  906. IDTYPE base = 0;
  907. LEASETYPE lease = 0;
  908. int ret = CONCAT3(alloc, NS, range)(msg->src, msgin->uri, &base, &lease);
  909. if (ret < 0)
  910. goto out;
  911. ret = NS_SEND(offer)(port, msg->src, base, RANGE_SIZE, lease, msg->seq);
  912. out:
  913. SAVE_PROFILE_INTERVAL(NS_CALLBACK(lease));
  914. return ret;
  915. }
  916. DEFINE_PROFILE_INTERVAL(NS_SEND(offer), ipc);
  917. DEFINE_PROFILE_INTERVAL(NS_CALLBACK(offer), ipc);
  918. int NS_SEND(offer)(struct shim_ipc_port* port, IDTYPE dest, IDTYPE base, IDTYPE size,
  919. LEASETYPE lease, unsigned long seq) {
  920. BEGIN_PROFILE_INTERVAL();
  921. int ret = 0;
  922. size_t total_msg_size = get_ipc_msg_size(sizeof(NS_MSG_TYPE(offer)));
  923. struct shim_ipc_msg* msg = __alloca(total_msg_size);
  924. init_ipc_msg(msg, NS_CODE(OFFER), total_msg_size, dest);
  925. NS_MSG_TYPE(offer)* msgin = (void*)&msg->msg;
  926. msgin->base = base;
  927. msgin->size = size;
  928. msgin->lease = lease;
  929. msg->seq = seq;
  930. debug("ipc send to %u: " NS_CODE_STR(OFFER) "(%u, %u, %lu)\n", port->vmid, base, size, lease);
  931. ret = send_ipc_message(msg, port);
  932. SAVE_PROFILE_INTERVAL(NS_SEND(offer));
  933. return ret;
  934. }
  935. int NS_CALLBACK(offer)(IPC_CALLBACK_ARGS) {
  936. BEGIN_PROFILE_INTERVAL();
  937. NS_MSG_TYPE(offer)* msgin = (void*)&msg->msg;
  938. debug("ipc callback from %u: " NS_CODE_STR(OFFER) "(%u, %u, %lu)\n", msg->src, msgin->base,
  939. msgin->size, msgin->lease);
  940. struct shim_ipc_msg_duplex* obj = pop_ipc_msg_duplex(port, msg->seq);
  941. switch (msgin->size) {
  942. case RANGE_SIZE:
  943. CONCAT3(add, NS, range)(msgin->base, cur_process.vmid,
  944. qstrgetstr(&cur_process.self->uri), msgin->lease);
  945. LEASETYPE* priv = obj ? obj->private : NULL;
  946. if (priv)
  947. *priv = msgin->lease;
  948. break;
  949. case 1:
  950. if (obj) {
  951. NS_MSG_TYPE(sublease)* s = (void*)&obj->msg.msg;
  952. CONCAT3(add, NS, subrange)(s->idx, s->tenant, s->uri, &msgin->lease);
  953. LEASETYPE* priv = obj->private;
  954. if (priv)
  955. *priv = msgin->lease;
  956. }
  957. break;
  958. default:
  959. goto out;
  960. }
  961. if (obj && obj->thread)
  962. thread_wakeup(obj->thread);
  963. out:
  964. SAVE_PROFILE_INTERVAL(NS_CALLBACK(offer));
  965. return 0;
  966. }
  967. DEFINE_PROFILE_INTERVAL(NS_SEND(renew), ipc);
  968. DEFINE_PROFILE_INTERVAL(NS_CALLBACK(renew), ipc);
  969. int NS_SEND(renew)(IDTYPE base, IDTYPE size) {
  970. BEGIN_PROFILE_INTERVAL();
  971. IDTYPE leader;
  972. struct shim_ipc_port* port = NULL;
  973. int ret = 0;
  974. if ((ret = connect_ns(&leader, &port)) < 0)
  975. goto out;
  976. size_t total_msg_size = get_ipc_msg_size(sizeof(NS_MSG_TYPE(renew)));
  977. struct shim_ipc_msg* msg = __alloca(total_msg_size);
  978. init_ipc_msg(msg, NS_CODE(RENEW), total_msg_size, leader);
  979. NS_MSG_TYPE(renew)* msgin = (void*)&msg->msg;
  980. msgin->base = base;
  981. msgin->size = size;
  982. debug("ipc send to : " NS_CODE_STR(RENEW) "(%u, %u)\n", base, size);
  983. ret = send_ipc_message(msg, port);
  984. put_ipc_port(port);
  985. out:
  986. SAVE_PROFILE_INTERVAL(NS_SEND(renew));
  987. return ret;
  988. }
  989. int NS_CALLBACK(renew)(IPC_CALLBACK_ARGS) {
  990. BEGIN_PROFILE_INTERVAL();
  991. NS_MSG_TYPE(renew)* msgin = (void*)&msg->msg;
  992. int ret = 0;
  993. debug("ipc callback from %u: " NS_CODE_STR(RENEW) "(%u, %u)\n", msg->src, msgin->base,
  994. msgin->size);
  995. if (msgin->size != 1 && msgin->size != RANGE_SIZE) {
  996. ret = -EINVAL;
  997. goto out;
  998. }
  999. LEASETYPE lease = 0;
  1000. switch (msgin->size) {
  1001. case RANGE_SIZE:
  1002. ret = CONCAT3(renew, NS, range)(msgin->base, &lease);
  1003. break;
  1004. case 1:
  1005. ret = CONCAT3(renew, NS, subrange)(msgin->size, &lease);
  1006. break;
  1007. default:
  1008. ret = -EINVAL;
  1009. break;
  1010. }
  1011. if (ret < 0)
  1012. goto out;
  1013. ret = NS_SEND(offer)(port, msg->src, msgin->base, msgin->size, lease, msg->seq);
  1014. out:
  1015. SAVE_PROFILE_INTERVAL(NS_CALLBACK(renew));
  1016. return ret;
  1017. }
  1018. DEFINE_PROFILE_INTERVAL(NS_SEND(sublease), ipc);
  1019. DEFINE_PROFILE_INTERVAL(NS_CALLBACK(sublease), ipc);
  1020. int NS_SEND(sublease)(IDTYPE tenant, IDTYPE idx, const char* uri, LEASETYPE* lease) {
  1021. BEGIN_PROFILE_INTERVAL();
  1022. IDTYPE leader;
  1023. struct shim_ipc_port* port = NULL;
  1024. int ret = 0;
  1025. if ((ret = connect_ns(&leader, &port)) < 0)
  1026. goto out;
  1027. if (leader == cur_process.vmid) {
  1028. ret = CONCAT3(add, NS, subrange)(idx, tenant, uri, NULL);
  1029. goto out;
  1030. }
  1031. int len = strlen(uri);
  1032. size_t total_msg_size = get_ipc_msg_duplex_size(len + sizeof(NS_MSG_TYPE(sublease)));
  1033. struct shim_ipc_msg_duplex* msg = __alloca(total_msg_size);
  1034. init_ipc_msg_duplex(msg, NS_CODE(SUBLEASE), total_msg_size, leader);
  1035. NS_MSG_TYPE(sublease)* msgin = (void*)&msg->msg.msg;
  1036. msgin->tenant = tenant;
  1037. msgin->idx = idx;
  1038. memcpy(msgin->uri, uri, len + 1);
  1039. debug("ipc send to %u: " NS_CODE_STR(SUBLEASE) "(%u, %u, %s)\n", leader, tenant, idx,
  1040. msgin->uri);
  1041. ret = send_ipc_message_duplex(msg, port, NULL, lease);
  1042. out:
  1043. if (port)
  1044. put_ipc_port(port);
  1045. SAVE_PROFILE_INTERVAL(NS_SEND(sublease));
  1046. return ret;
  1047. }
  1048. int NS_CALLBACK(sublease)(IPC_CALLBACK_ARGS) {
  1049. BEGIN_PROFILE_INTERVAL();
  1050. NS_MSG_TYPE(sublease)* msgin = (void*)&msg->msg;
  1051. debug("ipc callback from %u: " NS_CODE_STR(SUBLEASE) "(%u, %u, %s)\n", msg->src, msgin->idx,
  1052. msgin->tenant, msgin->uri);
  1053. LEASETYPE lease = 0;
  1054. int ret = CONCAT3(add, NS, subrange)(msgin->idx, msgin->tenant, msgin->uri, &lease);
  1055. ret = NS_SEND(offer)(port, msg->src, msgin->idx, 1, lease, msg->seq);
  1056. SAVE_PROFILE_INTERVAL(NS_CALLBACK(sublease));
  1057. return ret;
  1058. }
  1059. DEFINE_PROFILE_INTERVAL(NS_SEND(query), ipc);
  1060. DEFINE_PROFILE_INTERVAL(NS_CALLBACK(query), ipc);
  1061. int NS_SEND(query)(IDTYPE idx) {
  1062. BEGIN_PROFILE_INTERVAL();
  1063. struct CONCAT2(NS, range) range;
  1064. IDTYPE leader;
  1065. struct shim_ipc_port* port = NULL;
  1066. int ret = 0;
  1067. memset(&range, 0, sizeof(struct CONCAT2(NS, range)));
  1068. if (!CONCAT3(get, NS, range)(idx, &range, NULL))
  1069. goto out;
  1070. if ((ret = connect_ns(&leader, &port)) < 0)
  1071. goto out;
  1072. if (cur_process.vmid == leader) {
  1073. ret = -ESRCH;
  1074. goto out;
  1075. }
  1076. size_t total_msg_size = get_ipc_msg_duplex_size(sizeof(NS_MSG_TYPE(query)));
  1077. struct shim_ipc_msg_duplex* msg = __alloca(total_msg_size);
  1078. init_ipc_msg_duplex(msg, NS_CODE(QUERY), total_msg_size, leader);
  1079. NS_MSG_TYPE(query)* msgin = (void*)&msg->msg.msg;
  1080. msgin->idx = idx;
  1081. debug("ipc send to %u: " NS_CODE_STR(QUERY) "(%u)\n", leader, idx);
  1082. ret = send_ipc_message_duplex(msg, port, NULL, NULL);
  1083. out:
  1084. if (port)
  1085. put_ipc_port(port);
  1086. SAVE_PROFILE_INTERVAL(NS_SEND(query));
  1087. return ret;
  1088. }
  1089. int NS_CALLBACK(query)(IPC_CALLBACK_ARGS) {
  1090. BEGIN_PROFILE_INTERVAL();
  1091. NS_MSG_TYPE(query)* msgin = (void*)&msg->msg;
  1092. debug("ipc callback from %u: " NS_CODE_STR(QUERY) "(%u)\n", msg->src, msgin->idx);
  1093. struct CONCAT2(NS, range) range;
  1094. int ret = 0;
  1095. memset(&range, 0, sizeof(struct CONCAT2(NS, range)));
  1096. ret = CONCAT3(get, NS, range)(msgin->idx, &range, NULL);
  1097. if (ret < 0)
  1098. goto out;
  1099. assert(msgin->idx >= range.base && msgin->idx < range.base + range.size);
  1100. assert(range.owner);
  1101. assert(!qstrempty(&range.uri));
  1102. struct ipc_ns_offered ans;
  1103. ans.base = range.base;
  1104. ans.size = range.size;
  1105. ans.lease = range.lease;
  1106. ans.owner_offset = 0;
  1107. int ownerdatasz = sizeof(struct ipc_ns_client) + range.uri.len;
  1108. struct ipc_ns_client* owner = __alloca(ownerdatasz);
  1109. owner->vmid = range.owner;
  1110. assert(!qstrempty(&range.uri));
  1111. memcpy(owner->uri, qstrgetstr(&range.uri), range.uri.len + 1);
  1112. ret = NS_SEND(answer)(port, msg->src, 1, &ans, 1, &owner, &ownerdatasz, msg->seq);
  1113. out:
  1114. SAVE_PROFILE_INTERVAL(NS_CALLBACK(query));
  1115. return ret;
  1116. }
  1117. DEFINE_PROFILE_INTERVAL(NS_SEND(queryall), ipc);
  1118. DEFINE_PROFILE_INTERVAL(NS_CALLBACK(queryall), ipc);
  1119. int NS_SEND(queryall)(void) {
  1120. BEGIN_PROFILE_INTERVAL();
  1121. IDTYPE leader;
  1122. struct shim_ipc_port* port = NULL;
  1123. int ret = 0;
  1124. if ((ret = connect_ns(&leader, &port)) < 0)
  1125. goto out;
  1126. if (cur_process.vmid == leader)
  1127. goto out;
  1128. size_t total_msg_size = get_ipc_msg_duplex_size(0);
  1129. struct shim_ipc_msg_duplex* msg = __alloca(total_msg_size);
  1130. init_ipc_msg_duplex(msg, NS_CODE(QUERYALL), total_msg_size, leader);
  1131. debug("ipc send to %u: " NS_CODE_STR(QUERYALL) "\n", leader);
  1132. ret = send_ipc_message_duplex(msg, port, NULL, NULL);
  1133. put_ipc_port(port);
  1134. out:
  1135. SAVE_PROFILE_INTERVAL(NS_SEND(queryall));
  1136. return ret;
  1137. }
  1138. int NS_CALLBACK(queryall)(IPC_CALLBACK_ARGS) {
  1139. BEGIN_PROFILE_INTERVAL();
  1140. debug("ipc callback from %u: " NS_CODE_STR(QUERYALL) "\n", msg->src);
  1141. LISTP_TYPE(range)* list = &offered_ranges;
  1142. struct range* r;
  1143. int ret;
  1144. lock(&range_map_lock);
  1145. int maxanswers = nowned + noffered + nsubed;
  1146. int nanswers = 0, nowners = 0, i;
  1147. struct ipc_ns_offered* answers = __alloca(sizeof(struct ipc_ns_offered) * maxanswers);
  1148. struct ipc_ns_client** ownerdata = __alloca(sizeof(struct ipc_ns_client*) * maxanswers);
  1149. int* ownerdatasz = __alloca(sizeof(int) * maxanswers);
  1150. int owner_offset = 0;
  1151. retry:
  1152. LISTP_FOR_EACH_ENTRY(r, list, list) {
  1153. struct shim_ipc_info* p = r->owner;
  1154. int datasz = sizeof(struct ipc_ns_client) + p->uri.len;
  1155. struct ipc_ns_client* owner = __alloca(datasz);
  1156. assert(!qstrempty(&p->uri));
  1157. owner->vmid = p->vmid;
  1158. memcpy(owner->uri, qstrgetstr(&p->uri), p->uri.len + 1);
  1159. IDTYPE base = r->offset * RANGE_SIZE + 1;
  1160. answers[nanswers].base = base;
  1161. answers[nanswers].size = RANGE_SIZE;
  1162. answers[nanswers].lease = r->lease;
  1163. answers[nanswers].owner_offset = owner_offset;
  1164. nanswers++;
  1165. ownerdata[nowners] = owner;
  1166. ownerdatasz[nowners] = datasz;
  1167. nowners++;
  1168. owner_offset += datasz;
  1169. if (!r->subranges)
  1170. continue;
  1171. for (i = 0; i < RANGE_SIZE; i++) {
  1172. if (!r->subranges->map[i])
  1173. continue;
  1174. struct subrange* s = r->subranges->map[i];
  1175. p = s->owner;
  1176. datasz = sizeof(struct ipc_ns_client) + p->uri.len;
  1177. owner = __alloca(datasz);
  1178. assert(!qstrempty(&p->uri));
  1179. owner->vmid = p->vmid;
  1180. memcpy(owner->uri, qstrgetstr(&p->uri), p->uri.len + 1);
  1181. answers[nanswers].base = base + i;
  1182. answers[nanswers].size = 1;
  1183. answers[nanswers].lease = s->lease;
  1184. answers[nanswers].owner_offset = owner_offset;
  1185. nanswers++;
  1186. ownerdata[nowners] = owner;
  1187. ownerdatasz[nowners] = datasz;
  1188. nowners++;
  1189. owner_offset += datasz;
  1190. }
  1191. }
  1192. if (list == &offered_ranges) {
  1193. list = &owned_ranges;
  1194. goto retry;
  1195. }
  1196. unlock(&range_map_lock);
  1197. ret = NS_SEND(answer)(port, msg->src, nanswers, answers, nowners, ownerdata, ownerdatasz,
  1198. msg->seq);
  1199. SAVE_PROFILE_INTERVAL(NS_CALLBACK(queryall));
  1200. return ret;
  1201. }
  1202. DEFINE_PROFILE_INTERVAL(NS_SEND(answer), ipc);
  1203. DEFINE_PROFILE_INTERVAL(NS_CALLBACK(answer), ipc);
  1204. int NS_SEND(answer)(struct shim_ipc_port* port, IDTYPE dest, int nanswers,
  1205. struct ipc_ns_offered* answers, int nowners, struct ipc_ns_client** ownerdata,
  1206. int* ownerdatasz, unsigned long seq) {
  1207. BEGIN_PROFILE_INTERVAL();
  1208. int owner_offset = sizeof(NS_MSG_TYPE(answer)) + sizeof(struct ipc_ns_offered) * nanswers;
  1209. int total_ownerdatasz = 0;
  1210. for (int i = 0; i < nowners; i++) {
  1211. total_ownerdatasz += ownerdatasz[i];
  1212. }
  1213. size_t total_msg_size = get_ipc_msg_size(owner_offset + total_ownerdatasz);
  1214. struct shim_ipc_msg* msg = __alloca(total_msg_size);
  1215. init_ipc_msg(msg, NS_CODE(ANSWER), total_msg_size, dest);
  1216. NS_MSG_TYPE(answer)* msgin = (void*)&msg->msg;
  1217. msgin->nanswers = nanswers;
  1218. for (int i = 0; i < nanswers; i++) {
  1219. msgin->answers[i] = answers[i];
  1220. msgin->answers[i].owner_offset += owner_offset;
  1221. }
  1222. for (int i = 0; i < nowners; i++) {
  1223. memcpy((void*)msgin + owner_offset, ownerdata[i], ownerdatasz[i]);
  1224. owner_offset += ownerdatasz[i];
  1225. }
  1226. msg->seq = seq;
  1227. if (nanswers == 1)
  1228. debug("ipc send to %u: " NS_CODE_STR(ANSWER) "([%u, %u])\n", dest, answers[0].base,
  1229. answers[0].size);
  1230. else if (nanswers)
  1231. debug("ipc send to %u: " NS_CODE_STR(ANSWER) "([%u, %u], ...)\n", dest, answers[0].base,
  1232. answers[0].size);
  1233. int ret = send_ipc_message(msg, port);
  1234. SAVE_PROFILE_INTERVAL(NS_SEND(answer));
  1235. return ret;
  1236. }
  1237. int NS_CALLBACK(answer)(IPC_CALLBACK_ARGS) {
  1238. BEGIN_PROFILE_INTERVAL();
  1239. NS_MSG_TYPE(answer)* msgin = (void*)&msg->msg;
  1240. if (msgin->nanswers == 1)
  1241. debug("ipc callback from %u: " NS_CODE_STR(ANSWER) "([%u, %u])\n", msg->src,
  1242. msgin->answers[0].base, msgin->answers[0].size);
  1243. else if (msgin->nanswers)
  1244. debug("ipc callback from %u: " NS_CODE_STR(ANSWER) "([%u, %u], ...)\n", msg->src,
  1245. msgin->answers[0].base, msgin->answers[0].size);
  1246. for (int i = 0; i < msgin->nanswers; i++) {
  1247. struct ipc_ns_offered* ans = &msgin->answers[i];
  1248. struct ipc_ns_client* owner = (void*)msgin + ans->owner_offset;
  1249. switch (ans->size) {
  1250. case RANGE_SIZE:
  1251. CONCAT3(add, NS, range)(ans->base, owner->vmid, owner->uri, ans->lease);
  1252. break;
  1253. case 1:
  1254. CONCAT3(add, NS, subrange)(ans->base, owner->vmid, owner->uri, &ans->lease);
  1255. break;
  1256. default:
  1257. break;
  1258. }
  1259. }
  1260. struct shim_ipc_msg_duplex* obj = pop_ipc_msg_duplex(port, msg->seq);
  1261. if (obj && obj->thread)
  1262. thread_wakeup(obj->thread);
  1263. SAVE_PROFILE_INTERVAL(NS_CALLBACK(answer));
  1264. return 0;
  1265. }
  1266. #ifdef NS_KEY
  1267. #define KEY_HASH_LEN 8
  1268. #define KEY_HASH_NUM (1 << KEY_HASH_LEN)
  1269. #define KEY_HASH_MASK (KEY_HASH_NUM - 1)
  1270. DEFINE_LIST(key);
  1271. struct key {
  1272. NS_KEY key;
  1273. IDTYPE id;
  1274. LIST_TYPE(key) hlist;
  1275. };
  1276. DEFINE_LISTP(key);
  1277. static LISTP_TYPE(key) key_map[KEY_HASH_NUM];
  1278. int CONCAT2(NS, add_key)(NS_KEY* key, IDTYPE id) {
  1279. LISTP_TYPE(key)* head = &key_map[KEY_HASH(key) & KEY_HASH_MASK];
  1280. struct key* k;
  1281. int ret = -EEXIST;
  1282. lock(&range_map_lock);
  1283. LISTP_FOR_EACH_ENTRY(k, head, hlist) {
  1284. if (!KEY_COMP(&k->key, key))
  1285. goto out;
  1286. }
  1287. k = malloc(sizeof(struct key));
  1288. if (!k) {
  1289. ret = -ENOMEM;
  1290. goto out;
  1291. }
  1292. KEY_COPY(&k->key, key);
  1293. k->id = id;
  1294. INIT_LIST_HEAD(k, hlist);
  1295. LISTP_ADD(k, head, hlist);
  1296. debug("add key/id pair (%lu, %u) to hash list: %p\n", KEY_HASH(key), id, head);
  1297. ret = 0;
  1298. out:
  1299. unlock(&range_map_lock);
  1300. return ret;
  1301. }
  1302. int CONCAT2(NS, get_key)(NS_KEY* key, bool delete) {
  1303. LISTP_TYPE(key)* head = &key_map[KEY_HASH(key) & KEY_HASH_MASK];
  1304. struct key* k;
  1305. int id = -ENOENT;
  1306. lock(&range_map_lock);
  1307. LISTP_FOR_EACH_ENTRY(k, head, hlist) {
  1308. if (!KEY_COMP(&k->key, key)) {
  1309. id = k->id;
  1310. if (delete) {
  1311. LISTP_DEL(k, head, hlist);
  1312. free(k);
  1313. }
  1314. break;
  1315. }
  1316. }
  1317. unlock(&range_map_lock);
  1318. return id;
  1319. }
  1320. DEFINE_PROFILE_INTERVAL(NS_SEND(findkey), ipc);
  1321. DEFINE_PROFILE_INTERVAL(NS_CALLBACK(findkey), ipc);
  1322. int NS_SEND(findkey)(NS_KEY* key) {
  1323. BEGIN_PROFILE_INTERVAL();
  1324. int ret = 0;
  1325. ret = CONCAT2(NS, get_key)(key, false);
  1326. if (!ret)
  1327. goto out;
  1328. IDTYPE dest;
  1329. struct shim_ipc_port* port = NULL;
  1330. if ((ret = connect_ns(&dest, &port)) < 0)
  1331. goto out;
  1332. if (dest == cur_process.vmid) {
  1333. ret = -ENOENT;
  1334. goto out;
  1335. }
  1336. size_t total_msg_size = get_ipc_msg_duplex_size(sizeof(NS_MSG_TYPE(findkey)));
  1337. struct shim_ipc_msg_duplex* msg = __alloca(total_msg_size);
  1338. init_ipc_msg_duplex(msg, NS_CODE(FINDKEY), total_msg_size, dest);
  1339. NS_MSG_TYPE(findkey)* msgin = (void*)&msg->msg.msg;
  1340. KEY_COPY(&msgin->key, key);
  1341. debug("ipc send to %u: " NS_CODE_STR(FINDKEY) "(%lu)\n", dest, KEY_HASH(key));
  1342. ret = send_ipc_message_duplex(msg, port, NULL, NULL);
  1343. put_ipc_port(port);
  1344. if (!ret)
  1345. ret = CONCAT2(NS, get_key)(key, false);
  1346. out:
  1347. SAVE_PROFILE_INTERVAL(NS_SEND(findkey));
  1348. return ret;
  1349. }
  1350. int NS_CALLBACK(findkey)(IPC_CALLBACK_ARGS) {
  1351. BEGIN_PROFILE_INTERVAL();
  1352. int ret = 0;
  1353. NS_MSG_TYPE(findkey)* msgin = (void*)&msg->msg;
  1354. debug("ipc callback from %u: " NS_CODE_STR(FINDKEY) "(%lu)\n", msg->src, KEY_HASH(&msgin->key));
  1355. ret = CONCAT2(NS, get_key)(&msgin->key, false);
  1356. if (ret < 0)
  1357. goto out;
  1358. ret = NS_SEND(tellkey)(port, msg->src, &msgin->key, ret, msg->seq);
  1359. out:
  1360. SAVE_PROFILE_INTERVAL(NS_CALLBACK(findkey));
  1361. return ret;
  1362. }
  1363. DEFINE_PROFILE_INTERVAL(NS_SEND(tellkey), ipc);
  1364. DEFINE_PROFILE_INTERVAL(NS_CALLBACK(tellkey), ipc);
  1365. int NS_SEND(tellkey)(struct shim_ipc_port* port, IDTYPE dest, NS_KEY* key, IDTYPE id,
  1366. unsigned long seq) {
  1367. BEGIN_PROFILE_INTERVAL();
  1368. bool owned = true;
  1369. int ret = 0;
  1370. if (!dest) {
  1371. if ((ret = CONCAT2(NS, add_key)(key, id)) < 0)
  1372. goto out;
  1373. if ((ret = connect_ns(&dest, &port)) < 0)
  1374. goto out;
  1375. if (dest == cur_process.vmid)
  1376. goto out;
  1377. owned = false;
  1378. }
  1379. if (owned) {
  1380. size_t total_msg_size = get_ipc_msg_size(sizeof(NS_MSG_TYPE(tellkey)));
  1381. struct shim_ipc_msg* msg = __alloca(total_msg_size);
  1382. init_ipc_msg(msg, NS_CODE(TELLKEY), total_msg_size, dest);
  1383. NS_MSG_TYPE(tellkey)* msgin = (void*)&msg->msg;
  1384. KEY_COPY(&msgin->key, key);
  1385. msgin->id = id;
  1386. msg->seq = seq;
  1387. debug("ipc send to %u: IPC_SYSV_TELLKEY(%lu, %u)\n", dest, KEY_HASH(key), id);
  1388. ret = send_ipc_message(msg, port);
  1389. goto out;
  1390. }
  1391. size_t total_msg_size = get_ipc_msg_duplex_size(sizeof(NS_MSG_TYPE(tellkey)));
  1392. struct shim_ipc_msg_duplex* msg = __alloca(total_msg_size);
  1393. init_ipc_msg_duplex(msg, NS_CODE(TELLKEY), total_msg_size, dest);
  1394. NS_MSG_TYPE(tellkey)* msgin = (void*)&msg->msg.msg;
  1395. KEY_COPY(&msgin->key, key);
  1396. msgin->id = id;
  1397. debug("ipc send to %u: IPC_SYSV_TELLKEY(%lu, %u)\n", dest, KEY_HASH(key), id);
  1398. ret = send_ipc_message_duplex(msg, port, NULL, NULL);
  1399. put_ipc_port(port);
  1400. out:
  1401. SAVE_PROFILE_INTERVAL(NS_SEND(tellkey));
  1402. return ret;
  1403. }
  1404. int NS_CALLBACK(tellkey)(IPC_CALLBACK_ARGS) {
  1405. BEGIN_PROFILE_INTERVAL();
  1406. int ret = 0;
  1407. NS_MSG_TYPE(tellkey)* msgin = (void*)&msg->msg;
  1408. debug("ipc callback from %u: " NS_CODE_STR(TELLKEY) "(%lu, %u)\n", msg->src,
  1409. KEY_HASH(&msgin->key), msgin->id);
  1410. ret = CONCAT2(NS, add_key)(&msgin->key, msgin->id);
  1411. struct shim_ipc_msg_duplex* obj = pop_ipc_msg_duplex(port, msg->seq);
  1412. if (!obj) {
  1413. ret = RESPONSE_CALLBACK;
  1414. goto out;
  1415. }
  1416. if (obj->thread)
  1417. thread_wakeup(obj->thread);
  1418. out:
  1419. SAVE_PROFILE_INTERVAL(ipc_sysv_tellkey_callback);
  1420. return ret;
  1421. }
  1422. #endif /* NS_KEY */