/barrelfish-master/lib/bitmap/ |
H A D | bitmap.c | 38 uint32_t weight; ///< caches the number of set bits member in struct:bitmap 183 * \brief gets the weight of the bit map i.e. number of set bits 191 return bm->weight; 255 return (bm->weight == bm->nbits); 268 return (bm->weight == 0); 281 if (bm->weight) { 298 if (bm->weight) { 366 if (bm->weight) { 376 bm->weight++; 394 bm->weight [all...] |
/barrelfish-master/kernel/ |
H A D | schedule_rbed.c | 52 * ->weight. 246 assert(dcb->weight < UINT_MAX / SPECTRUM); 247 u_actual = (MAX(BETA, SPECTRUM - kcb_current->u_hrt - kcb_current->u_srt) * dcb->weight) / kcb_current->w_be; 263 // No runnable best-effort tasks have a positive weight 271 i->weight = 1; 403 w_be -= todisp->weight; 404 todisp->weight = 0; 450 if(dcb->weight == 0) { 451 dcb->weight = 1; 456 dcb->weight [all...] |
H A D | syscall.c | 191 unsigned long release, unsigned short weight) 201 assert(type != TASK_TYPE_BEST_EFFORT || weight > 0); 213 dcb->weight = weight; 188 sys_dispatcher_properties(struct capability *to, enum task_type type, unsigned long deadline, unsigned long wcet, unsigned long period, unsigned long release, unsigned short weight) argument
|
/barrelfish-master/usr/eclipseclp/lib_tcl/widget/ |
H A D | TOUR.tcl | 54 grid rowconfigure . 0 -weight 1 55 grid columnconfig . 0 -weight 1 224 grid rowconfig $f 0 -weight 1 225 grid columnconfig $f 0 -weight 1 226 grid columnconfig $f 1 -weight 1
|
H A D | calculator.tcl | 61 grid columnconfig $w 0 -weight 1 62 grid rowconfigure $w 1 -weight 1 103 grid columnconfig $b 0 -weight 1 104 grid columnconfig $b 1 -weight 1 105 grid columnconfig $b 2 -weight 1 106 grid columnconfig $b 3 -weight 1
|
H A D | ventry.tcl | 94 grid columnconfig $w 1 -weight 1 95 grid rowconfig $w 0 -weight 1
|
H A D | combobox.tcl | 193 grid columnconfig $w 1 -weight 1 197 grid columnconfig $data(toplevel) 0 -weight 1 198 grid rowconfigure $data(toplevel) 0 -weight 1
|
H A D | tabnotebook.tcl | 177 grid columnconfig $w 0 -weight 1 178 grid rowconfigure $w 1 -weight 1 179 grid columnconfig $data(hold) 0 -weight 1 180 grid rowconfigure $data(hold) 0 -weight 1
|
H A D | megalist.tcl | 113 grid columnconfig $w 0 -weight 1 114 grid rowconfig $w 0 -weight 1
|
H A D | progressbar.tcl | 179 grid columnconfig $w 1 -weight 1 180 grid rowconfig $w 0 -weight 1
|
H A D | widget.tcl | 901 grid columnconfig $w 0 -weight 1 902 grid rowconfig $w 0 -weight 1
|
H A D | console.tcl | 234 grid columnconfig $w 0 -weight 1 235 grid rowconfig $w 0 -weight 1 313 grid columnconfig $w 0 -weight 1 314 grid rowconfig $w 1 -weight 1
|
/barrelfish-master/tools/schedsim/ |
H A D | simulator.c | 63 unsigned short weight; member in struct:dcb 126 dcb->weight = 0; 174 unsigned long time, wcet, period, weight, id, blocktime, deadline, rd; local 221 } else if(sscanf(b, "%lu B %lu", &time, &weight) == 2) { 227 dcb->weight = weight;
|
/barrelfish-master/kernel/include/ |
H A D | dispatch.h | 60 unsigned short weight; member in struct:dcb
|
H A D | syscall.h | 34 unsigned long release, unsigned short weight);
|
/barrelfish-master/usr/monitor/ |
H A D | resource_ctrl.c | 26 unsigned short weight; member in struct:rsrc_phase 245 unsigned int weight; local 285 if(sscanf(p, "B %u\n", &weight) != 1) { 288 printf("phase %d: best effort with weight %d\n", phase, weight); 290 rp->weight = weight; 324 p->period, p->release + timestamp, p->weight);
|
/barrelfish-master/usr/eclipseclp/documents/libman/ |
H A D | extconjunto.tex | 83 set variable and {\em w} is the weight or cost associated to this 228 {\bf sum\verb/_/weight(?S,?W)} 229 \index{sum\verb/_/weight/2} 232 {\em W} is the weight of {\em S}. If {\em W} is a free variable, this 233 predicate is a mean to access the set weight and attach it to W. If 234 not, the weight of S is constrained to be W. e.g. 300 \subsection{Subset-sum computation with convergent weight} 304 is a subset $s'$ of {\em S} whose weight is {\em t}. This also corresponds to 306 its weight is {\em t}. 333 % The set weight ha [all...] |
H A D | fdsets.tex | 196 \item[\biptxtref{weight(?Set, ++ElementWeights, ?Weight)}{weight/3}{../bips/lib/fd_sets/weight-3.html}] 197 According to the array of element weights, the weight of set Set1 is Weight
|
/barrelfish-master/usr/eclipseclp/documents/tutorial/ |
H A D | setsolver.tex | 331 \label{weight-constraint} 332 \index{weight constraint} 337 Another constraint between sets and integers is the weight/3 constraint. 341 constrains the weight of the whole set: 345 weight(Container, Weights, W). 357 weight(Container, Weights, W), 368 (in terms of greatest weight) straight away: 373 weight(Container, Weights, W), 383 \item[\biptxtref{weight(?Set, ++ElementWeights, ?Weight)}{weight/ [all...] |
/barrelfish-master/usr/eclipseclp/ecrc_solvers/ |
H A D | conjunto.pl | 197 free variable unifying with the weight Weight of Var. 201 desc:html(" Unifyes the weight of the term Var which should be of the form 209 fail_if:" Fails if Var is not of the form e(Val,Weight) or if Wvar is not\n unifyable with the weight.\n\n", 337 summary:"Svar is a weighted set domain variable whose maximal possible weight 344 upper bound and the lower bound and which has the greatest weight. If 346 weight. 614 weight of Svar. 618 desc:html(" Svar is a weighted set domain variable or ground set. Var is the weight 620 a set weight and attach it to Var. If not, the weight o [all...] |
H A D | set.pl | 87 weight % sum of the set elements according to a given argument 179 setarg(weight of set, Attr, Value). 226 AttrSY= set with [card:CardY,setdom:[MinY,MaxY], weight: WeiY], 227 AttrSX= set with [card:CardX,setdom:[MinX,MaxX], weight: WeiX], 454 SAttr= set with [setdom:[_Glb,Lub], card: Card1,weight: W], 504 /*-----------------------------------------------------------weight operator --*/ 527 % get all elements with the given weight 565 SAttr= set with [setdom: [Glb, Lub], card: C, weight : W], 620 %changes: two additional conditions added to test for elements with weight 0 in the last clause
|
H A D | s_lists.pl | 174 /* computes the weight of a ground set by summing up its elements
|
/barrelfish-master/include/barrelfish/ |
H A D | invocations.h | 433 unsigned long release, unsigned short weight) 436 wcet, period, release, weight).error; 430 invoke_dispatcher_properties(struct capref dispatcher, enum task_type type, unsigned long deadline, unsigned long wcet, unsigned long period, unsigned long release, unsigned short weight) argument
|
/barrelfish-master/include/arch/x86_32/barrelfish/ |
H A D | invocations_arch.h | 613 unsigned long release, unsigned short weight) 619 invoke_cptr, (type << 16) | weight, deadline, wcet, period, release).error; 610 invoke_dispatcher_properties(struct capref dispatcher, enum task_type type, unsigned long deadline, unsigned long wcet, unsigned long period, unsigned long release, unsigned short weight) argument
|
/barrelfish-master/lib/libc/nameser/ |
H A D | ns_print.c | 389 u_int priority, weight, port; local 397 weight = ns_get16(rdata); rdata += NS_INT16SZ; 399 len = SPRINTF((t, "%u %u %u ", priority, weight, port));
|