shim_ipc_nsimpl.h 50 KB

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