Searched refs:back (Results 26 - 50 of 92) sorted by relevance

1234

/barrelfish-2018-10-04/usr/eclipseclp/documents/tutorial/
H A Dtkdebug.tex152 you can use the up-arrow on your keyboard to step back to a previous query.
381 list of country pairs, as far back as \verb'colouring(...)'. Unfortunately,
418 \button{Close} button, go back to the tracer, and see where the country
492 the file \verb'buggy_data.map' and adding the neighbour(4, 3) line back.
H A Deprolog.tex307 write one term so that it can be read back.
317 printed data can be read back by the predicates of the read-family.
814 immediately failing back to where the {\tt catch} was called. In
/barrelfish-2018-10-04/usr/eclipseclp/documents/userman/
H A Dumscalendar.tex110 but this is easily done by converting a date to its MJD and back
H A Dextmeta.tex498 can be read back.
504 it can be read back in.
H A Dumstkeclipse.tex318 To allow {\eclipse} to resume execution, control is transferred back from
321 pressed in the tracer tool), or control can be transferred explicitly back
/barrelfish-2018-10-04/usr/eclipseclp/Contrib/
H A Dapplic.pl58 % interpretation, so apply/2 may come back into its own. At the moment,
H A Dassoc.pl60 % which will find every K-V pair on back tracking and
H A Dmap.pl374 % written out this way can NOT be read back in. The point of
H A Drdtok.pl237 % inside a comment, which is why read_solidus/2 passes back an end of
/barrelfish-2018-10-04/doc/015-disk-driver-arch/
H A Ddesign.tex16 address, another domain's memory can be written to disk, and then read back,
H A Dusage.tex10 is actually written to disk by reading it back and checking the contents. The
/barrelfish-2018-10-04/doc/014-bulk-transfer/
H A Dbulk-transfer.tex79 back to the master. Master can either access the block or release it
129 same pbuf-id but pointing at new buffer location and send it back to
132 return the pbufs back to driver ASAP without getting affected by how
210 % \item Can consumer/producer put a back-pressure on other side?
415 consumers and are not released back (in-consumption state).
608 consumption and which slots are free and ready to go back to producer.
730 consumer and then also collects it back before declaring it as free.
866 added back to the list of free slots.
941 it should be added back to the free-slot-pointers area of the consumer
946 afterwards. Consumer can hold back certai
[all...]
/barrelfish-2018-10-04/usr/eclipseclp/documents/embedding/
H A Dembed.tex249 back to the C level. This is implemented by returning from a function.
288 Data is passed back by binding logical variables within the goals.
327 will fail back into the previous set of goals and these will succeed with
792 To convert back from an {\eclipse} term \verb.is_handle(). is used.
811 get an external object back from {\eclipse} you can check its type
/barrelfish-2018-10-04/usr/eclipseclp/lib_tcl/
H A Declipse_tools.tcl1605 ;# add the tag back to the refreshed line...
1821 balloonhelp $ec_tracer.buttons.up "Continue until back to parent's\
3257 foreach {row col new ground back} [lrange $commandline 2 end] {
3267 if [string match $back back] {
3268 ;#set tkecl_displayvals($name,back) 1
3269 set tkecl_displayvals($name,back) [list $row $col]
3272 ;#set tkecl_displayvals($name,back) 0
3280 set tkecl_displayvals($name,back) [list 0 0]
3291 if [string match $back bac
[all...]
/barrelfish-2018-10-04/usr/eclipseclp/Kernel/lib/
H A Dmegalog.pl301 ** back into Action later on. There will also be no backtracking into
427 while all others are written in a read back style
429 back (i.e. internal use) like
H A Delipsys.pl476 ** back into Action later on. There will also be no backtracking into
590 while all others are written in a read back style
592 back (i.e. internal use) like
/barrelfish-2018-10-04/doc/011-idc/
H A DIDC.tex761 \emph{pending} state back to unregistered
915 \item The monitor proxies the reply back to the monitor on the client's core
916 \item The monitor on the client core proxies the reply back to the client,
943 \item Upon receipt of the first message payload, the receiver sends back an
958 sent back to the local dispatcher; if it succeeds, the capability is
998 and contains a pointer back to the DCB and an offset into the associated
/barrelfish-2018-10-04/lib/cxx/unwind/
H A DUnwindRegistersRestore.S91 movq 56(%rdi), %rsp # cut back rsp to new location
/barrelfish-2018-10-04/usr/eclipseclp/documents/internal/kernel/
H A Dglobalstate.tex246 <get n back>
/barrelfish-2018-10-04/usr/eclipseclp/documents/internal/project/
H A Dorganisation.tex154 and to be faxed back to the user.
/barrelfish-2018-10-04/doc/004-virtual_memory/
H A DVirtualMemory.tex94 This object is used to back memory required for metadata in the library.
/barrelfish-2018-10-04/usr/eclipseclp/documents/visualisation/
H A Dclients.tex103 Should the VC hold, control can be passed back to {\eclipse} by
580 saved to disk and loaded back into memory at any time. The loading
584 all the \viewer{}s and just before passing control back to {\eclipse}.
/barrelfish-2018-10-04/doc/006-routing/
H A DRouting.tex215 \item As soon as the service's dispatcher receives the bind request, it runs the user provided connection callback. Based on the return value of this callback, it either accepts the connection or rejects it. In any case, the bind reply is sent back to the monitor.
217 \item The monitor proxies the bind replay back to where it received the bind request from.
244 To send a capability, the monitor sends a \texttt{multihop\_cap\_send} message to its local monitor, containing the capability. The monitor determines whether the capability can be sent to the remote dispatcher. In gereral, capabilities referring to inherently local state (such as LMP endpoint) may not be sent, nor may capabilities that are currently being revoked. If the capability cannot be sent, a \texttt{multihop\_cap\_reply} message is sent back to the local dispatcher containing the error code. Otherwise, the capability is serialised and forwarded along the multi-hop channel.
285 If an application uses a one-way communication schema, i.e. one dispatcher is always sending while the other is only receiving, it is not possible to piggy-back acknowledgements on messages sent the other way. In such a case, the multi-hop interconnect driver sends a dummy message. A dummy message contains no message payload, but acknowledges all received messages. This approach ensures that acknowledgements are, whenever possible, piggy-backed on messages. Only if it is absolutely necessary, an acknowledgement is sent in its own message.
292 Flounder is a stub compiler which generates stubs for defined interfaces. To support multi-hop messaging, we created a new back-end code generator for the flounder stub compiler that generates code to use the multi-hop interconnect driver. Applications do not interact with the multi-hop interconnect driver directly, but only over the generated stubs. The stubs for the multi-hop interconnect driver have the exact same interface as stubs for other interconnect drivers. This makes application code independent of the interconnect driver used for communication.
336 The send continuation is the only way to know when a message has been sent over the multi-hop channel and it is safe to send the next message. Note that even if an application uses a ping pong communication scheme, i.e. it sends a message back and forth between two dispatchers, it is not guaranteed to not get a \texttt{FLOUNDER\_ERR\_TX\_BUSY} error code, unless it serialises all sends with the continuation. This somewhat unintentional behaviour is caused by the fact that the multi-hop channel internally relies on other ICD-links to transport messages. The multi-hop channel itself uses send continuations on the underlying ICD-links to determine when it can accept another message. Those send continuations are always executed after a message is sent. Therefore it is possible (although unlikely) that a message is sent and the reply for that message is received, before the multi-hop channel can accept the next message.
538 \item Apply back pressure on the client.
/barrelfish-2018-10-04/usr/eclipseclp/documents/mpslib/
H A Doutline.tex338 since their identifiers can be communicated to the server on the back
446 host. This same clock value will come back to the client in the server's reply,
/barrelfish-2018-10-04/usr/eclipseclp/
H A DBUILD_ROTD1285 # Copy things back from remote machine after tests have been run
1303 echo "Failed to rsync back from $rsync_machine_name"

Completed in 216 milliseconds

1234