Add spawn, spawn_with_caps and span calls to the Process Manager API.
[barrelfish] / if / spawn.if
1 /*
2  * Copyright (c) 2007, 2008, 2009, 2010, 2011, 2012, ETH Zurich.
3  * All rights reserved.
4  *
5  * This file is distributed under the terms in the attached LICENSE file.
6  * If you do not find this file, copies can be found by writing to:
7  * ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
8  */
9
10 interface spawn "Interface to spawn domains" {
11     typedef struct {
12     uint8 status;
13     } ps_entry;
14
15     rpc spawn_domain(in String path[2048], in char argvbuf[argvbytes, 2048], in char envbuf[envbytes, 2048],
16                      in uint8 flags, out errval err, out domainid domain_id);
17
18     rpc spawn_domain_with_caps(in String path[2048], in char argvbuf[argvbytes, 2048],
19                                in char envbuf[envbytes, 2048], in cap inheritcn_cap,
20                                in cap argcn_cap, in uint8 flags, out errval err,
21                                out domainid domain_id);
22
23     // Messages for the async interface with the process manager.
24     message spawn_request(cap domain_cap,
25                           String path[2048],
26                           char argvbuf[argvbytes, 2048],
27                           char envbuf[envbytes, 2048],
28                           uint8 flags);
29     message spawn_with_caps_request(cap domain_cap,
30                                     String path[2048],
31                                     char argvbuf[argvbytes, 2048],
32                                     char envbuf[envbytes, 2048],
33                                     cap inheritcn_cap,
34                                     cap argcn_cap,
35                                     uint8 flags);
36     message span_request(cap domain_cap, cap vroot, cap dispframe);
37     message kill_request(cap domain_cap);
38     message spawn_reply(cap domain_cap, errval err);
39
40     rpc spawn_proc_mgmt_domain(in cap domain_cap,
41                                in String path[2048],
42                                in char argvbuf[argvbytes, 2048],
43                                in char envbuf[envbytes, 2048],
44                                in uint8 flags,
45                                out errval err);
46
47     rpc spawn_proc_mgmt_domain_with_caps(in cap domain_cap,
48                                          in String path[2048],
49                                          in char argvbuf[argvbytes, 2048],
50                                          in char envbuf[envbytes, 2048],
51                                          in cap inheritcn_cap,
52                                          in cap argcn_cap,
53                                          in uint8 flags,
54                                          out errval err);
55
56     rpc span(in cap domain_cap, in cap vroot, in cap dispframe, out errval err);
57
58     rpc use_local_memserv();
59     rpc kill(in domainid domain_id, out errval err);
60
61     /*
62      * XXX: domain_id shouldn't be here. Instead, spawnd should figure
63      * out from the binding what domain it is sending the request.
64      */
65     rpc exit(in domainid domain_id, in uint8 exitcode);
66
67     rpc wait(in domainid domain_id, in bool nohang, out uint8 exitcode, out errval err);
68
69     // XXX: Should be domainid instead of uint8, but it's not yet supported
70     rpc get_domainlist(out uint8 domains[len, 2048]);
71
72     rpc status(in domainid domain_id, out ps_entry ps_entry, out char argv[len, 2048],
73                out errval err);
74
75     // Capability debugging
76     rpc dump_capabilities(in domainid domain_id, out errval err);
77 };