/barrelfish-master/usr/monitor/ |
H A D | intermon_bindings.c | 3 * \brief Management of inter-monitor bindings 17 // Array of monitor bindings indexed by core ID 18 static struct intermon_state *bindings[MAX_COREID + 1]; variable in typeref:struct:intermon_state 27 if (bindings[st->core_id] != NULL) { 31 bindings[st->core_id] = st; 46 if (bindings[coreid] == NULL) { 51 *ret = bindings[coreid]->binding;
|
/barrelfish-master/usr/bench/xcorecap/ |
H A D | xcorecapbench.c | 33 static struct xcorecapbench_binding *bindings[MAX_CPUS]; variable in typeref:struct:xcorecapbench_binding 103 err = bindings[to_core]->tx_vtbl.send_cap( 104 bindings[to_core], NOP_CONT, my_caps[i]); 252 bindings[core] = b; 256 if (i != my_coreid && bindings[i] == NULL) { 293 err = bindings[i]->tx_vtbl.start_sending(bindings[i], NOP_CONT); 313 err = bindings[i]->tx_vtbl.start_retyping(bindings[i], NOP_CONT); 344 err = bindings[ [all...] |
/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | setof.pl | 96 % and that you want bindings for those variables. (You can tell it 121 % free variable bindings, and thus are cheaper to partition into variants. 132 % The general form, where free variable bindings can be attributed vars.
|
H A D | linearize.pl | 49 % bindings, unifications. 304 %% argument). The caveat is that these bindings CANNOT be 312 %% var=expr bindings which refer to variables in the 316 %% Only substitue bindings that are NOT present in the 538 % denormal by instantiation and bindings
|
H A D | toplevel.pl | 36 % answer_output results and variable bindings 45 % answer_output (fromec,text) results and variable bindings 64 % Variable bindings will be printed (in no particular format)
|
H A D | ordset.pl | 64 variable bindings: unifications can create duplicates or change
|
H A D | modes.pl | 351 % NO! because this will cause left-propagation of bindings, i.e.
|
/barrelfish-master/doc/015-disk-driver-arch/ |
H A D | flounder-ahci.tex | 125 \acs{ahci} bindings to be used anywhere the generic binding type is used. In 126 particular, the RPCClient can be wrapped around \acs{ahci} bindings, greatly 134 Because \acs{ahci} Flounder bindings use the generic binding as a base, the
|
H A D | usage.tex | 6 The application first initializes the necessary bindings and \acs{rpc} client.
|
/barrelfish-master/usr/eclipseclp/documents/tutorial/ |
H A D | tkdebug.tex | 228 goal is not `current', i.e.\ the bindings shown are as they were when the 230 these bindings can be `refreshed' later on. Note that the bottom windowc 338 bindings are undone after the test. 373 indicating that the bindings shown are current.
|
/barrelfish-master/lib/lwip/src/core/snmp/ |
H A D | mib2.c | 1899 u8_t bindings, fc, level, del_cnt; local 1908 bindings = 0; 1912 bindings++; 1916 if (bindings == 1) {
|
/barrelfish-master/usr/eclipseclp/lib_tcl/ |
H A D | tkeclipse.tcl | 1202 balloonhelp .tkecl.pane.answer.label "Results display - top-level bindings and status after execution.\n Results for the most recent query are in blue.\n\
|
/barrelfish-master/usr/eclipseclp/documents/userman/ |
H A D | extmeta.tex | 279 For variable-variable bindings, typically the remaining attribute must 291 Note that several attributed variable bindings can occur simultaneously, 313 all bindings are undone again, and no waking occurs.
|
H A D | exthsusp.tex | 132 to true or fail, and that the answer bindings that have been found 1360 If instead we do the three bindings under high priority, it will only 1361 execute once after all bindings have already been done: 1387 and which do not do any bindings or other updates.
|
H A D | umserrors.tex | 245 bindings were printed, \notation{no_answer} if a query containing variables
|
H A D | extsuspend.tex | 469 and each of them may be able to report success due to its bindings.
|
/barrelfish-master/usr/eclipseclp/documents/embedding/ |
H A D | umscmacros.tex | 588 call the goal in the module and keep all bindings, global stack and trail 592 In this case no bindings or compound terms created by this
|
H A D | embremote.tex | 266 interface. Information can be sent to {\eclipse} via bindings for (input) 268 results returned from {\eclipse} via the bindings made to (output)
|
H A D | embtcl.tex | 602 bindings from {\eclipse} after successful execution of the
|
/barrelfish-master/usr/eclipseclp/documents/internal/kernel/ |
H A D | umscmacros.tex | 598 % call the goal in the module and keep all bindings, global stack and trail 602 % In this case no bindings or compound terms created by this
|
/barrelfish-master/doc/006-routing/ |
H A D | Routing.tex | 161 Each monitor maintains a forwarding table. For each multi-hop channel, entries are created in the forwarding tables at all the nodes of that channel. Messages that are sent over the channel are forwarded at each node according to its forwarding table. Those entries in the forwarding tables can be seen as per-channel created \emph{hard} state: It is explicitly created at channel set-up and deleted at channel tear-down. Additionally to the entries in the forwarding table, per-channel created state includes bindings to the neighbouring nodes on the multi-hop channel. 174 \section{Additional monitor bindings} 177 Those additional channels are needed to ensure that the default monitor binding is not congested or even blocked by multi-hop messages. For example, suppose that a client's dispatcher receives a lot of multi-hop messages within a short period of time. The client reacts to this by allocating more memory. If multi-hop messages are sent over the default monitor binding, the message coming from the memory server will be blocked, therefore this will result in a dead lock. By creating new monitor bindings and not using the default monitor binding, we can prevent such a scenario.
|
/barrelfish-master/usr/eclipseclp/documents/libman/ |
H A D | extchr.tex | 1150 actually detect some cases where guard bindings cannot constrain any global 1152 guard bindings.
|
H A D | eplex.tex | 361 problem variables by bindings these variables. On the other hand, {\bf 663 VArr = SolutionVector, % do the bindings
|
/barrelfish-master/doc/011-idc/ |
H A D | IDC.tex | 362 Most interaction with bindings involves interface-type-specific functions. 939 the local monitor binding is shared by all bindings (and binding-related
|
/barrelfish-master/usr/eclipseclp/icparc_solvers/ |
H A D | repair.pl | 413 bindings to its variables or their tentative values. In such a case, the
|