Searched refs:death (Results 1 - 6 of 6) sorted by relevance
| /seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
| H A D | topten.c | 59 char death[DTHSZ+1]; member in struct:toptenentry
81 "burned by ", "dissolved in ", "crushed to death by ", "petrified by ",
161 tt->name, tt->death) != 4)
171 tt->plalign, tt->name, tt->death) != 6)
176 nsb_unmung_line(tt->death);
195 nsb_mung_line(tt->death);
213 onlyspace(tt->name) ? "_" : tt->name, tt->death);
221 onlyspace(tt->name) ? "_" : tt->name, tt->death);
225 nsb_unmung_line(tt->death);
291 * deepest level reached in the dungeon death occurre
[all...] |
| /seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
| H A D | topten.c | 59 char death[DTHSZ+1]; member in struct:toptenentry
81 "burned by ", "dissolved in ", "crushed to death by ", "petrified by ",
161 tt->name, tt->death) != 4)
171 tt->plalign, tt->name, tt->death) != 6)
176 nsb_unmung_line(tt->death);
195 nsb_mung_line(tt->death);
213 onlyspace(tt->name) ? "_" : tt->name, tt->death);
221 onlyspace(tt->name) ? "_" : tt->name, tt->death);
225 nsb_unmung_line(tt->death);
291 * deepest level reached in the dungeon death occurre
[all...] |
| /seL4-refos-master/projects/refos/design/ |
| H A D | protocol.tex | 45 \autoref{f:estab} illustrates that to interact with a server one must establish a session with the server through the server's anonymous endpoint capability. An established session with a server is represented by a \obj{session} capability with the server knowing the security subject of the client and optionally death notifications set up so that the server is informed when the client exits and at this time can modify its bookkeeping accordingly.
65 R box R [ label = "set up death notify"];
66 R>>F [ label = "(ErrorCode, death\_id, principle\_id)"];
170 \autoref{f:deathnotify} illustrates an example death notification protocol. Note that it is assumed that the client is active and has already established a connection with the data server (see \autoref{f:estab}) and that the data server has subsequently set up death notification.
185 P >> D [ label = "dataserv\_event\_C.death\_notify(death\_id)" ];
190 \caption{Example death notification protocol}
|
| H A D | interface.tex | 30 \item[\obj{liveness}] is an object representing the identity of a process. If something has access to a liveness object of a process, it can be notified of the process's death and can request an ID to uniquely identify the process, but it cannot kill the process or pretend to be the process.
51 The process server interface provides the abstraction for managing processes and threads. The abstraction includes management of processes' virtual memory, memory window creation and deletion, process creation and deletion, death notification of client processes and thread management. Note that in implementations \cp{procserv}{session} could be the same capability as \cp{procserv}{process} in which case the process server is connectionless. \cp{procserv}{session} may also be shared with \cp{procserv}{anon} for simplification.
54 \item \pro{procserv}{session}{watch\_client(\cp{procserv}{liveness}, death\_notify\_ep)}
55 {(Errorcode, death\_id, principle\_id)}
56 Authenticate a new client of a server against the \srv{procserv} and register for death
60 \item [death\_notify\_ep] The asynchronous endpoint through which death notification occurs
61 \item [death\_id] The unique client ID that the server will receive on death notification
66 Stop watching a client and remove its death notification
[all...] |
| /seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/doc/ |
| H A D | Guidebook.tex | 1983 In {\it NetHack\/}, a pacifist refuses to cause the death of any other monster
1984 (i.e. if you would get experience for the death). This is a particularly
2608 Draw a tombstone graphic upon your death (default on).
3071 mode that enables you to keep old save files and cheat death, at the
|
| /seL4-refos-master/apps/nethack/src/nethack-3.4.3/doc/ |
| H A D | Guidebook.tex | 1983 In {\it NetHack\/}, a pacifist refuses to cause the death of any other monster
1984 (i.e. if you would get experience for the death). This is a particularly
2608 Draw a tombstone graphic upon your death (default on).
3071 mode that enables you to keep old save files and cheat death, at the
|
Completed in 103 milliseconds