pool.acid 12 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628
  1. sizeof_1_ = 8;
  2. aggr _1_
  3. {
  4. 'U' 0 lo;
  5. 'U' 4 hi;
  6. };
  7. defn
  8. _1_(addr) {
  9. complex _1_ addr;
  10. print(" lo ", addr.lo, "\n");
  11. print(" hi ", addr.hi, "\n");
  12. };
  13. sizeofFPdbleword = 8;
  14. aggr FPdbleword
  15. {
  16. 'F' 0 x;
  17. {
  18. 'U' 0 lo;
  19. 'U' 4 hi;
  20. };
  21. };
  22. defn
  23. FPdbleword(addr) {
  24. complex FPdbleword addr;
  25. print(" x ", addr.x, "\n");
  26. print("_1_ {\n");
  27. _1_(addr+0);
  28. print("}\n");
  29. };
  30. UTFmax = 3;
  31. Runesync = 128;
  32. Runeself = 128;
  33. Runeerror = 65533;
  34. sizeofFmt = 48;
  35. aggr Fmt
  36. {
  37. 'b' 0 runes;
  38. 'X' 4 start;
  39. 'X' 8 to;
  40. 'X' 12 stop;
  41. 'X' 16 flush;
  42. 'X' 20 farg;
  43. 'D' 24 nfmt;
  44. 'X' 28 args;
  45. 'D' 32 r;
  46. 'D' 36 width;
  47. 'D' 40 prec;
  48. 'U' 44 flags;
  49. };
  50. defn
  51. Fmt(addr) {
  52. complex Fmt addr;
  53. print(" runes ", addr.runes, "\n");
  54. print(" start ", addr.start\X, "\n");
  55. print(" to ", addr.to\X, "\n");
  56. print(" stop ", addr.stop\X, "\n");
  57. print(" flush ", addr.flush\X, "\n");
  58. print(" farg ", addr.farg\X, "\n");
  59. print(" nfmt ", addr.nfmt, "\n");
  60. print(" args ", addr.args\X, "\n");
  61. print(" r ", addr.r, "\n");
  62. print(" width ", addr.width, "\n");
  63. print(" prec ", addr.prec, "\n");
  64. print(" flags ", addr.flags, "\n");
  65. };
  66. FmtWidth = 1;
  67. FmtLeft = 2;
  68. FmtPrec = 4;
  69. FmtSharp = 8;
  70. FmtSpace = 16;
  71. FmtSign = 32;
  72. FmtZero = 64;
  73. FmtUnsigned = 128;
  74. FmtShort = 256;
  75. FmtLong = 512;
  76. FmtVLong = 1024;
  77. FmtComma = 2048;
  78. FmtByte = 4096;
  79. FmtFlag = 8192;
  80. sizeofTm = 40;
  81. aggr Tm
  82. {
  83. 'D' 0 sec;
  84. 'D' 4 min;
  85. 'D' 8 hour;
  86. 'D' 12 mday;
  87. 'D' 16 mon;
  88. 'D' 20 year;
  89. 'D' 24 wday;
  90. 'D' 28 yday;
  91. 'a' 32 zone;
  92. 'D' 36 tzoff;
  93. };
  94. defn
  95. Tm(addr) {
  96. complex Tm addr;
  97. print(" sec ", addr.sec, "\n");
  98. print(" min ", addr.min, "\n");
  99. print(" hour ", addr.hour, "\n");
  100. print(" mday ", addr.mday, "\n");
  101. print(" mon ", addr.mon, "\n");
  102. print(" year ", addr.year, "\n");
  103. print(" wday ", addr.wday, "\n");
  104. print(" yday ", addr.yday, "\n");
  105. print(" zone ", addr.zone, "\n");
  106. print(" tzoff ", addr.tzoff, "\n");
  107. };
  108. PNPROC = 1;
  109. PNGROUP = 2;
  110. Profoff = 0;
  111. Profuser = 1;
  112. Profkernel = 2;
  113. Proftime = 3;
  114. Profsample = 4;
  115. sizeofLock = 4;
  116. aggr Lock
  117. {
  118. 'D' 0 val;
  119. };
  120. defn
  121. Lock(addr) {
  122. complex Lock addr;
  123. print(" val ", addr.val, "\n");
  124. };
  125. sizeofQLp = 12;
  126. aggr QLp
  127. {
  128. 'D' 0 inuse;
  129. 'A' QLp 4 next;
  130. 'C' 8 state;
  131. };
  132. defn
  133. QLp(addr) {
  134. complex QLp addr;
  135. print(" inuse ", addr.inuse, "\n");
  136. print(" next ", addr.next\X, "\n");
  137. print(" state ", addr.state, "\n");
  138. };
  139. sizeofQLock = 16;
  140. aggr QLock
  141. {
  142. Lock 0 lock;
  143. 'D' 4 locked;
  144. 'A' QLp 8 $head;
  145. 'A' QLp 12 $tail;
  146. };
  147. defn
  148. QLock(addr) {
  149. complex QLock addr;
  150. print("Lock lock {\n");
  151. Lock(addr.lock);
  152. print("}\n");
  153. print(" locked ", addr.locked, "\n");
  154. print(" $head ", addr.$head\X, "\n");
  155. print(" $tail ", addr.$tail\X, "\n");
  156. };
  157. sizeofRWLock = 20;
  158. aggr RWLock
  159. {
  160. Lock 0 lock;
  161. 'D' 4 readers;
  162. 'D' 8 writer;
  163. 'A' QLp 12 $head;
  164. 'A' QLp 16 $tail;
  165. };
  166. defn
  167. RWLock(addr) {
  168. complex RWLock addr;
  169. print("Lock lock {\n");
  170. Lock(addr.lock);
  171. print("}\n");
  172. print(" readers ", addr.readers, "\n");
  173. print(" writer ", addr.writer, "\n");
  174. print(" $head ", addr.$head\X, "\n");
  175. print(" $tail ", addr.$tail\X, "\n");
  176. };
  177. sizeofRendez = 12;
  178. aggr Rendez
  179. {
  180. 'A' QLock 0 l;
  181. 'A' QLp 4 $head;
  182. 'A' QLp 8 $tail;
  183. };
  184. defn
  185. Rendez(addr) {
  186. complex Rendez addr;
  187. print(" l ", addr.l\X, "\n");
  188. print(" $head ", addr.$head\X, "\n");
  189. print(" $tail ", addr.$tail\X, "\n");
  190. };
  191. sizeofNetConnInfo = 36;
  192. aggr NetConnInfo
  193. {
  194. 'X' 0 dir;
  195. 'X' 4 root;
  196. 'X' 8 spec;
  197. 'X' 12 lsys;
  198. 'X' 16 lserv;
  199. 'X' 20 rsys;
  200. 'X' 24 rserv;
  201. 'X' 28 laddr;
  202. 'X' 32 raddr;
  203. };
  204. defn
  205. NetConnInfo(addr) {
  206. complex NetConnInfo addr;
  207. print(" dir ", addr.dir\X, "\n");
  208. print(" root ", addr.root\X, "\n");
  209. print(" spec ", addr.spec\X, "\n");
  210. print(" lsys ", addr.lsys\X, "\n");
  211. print(" lserv ", addr.lserv\X, "\n");
  212. print(" rsys ", addr.rsys\X, "\n");
  213. print(" rserv ", addr.rserv\X, "\n");
  214. print(" laddr ", addr.laddr\X, "\n");
  215. print(" raddr ", addr.raddr\X, "\n");
  216. };
  217. RFNAMEG = 1;
  218. RFENVG = 2;
  219. RFFDG = 4;
  220. RFNOTEG = 8;
  221. RFPROC = 16;
  222. RFMEM = 32;
  223. RFNOWAIT = 64;
  224. RFCNAMEG = 1024;
  225. RFCENVG = 2048;
  226. RFCFDG = 4096;
  227. RFREND = 8192;
  228. RFNOMNT = 16384;
  229. sizeofQid = 16;
  230. aggr Qid
  231. {
  232. 'W' 0 path;
  233. 'U' 8 vers;
  234. 'b' 12 type;
  235. };
  236. defn
  237. Qid(addr) {
  238. complex Qid addr;
  239. print(" path ", addr.path, "\n");
  240. print(" vers ", addr.vers, "\n");
  241. print(" type ", addr.type, "\n");
  242. };
  243. sizeofDir = 60;
  244. aggr Dir
  245. {
  246. 'u' 0 type;
  247. 'U' 4 dev;
  248. Qid 8 qid;
  249. 'U' 24 mode;
  250. 'U' 28 atime;
  251. 'U' 32 mtime;
  252. 'V' 36 length;
  253. 'X' 44 name;
  254. 'X' 48 uid;
  255. 'X' 52 gid;
  256. 'X' 56 muid;
  257. };
  258. defn
  259. Dir(addr) {
  260. complex Dir addr;
  261. print(" type ", addr.type, "\n");
  262. print(" dev ", addr.dev, "\n");
  263. print("Qid qid {\n");
  264. Qid(addr.qid);
  265. print("}\n");
  266. print(" mode ", addr.mode, "\n");
  267. print(" atime ", addr.atime, "\n");
  268. print(" mtime ", addr.mtime, "\n");
  269. print(" length ", addr.length, "\n");
  270. print(" name ", addr.name\X, "\n");
  271. print(" uid ", addr.uid\X, "\n");
  272. print(" gid ", addr.gid\X, "\n");
  273. print(" muid ", addr.muid\X, "\n");
  274. };
  275. sizeofWaitmsg = 20;
  276. aggr Waitmsg
  277. {
  278. 'D' 0 pid;
  279. 'a' 4 time;
  280. 'X' 16 msg;
  281. };
  282. defn
  283. Waitmsg(addr) {
  284. complex Waitmsg addr;
  285. print(" pid ", addr.pid, "\n");
  286. print(" time ", addr.time, "\n");
  287. print(" msg ", addr.msg\X, "\n");
  288. };
  289. sizeofIOchunk = 8;
  290. aggr IOchunk
  291. {
  292. 'X' 0 addr;
  293. 'U' 4 len;
  294. };
  295. defn
  296. IOchunk(addr) {
  297. complex IOchunk addr;
  298. print(" addr ", addr.addr\X, "\n");
  299. print(" len ", addr.len, "\n");
  300. };
  301. sizeofPool = 88;
  302. aggr Pool
  303. {
  304. 'X' 0 name;
  305. 'U' 4 maxsize;
  306. 'U' 8 cursize;
  307. 'U' 12 curfree;
  308. 'U' 16 curalloc;
  309. 'U' 20 minarena;
  310. 'U' 24 quantum;
  311. 'U' 28 minblock;
  312. 'X' 32 freeroot;
  313. 'X' 36 arenalist;
  314. 'X' 40 alloc;
  315. 'X' 44 merge;
  316. 'X' 48 move;
  317. 'D' 52 flags;
  318. 'D' 56 nfree;
  319. 'D' 60 lastcompact;
  320. 'X' 64 lock;
  321. 'X' 68 unlock;
  322. 'X' 72 print;
  323. 'X' 76 panic;
  324. 'X' 80 logstack;
  325. 'X' 84 private;
  326. };
  327. defn
  328. Pool(addr) {
  329. complex Pool addr;
  330. print(" name ", addr.name\X, "\n");
  331. print(" maxsize ", addr.maxsize, "\n");
  332. print(" cursize ", addr.cursize, "\n");
  333. print(" curfree ", addr.curfree, "\n");
  334. print(" curalloc ", addr.curalloc, "\n");
  335. print(" minarena ", addr.minarena, "\n");
  336. print(" quantum ", addr.quantum, "\n");
  337. print(" minblock ", addr.minblock, "\n");
  338. print(" freeroot ", addr.freeroot\X, "\n");
  339. print(" arenalist ", addr.arenalist\X, "\n");
  340. print(" alloc ", addr.alloc\X, "\n");
  341. print(" merge ", addr.merge\X, "\n");
  342. print(" move ", addr.move\X, "\n");
  343. print(" flags ", addr.flags, "\n");
  344. print(" nfree ", addr.nfree, "\n");
  345. print(" lastcompact ", addr.lastcompact, "\n");
  346. print(" lock ", addr.lock\X, "\n");
  347. print(" unlock ", addr.unlock\X, "\n");
  348. print(" print ", addr.print\X, "\n");
  349. print(" panic ", addr.panic\X, "\n");
  350. print(" logstack ", addr.logstack\X, "\n");
  351. print(" private ", addr.private\X, "\n");
  352. };
  353. complex Pool mainmem;
  354. complex Pool imagmem;
  355. POOL_ANTAGONISM = 1;
  356. POOL_PARANOIA = 2;
  357. POOL_VERBOSITY = 4;
  358. POOL_DEBUGGING = 8;
  359. POOL_LOGGING = 16;
  360. POOL_TOLERANCE = 32;
  361. POOL_NOREUSE = 64;
  362. sizeofBhdr = 8;
  363. aggr Bhdr
  364. {
  365. 'U' 0 magic;
  366. 'U' 4 size;
  367. };
  368. defn
  369. Bhdr(addr) {
  370. complex Bhdr addr;
  371. print(" magic ", addr.magic, "\n");
  372. print(" size ", addr.size, "\n");
  373. };
  374. NOT_MAGIC = 3735943697;
  375. DEAD_MAGIC = 3735936685;
  376. TAIL_MAGIC0 = 190;
  377. TAIL_MAGIC1 = 239;
  378. sizeofBtail = 8;
  379. aggr Btail
  380. {
  381. 'b' 0 magic0;
  382. 'a' 1 datasize;
  383. 'b' 3 magic1;
  384. 'U' 4 size;
  385. };
  386. defn
  387. Btail(addr) {
  388. complex Btail addr;
  389. print(" magic0 ", addr.magic0, "\n");
  390. print(" datasize ", addr.datasize, "\n");
  391. print(" magic1 ", addr.magic1, "\n");
  392. print(" size ", addr.size, "\n");
  393. };
  394. sizeofFree = 24;
  395. aggr Free
  396. {
  397. {
  398. 'U' 0 magic;
  399. 'U' 4 size;
  400. };
  401. 'A' Free 8 left;
  402. 'A' Free 12 right;
  403. 'A' Free 16 next;
  404. 'A' Free 20 prev;
  405. };
  406. defn
  407. Free(addr) {
  408. complex Free addr;
  409. print("Bhdr {\n");
  410. Bhdr(addr+0);
  411. print("}\n");
  412. print(" left ", addr.left\X, "\n");
  413. print(" right ", addr.right\X, "\n");
  414. print(" next ", addr.next\X, "\n");
  415. print(" prev ", addr.prev\X, "\n");
  416. };
  417. FREE_MAGIC = 3126770193;
  418. sizeofAlloc = 8;
  419. aggr Alloc
  420. {
  421. {
  422. 'U' 0 magic;
  423. 'U' 4 size;
  424. };
  425. };
  426. defn
  427. Alloc(addr) {
  428. complex Alloc addr;
  429. print("Bhdr {\n");
  430. Bhdr(addr+0);
  431. print("}\n");
  432. };
  433. ALLOC_MAGIC = 168889353;
  434. UNALLOC_MAGIC = 3400535327;
  435. sizeofArena = 24;
  436. aggr Arena
  437. {
  438. {
  439. 'U' 0 magic;
  440. 'U' 4 size;
  441. };
  442. 'A' Arena 8 aup;
  443. 'A' Arena 12 down;
  444. 'U' 16 asize;
  445. 'U' 20 pad;
  446. };
  447. defn
  448. Arena(addr) {
  449. complex Arena addr;
  450. print("Bhdr {\n");
  451. Bhdr(addr+0);
  452. print("}\n");
  453. print(" aup ", addr.aup\X, "\n");
  454. print(" down ", addr.down\X, "\n");
  455. print(" asize ", addr.asize, "\n");
  456. print(" pad ", addr.pad, "\n");
  457. };
  458. ARENA_MAGIC = 3231835599;
  459. ARENATAIL_MAGIC = 3965590029;
  460. ALIGN_MAGIC = 2716979649;
  461. MINBLOCKSIZE = 32;
  462. complex Free checklist:t;
  463. complex Free checklist:q;
  464. complex Free checktree:t;
  465. complex Free ltreewalk:t;
  466. complex Free treelookup:t;
  467. complex Free treeinsert:tree;
  468. complex Free treeinsert:node;
  469. complex Free treeinsert:loc;
  470. complex Free treeinsert:repl;
  471. complex Free treedelete:tree;
  472. complex Free treedelete:node;
  473. complex Free treedelete:loc;
  474. complex Free treedelete:lsucc;
  475. complex Free treedelete:succ;
  476. complex Free treelookupgt:t;
  477. complex Free treelookupgt:lastgood;
  478. complex Free listadd:list;
  479. complex Free listadd:node;
  480. complex Free listdelete:list;
  481. complex Free listdelete:node;
  482. complex Pool pooladd:p;
  483. complex Alloc pooladd:anode;
  484. complex Free pooladd:lst;
  485. complex Free pooladd:olst;
  486. complex Free pooladd:node;
  487. complex Free pooladd:parent;
  488. complex Pool pooldel:p;
  489. complex Free pooldel:node;
  490. complex Free pooldel:lst;
  491. complex Free pooldel:olst;
  492. complex Free pooldel:parent;
  493. complex Pool dsize2bsize:p;
  494. complex Pool bsize2asize:p;
  495. complex Pool blockmerge:pool;
  496. complex Bhdr blockmerge:a;
  497. complex Bhdr blockmerge:b;
  498. complex Btail blockmerge:t;
  499. complex Bhdr blocksetsize:b;
  500. complex Btail blocksetsize:t;
  501. complex Alloc getdsize:b;
  502. complex Btail getdsize:t;
  503. complex Pool blocksetdsize:p;
  504. complex Alloc blocksetdsize:b;
  505. complex Btail blocksetdsize:t;
  506. complex Pool trim:p;
  507. complex Alloc trim:b;
  508. complex Alloc trim:frag;
  509. complex Pool freefromfront:p;
  510. complex Alloc freefromfront:b;
  511. complex Alloc freefromfront:bb;
  512. complex Arena arenasetsize:a;
  513. complex Bhdr arenasetsize:atail;
  514. complex Pool poolnewarena:p;
  515. complex Arena poolnewarena:a;
  516. complex Arena poolnewarena:ap;
  517. complex Arena poolnewarena:lastap;
  518. complex Alloc poolnewarena:b;
  519. complex Pool blockgrow:p;
  520. complex Bhdr blockgrow:b;
  521. complex Alloc blockgrow:a;
  522. complex Bhdr blockgrow:bnxt;
  523. complex Alloc blockgrow:a;
  524. complex Pool arenamerge:p;
  525. complex Arena arenamerge:bot;
  526. complex Arena arenamerge:top;
  527. complex Bhdr arenamerge:bbot;
  528. complex Bhdr arenamerge:btop;
  529. complex Btail arenamerge:t;
  530. complex Pool dumpblock:p;
  531. complex Bhdr dumpblock:b;
  532. complex Pool printblock:p;
  533. complex Bhdr printblock:b;
  534. complex Pool panicblock:p;
  535. complex Bhdr panicblock:b;
  536. complex Pool blockcheck:p;
  537. complex Bhdr blockcheck:b;
  538. complex Alloc blockcheck:a;
  539. complex Btail blockcheck:t;
  540. FLOATING_MAGIC = 3419130827;
  541. complex Pool arenacompact:p;
  542. complex Arena arenacompact:a;
  543. complex Bhdr arenacompact:b;
  544. complex Bhdr arenacompact:wb;
  545. complex Bhdr arenacompact:eb;
  546. complex Bhdr arenacompact:nxt;
  547. complex Pool poolcompactl:pool;
  548. complex Arena poolcompactl:a;
  549. complex Pool B2D:p;
  550. complex Alloc B2D:a;
  551. complex Pool D2B:p;
  552. complex Alloc D2B:a;
  553. complex Pool poolallocl:p;
  554. complex Free poolallocl:fb;
  555. complex Alloc poolallocl:ab;
  556. complex Pool poolreallocl:p;
  557. complex Alloc poolreallocl:a;
  558. complex Bhdr poolreallocl:left;
  559. complex Bhdr poolreallocl:right;
  560. complex Bhdr poolreallocl:newb;
  561. complex Btail poolreallocl:t;
  562. complex Pool poolallocalignl:p;
  563. complex Alloc poolallocalignl:b;
  564. complex Pool poolfreel:p;
  565. complex Alloc poolfreel:ab;
  566. complex Bhdr poolfreel:back;
  567. complex Bhdr poolfreel:fwd;
  568. complex Pool poolalloc:p;
  569. complex Pool poolallocalign:p;
  570. complex Pool poolcompact:p;
  571. complex Pool poolrealloc:p;
  572. complex Pool poolfree:p;
  573. complex Pool poolmsize:p;
  574. complex Alloc poolmsize:b;
  575. complex Pool poolcheckarena:p;
  576. complex Arena poolcheckarena:a;
  577. complex Bhdr poolcheckarena:b;
  578. complex Bhdr poolcheckarena:atail;
  579. complex Pool poolcheckl:p;
  580. complex Arena poolcheckl:a;
  581. complex Pool poolcheck:p;
  582. complex Pool poolblockcheck:p;
  583. complex Pool pooldumpl:p;
  584. complex Arena pooldumpl:a;
  585. complex Pool pooldump:p;
  586. complex Pool pooldumparena:p;
  587. complex Arena pooldumparena:a;
  588. complex Bhdr pooldumparena:b;