edf.c 12 KB

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