edf.c 12 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627
  1. /* EDF scheduling */
  2. #include <u.h>
  3. #include "../port/lib.h"
  4. #include "mem.h"
  5. #include "dat.h"
  6. #include "fns.h"
  7. #include "../port/error.h"
  8. #include "../port/edf.h"
  9. #include <trace.h>
  10. /* debugging */
  11. int edfprint = 0;
  12. #define DPRINT if(edfprint)print
  13. static vlong now;
  14. extern ulong delayedscheds;
  15. extern Schedq runq[Nrq];
  16. extern int nrdy;
  17. extern ulong runvec;
  18. /* Statistics stuff */
  19. ulong nilcount;
  20. ulong scheds;
  21. vlong edfruntime;
  22. ulong edfnrun;
  23. int misseddeadlines;
  24. /* Edfschedlock protects modification of admission params */
  25. int edfinited;
  26. QLock edfschedlock;
  27. static Lock thelock;
  28. enum{
  29. Dl, /* Invariant for schedulability test: Dl < Rl */
  30. Rl,
  31. };
  32. static char *testschedulability(Proc*);
  33. static Proc *qschedulability;
  34. enum {
  35. Onemicrosecond = 1000ULL,
  36. Onemillisecond = 1000000ULL,
  37. Onesecond = 1000000000ULL,
  38. OneRound = Onemillisecond/2LL,
  39. MilliRound = Onemicrosecond/2LL,
  40. };
  41. static int
  42. timeconv(Fmt *f)
  43. {
  44. char buf[128], *sign;
  45. vlong t;
  46. buf[0] = 0;
  47. switch(f->r) {
  48. case 'U':
  49. t = va_arg(f->args, uvlong);
  50. break;
  51. case 't': // vlong in nanoseconds
  52. t = va_arg(f->args, vlong);
  53. break;
  54. default:
  55. return fmtstrcpy(f, "(timeconv)");
  56. }
  57. if (t < 0) {
  58. sign = "-";
  59. t = -t;
  60. }
  61. else
  62. sign = "";
  63. if (t > Onesecond){
  64. t += OneRound;
  65. sprint(buf, "%s%d.%.3ds", sign, (int)(t / Onesecond), (int)(t % Onesecond)/1000000);
  66. }else if (t > Onemillisecond){
  67. t += MilliRound;
  68. sprint(buf, "%s%d.%.3dms", sign, (int)(t / Onemillisecond), (int)(t % Onemillisecond)/1000);
  69. }else if (t > Onemicrosecond)
  70. sprint(buf, "%s%d.%.3dµs", sign, (int)(t / Onemicrosecond), (int)(t % Onemicrosecond));
  71. else
  72. sprint(buf, "%s%dns", sign, (int)t);
  73. return fmtstrcpy(f, buf);
  74. }
  75. Edf*
  76. edflock(Proc *p)
  77. {
  78. Edf *e;
  79. if (p->edf == nil)
  80. return nil;
  81. ilock(&thelock);
  82. if ((e = p->edf) && (e->flags & Admitted)){
  83. now = todget(nil);
  84. return e;
  85. }
  86. iunlock(&thelock);
  87. return nil;
  88. }
  89. void
  90. edfunlock(void)
  91. {
  92. edfruntime += todget(nil) - now;
  93. edfnrun++;
  94. iunlock(&thelock);
  95. }
  96. void
  97. edfinit(Proc*p)
  98. {
  99. if(!edfinited){
  100. fmtinstall('t', timeconv);
  101. edfinited++;
  102. }
  103. now = todget(nil);
  104. DPRINT("%t edfinit %lud[%s]\n", now, p->pid, statename[p->state]);
  105. p->edf = malloc(sizeof(Edf));
  106. if(p->edf == nil)
  107. error(Enomem);
  108. return;
  109. }
  110. static void
  111. deadlineintr(Ureg*, Timer *t)
  112. {
  113. /* Proc reached deadline */
  114. extern int panicking;
  115. Proc *p;
  116. void (*pt)(Proc*, int, vlong);
  117. if(panicking || active.exiting)
  118. return;
  119. p = t->ta;
  120. DPRINT("%t deadlineintr %lud[%s]\n", todget(nil), p->pid, statename[p->state]);
  121. /* If we're interrupting something other than the proc pointed to by t->a,
  122. * we've already achieved recheduling, so we need not do anything
  123. * Otherwise, we must cause a reschedule, but if we call sched()
  124. * here directly, the timer interrupt routine will not finish its business
  125. * Instead, we cause the resched to happen when the interrupted proc
  126. * returns to user space
  127. */
  128. if (p == up){
  129. pt = proctrace;
  130. if(up->trace && pt)
  131. pt(up, SInts, 0);
  132. up->delaysched++;
  133. delayedscheds++;
  134. }
  135. }
  136. static void
  137. release(Proc *p)
  138. {
  139. /* Called with edflock held */
  140. Edf *e;
  141. void (*pt)(Proc*, int, vlong);
  142. e = p->edf;
  143. e->flags &= ~Yield;
  144. if (e->d < now){
  145. e->periods++;
  146. e->r = now;
  147. if ((e->flags & Sporadic) == 0){
  148. /* Non sporadic processes stay true to their period;
  149. * calculate next release time
  150. */
  151. while(e->t <= now)
  152. e->t += e->T;
  153. }else{
  154. /* Sporadic processes may not be released earlier than
  155. * one period after this release
  156. */
  157. e->t = e->r + e->T;
  158. }
  159. e->d = e->r + e->D;
  160. e->S = e->C;
  161. DPRINT("%t release %lud[%s], r=%t, d=%t, t=%t, S=%t\n",
  162. now, p->pid, statename[p->state], e->r, e->d, e->t, e->S);
  163. if (pt = proctrace){
  164. pt(p, SRelease, e->r);
  165. pt(p, SDeadline, e->d);
  166. }
  167. }else{
  168. DPRINT("%t release %lud[%s], too late t=%t, called from 0x%lux\n",
  169. now, p->pid, statename[p->state], e->t, getcallerpc(&p));
  170. }
  171. }
  172. static void
  173. releaseintr(Ureg*, Timer *t)
  174. {
  175. Proc *p;
  176. extern int panicking;
  177. Schedq *rq;
  178. if(panicking || active.exiting)
  179. return;
  180. p = t->ta;
  181. if((edflock(p)) == nil)
  182. return;
  183. DPRINT("%t releaseintr %lud[%s]\n", now, p->pid, statename[p->state]);
  184. switch(p->state){
  185. default:
  186. edfunlock();
  187. return;
  188. case Ready:
  189. /* remove proc from current runq */
  190. rq = &runq[p->priority];
  191. if (dequeueproc(rq, p) != p){
  192. DPRINT("releaseintr: can't find proc or lock race\n");
  193. release(p); /* It'll start best effort */
  194. edfunlock();
  195. return;
  196. }
  197. p->state = Waitrelease;
  198. /* fall through */
  199. case Waitrelease:
  200. release(p);
  201. edfunlock();
  202. ready(p);
  203. if (up){
  204. up->delaysched++;
  205. delayedscheds++;
  206. }
  207. return;
  208. case Running:
  209. release(p);
  210. edfrun(p, 1);
  211. break;
  212. case Wakeme:
  213. release(p);
  214. edfunlock();
  215. if (p->trend)
  216. wakeup(p->trend);
  217. p->trend = nil;
  218. if (up){
  219. up->delaysched++;
  220. delayedscheds++;
  221. }
  222. return;
  223. }
  224. edfunlock();
  225. }
  226. void
  227. edfrecord(Proc *p)
  228. {
  229. vlong used;
  230. Edf *e;
  231. void (*pt)(Proc*, int, vlong);
  232. if((e = edflock(p)) == nil)
  233. return;
  234. used = now - e->s;
  235. if (e->d <= now)
  236. e->edfused += used;
  237. else
  238. e->extraused += used;
  239. if (e->S > 0){
  240. if (e->S <= used){
  241. if(pt = proctrace)
  242. pt(p, SSlice, now);
  243. DPRINT("%t edfrecord slice used up\n", now);
  244. e->d = now;
  245. e->S = 0;
  246. }else
  247. e->S -= used;
  248. }
  249. e->s = now;
  250. edfunlock();
  251. }
  252. void
  253. edfrun(Proc *p, int edfpri)
  254. {
  255. Edf *e;
  256. void (*pt)(Proc*, int, vlong);
  257. e = p->edf;
  258. /* Called with edflock held */
  259. if(edfpri){
  260. if (e->d <= now || e->S == 0){
  261. /* Deadline reached or resources exhausted,
  262. * deschedule forthwith
  263. */
  264. p->delaysched++;
  265. delayedscheds++;
  266. e->s = now;
  267. return;
  268. }
  269. e->tns = now + e->S;
  270. if (e->d < e->tns)
  271. e->tns = e->d;
  272. if(e->tt == nil || e->tf != deadlineintr){
  273. DPRINT("%t edfrun, deadline=%t\n", now, e->tns);
  274. }else{
  275. DPRINT("v");
  276. }
  277. if(p->trace && (pt = proctrace))
  278. pt(p, SInte, e->tns);
  279. e->tmode = Tabsolute;
  280. e->tf = deadlineintr;
  281. e->ta = p;
  282. timeradd(e);
  283. }else{
  284. DPRINT("<");
  285. }
  286. e->s = now;
  287. }
  288. char *
  289. edfadmit(Proc *p)
  290. {
  291. char *err;
  292. Edf *e;
  293. int i;
  294. Proc *r;
  295. void (*pt)(Proc*, int, vlong);
  296. e = p->edf;
  297. if (e->flags & Admitted)
  298. return "task state"; /* should never happen */
  299. /* simple sanity checks */
  300. if (e->T == 0)
  301. return "T not set";
  302. if (e->C == 0)
  303. return "C not set";
  304. if (e->D > e->T)
  305. return "D > T";
  306. if (e->D == 0) /* if D is not set, set it to T */
  307. e->D = e->T;
  308. if (e->C > e->D)
  309. return "C > D";
  310. qlock(&edfschedlock);
  311. if (err = testschedulability(p)){
  312. qunlock(&edfschedlock);
  313. return err;
  314. }
  315. e->flags |= Admitted;
  316. edflock(p);
  317. if(pt = proctrace)
  318. pt(p, SAdmit, now);
  319. /* Look for another proc with the same period to synchronize to */
  320. SET(r);
  321. for(i=0; i<conf.nproc; i++) {
  322. r = proctab(i);
  323. if(r->state == Dead || r == p)
  324. continue;
  325. if (r->edf == nil || (r->edf->flags & Admitted) == 0)
  326. continue;
  327. if (r->edf->T == e->T)
  328. break;
  329. }
  330. if (i == conf.nproc){
  331. /* Can't synchronize to another proc, release now */
  332. e->t = now;
  333. e->d = 0;
  334. release(p);
  335. if (p == up){
  336. DPRINT("%t edfadmit self %lud[%s], release now: r=%t d=%t t=%t\n",
  337. now, p->pid, statename[p->state], e->r, e->d, e->t);
  338. /* We're already running */
  339. edfrun(p, 1);
  340. }else{
  341. /* We're releasing another proc */
  342. DPRINT("%t edfadmit other %lud[%s], release now: r=%t d=%t t=%t\n",
  343. now, p->pid, statename[p->state], e->r, e->d, e->t);
  344. p->ta = p;
  345. edfunlock();
  346. qunlock(&edfschedlock);
  347. releaseintr(nil, p);
  348. return nil;
  349. }
  350. }else{
  351. /* Release in synch to something else */
  352. e->t = r->edf->t;
  353. if (p == up){
  354. DPRINT("%t edfadmit self %lud[%s], release at %t\n",
  355. now, p->pid, statename[p->state], e->t);
  356. edfunlock();
  357. qunlock(&edfschedlock);
  358. return nil;
  359. }else{
  360. DPRINT("%t edfadmit other %lud[%s], release at %t\n",
  361. now, p->pid, statename[p->state], e->t);
  362. if(e->tt == nil){
  363. e->tf = releaseintr;
  364. e->ta = p;
  365. e->tns = e->t;
  366. e->tmode = Tabsolute;
  367. timeradd(e);
  368. }
  369. }
  370. }
  371. edfunlock();
  372. qunlock(&edfschedlock);
  373. return nil;
  374. }
  375. void
  376. edfstop(Proc *p)
  377. {
  378. Edf *e;
  379. void (*pt)(Proc*, int, vlong);
  380. if (e = edflock(p)){
  381. DPRINT("%t edfstop %lud[%s]\n", now, p->pid, statename[p->state]);
  382. if(pt = proctrace)
  383. pt(p, SExpel, now);
  384. e->flags &= ~Admitted;
  385. if (e->tt)
  386. timerdel(e);
  387. edfunlock();
  388. }
  389. }
  390. static int
  391. yfn(void *)
  392. {
  393. return up->trend == nil || todget(nil) >= up->edf->r;
  394. }
  395. void
  396. edfyield(void)
  397. {
  398. /* sleep until next release */
  399. Edf *e;
  400. void (*pt)(Proc*, int, vlong);
  401. if((e = edflock(up)) == nil)
  402. return;
  403. if(pt = proctrace)
  404. pt(up, SYield, now);
  405. while(e->t < now)
  406. e->t += e->T;
  407. e->r = e->t;
  408. e->flags |= Yield;
  409. e->d = now;
  410. if (up->tt == nil){
  411. up->tns = e->t;
  412. up->tf = releaseintr;
  413. up->tmode = Tabsolute;
  414. up->ta = up;
  415. up->trend = &up->sleep;
  416. timeradd(up);
  417. }else if(up->tf != releaseintr)
  418. print("edfyield: surprise! 0x%lux\n", up->tf);
  419. edfunlock();
  420. sleep(&up->sleep, yfn, nil);
  421. }
  422. int
  423. edfready(Proc *p)
  424. {
  425. Edf *e;
  426. Schedq *rq;
  427. Proc *l, *pp;
  428. void (*pt)(Proc*, int, vlong);
  429. if((e = edflock(p)) == nil)
  430. return 0;
  431. if (e->d <= now){
  432. /* past deadline, arrange for next release */
  433. if ((e->flags & Sporadic) == 0){
  434. /* Non sporadic processes stay true to their period, calculate next release time */
  435. while(e->t < now)
  436. e->t += e->T;
  437. }
  438. if (now < e->t){
  439. /* Next release is in the future, schedule it */
  440. if (e->tt == nil || e->tf != releaseintr){
  441. e->tns = e->t;
  442. e->tmode = Tabsolute;
  443. e->tf = releaseintr;
  444. e->ta = p;
  445. timeradd(e);
  446. DPRINT("%t edfready %lud[%s], release=%t\n",
  447. now, p->pid, statename[p->state], e->t);
  448. }
  449. if(p->state == Running && (e->flags & (Yield|Yieldonblock)) == 0 && (e->flags & Extratime)){
  450. /* If we were running, we've overrun our CPU allocation
  451. * or missed the deadline, continue running best-effort at low priority
  452. * Otherwise we were blocked. If we don't yield on block, we continue
  453. * best effort
  454. */
  455. DPRINT(">");
  456. p->basepri = PriExtra;
  457. p->fixedpri = 1;
  458. edfunlock();
  459. return 0; /* Stick on runq[PriExtra] */
  460. }
  461. DPRINT("%t edfready %lud[%s] wait release at %t\n",
  462. now, p->pid, statename[p->state], e->t);
  463. p->state = Waitrelease;
  464. edfunlock();
  465. return 1; /* Make runnable later */
  466. }
  467. DPRINT("%t edfready %lud %s release now\n", now, p->pid, statename[p->state]);
  468. /* release now */
  469. release(p);
  470. }
  471. edfunlock();
  472. DPRINT("^");
  473. rq = &runq[PriEdf];
  474. /* insert in queue in earliest deadline order */
  475. lock(runq);
  476. l = nil;
  477. for(pp = rq->head; pp; pp = pp->rnext){
  478. if(pp->edf->d > e->d)
  479. break;
  480. l = pp;
  481. }
  482. p->rnext = pp;
  483. if (l == nil)
  484. rq->head = p;
  485. else
  486. l->rnext = p;
  487. if(pp == nil)
  488. rq->tail = p;
  489. rq->n++;
  490. nrdy++;
  491. runvec |= 1 << PriEdf;
  492. p->priority = PriEdf;
  493. p->readytime = m->ticks;
  494. p->state = Ready;
  495. unlock(runq);
  496. if(pt = proctrace)
  497. pt(p, SReady, now);
  498. return 1;
  499. }
  500. static void
  501. testenq(Proc *p)
  502. {
  503. Proc *xp, **xpp;
  504. Edf *e;
  505. e = p->edf;
  506. e->testnext = nil;
  507. if (qschedulability == nil) {
  508. qschedulability = p;
  509. return;
  510. }
  511. SET(xp);
  512. for (xpp = &qschedulability; *xpp; xpp = &xp->edf->testnext) {
  513. xp = *xpp;
  514. if (e->testtime < xp->edf->testtime
  515. || (e->testtime == xp->edf->testtime && e->testtype < xp->edf->testtype)){
  516. e->testnext = xp;
  517. *xpp = p;
  518. return;
  519. }
  520. }
  521. assert(xp->edf->testnext == nil);
  522. xp->edf->testnext = p;
  523. }
  524. static char *
  525. testschedulability(Proc *theproc)
  526. {
  527. Proc *p;
  528. vlong H, G, Cb, ticks;
  529. int steps, i;
  530. /* initialize */
  531. DPRINT("schedulability test %lud\n", theproc->pid);
  532. qschedulability = nil;
  533. for(i=0; i<conf.nproc; i++) {
  534. p = proctab(i);
  535. if(p->state == Dead)
  536. continue;
  537. if ((p->edf == nil || (p->edf->flags & Admitted) == 0) && p != theproc)
  538. continue;
  539. p->edf->testtype = Rl;
  540. p->edf->testtime = 0;
  541. DPRINT("\tInit: edfenqueue %lud\n", p->pid);
  542. testenq(p);
  543. }
  544. H=0;
  545. G=0;
  546. for(steps = 0; steps < Maxsteps; steps++){
  547. p = qschedulability;
  548. qschedulability = p->edf->testnext;
  549. ticks = p->edf->testtime;
  550. switch (p->edf->testtype){
  551. case Dl:
  552. H += p->edf->C;
  553. Cb = 0;
  554. DPRINT("\tStep %3d, Ticks %t, pid %lud, deadline, H += %t → %t, Cb = %t\n",
  555. steps, ticks, p->pid, p->edf->C, H, Cb);
  556. if (H+Cb>ticks){
  557. DPRINT("not schedulable\n");
  558. return "not schedulable";
  559. }
  560. p->edf->testtime += p->edf->T - p->edf->D;
  561. p->edf->testtype = Rl;
  562. testenq(p);
  563. break;
  564. case Rl:
  565. DPRINT("\tStep %3d, Ticks %t, pid %lud, release, G %t, C%t\n",
  566. steps, ticks, p->pid, p->edf->C, G);
  567. if(ticks && G <= ticks){
  568. DPRINT("schedulable\n");
  569. return nil;
  570. }
  571. G += p->edf->C;
  572. p->edf->testtime += p->edf->D;
  573. p->edf->testtype = Dl;
  574. testenq(p);
  575. break;
  576. default:
  577. assert(0);
  578. }
  579. }
  580. DPRINT("probably not schedulable\n");
  581. return "probably not schedulable";
  582. }