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