Searched refs:process (Results 1 - 25 of 28) sorted by relevance

12

/seL4-refos-master/libs/libsel4utils/src/
H A Dprocess.c28 #include <sel4utils/process.h>
47 sel4utils_process_t *process = cookie; local
53 node->next = process->allocated_object_list_head;
54 process->allocated_object_list_head = node;
59 static void clear_objects(sel4utils_process_t *process, vka_t *vka) argument
61 assert(process != NULL);
64 while (process->allocated_object_list_head != NULL) {
65 object_node_t *prev = process->allocated_object_list_head;
67 process->allocated_object_list_head = prev->next;
74 static int next_free_slot(sel4utils_process_t *process, cspacepath_ argument
88 allocate_next_slot(sel4utils_process_t *process) argument
109 sel4utils_mint_cap_to_process(sel4utils_process_t *process, cspacepath_t src, seL4_CapRights_t rights, seL4_Word data) argument
128 sel4utils_copy_path_to_process(sel4utils_process_t *process, cspacepath_t src) argument
147 sel4utils_copy_cap_to_process(sel4utils_process_t *process, vka_t *vka, seL4_CPtr cap) argument
154 sel4utils_move_cap_to_process(sel4utils_process_t *process, cspacepath_t src, vka_t *from_vka) argument
230 sel4utils_spawn_process(sel4utils_process_t *process, vka_t *vka, vspace_t *vspace, int argc, char *argv[], int resume) argument
273 sel4utils_spawn_process_v(sel4utils_process_t *process, vka_t *vka, vspace_t *vspace, int argc, char *argv[], int resume) argument
397 sel4utils_configure_process(sel4utils_process_t *process, vka_t *vka, vspace_t *vspace, const char *image_name) argument
442 create_cspace(vka_t *vka, int size_bits, sel4utils_process_t *process, seL4_Word cspace_root_data, seL4_CPtr asid_pool) argument
488 create_fault_endpoint(vka_t *vka, sel4utils_process_t *process) argument
501 sel4utils_configure_process_custom(sel4utils_process_t *process, vka_t *vka, vspace_t *spawner_vspace, sel4utils_process_config_t config) argument
682 sel4utils_destroy_process(sel4utils_process_t *process, vka_t *vka) argument
746 sel4utils_copy_timer_caps_to_process(timer_objects_t *to, timer_objects_t *from, vka_t *vka, sel4utils_process_t *process) argument
[all...]
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/
H A Dprocess.c28 #include <sel4utils/process.h>
47 sel4utils_process_t *process = cookie; local
53 node->next = process->allocated_object_list_head;
54 process->allocated_object_list_head = node;
59 static void clear_objects(sel4utils_process_t *process, vka_t *vka) argument
61 assert(process != NULL);
64 while (process->allocated_object_list_head != NULL) {
65 object_node_t *prev = process->allocated_object_list_head;
67 process->allocated_object_list_head = prev->next;
74 static int next_free_slot(sel4utils_process_t *process, cspacepath_ argument
88 allocate_next_slot(sel4utils_process_t *process) argument
109 sel4utils_mint_cap_to_process(sel4utils_process_t *process, cspacepath_t src, seL4_CapRights_t rights, seL4_Word data) argument
128 sel4utils_copy_path_to_process(sel4utils_process_t *process, cspacepath_t src) argument
147 sel4utils_copy_cap_to_process(sel4utils_process_t *process, vka_t *vka, seL4_CPtr cap) argument
154 sel4utils_move_cap_to_process(sel4utils_process_t *process, cspacepath_t src, vka_t *from_vka) argument
230 sel4utils_spawn_process(sel4utils_process_t *process, vka_t *vka, vspace_t *vspace, int argc, char *argv[], int resume) argument
273 sel4utils_spawn_process_v(sel4utils_process_t *process, vka_t *vka, vspace_t *vspace, int argc, char *argv[], int resume) argument
397 sel4utils_configure_process(sel4utils_process_t *process, vka_t *vka, vspace_t *vspace, const char *image_name) argument
442 create_cspace(vka_t *vka, int size_bits, sel4utils_process_t *process, seL4_Word cspace_root_data, seL4_CPtr asid_pool) argument
488 create_fault_endpoint(vka_t *vka, sel4utils_process_t *process) argument
501 sel4utils_configure_process_custom(sel4utils_process_t *process, vka_t *vka, vspace_t *spawner_vspace, sel4utils_process_config_t config) argument
682 sel4utils_destroy_process(sel4utils_process_t *process, vka_t *vka) argument
746 sel4utils_copy_timer_caps_to_process(timer_objects_t *to, timer_objects_t *from, vka_t *vka, sel4utils_process_t *process) argument
[all...]
/seL4-refos-master/libs/libsel4utils/include/sel4utils/
H A Dprocess.h46 /* cptr (with respect to the process cnode) of the tcb of the first thread (0 means not supplied) */
101 * Start a process, and copy arguments into the processes address space.
117 * @param process initialised sel4utils process struct.
122 * @param resume 1 to start the process, 0 to leave suspended.
127 int sel4utils_spawn_process(sel4utils_process_t *process, vka_t *vka, vspace_t *vspace,
131 * Start a process, and copy arguments into the processes address space.
140 * @param process initialised sel4utils process struct.
145 * @param resume 1 to start the process,
[all...]
/seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dprocess.h46 /* cptr (with respect to the process cnode) of the tcb of the first thread (0 means not supplied) */
101 * Start a process, and copy arguments into the processes address space.
117 * @param process initialised sel4utils process struct.
122 * @param resume 1 to start the process, 0 to leave suspended.
127 int sel4utils_spawn_process(sel4utils_process_t *process, vka_t *vka, vspace_t *vspace,
131 * Start a process, and copy arguments into the processes address space.
140 * @param process initialised sel4utils process struct.
145 * @param resume 1 to start the process,
[all...]
/seL4-refos-master/projects/seL4_libs/libsel4serialserver/include/serial_server/
H A Dparent.h21 #include <sel4utils/process.h>
38 * @param parent_simple Initialized simple_t for the parent process that is
40 * @param parent_vka Initialized vka_t for the parent process that is spawning
42 * @param parent_vspace Initialized vspace_t for the parent process that is
72 * destination process' CSpace, and returns the slot it was minto into, as its
75 * @param p Destination process.
/seL4-refos-master/projects/refos/design/
H A Dinterface.tex24 Note that in implementations, objects may be merged in some cases. For example, the process server's \obj{liveness}, \obj{anon} or \obj{process} object capabilities may be merged for simplification.
28 \item[\obj{process}] is an object which is most likely maintained by the process server (\srv{procserv}) and represents a process. If something has access to a process object, it may perform operations involving that process such as killing that process and calling methods on behalf of that process.
30 \item[\obj{liveness}] is an object representing the identity of a process
[all...]
H A Dprotocol.tex109 \autoref{f:opendata} shows mapping an open dataspace into a given memory window. The initialisation sets up the components for sample fault delegation in the system. Note that the process server is acting as the memory manager. The paging could instead be implemented through a separate memory manager process.
139 \autoref{f:pagefault} shows the page fault resolution protocol in the case of an external dataspace server backing a window in the client's address space. In \refOS, the \seLf microkernel sends the page fault notification to an endpoint capability pretending to be the faulting process.
184 P box P [ label = "Delete client process" ];
198 In this example, the shared dataspace is implemented by the process server (acting as the memory manager) and is shared with a server. This is typical for a shared memory communication buffer.
234 \autoref{f:sharedatathird} provides another example of dataspace sharing. In this example, the dataspace is implemented by an external data server instead of by the process server. A third party is involved in this case. This is a more general example of \autoref{f:sharedata}.
283 \autoref{f:initdata} shows creating a dataspace and setting the dataspace so that it is initialised with the contents of another dataspace. This example initialises a RAM dataspace (with the process server acting as its data server as per \refOS's implementation) with the contents of an executable file from another dataspace.
359 \autoref{f:elfloading} shows the elf loading protocol for bootstrapping a user process.
371 --- [ label = "User process starts at elf loading code in its own address space"];
405 A memory window should bookkeep its state, which vspace it belongs to, where and how long the memory segment is and the state of the memory window's contents. A memory window may be unmapped or mapped to a dataspace, and that dataspace may or may not be content initialised. In \refOS, the process serve
[all...]
H A Dintro.tex24 \texttt{Methods} are conceptual "function calls" although they are usually implemented via communication with another process in which case they are actually remote procedure calls. Regardless of the underlying implementation, methods here refer to the actual procedures of an interface which get invoked.
34 \texttt{Servers} are normal processes which have registered themselves using the naming service so that other client processes may find them. Once a client finds a process, the client may connect and establish a session with the server and the server is given access to the notification of client deaths in order to do any client bookkeeping that it may require.
38 \texttt{Process servers} are servers which implement the process server interface and provide process abstraction. In practice, the process server may also need to implement additional interfaces and provide additional functionality in order for a system to start. For instance, in \refOS the process server also does naming and console input and output, implements the dataspace interface for anonymous memory and acts as the memory manager.
69 The basic concept of a capability is that a capability is an object that contains the permissions to access a particular object. This is a similar concept to UNIX file descriptors which indicate the access that a process has to a file. Just like UNIX file descriptor tables, capability objects are kept in kernel memory. User programs only have handles to such objects and cannot directly manipulate them.
73 In the sample implementation given using the \seLf microkernel, these assumptions are implemented as kernel interprocess communication endpoint \emph{badges}. Endpoint capabilities may be badged with an integer, and the badge of an endpoint once it has been set is immutable. When a badged endpoint capability is sent along the endpoint that it is pointing to, the kernel \emph{unwraps} the badge to be read. Only the process which created the badge can read it back via interprocess communication. \refOS makes heavy use of these badges in order for servers to track server objects (such as windows and dataspaces).
86 \autoref{fig:mta} presents the four basic operations \refOS employs (and indirectly attempts to limit itself to). They are synchronous calls (a method invocation on an object), replies, asynchronous notifications, and kernel system calls that asynchronously modify the state of another process (such as mapping memory directly into the virtual address space of another process)
[all...]
H A Dappendix.tex203 P box P [ label = "repeat fault process for this pager"];
224 P box P [ label = "repeat fault process for this pager"];
250 anonymous capability then can be passed to other process for
269 memory object sharing process. The server which owns the memory
286 process again in order to create the shared state. Root server
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/
H A Dpcconf.h105 #include <process.h> /* Provides prototypes of exit(), spawn() */
H A Dntconf.h70 #include <process.h> /* Provides prototypes of exit(), spawn() */
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/
H A Dpcconf.h105 #include <process.h> /* Provides prototypes of exit(), spawn() */
H A Dntconf.h70 #include <process.h> /* Provides prototypes of exit(), spawn() */
/seL4-refos-master/projects/refos/impl/
H A Dcidl_compile154 def process(filename, client, header, disp, pre_process, dbg): function
202 help='skip pre-process template files.')
211 process(args.filename, args.client, args.header, args.dispatcher, args.no_preprocess, args.debug)
/seL4-refos-master/
H A Dcidl_compile154 def process(filename, client, header, disp, pre_process, dbg): function
202 help='skip pre-process template files.')
211 process(args.filename, args.client, args.header, args.dispatcher, args.no_preprocess, args.debug)
/seL4-refos-master/kernel/manual/parts/
H A Dintro.tex15 spaces, threads, and inter-process communication (IPC). The small number
H A Dcspace.tex259 or CNode, the destruction process will delete each capability held in
315 CSpaces are designed to permit sparsity, and the process of looking-up
350 capability address that have yet to be translated, the lookup process
353 process terminates successfully; the capability address in question
430 because the translation process terminates after translating the
H A Dvspace.tex50 API allows users more flexible policy options. For example, a process that has delegated a page
H A Dio.tex257 process context bank faults.
340 to use given context bank for translation. To simplify the process, the
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/sys/share/
H A Dpcsys.c17 #include <process.h>
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/sys/share/
H A Dpcsys.c17 #include <process.h>
/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/process/
H A Dprocess.c22 #include <sel4utils/process.h>
26 #include "process.h"
32 @brief Process management module for process server. */
131 /* Pass the process its static parameter contents. */
134 /* Tell the process about ourself, the process server. */
141 /* Tell the process about its own liveness cap. */
148 /* Tell the process about its initial thread. */
157 /* Give any process with IO port permission to read / write to IO ports. */
245 How the process serve
[all...]
/seL4-refos-master/apps/process_server/src/system/process/
H A Dprocess.c22 #include <sel4utils/process.h>
26 #include "process.h"
32 @brief Process management module for process server. */
131 /* Pass the process its static parameter contents. */
134 /* Tell the process about ourself, the process server. */
141 /* Tell the process about its own liveness cap. */
148 /* Tell the process about its initial thread. */
157 /* Give any process with IO port permission to read / write to IO ports. */
245 How the process serve
[all...]
/seL4-refos-master/libs/libsel4allocman/src/
H A Dbootstrap.c28 #include <sel4utils/process.h>
/seL4-refos-master/projects/seL4_libs/libsel4allocman/src/
H A Dbootstrap.c28 #include <sel4utils/process.h>

Completed in 119 milliseconds

12