d1fd04e72a
SYSLIB CHANGES: - SEF framework now supports a new SEF Init request type from RS. 3 different callbacks are available (init_fresh, init_lu, init_restart) to specify initialization code when a service starts fresh, starts after a live update, or restarts. SYSTEM SERVICE CHANGES: - Initialization code for system services is now enclosed in a callback SEF will automatically call at init time. The return code of the callback will tell RS whether the initialization completed successfully. - Each init callback can access information passed by RS to initialize. As of now, each system service has access to the public entries of RS's system process table to gather all the information required to initialize. This design eliminates many existing or potential races at boot time and provides a uniform initialization interface to system services. The same interface will be reused for the upcoming publish/subscribe model to handle dynamic registration / deregistration of system services. VM CHANGES: - Uniform privilege management for all system services. Every service uses the same call mask format. For boot services, VM copies the call mask from init data. For dynamic services, VM still receives the call mask via rs_set_priv call that will be soon replaced by the upcoming publish/subscribe model. RS CHANGES: - The system process table has been reorganized and split into private entries and public entries. Only the latter ones are exposed to system services. - VM call masks are now entirely configured in rs/table.c - RS has now its own slot in the system process table. Only kernel tasks and user processes not included in the boot image are now left out from the system process table. - RS implements the initialization protocol for system services. - For services in the boot image, RS blocks till initialization is complete and panics when failure is reported back. Services are initialized in their order of appearance in the boot image priv table and RS blocks to implements synchronous initialization for every system service having the flag SF_SYNCH_BOOT set. - For services started dynamically, the initialization protocol is implemented as though it were the first ping for the service. In this case, if the system service fails to report back (or reports failure), RS brings the service down rather than trying to restart it.
176 lines
6.8 KiB
C
176 lines
6.8 KiB
C
/* Prototypes for System Event Framework (SEF) functions. */
|
|
|
|
#ifndef _SEF_H
|
|
#define _SEF_H
|
|
|
|
/* SEF entry points for system processes. */
|
|
_PROTOTYPE( void sef_startup, (void) );
|
|
_PROTOTYPE( int sef_receive, (endpoint_t src, message *m_ptr) );
|
|
|
|
/* SEF Debug. */
|
|
#include <stdio.h>
|
|
#define sef_dprint printf
|
|
#define sef_debug_begin() (void)(NULL)
|
|
#define sef_debug_end() fflush(stdout)
|
|
|
|
/*===========================================================================*
|
|
* SEF Init *
|
|
*===========================================================================*/
|
|
/* What to intercept. */
|
|
#define INTERCEPT_SEF_INIT_REQUESTS 1
|
|
#define IS_SEF_INIT_REQUEST(mp) ((mp)->m_type == RS_INIT \
|
|
&& (mp)->m_source == RS_PROC_NR)
|
|
|
|
/* Type definitions. */
|
|
typedef struct {
|
|
int rproctab_gid;
|
|
} sef_init_info_t;
|
|
|
|
/* Callback type definitions. */
|
|
typedef int(*sef_cb_init_fresh_t)(int type, sef_init_info_t *info);
|
|
typedef int(*sef_cb_init_lu_t)(int type, sef_init_info_t *info);
|
|
typedef int(*sef_cb_init_restart_t)(int type, sef_init_info_t *info);
|
|
|
|
/* Callback registration helpers. */
|
|
_PROTOTYPE( void sef_setcb_init_fresh, (sef_cb_init_fresh_t cb));
|
|
_PROTOTYPE( void sef_setcb_init_lu, (sef_cb_init_lu_t cb));
|
|
_PROTOTYPE( void sef_setcb_init_restart, (sef_cb_init_restart_t cb));
|
|
|
|
/* Predefined callback implementations. */
|
|
_PROTOTYPE( int sef_cb_init_fresh_null, (int type, sef_init_info_t *info) );
|
|
_PROTOTYPE( int sef_cb_init_lu_null, (int type, sef_init_info_t *info) );
|
|
_PROTOTYPE( int sef_cb_init_restart_null, (int type, sef_init_info_t *info) );
|
|
|
|
_PROTOTYPE( int sef_cb_init_restart_fail, (int type, sef_init_info_t *info) );
|
|
|
|
/* Macros for predefined callback implementations. */
|
|
#define SEF_CB_INIT_FRESH_NULL sef_cb_init_fresh_null
|
|
#define SEF_CB_INIT_LU_NULL sef_cb_init_lu_null
|
|
#define SEF_CB_INIT_RESTART_NULL sef_cb_init_restart_null
|
|
|
|
#define SEF_CB_INIT_FRESH_DEFAULT sef_cb_init_fresh_null
|
|
#define SEF_CB_INIT_LU_DEFAULT sef_cb_init_lu_null
|
|
#define SEF_CB_INIT_RESTART_DEFAULT sef_cb_init_restart_null
|
|
|
|
/* Init types. */
|
|
#define SEF_INIT_FRESH 0 /* init fresh */
|
|
#define SEF_INIT_LU 1 /* init after live update */
|
|
#define SEF_INIT_RESTART 2 /* init after restart */
|
|
|
|
/* Debug. */
|
|
#define SEF_INIT_DEBUG_DEFAULT 0
|
|
|
|
#ifndef SEF_INIT_DEBUG
|
|
#define SEF_INIT_DEBUG SEF_INIT_DEBUG_DEFAULT
|
|
#endif
|
|
|
|
#define sef_init_dprint sef_dprint
|
|
#define sef_init_debug_begin sef_debug_begin
|
|
#define sef_init_debug_end sef_debug_end
|
|
|
|
/*===========================================================================*
|
|
* SEF Ping *
|
|
*===========================================================================*/
|
|
/* What to intercept. */
|
|
#define INTERCEPT_SEF_PING_REQUESTS 1
|
|
#define IS_SEF_PING_REQUEST(mp) (is_notify((mp)->m_type) \
|
|
&& (mp)->m_source == RS_PROC_NR)
|
|
|
|
/* Callback type definitions. */
|
|
typedef void(*sef_cb_ping_reply_t)(message *m_ptr);
|
|
|
|
/* Callback registration helpers. */
|
|
_PROTOTYPE( void sef_setcb_ping_reply, (sef_cb_ping_reply_t cb));
|
|
|
|
/* Predefined callback implementations. */
|
|
_PROTOTYPE( void sef_cb_ping_reply_null, (message *m_ptr) );
|
|
|
|
_PROTOTYPE( void sef_cb_ping_reply_pong, (message *m_ptr) );
|
|
|
|
/* Macros for predefined callback implementations. */
|
|
#define SEF_CB_PING_REPLY_NULL sef_cb_ping_reply_null
|
|
|
|
#define SEF_CB_PING_REPLY_DEFAULT sef_cb_ping_reply_pong
|
|
|
|
/* Debug. */
|
|
#define SEF_PING_DEBUG_DEFAULT 0
|
|
|
|
#ifndef SEF_PING_DEBUG
|
|
#define SEF_PING_DEBUG SEF_PING_DEBUG_DEFAULT
|
|
#endif
|
|
|
|
#define sef_ping_dprint sef_dprint
|
|
#define sef_ping_debug_begin sef_debug_begin
|
|
#define sef_ping_debug_end sef_debug_end
|
|
|
|
/*===========================================================================*
|
|
* SEF Live update *
|
|
*===========================================================================*/
|
|
/* What to intercept. */
|
|
#define INTERCEPT_SEF_LU_REQUESTS 1
|
|
#define IS_SEF_LU_REQUEST(mp) ((mp)->m_type == RS_LU_PREPARE \
|
|
&& (mp)->m_source == RS_PROC_NR)
|
|
|
|
/* Global helpers. */
|
|
_PROTOTYPE( void sef_lu_ready, (int result) );
|
|
|
|
/* Callback type definitions. */
|
|
typedef void(*sef_cb_lu_prepare_t)(int);
|
|
typedef int(*sef_cb_lu_state_isvalid_t)(int);
|
|
typedef void(*sef_cb_lu_state_changed_t)(int, int);
|
|
typedef void(*sef_cb_lu_state_dump_t)(int);
|
|
typedef int(*sef_cb_lu_ready_pre_t)(int);
|
|
|
|
/* Callback registration helpers. */
|
|
_PROTOTYPE( void sef_setcb_lu_prepare, (sef_cb_lu_prepare_t cb) );
|
|
_PROTOTYPE( void sef_setcb_lu_state_isvalid, (sef_cb_lu_state_isvalid_t cb) );
|
|
_PROTOTYPE( void sef_setcb_lu_state_changed, (sef_cb_lu_state_changed_t cb) );
|
|
_PROTOTYPE( void sef_setcb_lu_state_dump, (sef_cb_lu_state_dump_t cb) );
|
|
_PROTOTYPE( void sef_setcb_lu_ready_pre, (sef_cb_lu_ready_pre_t cb) );
|
|
|
|
/* Predefined callback implementations. */
|
|
_PROTOTYPE( void sef_cb_lu_prepare_null, (int state) );
|
|
_PROTOTYPE( int sef_cb_lu_state_isvalid_null, (int state) );
|
|
_PROTOTYPE( void sef_cb_lu_state_changed_null, (int old_state, int state) );
|
|
_PROTOTYPE( void sef_cb_lu_state_dump_null, (int state) );
|
|
_PROTOTYPE( int sef_cb_lu_ready_pre_null, (int result) );
|
|
|
|
_PROTOTYPE( void sef_cb_lu_prepare_always_ready, (int state) );
|
|
_PROTOTYPE( int sef_cb_lu_state_isvalid_standard, (int state) );
|
|
|
|
/* Macros for predefined callback implementations. */
|
|
#define SEF_CB_LU_PREPARE_NULL sef_cb_lu_prepare_null
|
|
#define SEF_CB_LU_STATE_ISVALID_NULL sef_cb_lu_state_isvalid_null
|
|
#define SEF_CB_LU_STATE_CHANGED_NULL sef_cb_lu_state_changed_null
|
|
#define SEF_CB_LU_STATE_DUMP_NULL sef_cb_lu_state_dump_null
|
|
#define SEF_CB_LU_READY_PRE_NULL sef_cb_lu_ready_pre_null
|
|
|
|
#define SEF_CB_LU_PREPARE_DEFAULT sef_cb_lu_prepare_null
|
|
#define SEF_CB_LU_STATE_ISVALID_DEFAULT sef_cb_lu_state_isvalid_null
|
|
#define SEF_CB_LU_STATE_CHANGED_DEFAULT sef_cb_lu_state_changed_null
|
|
#define SEF_CB_LU_STATE_DUMP_DEFAULT sef_cb_lu_state_dump_null
|
|
#define SEF_CB_LU_READY_PRE_DEFAULT sef_cb_lu_ready_pre_null
|
|
|
|
/* Standard live update states. */
|
|
#define SEF_LU_STATE_NULL 0 /* null state */
|
|
#define SEF_LU_STATE_WORK_FREE 1 /* no work in progress */
|
|
#define SEF_LU_STATE_REQUEST_FREE 2 /* no request in progress */
|
|
#define SEF_LU_STATE_PROTOCOL_FREE 3 /* no protocol in progress */
|
|
#define SEF_LU_STATE_CUSTOM_BASE (SEF_LU_STATE_PROTOCOL_FREE+1)
|
|
#define SEF_LU_STATE_IS_STANDARD(s) ((s) > SEF_LU_STATE_NULL \
|
|
&& (s) < SEF_LU_STATE_CUSTOM_BASE)
|
|
|
|
/* Debug. */
|
|
#define SEF_LU_DEBUG_DEFAULT 1
|
|
|
|
#ifndef SEF_LU_DEBUG
|
|
#define SEF_LU_DEBUG SEF_LU_DEBUG_DEFAULT
|
|
#endif
|
|
|
|
#define sef_lu_dprint sef_dprint
|
|
#define sef_lu_debug_begin sef_debug_begin
|
|
#define sef_lu_debug_end sef_debug_end
|
|
|
|
#endif /* _SEF_H */
|
|
|