00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025
00026
00027
00028
00029
00030
00031
00032
00033
00034
00035
00036
00037
00038
00039
00040
00041
00042
00043
00044
00045
00046
00047
00048
00049
00050 #ifndef lint
00051 static const char rcsid[] =
00052 "@(#) $Header: /nfs/jade/vint/CVSROOT/ns-2/common/splay-scheduler.cc,v 1.6 2005/08/25 18:58:02 johnh Exp $";
00053 #endif
00054
00082 #include <scheduler.h>
00083 #include <assert.h>
00084
00085
00086 static class SplaySchedulerClass : public TclClass
00087 {
00088 public:
00089 SplaySchedulerClass() : TclClass("Scheduler/Splay") {}
00090 TclObject* create(int , const char*const* ) {
00091 return (new SplayScheduler);
00092 }
00093 } class_splay_sched;
00094
00095 #undef LEFT
00096 #undef RIGHT
00097 #define LEFT(e) ((e)->prev_)
00098 #define RIGHT(e) ((e)->next_)
00099
00100 #define ROTATE_RIGHT(t, x) \
00101 do { \
00102 LEFT(t) = RIGHT(x); \
00103 RIGHT(x) = (t); \
00104 (t) = (x); \
00105 } while(0)
00106
00107 #define ROTATE_LEFT(t, x) \
00108 do { \
00109 RIGHT(t) = LEFT(x); \
00110 LEFT(x) = (t); \
00111 (t) = (x); \
00112 } while(0)
00113 #define LINK_LEFT(l, t) \
00114 do { \
00115 RIGHT(l) = (t); \
00116 (l) = (t); \
00117 (t) = RIGHT(t); \
00118 } while (0)
00119 #define LINK_RIGHT(r, t) \
00120 do { \
00121 LEFT(r) = (t); \
00122 (r) = (t); \
00123 (t) = LEFT(t); \
00124 } while (0)
00125
00126 void
00127 SplayScheduler::insert(Event *n)
00128 {
00129 Event *l;
00130 Event *r;
00131 Event *t;
00132 Event *x;
00133
00134 ++qsize_;
00135
00136 double time = n->time_;
00137
00138 if (root_ == 0) {
00139 LEFT(n) = RIGHT(n) = 0;
00140 root_ = n;
00141
00142 return;
00143 }
00144 t = root_;
00145 root_ = n;
00146 l = n;
00147 r = n;
00148 for (;;) {
00149 if (time < t->time_) {
00150 x = LEFT(t);
00151 if (x == 0) {
00152 LEFT(r) = t;
00153 RIGHT(l) = 0;
00154 break;
00155 }
00156 if (time < x->time_) {
00157 ROTATE_RIGHT(t, x);
00158 }
00159 LINK_RIGHT(r, t);
00160 if (t == 0) {
00161 RIGHT(l) = 0;
00162 break;
00163 }
00164 } else {
00165 x = RIGHT(t);
00166 if (x == 0) {
00167 RIGHT(l) = t;
00168 LEFT(r) = 0;
00169 break;
00170 }
00171 if (time >= x->time_) {
00172 ROTATE_LEFT(t, x);
00173 }
00174 LINK_LEFT(l, t);
00175 if (t == 0) {
00176 LEFT(r) = 0;
00177 break;
00178 }
00179
00180 }
00181 }
00182
00183
00184
00185 x = LEFT(n);
00186 LEFT(n) = RIGHT(n);
00187 RIGHT(n) = x;
00188
00189 }
00190
00191 const Event *
00192 SplayScheduler::head()
00193 {
00194 Event *t;
00195 Event *l;
00196 #if 1
00197 if (root_ == 0)
00198 return 0;
00199 for (t = root_; (l = LEFT(t)); t = l)
00200 ;
00201
00202 return t;
00203 #else
00204 Event *ll;
00205 Event *lll;
00206
00207 if (root_ == 0)
00208 return 0;
00209
00210 t = root_;
00211 l = LEFT(t);
00212
00213 if (l == 0) {
00214 return t;
00215 }
00216 for (;;) {
00217 ll = LEFT(l);
00218 if (ll == 0) {
00219 return l;
00220 }
00221
00222 lll = LEFT(ll);
00223 if (lll == 0) {
00224 return ll;
00225 }
00226
00227
00228 LEFT(t) = ll;
00229 LEFT(l) = RIGHT(ll);
00230 RIGHT(ll) = l;
00231
00232 t = ll;
00233 l = lll;
00234 }
00235 #endif
00236 }
00237
00238 Event *
00239 SplayScheduler::deque()
00240 {
00241 Event *t;
00242 Event *l;
00243 Event *ll;
00244 Event *lll;
00245
00246 if (root_ == 0)
00247 return 0;
00248
00249 --qsize_;
00250
00251 t = root_;
00252 l = LEFT(t);
00253
00254 if (l == 0) {
00255 root_ = RIGHT(t);
00256
00257 return t;
00258 }
00259 for (;;) {
00260 ll = LEFT(l);
00261 if (ll == 0) {
00262 LEFT(t) = RIGHT(l);
00263
00264 return l;
00265 }
00266
00267 lll = LEFT(ll);
00268 if (lll == 0) {
00269 LEFT(l) = RIGHT(ll);
00270
00271 return ll;
00272 }
00273
00274
00275 LEFT(t) = ll;
00276 LEFT(l) = RIGHT(ll);
00277 RIGHT(ll) = l;
00278
00279 t = ll;
00280 l = lll;
00281 }
00282 }
00283
00284 void
00285 SplayScheduler::cancel(Event *e)
00286 {
00287
00288 if (e->uid_ <= 0)
00289 return;
00290
00291 Event **t;
00292
00293 if (e == root_) {
00294 t = &root_;
00295 } else {
00296
00297
00298
00299 for (t = &root_; *t;) {
00300 t = ((e->time_ > (*t)->time_) ||
00301 ((e->time_ == (*t)->time_) && e->uid_ > (*t)->uid_))
00302 ? &RIGHT(*t) : &LEFT(*t);
00303 if (*t == e)
00304 break;
00305 }
00306 if (*t == 0) {
00307 fprintf(stderr, "did not find it\n");
00308 abort();
00309 }
00310 }
00311
00312 e->uid_ = -e->uid_;
00313 --qsize_;
00314
00315 if (RIGHT(e) == 0) {
00316 *t = LEFT(e);
00317 LEFT(e) = 0;
00318
00319 return;
00320 }
00321 if (LEFT(e) == 0) {
00322 *t = RIGHT(e);
00323 RIGHT(e) = 0;
00324
00325 return;
00326 }
00327
00328
00329 Event *p = RIGHT(e), *q = LEFT(p);
00330
00331 if (q == 0) {
00332
00333 *t = p;
00334 LEFT(p) = LEFT(e);
00335
00336 return;
00337 }
00338 for (; LEFT(q); p = q, q = LEFT(q))
00339 ;
00340
00341
00342 *t = q;
00343 LEFT(p) = RIGHT(q);
00344 LEFT(q) = LEFT(e);
00345 RIGHT(q) = RIGHT(e);
00346 RIGHT(e) = LEFT(e) = 0;
00347
00348 }
00349
00350
00351 Event *
00352 SplayScheduler::lookup(scheduler_uid_t uid)
00353 {
00354 lookup_uid_ = uid;
00355 return uid_lookup(root_);
00356 }
00357
00358 Event *
00359 SplayScheduler::uid_lookup(Event *root)
00360 {
00361 if (root == 0)
00362 return 0;
00363 if (root->uid_ == lookup_uid_)
00364 return root;
00365
00366 Event *res = uid_lookup(LEFT(root));
00367
00368 if (res)
00369 return res;
00370
00371 return uid_lookup(RIGHT(root));
00372 }
00373
00374 int
00375 SplayScheduler::validate(Event *root)
00376 {
00377 int size = 0;
00378 if (root) {
00379 ++size;
00380 assert(LEFT(root) == 0 || root->time_ >= LEFT(root)->time_);
00381 assert(RIGHT(root) == 0 || root->time_ <= RIGHT(root)->time_);
00382 size += validate(LEFT(root));
00383 size += validate(RIGHT(root));
00384 return size;
00385 }
00386 return 0;
00387 }