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 *===========================================================================*/
init_service(struct rproc * rp,int type,int flags)18fb6bd596SCristiano Giuffrida int init_service(struct rproc *rp, int type, int flags)
19433d6423SLionel Sambuc {
20728b0e5bSDavid van Moolenbroek int r, prepare_state;
21433d6423SLionel Sambuc message m;
22433d6423SLionel Sambuc endpoint_t old_endpoint;
23433d6423SLionel Sambuc
24433d6423SLionel Sambuc rp->r_flags |= RS_INITIALIZING; /* now initializing */
25d91f738bSDavid van Moolenbroek rp->r_alive_tm = getticks();
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;
35728b0e5bSDavid van Moolenbroek prepare_state = SEF_LU_STATE_NULL;
36433d6423SLionel Sambuc if(rp->r_old_rp) {
37fb6bd596SCristiano Giuffrida old_endpoint = rp->r_upd.state_endpoint;
38728b0e5bSDavid van Moolenbroek prepare_state = rp->r_upd.prepare_state;
39433d6423SLionel Sambuc }
40433d6423SLionel Sambuc else if(rp->r_prev_rp) {
41433d6423SLionel Sambuc old_endpoint = rp->r_prev_rp->r_pub->endpoint;
42433d6423SLionel Sambuc }
43433d6423SLionel Sambuc
44fb6bd596SCristiano Giuffrida /* Check flags. */
45fb6bd596SCristiano Giuffrida if(rp->r_pub->sys_flags & SF_USE_SCRIPT) {
46fb6bd596SCristiano Giuffrida flags |= SEF_INIT_SCRIPT_RESTART;
47fb6bd596SCristiano Giuffrida }
48fb6bd596SCristiano Giuffrida
49433d6423SLionel Sambuc /* Send initialization message. */
50433d6423SLionel Sambuc m.m_type = RS_INIT;
51fb6bd596SCristiano Giuffrida m.m_rs_init.type = (short) type;
52fb6bd596SCristiano Giuffrida m.m_rs_init.flags = flags;
53433d6423SLionel Sambuc m.m_rs_init.rproctab_gid = rinit.rproctab_gid;
54433d6423SLionel Sambuc m.m_rs_init.old_endpoint = old_endpoint;
55fb6bd596SCristiano Giuffrida m.m_rs_init.restarts = (short) rp->r_restarts+1;
56fb6bd596SCristiano Giuffrida m.m_rs_init.buff_addr = rp->r_map_prealloc_addr;
57fb6bd596SCristiano Giuffrida m.m_rs_init.buff_len = rp->r_map_prealloc_len;
58728b0e5bSDavid van Moolenbroek m.m_rs_init.prepare_state = prepare_state;
59fb6bd596SCristiano Giuffrida rp->r_map_prealloc_addr = 0;
60fb6bd596SCristiano Giuffrida rp->r_map_prealloc_len = 0;
61fb6bd596SCristiano Giuffrida r = rs_asynsend(rp, &m, 0);
62433d6423SLionel Sambuc
63433d6423SLionel Sambuc return r;
64433d6423SLionel Sambuc }
65433d6423SLionel Sambuc
66433d6423SLionel Sambuc /*===========================================================================*
673837bb5cSCristiano Giuffrida * fi_service *
683837bb5cSCristiano Giuffrida *===========================================================================*/
fi_service(struct rproc * rp)693837bb5cSCristiano Giuffrida int fi_service(struct rproc *rp)
703837bb5cSCristiano Giuffrida {
713837bb5cSCristiano Giuffrida message m;
723837bb5cSCristiano Giuffrida
733837bb5cSCristiano Giuffrida /* Send fault injection message. */
743837bb5cSCristiano Giuffrida m.m_type = COMMON_REQ_FI_CTL;
753837bb5cSCristiano Giuffrida m.m_lsys_fi_ctl.subtype = RS_FI_CRASH;
763837bb5cSCristiano Giuffrida return rs_asynsend(rp, &m, 0);
773837bb5cSCristiano Giuffrida }
783837bb5cSCristiano Giuffrida
793837bb5cSCristiano Giuffrida /*===========================================================================*
80433d6423SLionel Sambuc * fill_send_mask *
81433d6423SLionel Sambuc *===========================================================================*/
fill_send_mask(send_mask,set_bits)82433d6423SLionel Sambuc void fill_send_mask(send_mask, set_bits)
83433d6423SLionel Sambuc sys_map_t *send_mask; /* the send mask to fill in */
84433d6423SLionel Sambuc int set_bits; /* TRUE sets all bits, FALSE clears all bits */
85433d6423SLionel Sambuc {
86433d6423SLionel Sambuc /* Fill in a send mask. */
87433d6423SLionel Sambuc int i;
88433d6423SLionel Sambuc
89433d6423SLionel Sambuc for (i = 0; i < NR_SYS_PROCS; i++) {
90433d6423SLionel Sambuc if (set_bits)
91433d6423SLionel Sambuc set_sys_bit(*send_mask, i);
92433d6423SLionel Sambuc else
93433d6423SLionel Sambuc unset_sys_bit(*send_mask, i);
94433d6423SLionel Sambuc }
95433d6423SLionel Sambuc }
96433d6423SLionel Sambuc
97433d6423SLionel Sambuc /*===========================================================================*
98433d6423SLionel Sambuc * fill_call_mask *
99433d6423SLionel Sambuc *===========================================================================*/
fill_call_mask(calls,tot_nr_calls,call_mask,call_base,is_init)100433d6423SLionel Sambuc void fill_call_mask(calls, tot_nr_calls, call_mask, call_base, is_init)
101433d6423SLionel Sambuc int *calls; /* the unordered set of calls */
102433d6423SLionel Sambuc int tot_nr_calls; /* the total number of calls */
103433d6423SLionel Sambuc bitchunk_t *call_mask; /* the call mask to fill in */
104433d6423SLionel Sambuc int call_base; /* the base offset for the calls */
105433d6423SLionel Sambuc int is_init; /* set when initializing a call mask */
106433d6423SLionel Sambuc {
107433d6423SLionel Sambuc /* Fill a call mask from an unordered set of calls. */
108433d6423SLionel Sambuc int i;
109433d6423SLionel Sambuc int call_mask_size, nr_calls;
110433d6423SLionel Sambuc
111433d6423SLionel Sambuc call_mask_size = BITMAP_CHUNKS(tot_nr_calls);
112433d6423SLionel Sambuc
113433d6423SLionel Sambuc /* Count the number of calls to fill in. */
114433d6423SLionel Sambuc nr_calls = 0;
115433d6423SLionel Sambuc for(i=0; calls[i] != NULL_C; i++) {
116433d6423SLionel Sambuc nr_calls++;
117433d6423SLionel Sambuc }
118433d6423SLionel Sambuc
119433d6423SLionel Sambuc /* See if all calls are allowed and call mask must be completely filled. */
120433d6423SLionel Sambuc if(nr_calls == 1 && calls[0] == ALL_C) {
121433d6423SLionel Sambuc for(i=0; i < call_mask_size; i++) {
122433d6423SLionel Sambuc call_mask[i] = (~0);
123433d6423SLionel Sambuc }
124433d6423SLionel Sambuc }
125433d6423SLionel Sambuc else {
126433d6423SLionel Sambuc /* When initializing, reset the mask first. */
127433d6423SLionel Sambuc if(is_init) {
128433d6423SLionel Sambuc for(i=0; i < call_mask_size; i++) {
129433d6423SLionel Sambuc call_mask[i] = 0;
130433d6423SLionel Sambuc }
131433d6423SLionel Sambuc }
132433d6423SLionel Sambuc /* Enter calls bit by bit. */
133433d6423SLionel Sambuc for(i=0; i < nr_calls; i++) {
134433d6423SLionel Sambuc SET_BIT(call_mask, calls[i] - call_base);
135433d6423SLionel Sambuc }
136433d6423SLionel Sambuc }
137433d6423SLionel Sambuc }
138433d6423SLionel Sambuc
139433d6423SLionel Sambuc /*===========================================================================*
140fb6bd596SCristiano Giuffrida * srv_to_string_gen *
141433d6423SLionel Sambuc *===========================================================================*/
srv_to_string_gen(struct rproc * rp,int is_verbose)142fb6bd596SCristiano Giuffrida char* srv_to_string_gen(struct rproc *rp, int is_verbose)
143433d6423SLionel Sambuc {
144433d6423SLionel Sambuc struct rprocpub *rpub;
145433d6423SLionel Sambuc int slot_nr;
146433d6423SLionel Sambuc char *srv_string;
147*0a6a1f1dSLionel Sambuc /* LSC: Workaround broken GCC which complains that a const variable is not constant... */
148*0a6a1f1dSLionel Sambuc #define max_len (RS_MAX_LABEL_LEN + 256)
149*0a6a1f1dSLionel Sambuc static char srv_string_pool[3][max_len];
150433d6423SLionel Sambuc static int srv_string_pool_index = 0;
151433d6423SLionel Sambuc
152433d6423SLionel Sambuc rpub = rp->r_pub;
153433d6423SLionel Sambuc slot_nr = rp - rproc;
154433d6423SLionel Sambuc srv_string = srv_string_pool[srv_string_pool_index];
155433d6423SLionel Sambuc srv_string_pool_index = (srv_string_pool_index + 1) % 3;
156433d6423SLionel Sambuc
157433d6423SLionel Sambuc #define srv_str(cmd) ((cmd) == NULL || (cmd)[0] == '\0' ? "_" : (cmd))
158433d6423SLionel Sambuc #define srv_active_str(rp) ((rp)->r_flags & RS_ACTIVE ? "*" : " ")
159433d6423SLionel Sambuc #define srv_version_str(rp) ((rp)->r_new_rp || (rp)->r_next_rp ? "-" : \
160433d6423SLionel Sambuc ((rp)->r_old_rp || (rp)->r_prev_rp ? "+" : " "))
161433d6423SLionel Sambuc
162fb6bd596SCristiano Giuffrida if(is_verbose) {
163*0a6a1f1dSLionel Sambuc snprintf(srv_string, max_len, "service '%s'%s%s"
164*0a6a1f1dSLionel Sambuc "(slot %d, ep %d, pid %d, cmd %s,"
165*0a6a1f1dSLionel Sambuc " script %s, proc %s, major %d,"
166*0a6a1f1dSLionel Sambuc " flags 0x%03x, sys_flags 0x%02x)",
167433d6423SLionel Sambuc rpub->label, srv_active_str(rp), srv_version_str(rp),
168433d6423SLionel Sambuc slot_nr, rpub->endpoint, rp->r_pid, srv_str(rp->r_cmd),
169433d6423SLionel Sambuc srv_str(rp->r_script), srv_str(rpub->proc_name), rpub->dev_nr,
170433d6423SLionel Sambuc rp->r_flags, rpub->sys_flags);
171fb6bd596SCristiano Giuffrida }
172fb6bd596SCristiano Giuffrida else {
173*0a6a1f1dSLionel Sambuc snprintf(srv_string, max_len, "service '%s'%s%s(slot %d, ep %d, pid %d)",
174433d6423SLionel Sambuc rpub->label, srv_active_str(rp), srv_version_str(rp),
175433d6423SLionel Sambuc slot_nr, rpub->endpoint, rp->r_pid);
176fb6bd596SCristiano Giuffrida }
177fb6bd596SCristiano Giuffrida
178fb6bd596SCristiano Giuffrida #undef srv_str
179fb6bd596SCristiano Giuffrida #undef srv_active_str
180fb6bd596SCristiano Giuffrida #undef srv_version_str
181*0a6a1f1dSLionel Sambuc #undef max_len
182433d6423SLionel Sambuc
183433d6423SLionel Sambuc return srv_string;
184433d6423SLionel Sambuc }
185433d6423SLionel Sambuc
186433d6423SLionel Sambuc /*===========================================================================*
187fb6bd596SCristiano Giuffrida * srv_upd_to_string *
188fb6bd596SCristiano Giuffrida *===========================================================================*/
srv_upd_to_string(struct rprocupd * rpupd)189fb6bd596SCristiano Giuffrida char* srv_upd_to_string(struct rprocupd *rpupd)
190fb6bd596SCristiano Giuffrida {
191fb6bd596SCristiano Giuffrida static char srv_upd_string[256];
192fb6bd596SCristiano Giuffrida struct rprocpub *rpub, *next_rpub, *prev_rpub;
193fb6bd596SCristiano Giuffrida rpub = rpupd->rp ? rpupd->rp->r_pub : NULL;
194fb6bd596SCristiano Giuffrida next_rpub = rpupd->next_rpupd && rpupd->next_rpupd->rp ? rpupd->next_rpupd->rp->r_pub : NULL;
195fb6bd596SCristiano Giuffrida prev_rpub = rpupd->prev_rpupd && rpupd->prev_rpupd->rp ? rpupd->prev_rpupd->rp->r_pub : NULL;
196fb6bd596SCristiano Giuffrida
197fb6bd596SCristiano Giuffrida #define srv_ep(RPUB) (RPUB ? (RPUB)->endpoint : -1)
198fb6bd596SCristiano Giuffrida #define srv_upd_luflag_c(F) (rpupd->lu_flags & F ? '1' : '0')
199fb6bd596SCristiano Giuffrida #define srv_upd_iflag_c(F) (rpupd->init_flags & F ? '1' : '0')
200fb6bd596SCristiano Giuffrida
201*0a6a1f1dSLionel Sambuc snprintf(srv_upd_string, sizeof(srv_upd_string), "update (lu_flags(SAMPNDRV)="
202*0a6a1f1dSLionel Sambuc "%c%c%c%c%c%c%c%c,"
203*0a6a1f1dSLionel Sambuc " init_flags=(FCTD)=%c%c%c%c, state %d (%s),"
204*0a6a1f1dSLionel Sambuc " tm %u, maxtime %u, endpoint %d,"
205*0a6a1f1dSLionel Sambuc " state_data_gid %d, prev_ep %d, next_ep %d)",
206fb6bd596SCristiano Giuffrida srv_upd_luflag_c(SEF_LU_SELF), srv_upd_luflag_c(SEF_LU_ASR),
207fb6bd596SCristiano Giuffrida srv_upd_luflag_c(SEF_LU_MULTI), srv_upd_luflag_c(SEF_LU_PREPARE_ONLY),
208c0df94ecSDavid van Moolenbroek srv_upd_luflag_c(SEF_LU_NOMMAP), srv_upd_luflag_c(SEF_LU_DETACHED),
209c0df94ecSDavid van Moolenbroek srv_upd_luflag_c(SEF_LU_INCLUDES_RS),
210fb6bd596SCristiano Giuffrida srv_upd_luflag_c(SEF_LU_INCLUDES_VM), srv_upd_iflag_c(SEF_INIT_FAIL),
211fb6bd596SCristiano Giuffrida srv_upd_iflag_c(SEF_INIT_CRASH), srv_upd_iflag_c(SEF_INIT_TIMEOUT),
212fb6bd596SCristiano Giuffrida srv_upd_iflag_c(SEF_INIT_DEFCB), rpupd->prepare_state,
213*0a6a1f1dSLionel Sambuc rpupd->prepare_state_data.eval_addr ? rpupd->prepare_state_data.eval_addr : "",
214*0a6a1f1dSLionel Sambuc rpupd->prepare_tm, rpupd->prepare_maxtime, srv_ep(rpub),
215*0a6a1f1dSLionel Sambuc rpupd->prepare_state_data_gid, srv_ep(prev_rpub), srv_ep(next_rpub));
216fb6bd596SCristiano Giuffrida
217fb6bd596SCristiano Giuffrida return srv_upd_string;
218fb6bd596SCristiano Giuffrida }
219fb6bd596SCristiano Giuffrida
220fb6bd596SCristiano Giuffrida /*===========================================================================*
221fb6bd596SCristiano Giuffrida * rs_asynsend *
222fb6bd596SCristiano Giuffrida *===========================================================================*/
rs_asynsend(struct rproc * rp,message * m_ptr,int no_reply)223fb6bd596SCristiano Giuffrida int rs_asynsend(struct rproc *rp, message *m_ptr, int no_reply)
224fb6bd596SCristiano Giuffrida {
225fb6bd596SCristiano Giuffrida struct rprocpub *rpub;
226fb6bd596SCristiano Giuffrida int r;
227fb6bd596SCristiano Giuffrida
228fb6bd596SCristiano Giuffrida rpub = rp->r_pub;
229fb6bd596SCristiano Giuffrida
230fb6bd596SCristiano Giuffrida if(no_reply) {
231fb6bd596SCristiano Giuffrida r = asynsend3(rpub->endpoint, m_ptr, AMF_NOREPLY);
232fb6bd596SCristiano Giuffrida }
233fb6bd596SCristiano Giuffrida else {
234fb6bd596SCristiano Giuffrida r = asynsend(rpub->endpoint, m_ptr);
235fb6bd596SCristiano Giuffrida }
236fb6bd596SCristiano Giuffrida
237fb6bd596SCristiano Giuffrida if(rs_verbose)
238fb6bd596SCristiano Giuffrida printf("RS: %s being asynsent to with message type %d, noreply=%d, result=%d\n",
239fb6bd596SCristiano Giuffrida srv_to_string(rp), m_ptr->m_type, no_reply, r);
240fb6bd596SCristiano Giuffrida
241fb6bd596SCristiano Giuffrida return r;
242fb6bd596SCristiano Giuffrida }
243fb6bd596SCristiano Giuffrida
244fb6bd596SCristiano Giuffrida /*===========================================================================*
245fb6bd596SCristiano Giuffrida * rs_receive_ticks *
246fb6bd596SCristiano Giuffrida *===========================================================================*/
rs_receive_ticks(endpoint_t src,message * m_ptr,int * status_ptr,clock_t ticks)247fb6bd596SCristiano Giuffrida int rs_receive_ticks(endpoint_t src, message *m_ptr,
248f16b761dSDavid van Moolenbroek int *status_ptr, clock_t ticks)
249fb6bd596SCristiano Giuffrida {
250f16b761dSDavid van Moolenbroek /* IPC receive with timeout. Implemented with IPC filters. The timer
251f16b761dSDavid van Moolenbroek * management logic comes from the tickdelay(3) implementation.
252f16b761dSDavid van Moolenbroek */
253f16b761dSDavid van Moolenbroek ipc_filter_el_t ipc_filter[2];
254f16b761dSDavid van Moolenbroek clock_t time_left, uptime;
255f16b761dSDavid van Moolenbroek int r, s, status;
256f16b761dSDavid van Moolenbroek
257f16b761dSDavid van Moolenbroek /* Use IPC filters to receive from the provided source and CLOCK only.
258f16b761dSDavid van Moolenbroek * We make the hard assumption that RS did not already have IPC filters set.
259f16b761dSDavid van Moolenbroek */
260f16b761dSDavid van Moolenbroek memset(ipc_filter, 0, sizeof(ipc_filter));
261f16b761dSDavid van Moolenbroek ipc_filter[0].flags = IPCF_MATCH_M_SOURCE;
262f16b761dSDavid van Moolenbroek ipc_filter[0].m_source = CLOCK;
263f16b761dSDavid van Moolenbroek ipc_filter[1].flags = IPCF_MATCH_M_SOURCE;
264f16b761dSDavid van Moolenbroek ipc_filter[1].m_source = src;
265f16b761dSDavid van Moolenbroek
266f16b761dSDavid van Moolenbroek if ((s = sys_statectl(SYS_STATE_ADD_IPC_WL_FILTER, ipc_filter,
267f16b761dSDavid van Moolenbroek sizeof(ipc_filter))) != OK)
268f16b761dSDavid van Moolenbroek panic("RS: rs_receive_ticks: setting IPC filter failed: %d", s);
269f16b761dSDavid van Moolenbroek
270f16b761dSDavid van Moolenbroek /* Set a new alarm, and get information about the previous alarm. */
271f16b761dSDavid van Moolenbroek if ((s = sys_setalarm2(ticks, FALSE, &time_left, &uptime)) != OK)
272f16b761dSDavid van Moolenbroek panic("RS: rs_receive_ticks: setting alarm failed: %d", s);
273f16b761dSDavid van Moolenbroek
274f16b761dSDavid van Moolenbroek /* Receive a message from either the provided source or CLOCK. */
275f16b761dSDavid van Moolenbroek while ((r = ipc_receive(ANY, m_ptr, &status)) == OK &&
276f16b761dSDavid van Moolenbroek m_ptr->m_source == CLOCK) {
277f16b761dSDavid van Moolenbroek /* Ignore early clock notifications. */
278f16b761dSDavid van Moolenbroek if (m_ptr->m_type == NOTIFY_MESSAGE &&
279f16b761dSDavid van Moolenbroek m_ptr->m_notify.timestamp >= uptime + ticks)
280f16b761dSDavid van Moolenbroek break;
281f16b761dSDavid van Moolenbroek }
282f16b761dSDavid van Moolenbroek
283f16b761dSDavid van Moolenbroek /* Reinstate the previous alarm, if any. Do this in any case. */
284f16b761dSDavid van Moolenbroek if (time_left != TMR_NEVER) {
285f16b761dSDavid van Moolenbroek if (time_left > ticks)
286f16b761dSDavid van Moolenbroek time_left -= ticks;
287f16b761dSDavid van Moolenbroek else
288f16b761dSDavid van Moolenbroek time_left = 1; /* force an alarm */
289f16b761dSDavid van Moolenbroek
290f16b761dSDavid van Moolenbroek (void)sys_setalarm(time_left, FALSE);
291f16b761dSDavid van Moolenbroek }
292f16b761dSDavid van Moolenbroek
293f16b761dSDavid van Moolenbroek /* Clear the IPC filters. */
294f16b761dSDavid van Moolenbroek if ((s = sys_statectl(SYS_STATE_CLEAR_IPC_FILTERS, NULL, 0)) != OK)
295f16b761dSDavid van Moolenbroek panic("RS: rs_receive_ticks: setting IPC filter failed: %d", s);
296f16b761dSDavid van Moolenbroek
297f16b761dSDavid van Moolenbroek /* If the last received message was from CLOCK, we timed out. */
298f16b761dSDavid van Moolenbroek if (r == OK && m_ptr->m_source == CLOCK)
299f16b761dSDavid van Moolenbroek return ENOTREADY;
300f16b761dSDavid van Moolenbroek
301f16b761dSDavid van Moolenbroek if (status_ptr != NULL)
302f16b761dSDavid van Moolenbroek *status_ptr = status;
303f16b761dSDavid van Moolenbroek return r;
304fb6bd596SCristiano Giuffrida }
305fb6bd596SCristiano Giuffrida
306fb6bd596SCristiano Giuffrida /*===========================================================================*
307433d6423SLionel Sambuc * reply *
308433d6423SLionel Sambuc *===========================================================================*/
reply(who,rp,m_ptr)309433d6423SLionel Sambuc void reply(who, rp, m_ptr)
310433d6423SLionel Sambuc endpoint_t who; /* replyee */
311433d6423SLionel Sambuc struct rproc *rp; /* replyee slot (if any) */
312433d6423SLionel Sambuc message *m_ptr; /* reply message */
313433d6423SLionel Sambuc {
314433d6423SLionel Sambuc int r; /* send status */
315433d6423SLionel Sambuc
316433d6423SLionel Sambuc /* No need to actually reply to RS */
317433d6423SLionel Sambuc if(who == RS_PROC_NR) {
318433d6423SLionel Sambuc return;
319433d6423SLionel Sambuc }
320433d6423SLionel Sambuc
321433d6423SLionel Sambuc if(rs_verbose && rp)
322fb6bd596SCristiano Giuffrida printf("RS: %s being replied to with message type %d\n", srv_to_string(rp), m_ptr->m_type);
323433d6423SLionel Sambuc
324433d6423SLionel Sambuc r = ipc_sendnb(who, m_ptr); /* send the message */
325433d6423SLionel Sambuc if (r != OK)
326433d6423SLionel Sambuc printf("RS: unable to send reply to %d: %d\n", who, r);
327433d6423SLionel Sambuc }
328433d6423SLionel Sambuc
329433d6423SLionel Sambuc /*===========================================================================*
330433d6423SLionel Sambuc * late_reply *
331433d6423SLionel Sambuc *===========================================================================*/
late_reply(rp,code)332433d6423SLionel Sambuc void late_reply(rp, code)
333433d6423SLionel Sambuc struct rproc *rp; /* pointer to process slot */
334433d6423SLionel Sambuc int code; /* status code */
335433d6423SLionel Sambuc {
336433d6423SLionel Sambuc /* If a caller is waiting for a reply, unblock it. */
337433d6423SLionel Sambuc if(rp->r_flags & RS_LATEREPLY) {
338433d6423SLionel Sambuc message m;
339433d6423SLionel Sambuc m.m_type = code;
340433d6423SLionel Sambuc if(rs_verbose)
341433d6423SLionel Sambuc printf("RS: %s late reply %d to %d for request %d\n",
342433d6423SLionel Sambuc srv_to_string(rp), code, rp->r_caller, rp->r_caller_request);
343433d6423SLionel Sambuc
344433d6423SLionel Sambuc reply(rp->r_caller, NULL, &m);
345433d6423SLionel Sambuc rp->r_flags &= ~RS_LATEREPLY;
346433d6423SLionel Sambuc }
347433d6423SLionel Sambuc }
348433d6423SLionel Sambuc
349433d6423SLionel Sambuc /*===========================================================================*
350433d6423SLionel Sambuc * rs_isokendpt *
351433d6423SLionel Sambuc *===========================================================================*/
rs_isokendpt(endpoint_t endpoint,int * proc)352433d6423SLionel Sambuc int rs_isokendpt(endpoint_t endpoint, int *proc)
353433d6423SLionel Sambuc {
354433d6423SLionel Sambuc *proc = _ENDPOINT_P(endpoint);
355433d6423SLionel Sambuc if(*proc < -NR_TASKS || *proc >= NR_PROCS)
356433d6423SLionel Sambuc return EINVAL;
357433d6423SLionel Sambuc
358433d6423SLionel Sambuc return OK;
359433d6423SLionel Sambuc }
360433d6423SLionel Sambuc
361433d6423SLionel Sambuc /*===========================================================================*
362433d6423SLionel Sambuc * sched_init_proc *
363433d6423SLionel Sambuc *===========================================================================*/
sched_init_proc(struct rproc * rp)364433d6423SLionel Sambuc int sched_init_proc(struct rproc *rp)
365433d6423SLionel Sambuc {
366433d6423SLionel Sambuc int s;
367433d6423SLionel Sambuc int is_usr_proc;
368433d6423SLionel Sambuc
369433d6423SLionel Sambuc /* Make sure user processes have no scheduler. PM deals with them. */
370433d6423SLionel Sambuc is_usr_proc = !(rp->r_priv.s_flags & SYS_PROC);
371433d6423SLionel Sambuc if(is_usr_proc) assert(rp->r_scheduler == NONE);
372433d6423SLionel Sambuc if(!is_usr_proc) assert(rp->r_scheduler != NONE);
373433d6423SLionel Sambuc
374433d6423SLionel Sambuc /* Start scheduling for the given process. */
375433d6423SLionel Sambuc if ((s = sched_start(rp->r_scheduler, rp->r_pub->endpoint,
376433d6423SLionel Sambuc RS_PROC_NR, rp->r_priority, rp->r_quantum, rp->r_cpu,
377433d6423SLionel Sambuc &rp->r_scheduler)) != OK) {
378433d6423SLionel Sambuc return s;
379433d6423SLionel Sambuc }
380433d6423SLionel Sambuc
381433d6423SLionel Sambuc return s;
382433d6423SLionel Sambuc }
383433d6423SLionel Sambuc
384433d6423SLionel Sambuc /*===========================================================================*
385433d6423SLionel Sambuc * update_sig_mgrs *
386433d6423SLionel Sambuc *===========================================================================*/
update_sig_mgrs(struct rproc * rp,endpoint_t sig_mgr,endpoint_t bak_sig_mgr)387433d6423SLionel Sambuc int update_sig_mgrs(struct rproc *rp, endpoint_t sig_mgr,
388433d6423SLionel Sambuc endpoint_t bak_sig_mgr)
389433d6423SLionel Sambuc {
390433d6423SLionel Sambuc int r;
391433d6423SLionel Sambuc struct rprocpub *rpub;
392433d6423SLionel Sambuc
393433d6423SLionel Sambuc rpub = rp->r_pub;
394433d6423SLionel Sambuc
395433d6423SLionel Sambuc if(rs_verbose)
396433d6423SLionel Sambuc printf("RS: %s updates signal managers: %d%s / %d\n", srv_to_string(rp),
397433d6423SLionel Sambuc sig_mgr == SELF ? rpub->endpoint : sig_mgr,
398433d6423SLionel Sambuc sig_mgr == SELF ? "(SELF)" : "",
399433d6423SLionel Sambuc bak_sig_mgr == NONE ? -1 : bak_sig_mgr);
400433d6423SLionel Sambuc
401433d6423SLionel Sambuc /* Synch privilege structure with the kernel. */
402433d6423SLionel Sambuc if ((r = sys_getpriv(&rp->r_priv, rpub->endpoint)) != OK) {
403433d6423SLionel Sambuc printf("unable to synch privilege structure: %d", r);
404433d6423SLionel Sambuc return r;
405433d6423SLionel Sambuc }
406433d6423SLionel Sambuc
407433d6423SLionel Sambuc /* Set signal managers. */
408433d6423SLionel Sambuc rp->r_priv.s_sig_mgr = sig_mgr;
409433d6423SLionel Sambuc rp->r_priv.s_bak_sig_mgr = bak_sig_mgr;
410433d6423SLionel Sambuc
411433d6423SLionel Sambuc /* Update privilege structure. */
412433d6423SLionel Sambuc r = sys_privctl(rpub->endpoint, SYS_PRIV_UPDATE_SYS, &rp->r_priv);
413433d6423SLionel Sambuc if(r != OK) {
414433d6423SLionel Sambuc printf("unable to update privilege structure: %d", r);
415433d6423SLionel Sambuc return r;
416433d6423SLionel Sambuc }
417433d6423SLionel Sambuc
418433d6423SLionel Sambuc return OK;
419433d6423SLionel Sambuc }
420433d6423SLionel Sambuc
421fb6bd596SCristiano Giuffrida /*===========================================================================*
422fb6bd596SCristiano Giuffrida * rs_is_idle *
423fb6bd596SCristiano Giuffrida *===========================================================================*/
rs_is_idle()424fb6bd596SCristiano Giuffrida int rs_is_idle()
425fb6bd596SCristiano Giuffrida {
426fb6bd596SCristiano Giuffrida int slot_nr;
427fb6bd596SCristiano Giuffrida struct rproc *rp;
428fb6bd596SCristiano Giuffrida for (slot_nr = 0; slot_nr < NR_SYS_PROCS; slot_nr++) {
429fb6bd596SCristiano Giuffrida rp = &rproc[slot_nr];
430fb6bd596SCristiano Giuffrida if (!(rp->r_flags & RS_IN_USE)) {
431fb6bd596SCristiano Giuffrida continue;
432fb6bd596SCristiano Giuffrida }
433fb6bd596SCristiano Giuffrida if(!RS_SRV_IS_IDLE(rp)) {
434fb6bd596SCristiano Giuffrida return 0;
435fb6bd596SCristiano Giuffrida }
436fb6bd596SCristiano Giuffrida }
437fb6bd596SCristiano Giuffrida return 1;
438fb6bd596SCristiano Giuffrida }
439fb6bd596SCristiano Giuffrida
440fb6bd596SCristiano Giuffrida /*===========================================================================*
441fb6bd596SCristiano Giuffrida * rs_idle_period *
442fb6bd596SCristiano Giuffrida *===========================================================================*/
rs_idle_period()443fb6bd596SCristiano Giuffrida void rs_idle_period()
444fb6bd596SCristiano Giuffrida {
445fb6bd596SCristiano Giuffrida struct rproc *rp;
446fb6bd596SCristiano Giuffrida struct rprocpub *rpub;
447fb6bd596SCristiano Giuffrida int r;
448fb6bd596SCristiano Giuffrida
449fb6bd596SCristiano Giuffrida /* Not much to do when RS is not idle. */
450e3f3566eSDavid van Moolenbroek /* However, to avoid deadlocks it is absolutely necessary that during system
451e3f3566eSDavid van Moolenbroek * shutdown, dead services are actually cleaned up. Override the idle check.
452e3f3566eSDavid van Moolenbroek */
453e3f3566eSDavid van Moolenbroek if(!shutting_down && !rs_is_idle()) {
454fb6bd596SCristiano Giuffrida return;
455fb6bd596SCristiano Giuffrida }
456fb6bd596SCristiano Giuffrida
457fb6bd596SCristiano Giuffrida /* Cleanup dead services. */
458fb6bd596SCristiano Giuffrida for (rp=BEG_RPROC_ADDR; rp<END_RPROC_ADDR; rp++) {
459fb6bd596SCristiano Giuffrida if((rp->r_flags & (RS_IN_USE|RS_DEAD)) == (RS_IN_USE|RS_DEAD)) {
460fb6bd596SCristiano Giuffrida cleanup_service(rp);
461fb6bd596SCristiano Giuffrida }
462fb6bd596SCristiano Giuffrida }
463fb6bd596SCristiano Giuffrida
464e3f3566eSDavid van Moolenbroek if (shutting_down) return;
465e3f3566eSDavid van Moolenbroek
466fb6bd596SCristiano Giuffrida /* Create missing replicas when necessary. */
467fb6bd596SCristiano Giuffrida for (rp=BEG_RPROC_ADDR; rp<END_RPROC_ADDR; rp++) {
468fb6bd596SCristiano Giuffrida rpub = rp->r_pub;
469fb6bd596SCristiano Giuffrida if((rp->r_flags & RS_ACTIVE) && (rpub->sys_flags & SF_USE_REPL) && rp->r_next_rp == NULL) {
470fb6bd596SCristiano Giuffrida if(rpub->endpoint == VM_PROC_NR && (rp->r_old_rp || rp->r_new_rp)) {
471fb6bd596SCristiano Giuffrida /* Only one replica at the time for VM. */
472fb6bd596SCristiano Giuffrida continue;
473fb6bd596SCristiano Giuffrida }
474fb6bd596SCristiano Giuffrida if ((r = clone_service(rp, RST_SYS_PROC, 0)) != OK) {
475fb6bd596SCristiano Giuffrida printf("RS: warning: unable to clone %s (error %d)\n",
476fb6bd596SCristiano Giuffrida srv_to_string(rp), r);
477fb6bd596SCristiano Giuffrida }
478fb6bd596SCristiano Giuffrida }
479fb6bd596SCristiano Giuffrida }
480fb6bd596SCristiano Giuffrida }
481fb6bd596SCristiano Giuffrida
482fb6bd596SCristiano Giuffrida /*===========================================================================*
483fb6bd596SCristiano Giuffrida * print_services_status *
484fb6bd596SCristiano Giuffrida *===========================================================================*/
print_services_status()485fb6bd596SCristiano Giuffrida void print_services_status()
486fb6bd596SCristiano Giuffrida {
487fb6bd596SCristiano Giuffrida int slot_nr;
488fb6bd596SCristiano Giuffrida struct rproc *rp;
489fb6bd596SCristiano Giuffrida int num_services = 0;
490fb6bd596SCristiano Giuffrida int num_service_instances = 0;
491fb6bd596SCristiano Giuffrida int is_verbose = 1;
492fb6bd596SCristiano Giuffrida
493fb6bd596SCristiano Giuffrida PRINT_SEP();
494fb6bd596SCristiano Giuffrida printf("Printing information about all the system service instances:\n");
495fb6bd596SCristiano Giuffrida PRINT_SEP();
496fb6bd596SCristiano Giuffrida for (slot_nr = 0; slot_nr < NR_SYS_PROCS; slot_nr++) {
497fb6bd596SCristiano Giuffrida rp = &rproc[slot_nr];
498fb6bd596SCristiano Giuffrida if (!(rp->r_flags & RS_IN_USE)) {
499fb6bd596SCristiano Giuffrida continue;
500fb6bd596SCristiano Giuffrida }
501fb6bd596SCristiano Giuffrida if (rp->r_flags & RS_ACTIVE) {
502fb6bd596SCristiano Giuffrida num_services++;
503fb6bd596SCristiano Giuffrida }
504fb6bd596SCristiano Giuffrida num_service_instances++;
505fb6bd596SCristiano Giuffrida printf("%s\n", srv_to_string_gen(rp, is_verbose));
506fb6bd596SCristiano Giuffrida }
507fb6bd596SCristiano Giuffrida PRINT_SEP();
508fb6bd596SCristiano Giuffrida printf("Found %d service instances, of which %d are active services\n",
509fb6bd596SCristiano Giuffrida num_service_instances, num_services);
510fb6bd596SCristiano Giuffrida PRINT_SEP();
511fb6bd596SCristiano Giuffrida }
512fb6bd596SCristiano Giuffrida
513fb6bd596SCristiano Giuffrida /*===========================================================================*
514fb6bd596SCristiano Giuffrida * print_update_status *
515fb6bd596SCristiano Giuffrida *===========================================================================*/
print_update_status()516fb6bd596SCristiano Giuffrida void print_update_status()
517fb6bd596SCristiano Giuffrida {
518fb6bd596SCristiano Giuffrida struct rprocupd *prev_rpupd, *rpupd;
519fb6bd596SCristiano Giuffrida int is_updating = RUPDATE_IS_UPDATING();
520fb6bd596SCristiano Giuffrida int i;
521fb6bd596SCristiano Giuffrida
522fb6bd596SCristiano Giuffrida #define rupdate_flag_c(F) (rupdate.flags & F ? '1' : '0')
523fb6bd596SCristiano Giuffrida
524fb6bd596SCristiano Giuffrida if(!is_updating && !RUPDATE_IS_UPD_SCHEDULED()) {
525fb6bd596SCristiano Giuffrida PRINT_SEP();
526fb6bd596SCristiano Giuffrida printf("No update is in progress or scheduled\n");
527fb6bd596SCristiano Giuffrida PRINT_SEP();
528fb6bd596SCristiano Giuffrida return;
529fb6bd596SCristiano Giuffrida }
530fb6bd596SCristiano Giuffrida
531fb6bd596SCristiano Giuffrida PRINT_SEP();
532fb6bd596SCristiano Giuffrida i = 1;
533fb6bd596SCristiano Giuffrida printf("A %s-component update is %s, flags(UIRV)=%c%c%c%c:\n", RUPDATE_IS_UPD_MULTI() ? "multi" : "single",
534fb6bd596SCristiano Giuffrida is_updating ? "in progress" : "scheduled",
535fb6bd596SCristiano Giuffrida rupdate_flag_c(RS_UPDATING), rupdate_flag_c(RS_INITIALIZING),
536fb6bd596SCristiano Giuffrida rupdate.rs_rpupd ? '1' : '0', rupdate.vm_rpupd ? '1' : '0');
537fb6bd596SCristiano Giuffrida PRINT_SEP();
538fb6bd596SCristiano Giuffrida RUPDATE_ITER(rupdate.first_rpupd, prev_rpupd, rpupd,
539fb6bd596SCristiano Giuffrida printf("%d. %s %s %s\n", i++, srv_to_string(rpupd->rp),
540fb6bd596SCristiano Giuffrida is_updating ? "updating with" : "scheduled for",
541fb6bd596SCristiano Giuffrida srv_upd_to_string(rpupd));
542fb6bd596SCristiano Giuffrida );
543fb6bd596SCristiano Giuffrida PRINT_SEP();
544fb6bd596SCristiano Giuffrida
545fb6bd596SCristiano Giuffrida #undef rupdate_flag_c
546fb6bd596SCristiano Giuffrida }
547fb6bd596SCristiano Giuffrida
548