/barrelfish-master/doc/002-mackerel/ |
H A D | Mackerel.tex | 1004 %% -- before including the header file, that declaration is likely to now 1492 %% -- before including the header file, that declaration is likely to now
|
/barrelfish-master/doc/006-routing/ |
H A D | Routing.tex | 157 Messaging in Barrelfish is connection-oriented: messages are passed via an explicit binding object, which encapsulates one half of a connection, and such a binding must be established in advance. Therefore, we have decided to support only connection-oriented multi-hop messaging (for now). The multi-hop interconnect driver is designed in such a way that channel set-up is collapsed into the binding phase. 165 The virtual circuit switching approach would also allow to reserve some resources on the nodes for each channel. Per-channel reserved resources could include buffer space to save received, but not yet forwarded messages, or bandwidth on the ICD links. This is potentially very useful for congestion and flow control. Note that we cannot simply drop messages in case of congested links, as we want to provide a reliable messaging service. As of now, we do not reserve resources on the nodes, but allocate required resources dynamically.
|
/barrelfish-master/doc/011-idc/ |
H A D | IDC.tex | 724 term ``channel'' is now something of a misnomer in this context, as events are 749 the channel is now waiting to deliver the event 918 binding object and run the bind callback. The binding has now completed.
|
/barrelfish-master/doc/015-disk-driver-arch/ |
H A D | flounder-ahci.tex | 88 and we now use the second option.
|
H A D | libahci.tex | 247 the only error handling implemented right now is to dump the registers
|
H A D | usage.tex | 103 \acs{rpc} calls can now be made to perform operations on the disk.
|
/barrelfish-master/doc/018-Practical-guide/ |
H A D | readme.tex | 149 \item If everything worked, you should now be able to run Barrelfish inside QEMU
|
/barrelfish-master/doc/019-device-drivers/ |
H A D | DeviceDriver.tex | 165 on in such a driver, this chapter is kept around for now. 190 called Mackerel, and we would now like to use in our driver. If you do not 258 library. We will talk more about it later, but for now, here is what it does: 330 support right now, do not have an infrastructure like PCI that brings 334 This means that right now, the way Kaluga finds the available devices differs 478 solved sufficiently right now, in the future, we would like to store this 597 now a system call. The monitor then can use the I/O capability in
|
/barrelfish-master/doc/023-coreboot/ |
H A D | coreboot.tex | 320 to remove the KCB from the scheduling queue. If queue is now empty, the CPU
|
/barrelfish-master/doc/026-device-queues/ |
H A D | devif.tex | 112 The basic functionality of our queue based device interface (from now on called \devif) 519 The transition system that we defined up to now can be seen in the picture below. 765 \texttt{devq\_enqueue()} now, the region and buffer id are translated to an buffer table 866 // Enqueue buffers (2KB size for now, but can be variable size)
|
/barrelfish-master/include/lwip2/netif/ppp/ |
H A D | ppp.c | 625 * Initialize magic number generator now so that protocols may 1619 struct timeval now; local 1622 if (!get_ppp_stats(u, &link_stats) || gettimeofday(&now, NULL) < 0) { 1625 link_connect_time = now.tv_sec - start_time.tv_sec;
|
/barrelfish-master/lib/acpica/source/tools/acpisrc/ |
H A D | asremove.c | 383 NOTE: This function is no longer used and is commented out for now.
|
/barrelfish-master/lib/libc/gen/ |
H A D | syslog.c | 137 time_t now; local 176 (void)time(&now); 178 (void)fprintf(fp, "%.15s ", ctime_r(&now, timbuf) + 4);
|
/barrelfish-master/lib/libc/isc/ |
H A D | ev_timers.c | 121 struct timeval now; local 133 if (gettimeofday(&now, NULL) < 0) 135 return (evTimeSpec(now)); 140 struct timeval now; local 146 if (gettimeofday(&now, NULL) < 0) 148 return (evTimeSpec(now)); 215 /* due={0,0} is a magic cookie meaning "now." */
|
/barrelfish-master/lib/libc/resolv/ |
H A D | res_init.c | 296 * important now that the rfc1535 stuff restricts searches) 328 struct timespec now; local 333 if (clock_gettime(CLOCK_MONOTONIC_FAST, &now) == 0) { 334 statp->_u._ext.ext->conf_stat = now.tv_sec; 758 struct timeval now; local 763 gettimeofday(&now, NULL); 764 u32 = now.tv_sec; 766 u32 = now.tv_usec; 768 u32 += now.tv_sec; 776 struct timeval now; local [all...] |
H A D | res_send.c | 834 struct timespec now, timeout, finish; local 936 now = evNowTime(); 938 finish = evAddTime(now, timeout); 941 now = evNowTime(); 944 if (evCmpTime(finish, now) > 0) 945 timeout = evSubTime(finish, now); 957 timeout = evSubTime(finish, now);
|
H A D | res_state.c | 69 struct timespec now; local 82 if (clock_gettime(CLOCK_MONOTONIC_FAST, &now) != 0 || 83 (now.tv_sec - ext->conf_stat) < ext->reload_period) { 87 ext->conf_stat = now.tv_sec;
|
/barrelfish-master/lib/libc/rpc/ |
H A D | auth_unix.c | 98 struct timeval now; local 130 (void)gettimeofday(&now, NULL); 131 aup.aup_time = now.tv_sec; 270 struct timeval now; local 292 (void)gettimeofday(&now, NULL); 293 aup.aup_time = now.tv_sec;
|
H A D | clnt_dg.c | 170 struct timeval now; local 257 (void) gettimeofday(&now, NULL); 258 call_msg.rm_xid = __RPC_GETXID(&now); 475 /* We have some data now */ 489 /* We now assume we have the proper reply. */ 530 * now decode and validate the response
|
H A D | clnt_vc.c | 170 struct timeval now; local 269 (void)gettimeofday(&now, NULL); 270 call_msg.rm_xid = ((u_int32_t)++disrupt) ^ __RPC_GETXID(&now); 410 /* now decode and validate the response header */
|
H A D | rpc_com.h | 58 #define __RPC_GETXID(now) ((u_int32_t)getpid() ^ (u_int32_t)(now)->tv_sec ^ \ 59 (u_int32_t)(now)->tv_usec)
|
/barrelfish-master/lib/libc/sys/ |
H A D | futimens.c | 43 struct timeval now, tv[2], *tvp; local 91 if (gettimeofday(&now, NULL) == -1) 94 tv[0] = now; 96 tv[1] = now;
|
H A D | utimensat.c | 43 struct timeval now, tv[2], *tvp; local 95 if (gettimeofday(&now, NULL) == -1) 98 tv[0] = now; 100 tv[1] = now;
|
/barrelfish-master/lib/lwip2/src/apps/lwiperf/ |
H A D | lwiperf.c | 83 u32_t num_threads; /* unused for now */ 85 u32_t buffer_len; /* unused for now */ 86 u32_t win_band; /* TCP window / UDP rate: unused for now */ 204 u32_t now, duration_ms, bandwidth_kbitpsec; local 205 now = sys_now(); 206 duration_ms = now - conn->time_started; 263 u32_t now = sys_now(); local 264 u32_t diff_ms = now - conn->time_started; 329 /* @todo: check 'len' (e.g. to time ACK of all data)? for now, we just send more... */ 339 /** TCP connected callback (active connection), send data now */ [all...] |
/barrelfish-master/lib/lwip2/src/core/ |
H A D | timeouts.c | 208 u32_t now, diff; local 216 now = sys_now(); 219 timeouts_last_time = now; 221 diff = now - timeouts_last_time; 250 /* If this is the case, 'timeouts_last_time' and 'now' differs too much. 321 u32_t now; local 323 now = sys_now(); 325 diff = now - timeouts_last_time;
|