Searched refs:argument (Results 76 - 100 of 155) sorted by relevance

1234567

/barrelfish-2018-10-04/usr/eclipseclp/Contrib/
H A Dstruct.pl67 % introduce occ/4, because occ's last argument may already be instantiated.
102 % version of variables/2 had its second argument flagged as "?", but this
/barrelfish-2018-10-04/doc/018-Practical-guide/
H A Dreadme.tex218 \texttt{core=N} as its first argument.
/barrelfish-2018-10-04/usr/eclipseclp/icparc_solvers/
H A Dic_probing_for_scheduling.pl295 resource limit. There is one extra argument, a cost function which
451 The <B>Cost</B> argument is a variable, and it must be linked to the task
H A Dprobing_for_scheduling.pl295 resource limit. There is one extra argument, a cost function which
451 The <B>Cost</B> argument is a variable, and it must be linked to the task
/barrelfish-2018-10-04/usr/eclipseclp/Kernel/lib/
H A Dsuspend.pl877 Note: as opposed to ::/2, the first argument cannot be a list.
915 Note: as opposed to #::/2, the first argument cannot be a list.
946 Note: as opposed to $::/2, the first argument cannot be a list.
956 This constraint suspends until its argument is ground. It then succeeds
972 This constraint suspends until its argument is ground. It then succeeds
1747 This constraint suspends until its first argument is ground.
H A Dasm.pl78 % a(N) argument register N
93 % The first element should be the smallest argument number
97 % should be the smallest argument number
418 a(A) argument register A 1
833 in bip_db.c relies on the above argument order!
1055 assembles an argument for a WAM instr. It performs some simple type checking
1058 Arg: current argument
1064 argument is placed. This list is later appended to the end
1539 PosIn: offset from base in words for current argument.
H A Dmegalog.pl141 MegaLog : abolish, dynamic -- takes bracket list as argument [a,b,c]
143 Sepia : abolish, dynamic -- takes comma list as argument a,b,c
398 MegaLog : accept string as second argument
H A Dbranch_and_bound.pl442 % succeed if the argument cannot have a bound imposed
758 the Options-argument. To specify other options, pass a bb_options-
1002 the Options-argument. To specify other options, pass a bb_options-
1012 in Optimum, and the Solution argument gets unified with an instance of
H A Dsetof.pl234 % associated Template instances. Neither argument ends up changed.
H A Delipsys_fd.pl144 % (I*n_starts + J + 1)-th argument of the structure.
H A Dfd_elipsys.pl133 % (I*n_starts + J + 1)-th argument of the structure.
H A Dkb.pl806 ** isdr/1 - if the single argument is an atom, it attempts to
810 ** - if the single argument is a retrieval expression as in
939 It modifies the argument list so that uninstantiate those
986 head and then gradually, attempt a variable in each argument
994 % Deal with a ground argument for the first time
998 % Deal with a REDO for a ground argument
/barrelfish-2018-10-04/doc/019-device-drivers/
H A DDeviceDriver.tex214 The last argument specifies the architectures we want to build this driver
276 the interrupt arrives, an additional state argument that is passed to that
348 binary has the argument `'auto`' next to it, it considers this binary as a
418 \fnname{init\_func} takes as an argument an array of \keywname{struct
587 region of the OMAP4 chip. The last argument specifies where this new
/barrelfish-2018-10-04/doc/006-routing/
H A DRouting.tex150 Interconnect drivers in Barrelfish generally provide a reliable messaging service: A message is delivered only once and each message sent is eventually delivered and its content is not corrupted. Furthermore, messages are delivered in FIFO order. The multi-hop interconnect driver is designed to provide a reliable messaging service in principle. However, contrary to the end-to-end argument, it does not provide any \emph{end-to-end} reliability, but builds on the reliability provided by the interconnect drivers of the underlying links. We accept that the multi-hop interconnect driver can fail in case any of the interconnect drivers of the underlying link fail.
236 This definition of a multi-hop is motivated by the fact that it must be possible to transport an arbitrary message within one (or more) multi-hop messages. By using a dynamic array argument for the message payload, we can transfer data of an arbitrary size in a multi-hop message.
301 If an application wants to create a new multi-hop channel, it can pass the flag \texttt{IDC\_BIND\_FLAG\_MULTIHOP} as an argument to the interface's bind function. This changes the order of the interconnect drivers: The multi-hop interconnect driver will come in second place, directly after the LMP driver. The LMP driver is first, because it is preferable to the multi-hop interconnect driver if client and service are running on the same core. If the multi-hop interconnect driver fails to establish a binding for some reason, the binding process continues as normal with the other interconnect drivers.
315 \item Split a user-defined message into multiple multi-hop messages. Each argument of the multi-hop message is transported in its own multi-hop message.
317 \item Use a combination of the above approaches. For instance, all fixed size arguments could be sent in one message, and each dynamically sized argument could be sent in an extra multi-hop message.
320 In comparison to approach 1, approach 2 saves the cost of allocating a region of memory and copying all the arguments of the message to that region. In exchange for that, it needs to split a user-defined message and transport it via multiple multi-hop messages. The preferable approach depends on the type of messages that are sent. However, we think that the performance penalty involved in sending each message argument in its own multi-hop message is not acceptable for most message types. Therefore, the flounder-generated stubs for the multi-hop interconnect driver use approach 1. Approach 3 might be a possible performance optimization, but is currently not in use.
326 We include the size of every dynamically sized argument in the message payload. This tells the receiver about the size of those arguments and allows him to retrieve them from the received message payload. Currently, we use 8 bytes to transfer the size of a dynamic argument. This ensures that we do not get an overflow. We account for those size fields when calculating the size of the message payload.
334 Each transmit function takes as an argument a pointer to a continuation closure. The closure will be executed after the message has successfully been sent. If another transmit function is called on the same binding before the continuation is executed, it will return the \texttt{FLOUNDER\_ERR\_TX\_BUSY} error code, indicating that the binding is currently unable to accept another message. In this case, the user must arrange to retry the send.
/barrelfish-2018-10-04/usr/eclipseclp/documents/embedding/
H A Dembtclmulti.tex97 handlers as an argument. At the start of a multitasking phase, a peer
140 supplied as the first argument. This will for example allow the
/barrelfish-2018-10-04/usr/eclipseclp/documents/libman/
H A Dextpropia.tex87 The second argument of \verb0infers0 defines how much propagation
270 If \verb0sum0 is invoked with a list of variables as its first argument,
H A Dic.tex289 they will be called at run-time with an extra argument to collect the
432 appended to the term as an extra argument, and then the term
689 It is also possible to use the 3 argument form of the constraint predicates
690 where the third argument is the reified truth value, for example:
754 Reified constraints are implemented using the the 3 argument form of
759 expression context and as such should provide forms where the last argument
846 argument.)
/barrelfish-2018-10-04/lib/acpica/source/common/
H A Ddmextern.c519 fprintf (stderr, "Invalid argument count (%s)\n", Token);
525 fprintf (stderr, "Invalid argument count (%u)\n", ArgCount);
904 /* Update the argument count as necessary */
1021 /* For methods, we need to save the argument count */
1267 An example: Assume we have two control methods. ABCD has one argument, and
1377 "%s argument counts. Each line of the file must be of the form:\n"
1378 "%s External (<method pathname>, MethodObj, <argument count>)\n"
/barrelfish-2018-10-04/usr/eclipseclp/Usc/src/
H A Dconfigure59 # If the previous option needs an argument, assign it.
395 { echo "configure: error: missing argument to --`echo $ac_prev | sed 's/_/-/g'`" 1>&2; exit 1; }
672 builtin and then its argument prototype would still apply. */
/barrelfish-2018-10-04/usr/eclipseclp/documents/userman/
H A Dumsstring.tex38 The main argument against strings is that everything that can be done
H A Dumsflags.tex175 Specify how often the collector is invoked. Roughly, the argument
436 When the argument is an atom or a string, just this argument is printed.
/barrelfish-2018-10-04/doc/015-disk-driver-arch/
H A Dblockdevfs.tex46 \lstinline+backend_handle+ freely. This handle will be passed as an argument to
/barrelfish-2018-10-04/doc/002-mackerel/
H A DMackerel.tex296 space). By convention a single device argument is named
334 each device argument must be declared as being of one of the following
341 a base address which is an argument to the device definition.
345 are given as offsets relative to a base address which is an argument
373 \item [index] is an identifier for the argument giving the address for
643 is a device argument of the correct type and \textit{offset} is an
1106 \item A function which takes an argument of type \texttt{DP\_CNSTS\_t}
1108 field value, or NULL if the argument does not correspond to a field
1409 Since the device is passed as an argument, the functions can access
1814 Since the device is passed as an argument, th
[all...]
/barrelfish-2018-10-04/doc/003-hake/
H A DHake.tex248 The first argument is the name of the platform (``\texttt{ARMv7}''),
250 configured) for this platform. The third argument is a list of
252 final argument is a description to be printed by \texttt{make
/barrelfish-2018-10-04/doc/017-arm/
H A DARM.tex356 argument: the address of the multiboot info block. It first
691 cores can be passed as an argument to the GEM5 script. Cores are
737 \item Pass argument from bootloader to first C-function arch

Completed in 461 milliseconds

1234567