Searched refs:weight (Results 1 - 25 of 39) sorted by relevance

12

/barrelfish-master/lib/bitmap/
H A Dbitmap.c38 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 Dschedule_rbed.c52 * ->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 Dsyscall.c191 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 DTOUR.tcl54 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 Dcalculator.tcl61 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 Dventry.tcl94 grid columnconfig $w 1 -weight 1
95 grid rowconfig $w 0 -weight 1
H A Dcombobox.tcl193 grid columnconfig $w 1 -weight 1
197 grid columnconfig $data(toplevel) 0 -weight 1
198 grid rowconfigure $data(toplevel) 0 -weight 1
H A Dtabnotebook.tcl177 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 Dmegalist.tcl113 grid columnconfig $w 0 -weight 1
114 grid rowconfig $w 0 -weight 1
H A Dprogressbar.tcl179 grid columnconfig $w 1 -weight 1
180 grid rowconfig $w 0 -weight 1
H A Dwidget.tcl901 grid columnconfig $w 0 -weight 1
902 grid rowconfig $w 0 -weight 1
H A Dconsole.tcl234 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 Dsimulator.c63 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 Ddispatch.h60 unsigned short weight; member in struct:dcb
H A Dsyscall.h34 unsigned long release, unsigned short weight);
/barrelfish-master/usr/monitor/
H A Dresource_ctrl.c26 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 Dextconjunto.tex83 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 Dfdsets.tex196 \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 Dsetsolver.tex331 \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 Dconjunto.pl197 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 Dset.pl87 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 Ds_lists.pl174 /* computes the weight of a ground set by summing up its elements
/barrelfish-master/include/barrelfish/
H A Dinvocations.h433 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 Dinvocations_arch.h613 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 Dns_print.c389 u_int priority, weight, port; local
397 weight = ns_get16(rdata); rdata += NS_INT16SZ;
399 len = SPRINTF((t, "%u %u %u ", priority, weight, port));

Completed in 169 milliseconds

12