xref: /minix3/minix/servers/rs/utility.c (revision 3837bb5c0b3c4019c563eb34936a744c4213aae7)
1433d6423SLionel Sambuc /* This file contains some utility routines for RS.
2433d6423SLionel Sambuc  *
3433d6423SLionel Sambuc  * Changes:
4433d6423SLionel Sambuc  *   Nov 22, 2009: Created    (Cristiano Giuffrida)
5433d6423SLionel Sambuc  */
6433d6423SLionel Sambuc 
7433d6423SLionel Sambuc #include "inc.h"
8433d6423SLionel Sambuc 
9433d6423SLionel Sambuc #include <assert.h>
10433d6423SLionel Sambuc #include <minix/sched.h>
11433d6423SLionel Sambuc #include "kernel/proc.h"
12433d6423SLionel Sambuc 
13fb6bd596SCristiano Giuffrida #define PRINT_SEP() printf("---------------------------------------------------------------------------------\n")
14fb6bd596SCristiano Giuffrida 
15433d6423SLionel Sambuc /*===========================================================================*
16433d6423SLionel Sambuc  *				 init_service				     *
17433d6423SLionel Sambuc  *===========================================================================*/
18fb6bd596SCristiano Giuffrida int init_service(struct rproc *rp, int type, int flags)
19433d6423SLionel Sambuc {
20433d6423SLionel Sambuc   int r;
21433d6423SLionel Sambuc   message m;
22433d6423SLionel Sambuc   endpoint_t old_endpoint;
23433d6423SLionel Sambuc 
24433d6423SLionel Sambuc   rp->r_flags |= RS_INITIALIZING;              /* now initializing */
25fb6bd596SCristiano Giuffrida   getticks(&rp->r_alive_tm);
26433d6423SLionel Sambuc   rp->r_check_tm = rp->r_alive_tm + 1;         /* expect reply within period */
27433d6423SLionel Sambuc 
28433d6423SLionel Sambuc   /* In case of RS initialization, we are done. */
29433d6423SLionel Sambuc   if(rp->r_priv.s_flags & ROOT_SYS_PROC) {
30433d6423SLionel Sambuc       return OK;
31433d6423SLionel Sambuc   }
32433d6423SLionel Sambuc 
33433d6423SLionel Sambuc   /* Determine the old endpoint if this is a new instance. */
34433d6423SLionel Sambuc   old_endpoint = NONE;
35433d6423SLionel Sambuc   if(rp->r_old_rp) {
36fb6bd596SCristiano Giuffrida       old_endpoint = rp->r_upd.state_endpoint;
37433d6423SLionel Sambuc   }
38433d6423SLionel Sambuc   else if(rp->r_prev_rp) {
39433d6423SLionel Sambuc       old_endpoint = rp->r_prev_rp->r_pub->endpoint;
40433d6423SLionel Sambuc   }
41433d6423SLionel Sambuc 
42fb6bd596SCristiano Giuffrida   /* Check flags. */
43fb6bd596SCristiano Giuffrida   if(rp->r_pub->sys_flags & SF_USE_SCRIPT) {
44fb6bd596SCristiano Giuffrida       flags |= SEF_INIT_SCRIPT_RESTART;
45fb6bd596SCristiano Giuffrida   }
46fb6bd596SCristiano Giuffrida 
47433d6423SLionel Sambuc   /* Send initialization message. */
48433d6423SLionel Sambuc   m.m_type = RS_INIT;
49fb6bd596SCristiano Giuffrida   m.m_rs_init.type = (short) type;
50fb6bd596SCristiano Giuffrida   m.m_rs_init.flags = flags;
51433d6423SLionel Sambuc   m.m_rs_init.rproctab_gid = rinit.rproctab_gid;
52433d6423SLionel Sambuc   m.m_rs_init.old_endpoint = old_endpoint;
53fb6bd596SCristiano Giuffrida   m.m_rs_init.restarts = (short) rp->r_restarts+1;
54fb6bd596SCristiano Giuffrida   m.m_rs_init.buff_addr = rp->r_map_prealloc_addr;
55fb6bd596SCristiano Giuffrida   m.m_rs_init.buff_len  = rp->r_map_prealloc_len;
56fb6bd596SCristiano Giuffrida   rp->r_map_prealloc_addr = 0;
57fb6bd596SCristiano Giuffrida   rp->r_map_prealloc_len = 0;
58fb6bd596SCristiano Giuffrida   r = rs_asynsend(rp, &m, 0);
59433d6423SLionel Sambuc 
60433d6423SLionel Sambuc   return r;
61433d6423SLionel Sambuc }
62433d6423SLionel Sambuc 
63433d6423SLionel Sambuc /*===========================================================================*
64*3837bb5cSCristiano Giuffrida  *				 fi_service				     *
65*3837bb5cSCristiano Giuffrida  *===========================================================================*/
66*3837bb5cSCristiano Giuffrida int fi_service(struct rproc *rp)
67*3837bb5cSCristiano Giuffrida {
68*3837bb5cSCristiano Giuffrida   message m;
69*3837bb5cSCristiano Giuffrida 
70*3837bb5cSCristiano Giuffrida   /* Send fault injection message. */
71*3837bb5cSCristiano Giuffrida   m.m_type = COMMON_REQ_FI_CTL;
72*3837bb5cSCristiano Giuffrida   m.m_lsys_fi_ctl.subtype = RS_FI_CRASH;
73*3837bb5cSCristiano Giuffrida   return rs_asynsend(rp, &m, 0);
74*3837bb5cSCristiano Giuffrida }
75*3837bb5cSCristiano Giuffrida 
76*3837bb5cSCristiano Giuffrida /*===========================================================================*
77433d6423SLionel Sambuc  *			      fill_send_mask                                 *
78433d6423SLionel Sambuc  *===========================================================================*/
79433d6423SLionel Sambuc void fill_send_mask(send_mask, set_bits)
80433d6423SLionel Sambuc sys_map_t *send_mask;		/* the send mask to fill in */
81433d6423SLionel Sambuc int set_bits;			/* TRUE sets all bits, FALSE clears all bits */
82433d6423SLionel Sambuc {
83433d6423SLionel Sambuc /* Fill in a send mask. */
84433d6423SLionel Sambuc   int i;
85433d6423SLionel Sambuc 
86433d6423SLionel Sambuc   for (i = 0; i < NR_SYS_PROCS; i++) {
87433d6423SLionel Sambuc 	if (set_bits)
88433d6423SLionel Sambuc 		set_sys_bit(*send_mask, i);
89433d6423SLionel Sambuc 	else
90433d6423SLionel Sambuc 		unset_sys_bit(*send_mask, i);
91433d6423SLionel Sambuc   }
92433d6423SLionel Sambuc }
93433d6423SLionel Sambuc 
94433d6423SLionel Sambuc /*===========================================================================*
95433d6423SLionel Sambuc  *			      fill_call_mask                                 *
96433d6423SLionel Sambuc  *===========================================================================*/
97433d6423SLionel Sambuc void fill_call_mask(calls, tot_nr_calls, call_mask, call_base, is_init)
98433d6423SLionel Sambuc int *calls;                     /* the unordered set of calls */
99433d6423SLionel Sambuc int tot_nr_calls;               /* the total number of calls */
100433d6423SLionel Sambuc bitchunk_t *call_mask;          /* the call mask to fill in */
101433d6423SLionel Sambuc int call_base;                  /* the base offset for the calls */
102433d6423SLionel Sambuc int is_init;                    /* set when initializing a call mask */
103433d6423SLionel Sambuc {
104433d6423SLionel Sambuc /* Fill a call mask from an unordered set of calls. */
105433d6423SLionel Sambuc   int i;
106433d6423SLionel Sambuc   int call_mask_size, nr_calls;
107433d6423SLionel Sambuc 
108433d6423SLionel Sambuc   call_mask_size = BITMAP_CHUNKS(tot_nr_calls);
109433d6423SLionel Sambuc 
110433d6423SLionel Sambuc   /* Count the number of calls to fill in. */
111433d6423SLionel Sambuc   nr_calls = 0;
112433d6423SLionel Sambuc   for(i=0; calls[i] != NULL_C; i++) {
113433d6423SLionel Sambuc       nr_calls++;
114433d6423SLionel Sambuc   }
115433d6423SLionel Sambuc 
116433d6423SLionel Sambuc   /* See if all calls are allowed and call mask must be completely filled. */
117433d6423SLionel Sambuc   if(nr_calls == 1 && calls[0] == ALL_C) {
118433d6423SLionel Sambuc       for(i=0; i < call_mask_size; i++) {
119433d6423SLionel Sambuc           call_mask[i] = (~0);
120433d6423SLionel Sambuc       }
121433d6423SLionel Sambuc   }
122433d6423SLionel Sambuc   else {
123433d6423SLionel Sambuc       /* When initializing, reset the mask first. */
124433d6423SLionel Sambuc       if(is_init) {
125433d6423SLionel Sambuc           for(i=0; i < call_mask_size; i++) {
126433d6423SLionel Sambuc               call_mask[i] = 0;
127433d6423SLionel Sambuc           }
128433d6423SLionel Sambuc       }
129433d6423SLionel Sambuc       /* Enter calls bit by bit. */
130433d6423SLionel Sambuc       for(i=0; i < nr_calls; i++) {
131433d6423SLionel Sambuc           SET_BIT(call_mask, calls[i] - call_base);
132433d6423SLionel Sambuc       }
133433d6423SLionel Sambuc   }
134433d6423SLionel Sambuc }
135433d6423SLionel Sambuc 
136433d6423SLionel Sambuc /*===========================================================================*
137fb6bd596SCristiano Giuffrida  *			     srv_to_string_gen				     *
138433d6423SLionel Sambuc  *===========================================================================*/
139fb6bd596SCristiano Giuffrida char* srv_to_string_gen(struct rproc *rp, int is_verbose)
140433d6423SLionel Sambuc {
141433d6423SLionel Sambuc   struct rprocpub *rpub;
142433d6423SLionel Sambuc   int slot_nr;
143433d6423SLionel Sambuc   char *srv_string;
144fb6bd596SCristiano Giuffrida   static char srv_string_pool[3][RS_MAX_LABEL_LEN + 256];
145433d6423SLionel Sambuc   static int srv_string_pool_index = 0;
146433d6423SLionel Sambuc 
147433d6423SLionel Sambuc   rpub = rp->r_pub;
148433d6423SLionel Sambuc   slot_nr = rp - rproc;
149433d6423SLionel Sambuc   srv_string = srv_string_pool[srv_string_pool_index];
150433d6423SLionel Sambuc   srv_string_pool_index = (srv_string_pool_index + 1) % 3;
151433d6423SLionel Sambuc 
152433d6423SLionel Sambuc #define srv_str(cmd) ((cmd) == NULL || (cmd)[0] == '\0' ? "_" : (cmd))
153433d6423SLionel Sambuc #define srv_active_str(rp) ((rp)->r_flags & RS_ACTIVE ? "*" : " ")
154433d6423SLionel Sambuc #define srv_version_str(rp) ((rp)->r_new_rp || (rp)->r_next_rp ? "-" : \
155433d6423SLionel Sambuc     ((rp)->r_old_rp || (rp)->r_prev_rp ? "+" : " "))
156433d6423SLionel Sambuc 
157fb6bd596SCristiano Giuffrida   if(is_verbose) {
158433d6423SLionel Sambuc       sprintf(srv_string, "service '%s'%s%s(slot %d, ep %d, pid %d, cmd %s, script %s, proc %s, major %d, flags 0x%03x, sys_flags 0x%02x)",
159433d6423SLionel Sambuc           rpub->label, srv_active_str(rp), srv_version_str(rp),
160433d6423SLionel Sambuc           slot_nr, rpub->endpoint, rp->r_pid, srv_str(rp->r_cmd),
161433d6423SLionel Sambuc           srv_str(rp->r_script), srv_str(rpub->proc_name), rpub->dev_nr,
162433d6423SLionel Sambuc           rp->r_flags, rpub->sys_flags);
163fb6bd596SCristiano Giuffrida   }
164fb6bd596SCristiano Giuffrida   else {
165433d6423SLionel Sambuc       sprintf(srv_string, "service '%s'%s%s(slot %d, ep %d, pid %d)",
166433d6423SLionel Sambuc           rpub->label, srv_active_str(rp), srv_version_str(rp),
167433d6423SLionel Sambuc           slot_nr, rpub->endpoint, rp->r_pid);
168fb6bd596SCristiano Giuffrida   }
169fb6bd596SCristiano Giuffrida 
170fb6bd596SCristiano Giuffrida #undef srv_str
171fb6bd596SCristiano Giuffrida #undef srv_active_str
172fb6bd596SCristiano Giuffrida #undef srv_version_str
173433d6423SLionel Sambuc 
174433d6423SLionel Sambuc   return srv_string;
175433d6423SLionel Sambuc }
176433d6423SLionel Sambuc 
177433d6423SLionel Sambuc /*===========================================================================*
178fb6bd596SCristiano Giuffrida  *			     srv_upd_to_string				     *
179fb6bd596SCristiano Giuffrida  *===========================================================================*/
180fb6bd596SCristiano Giuffrida char* srv_upd_to_string(struct rprocupd *rpupd)
181fb6bd596SCristiano Giuffrida {
182fb6bd596SCristiano Giuffrida    static char srv_upd_string[256];
183fb6bd596SCristiano Giuffrida    struct rprocpub *rpub, *next_rpub, *prev_rpub;
184fb6bd596SCristiano Giuffrida    rpub = rpupd->rp ? rpupd->rp->r_pub : NULL;
185fb6bd596SCristiano Giuffrida    next_rpub = rpupd->next_rpupd && rpupd->next_rpupd->rp ? rpupd->next_rpupd->rp->r_pub : NULL;
186fb6bd596SCristiano Giuffrida    prev_rpub = rpupd->prev_rpupd && rpupd->prev_rpupd->rp ? rpupd->prev_rpupd->rp->r_pub : NULL;
187fb6bd596SCristiano Giuffrida 
188fb6bd596SCristiano Giuffrida #define srv_ep(RPUB) (RPUB ? (RPUB)->endpoint : -1)
189fb6bd596SCristiano Giuffrida #define srv_upd_luflag_c(F) (rpupd->lu_flags & F ? '1' : '0')
190fb6bd596SCristiano Giuffrida #define srv_upd_iflag_c(F) (rpupd->init_flags & F ? '1' : '0')
191fb6bd596SCristiano Giuffrida 
192fb6bd596SCristiano Giuffrida    sprintf(srv_upd_string, "update (lu_flags(SAMPUNDRV)=%c%c%c%c%c%c%c%c%c, init_flags=(FCTD)=%c%c%c%c, state %d (%s), tm %lu, maxtime %lu, endpoint %d, state_data_gid %d, prev_ep %d, next_ep %d)",
193fb6bd596SCristiano Giuffrida        srv_upd_luflag_c(SEF_LU_SELF), srv_upd_luflag_c(SEF_LU_ASR),
194fb6bd596SCristiano Giuffrida        srv_upd_luflag_c(SEF_LU_MULTI), srv_upd_luflag_c(SEF_LU_PREPARE_ONLY),
195fb6bd596SCristiano Giuffrida        srv_upd_luflag_c(SEF_LU_UNSAFE), srv_upd_luflag_c(SEF_LU_NOMMAP),
196fb6bd596SCristiano Giuffrida        srv_upd_luflag_c(SEF_LU_DETACHED), srv_upd_luflag_c(SEF_LU_INCLUDES_RS),
197fb6bd596SCristiano Giuffrida        srv_upd_luflag_c(SEF_LU_INCLUDES_VM), srv_upd_iflag_c(SEF_INIT_FAIL),
198fb6bd596SCristiano Giuffrida        srv_upd_iflag_c(SEF_INIT_CRASH), srv_upd_iflag_c(SEF_INIT_TIMEOUT),
199fb6bd596SCristiano Giuffrida        srv_upd_iflag_c(SEF_INIT_DEFCB), rpupd->prepare_state,
200fb6bd596SCristiano Giuffrida        rpupd->prepare_state_data.eval_addr ? rpupd->prepare_state_data.eval_addr : "", rpupd->prepare_tm,
201fb6bd596SCristiano Giuffrida        rpupd->prepare_maxtime, srv_ep(rpub), rpupd->prepare_state_data_gid,
202fb6bd596SCristiano Giuffrida        srv_ep(prev_rpub), srv_ep(next_rpub));
203fb6bd596SCristiano Giuffrida 
204fb6bd596SCristiano Giuffrida    return srv_upd_string;
205fb6bd596SCristiano Giuffrida }
206fb6bd596SCristiano Giuffrida 
207fb6bd596SCristiano Giuffrida /*===========================================================================*
208fb6bd596SCristiano Giuffrida  *			     rs_asynsend				     *
209fb6bd596SCristiano Giuffrida  *===========================================================================*/
210fb6bd596SCristiano Giuffrida int rs_asynsend(struct rproc *rp, message *m_ptr, int no_reply)
211fb6bd596SCristiano Giuffrida {
212fb6bd596SCristiano Giuffrida   struct rprocpub *rpub;
213fb6bd596SCristiano Giuffrida   int r;
214fb6bd596SCristiano Giuffrida 
215fb6bd596SCristiano Giuffrida   rpub = rp->r_pub;
216fb6bd596SCristiano Giuffrida 
217fb6bd596SCristiano Giuffrida   if(no_reply) {
218fb6bd596SCristiano Giuffrida       r = asynsend3(rpub->endpoint, m_ptr, AMF_NOREPLY);
219fb6bd596SCristiano Giuffrida   }
220fb6bd596SCristiano Giuffrida   else {
221fb6bd596SCristiano Giuffrida       r = asynsend(rpub->endpoint, m_ptr);
222fb6bd596SCristiano Giuffrida   }
223fb6bd596SCristiano Giuffrida 
224fb6bd596SCristiano Giuffrida   if(rs_verbose)
225fb6bd596SCristiano Giuffrida       printf("RS: %s being asynsent to with message type %d, noreply=%d, result=%d\n",
226fb6bd596SCristiano Giuffrida           srv_to_string(rp), m_ptr->m_type, no_reply, r);
227fb6bd596SCristiano Giuffrida 
228fb6bd596SCristiano Giuffrida   return r;
229fb6bd596SCristiano Giuffrida }
230fb6bd596SCristiano Giuffrida 
231fb6bd596SCristiano Giuffrida /*===========================================================================*
232fb6bd596SCristiano Giuffrida  *			     rs_receive_ticks				     *
233fb6bd596SCristiano Giuffrida  *===========================================================================*/
234fb6bd596SCristiano Giuffrida int rs_receive_ticks(endpoint_t src, message *m_ptr,
235f16b761dSDavid van Moolenbroek     int *status_ptr, clock_t ticks)
236fb6bd596SCristiano Giuffrida {
237f16b761dSDavid van Moolenbroek /* IPC receive with timeout.  Implemented with IPC filters.  The timer
238f16b761dSDavid van Moolenbroek  * management logic comes from the tickdelay(3) implementation.
239f16b761dSDavid van Moolenbroek  */
240f16b761dSDavid van Moolenbroek   ipc_filter_el_t ipc_filter[2];
241f16b761dSDavid van Moolenbroek   clock_t time_left, uptime;
242f16b761dSDavid van Moolenbroek   int r, s, status;
243f16b761dSDavid van Moolenbroek 
244f16b761dSDavid van Moolenbroek   /* Use IPC filters to receive from the provided source and CLOCK only.
245f16b761dSDavid van Moolenbroek    * We make the hard assumption that RS did not already have IPC filters set.
246f16b761dSDavid van Moolenbroek    */
247f16b761dSDavid van Moolenbroek   memset(ipc_filter, 0, sizeof(ipc_filter));
248f16b761dSDavid van Moolenbroek   ipc_filter[0].flags = IPCF_MATCH_M_SOURCE;
249f16b761dSDavid van Moolenbroek   ipc_filter[0].m_source = CLOCK;
250f16b761dSDavid van Moolenbroek   ipc_filter[1].flags = IPCF_MATCH_M_SOURCE;
251f16b761dSDavid van Moolenbroek   ipc_filter[1].m_source = src;
252f16b761dSDavid van Moolenbroek 
253f16b761dSDavid van Moolenbroek   if ((s = sys_statectl(SYS_STATE_ADD_IPC_WL_FILTER, ipc_filter,
254f16b761dSDavid van Moolenbroek     sizeof(ipc_filter))) != OK)
255f16b761dSDavid van Moolenbroek       panic("RS: rs_receive_ticks: setting IPC filter failed: %d", s);
256f16b761dSDavid van Moolenbroek 
257f16b761dSDavid van Moolenbroek   /* Set a new alarm, and get information about the previous alarm. */
258f16b761dSDavid van Moolenbroek   if ((s = sys_setalarm2(ticks, FALSE, &time_left, &uptime)) != OK)
259f16b761dSDavid van Moolenbroek       panic("RS: rs_receive_ticks: setting alarm failed: %d", s);
260f16b761dSDavid van Moolenbroek 
261f16b761dSDavid van Moolenbroek   /* Receive a message from either the provided source or CLOCK. */
262f16b761dSDavid van Moolenbroek   while ((r = ipc_receive(ANY, m_ptr, &status)) == OK &&
263f16b761dSDavid van Moolenbroek     m_ptr->m_source == CLOCK) {
264f16b761dSDavid van Moolenbroek       /* Ignore early clock notifications. */
265f16b761dSDavid van Moolenbroek       if (m_ptr->m_type == NOTIFY_MESSAGE &&
266f16b761dSDavid van Moolenbroek         m_ptr->m_notify.timestamp >= uptime + ticks)
267f16b761dSDavid van Moolenbroek           break;
268f16b761dSDavid van Moolenbroek   }
269f16b761dSDavid van Moolenbroek 
270f16b761dSDavid van Moolenbroek   /* Reinstate the previous alarm, if any. Do this in any case. */
271f16b761dSDavid van Moolenbroek   if (time_left != TMR_NEVER) {
272f16b761dSDavid van Moolenbroek       if (time_left > ticks)
273f16b761dSDavid van Moolenbroek           time_left -= ticks;
274f16b761dSDavid van Moolenbroek       else
275f16b761dSDavid van Moolenbroek           time_left = 1; /* force an alarm */
276f16b761dSDavid van Moolenbroek 
277f16b761dSDavid van Moolenbroek       (void)sys_setalarm(time_left, FALSE);
278f16b761dSDavid van Moolenbroek   }
279f16b761dSDavid van Moolenbroek 
280f16b761dSDavid van Moolenbroek   /* Clear the IPC filters. */
281f16b761dSDavid van Moolenbroek   if ((s = sys_statectl(SYS_STATE_CLEAR_IPC_FILTERS, NULL, 0)) != OK)
282f16b761dSDavid van Moolenbroek       panic("RS: rs_receive_ticks: setting IPC filter failed: %d", s);
283f16b761dSDavid van Moolenbroek 
284f16b761dSDavid van Moolenbroek   /* If the last received message was from CLOCK, we timed out. */
285f16b761dSDavid van Moolenbroek   if (r == OK && m_ptr->m_source == CLOCK)
286f16b761dSDavid van Moolenbroek       return ENOTREADY;
287f16b761dSDavid van Moolenbroek 
288f16b761dSDavid van Moolenbroek   if (status_ptr != NULL)
289f16b761dSDavid van Moolenbroek       *status_ptr = status;
290f16b761dSDavid van Moolenbroek   return r;
291fb6bd596SCristiano Giuffrida }
292fb6bd596SCristiano Giuffrida 
293fb6bd596SCristiano Giuffrida /*===========================================================================*
294433d6423SLionel Sambuc  *				reply					     *
295433d6423SLionel Sambuc  *===========================================================================*/
296433d6423SLionel Sambuc void reply(who, rp, m_ptr)
297433d6423SLionel Sambuc endpoint_t who;                        	/* replyee */
298433d6423SLionel Sambuc struct rproc *rp;                       /* replyee slot (if any) */
299433d6423SLionel Sambuc message *m_ptr;                         /* reply message */
300433d6423SLionel Sambuc {
301433d6423SLionel Sambuc   int r;				/* send status */
302433d6423SLionel Sambuc 
303433d6423SLionel Sambuc   /* No need to actually reply to RS */
304433d6423SLionel Sambuc   if(who == RS_PROC_NR) {
305433d6423SLionel Sambuc       return;
306433d6423SLionel Sambuc   }
307433d6423SLionel Sambuc 
308433d6423SLionel Sambuc   if(rs_verbose && rp)
309fb6bd596SCristiano Giuffrida       printf("RS: %s being replied to with message type %d\n", srv_to_string(rp), m_ptr->m_type);
310433d6423SLionel Sambuc 
311433d6423SLionel Sambuc   r = ipc_sendnb(who, m_ptr);		/* send the message */
312433d6423SLionel Sambuc   if (r != OK)
313433d6423SLionel Sambuc       printf("RS: unable to send reply to %d: %d\n", who, r);
314433d6423SLionel Sambuc }
315433d6423SLionel Sambuc 
316433d6423SLionel Sambuc /*===========================================================================*
317433d6423SLionel Sambuc  *			      late_reply				     *
318433d6423SLionel Sambuc  *===========================================================================*/
319433d6423SLionel Sambuc void late_reply(rp, code)
320433d6423SLionel Sambuc struct rproc *rp;				/* pointer to process slot */
321433d6423SLionel Sambuc int code;					/* status code */
322433d6423SLionel Sambuc {
323433d6423SLionel Sambuc /* If a caller is waiting for a reply, unblock it. */
324433d6423SLionel Sambuc   if(rp->r_flags & RS_LATEREPLY) {
325433d6423SLionel Sambuc       message m;
326433d6423SLionel Sambuc       m.m_type = code;
327433d6423SLionel Sambuc       if(rs_verbose)
328433d6423SLionel Sambuc           printf("RS: %s late reply %d to %d for request %d\n",
329433d6423SLionel Sambuc               srv_to_string(rp), code, rp->r_caller, rp->r_caller_request);
330433d6423SLionel Sambuc 
331433d6423SLionel Sambuc       reply(rp->r_caller, NULL, &m);
332433d6423SLionel Sambuc       rp->r_flags &= ~RS_LATEREPLY;
333433d6423SLionel Sambuc   }
334433d6423SLionel Sambuc }
335433d6423SLionel Sambuc 
336433d6423SLionel Sambuc /*===========================================================================*
337433d6423SLionel Sambuc  *				rs_isokendpt			 	     *
338433d6423SLionel Sambuc  *===========================================================================*/
339433d6423SLionel Sambuc int rs_isokendpt(endpoint_t endpoint, int *proc)
340433d6423SLionel Sambuc {
341433d6423SLionel Sambuc 	*proc = _ENDPOINT_P(endpoint);
342433d6423SLionel Sambuc 	if(*proc < -NR_TASKS || *proc >= NR_PROCS)
343433d6423SLionel Sambuc 		return EINVAL;
344433d6423SLionel Sambuc 
345433d6423SLionel Sambuc 	return OK;
346433d6423SLionel Sambuc }
347433d6423SLionel Sambuc 
348433d6423SLionel Sambuc /*===========================================================================*
349433d6423SLionel Sambuc  *				sched_init_proc			 	     *
350433d6423SLionel Sambuc  *===========================================================================*/
351433d6423SLionel Sambuc int sched_init_proc(struct rproc *rp)
352433d6423SLionel Sambuc {
353433d6423SLionel Sambuc   int s;
354433d6423SLionel Sambuc   int is_usr_proc;
355433d6423SLionel Sambuc 
356433d6423SLionel Sambuc   /* Make sure user processes have no scheduler. PM deals with them. */
357433d6423SLionel Sambuc   is_usr_proc = !(rp->r_priv.s_flags & SYS_PROC);
358433d6423SLionel Sambuc   if(is_usr_proc) assert(rp->r_scheduler == NONE);
359433d6423SLionel Sambuc   if(!is_usr_proc) assert(rp->r_scheduler != NONE);
360433d6423SLionel Sambuc 
361433d6423SLionel Sambuc   /* Start scheduling for the given process. */
362433d6423SLionel Sambuc   if ((s = sched_start(rp->r_scheduler, rp->r_pub->endpoint,
363433d6423SLionel Sambuc       RS_PROC_NR, rp->r_priority, rp->r_quantum, rp->r_cpu,
364433d6423SLionel Sambuc       &rp->r_scheduler)) != OK) {
365433d6423SLionel Sambuc       return s;
366433d6423SLionel Sambuc   }
367433d6423SLionel Sambuc 
368433d6423SLionel Sambuc   return s;
369433d6423SLionel Sambuc }
370433d6423SLionel Sambuc 
371433d6423SLionel Sambuc /*===========================================================================*
372433d6423SLionel Sambuc  *				update_sig_mgrs			 	     *
373433d6423SLionel Sambuc  *===========================================================================*/
374433d6423SLionel Sambuc int update_sig_mgrs(struct rproc *rp, endpoint_t sig_mgr,
375433d6423SLionel Sambuc 	endpoint_t bak_sig_mgr)
376433d6423SLionel Sambuc {
377433d6423SLionel Sambuc   int r;
378433d6423SLionel Sambuc   struct rprocpub *rpub;
379433d6423SLionel Sambuc 
380433d6423SLionel Sambuc   rpub = rp->r_pub;
381433d6423SLionel Sambuc 
382433d6423SLionel Sambuc   if(rs_verbose)
383433d6423SLionel Sambuc       printf("RS: %s updates signal managers: %d%s / %d\n", srv_to_string(rp),
384433d6423SLionel Sambuc           sig_mgr == SELF ? rpub->endpoint : sig_mgr,
385433d6423SLionel Sambuc           sig_mgr == SELF ? "(SELF)" : "",
386433d6423SLionel Sambuc           bak_sig_mgr == NONE ? -1 : bak_sig_mgr);
387433d6423SLionel Sambuc 
388433d6423SLionel Sambuc   /* Synch privilege structure with the kernel. */
389433d6423SLionel Sambuc   if ((r = sys_getpriv(&rp->r_priv, rpub->endpoint)) != OK) {
390433d6423SLionel Sambuc       printf("unable to synch privilege structure: %d", r);
391433d6423SLionel Sambuc       return r;
392433d6423SLionel Sambuc   }
393433d6423SLionel Sambuc 
394433d6423SLionel Sambuc   /* Set signal managers. */
395433d6423SLionel Sambuc   rp->r_priv.s_sig_mgr = sig_mgr;
396433d6423SLionel Sambuc   rp->r_priv.s_bak_sig_mgr = bak_sig_mgr;
397433d6423SLionel Sambuc 
398433d6423SLionel Sambuc   /* Update privilege structure. */
399433d6423SLionel Sambuc   r = sys_privctl(rpub->endpoint, SYS_PRIV_UPDATE_SYS, &rp->r_priv);
400433d6423SLionel Sambuc   if(r != OK) {
401433d6423SLionel Sambuc       printf("unable to update privilege structure: %d", r);
402433d6423SLionel Sambuc       return r;
403433d6423SLionel Sambuc   }
404433d6423SLionel Sambuc 
405433d6423SLionel Sambuc   return OK;
406433d6423SLionel Sambuc }
407433d6423SLionel Sambuc 
408fb6bd596SCristiano Giuffrida /*===========================================================================*
409fb6bd596SCristiano Giuffrida  *				rs_is_idle			 	     *
410fb6bd596SCristiano Giuffrida  *===========================================================================*/
411fb6bd596SCristiano Giuffrida int rs_is_idle()
412fb6bd596SCristiano Giuffrida {
413fb6bd596SCristiano Giuffrida   int slot_nr;
414fb6bd596SCristiano Giuffrida   struct rproc *rp;
415fb6bd596SCristiano Giuffrida   for (slot_nr = 0; slot_nr < NR_SYS_PROCS; slot_nr++) {
416fb6bd596SCristiano Giuffrida       rp = &rproc[slot_nr];
417fb6bd596SCristiano Giuffrida       if (!(rp->r_flags & RS_IN_USE)) {
418fb6bd596SCristiano Giuffrida           continue;
419fb6bd596SCristiano Giuffrida       }
420fb6bd596SCristiano Giuffrida       if(!RS_SRV_IS_IDLE(rp)) {
421fb6bd596SCristiano Giuffrida           return 0;
422fb6bd596SCristiano Giuffrida       }
423fb6bd596SCristiano Giuffrida   }
424fb6bd596SCristiano Giuffrida   return 1;
425fb6bd596SCristiano Giuffrida }
426fb6bd596SCristiano Giuffrida 
427fb6bd596SCristiano Giuffrida /*===========================================================================*
428fb6bd596SCristiano Giuffrida  *				rs_idle_period				     *
429fb6bd596SCristiano Giuffrida  *===========================================================================*/
430fb6bd596SCristiano Giuffrida void rs_idle_period()
431fb6bd596SCristiano Giuffrida {
432fb6bd596SCristiano Giuffrida   struct rproc *rp;
433fb6bd596SCristiano Giuffrida   struct rprocpub *rpub;
434fb6bd596SCristiano Giuffrida   int r;
435fb6bd596SCristiano Giuffrida 
436fb6bd596SCristiano Giuffrida   /* Not much to do when RS is not idle. */
437e3f3566eSDavid van Moolenbroek   /* However, to avoid deadlocks it is absolutely necessary that during system
438e3f3566eSDavid van Moolenbroek    * shutdown, dead services are actually cleaned up. Override the idle check.
439e3f3566eSDavid van Moolenbroek    */
440e3f3566eSDavid van Moolenbroek   if(!shutting_down && !rs_is_idle()) {
441fb6bd596SCristiano Giuffrida       return;
442fb6bd596SCristiano Giuffrida   }
443fb6bd596SCristiano Giuffrida 
444fb6bd596SCristiano Giuffrida   /* Cleanup dead services. */
445fb6bd596SCristiano Giuffrida   for (rp=BEG_RPROC_ADDR; rp<END_RPROC_ADDR; rp++) {
446fb6bd596SCristiano Giuffrida       if((rp->r_flags & (RS_IN_USE|RS_DEAD)) == (RS_IN_USE|RS_DEAD)) {
447fb6bd596SCristiano Giuffrida           cleanup_service(rp);
448fb6bd596SCristiano Giuffrida       }
449fb6bd596SCristiano Giuffrida   }
450fb6bd596SCristiano Giuffrida 
451e3f3566eSDavid van Moolenbroek   if (shutting_down) return;
452e3f3566eSDavid van Moolenbroek 
453fb6bd596SCristiano Giuffrida   /* Create missing replicas when necessary. */
454fb6bd596SCristiano Giuffrida   for (rp=BEG_RPROC_ADDR; rp<END_RPROC_ADDR; rp++) {
455fb6bd596SCristiano Giuffrida       rpub = rp->r_pub;
456fb6bd596SCristiano Giuffrida       if((rp->r_flags & RS_ACTIVE) && (rpub->sys_flags & SF_USE_REPL) && rp->r_next_rp == NULL) {
457fb6bd596SCristiano Giuffrida           if(rpub->endpoint == VM_PROC_NR && (rp->r_old_rp || rp->r_new_rp)) {
458fb6bd596SCristiano Giuffrida               /* Only one replica at the time for VM. */
459fb6bd596SCristiano Giuffrida               continue;
460fb6bd596SCristiano Giuffrida           }
461fb6bd596SCristiano Giuffrida           if ((r = clone_service(rp, RST_SYS_PROC, 0)) != OK) {
462fb6bd596SCristiano Giuffrida               printf("RS: warning: unable to clone %s (error %d)\n",
463fb6bd596SCristiano Giuffrida                   srv_to_string(rp), r);
464fb6bd596SCristiano Giuffrida           }
465fb6bd596SCristiano Giuffrida       }
466fb6bd596SCristiano Giuffrida   }
467fb6bd596SCristiano Giuffrida }
468fb6bd596SCristiano Giuffrida 
469fb6bd596SCristiano Giuffrida /*===========================================================================*
470fb6bd596SCristiano Giuffrida  *			   print_services_status		 	     *
471fb6bd596SCristiano Giuffrida  *===========================================================================*/
472fb6bd596SCristiano Giuffrida void print_services_status()
473fb6bd596SCristiano Giuffrida {
474fb6bd596SCristiano Giuffrida   int slot_nr;
475fb6bd596SCristiano Giuffrida   struct rproc *rp;
476fb6bd596SCristiano Giuffrida   int num_services = 0;
477fb6bd596SCristiano Giuffrida   int num_service_instances = 0;
478fb6bd596SCristiano Giuffrida   int is_verbose = 1;
479fb6bd596SCristiano Giuffrida 
480fb6bd596SCristiano Giuffrida   PRINT_SEP();
481fb6bd596SCristiano Giuffrida   printf("Printing information about all the system service instances:\n");
482fb6bd596SCristiano Giuffrida   PRINT_SEP();
483fb6bd596SCristiano Giuffrida   for (slot_nr = 0; slot_nr < NR_SYS_PROCS; slot_nr++) {
484fb6bd596SCristiano Giuffrida       rp = &rproc[slot_nr];
485fb6bd596SCristiano Giuffrida       if (!(rp->r_flags & RS_IN_USE)) {
486fb6bd596SCristiano Giuffrida           continue;
487fb6bd596SCristiano Giuffrida       }
488fb6bd596SCristiano Giuffrida       if (rp->r_flags & RS_ACTIVE) {
489fb6bd596SCristiano Giuffrida           num_services++;
490fb6bd596SCristiano Giuffrida       }
491fb6bd596SCristiano Giuffrida       num_service_instances++;
492fb6bd596SCristiano Giuffrida       printf("%s\n", srv_to_string_gen(rp, is_verbose));
493fb6bd596SCristiano Giuffrida   }
494fb6bd596SCristiano Giuffrida   PRINT_SEP();
495fb6bd596SCristiano Giuffrida   printf("Found %d service instances, of which %d are active services\n",
496fb6bd596SCristiano Giuffrida   	  num_service_instances, num_services);
497fb6bd596SCristiano Giuffrida   PRINT_SEP();
498fb6bd596SCristiano Giuffrida }
499fb6bd596SCristiano Giuffrida 
500fb6bd596SCristiano Giuffrida /*===========================================================================*
501fb6bd596SCristiano Giuffrida  *			    print_update_status 		 	     *
502fb6bd596SCristiano Giuffrida  *===========================================================================*/
503fb6bd596SCristiano Giuffrida void print_update_status()
504fb6bd596SCristiano Giuffrida {
505fb6bd596SCristiano Giuffrida   struct rprocupd *prev_rpupd, *rpupd;
506fb6bd596SCristiano Giuffrida   int is_updating = RUPDATE_IS_UPDATING();
507fb6bd596SCristiano Giuffrida   int i;
508fb6bd596SCristiano Giuffrida 
509fb6bd596SCristiano Giuffrida #define rupdate_flag_c(F) (rupdate.flags & F ? '1' : '0')
510fb6bd596SCristiano Giuffrida 
511fb6bd596SCristiano Giuffrida   if(!is_updating && !RUPDATE_IS_UPD_SCHEDULED()) {
512fb6bd596SCristiano Giuffrida       PRINT_SEP();
513fb6bd596SCristiano Giuffrida       printf("No update is in progress or scheduled\n");
514fb6bd596SCristiano Giuffrida       PRINT_SEP();
515fb6bd596SCristiano Giuffrida       return;
516fb6bd596SCristiano Giuffrida   }
517fb6bd596SCristiano Giuffrida 
518fb6bd596SCristiano Giuffrida   PRINT_SEP();
519fb6bd596SCristiano Giuffrida   i = 1;
520fb6bd596SCristiano Giuffrida   printf("A %s-component update is %s, flags(UIRV)=%c%c%c%c:\n", RUPDATE_IS_UPD_MULTI() ? "multi" : "single",
521fb6bd596SCristiano Giuffrida       is_updating ? "in progress" : "scheduled",
522fb6bd596SCristiano Giuffrida       rupdate_flag_c(RS_UPDATING), rupdate_flag_c(RS_INITIALIZING),
523fb6bd596SCristiano Giuffrida       rupdate.rs_rpupd ? '1' : '0', rupdate.vm_rpupd ? '1' : '0');
524fb6bd596SCristiano Giuffrida   PRINT_SEP();
525fb6bd596SCristiano Giuffrida   RUPDATE_ITER(rupdate.first_rpupd, prev_rpupd, rpupd,
526fb6bd596SCristiano Giuffrida       printf("%d. %s %s %s\n", i++, srv_to_string(rpupd->rp),
527fb6bd596SCristiano Giuffrida           is_updating ? "updating with" : "scheduled for",
528fb6bd596SCristiano Giuffrida           srv_upd_to_string(rpupd));
529fb6bd596SCristiano Giuffrida   );
530fb6bd596SCristiano Giuffrida   PRINT_SEP();
531fb6bd596SCristiano Giuffrida 
532fb6bd596SCristiano Giuffrida #undef rupdate_flag_c
533fb6bd596SCristiano Giuffrida }
534fb6bd596SCristiano Giuffrida 
535