149 lines
4.6 KiB
C
149 lines
4.6 KiB
C
/* System Information Service.
|
|
* This service handles the various debugging dumps, such as the process
|
|
* table, so that these no longer directly touch kernel memory. Instead, the
|
|
* system task is asked to copy some table in local memory.
|
|
*
|
|
* Created:
|
|
* Apr 29, 2004 by Jorrit N. Herder
|
|
*/
|
|
|
|
#include "is.h"
|
|
|
|
/* Set debugging level to 0, 1, or 2 to see no, some, all debug output. */
|
|
#define DEBUG_LEVEL 1
|
|
#define DPRINTF if (DEBUG_LEVEL > 0) printf
|
|
|
|
/* Allocate space for the global variables. */
|
|
int is_proc_nr; /* own process number */
|
|
message m_in; /* the input message itself */
|
|
message m_out; /* the output message used for reply */
|
|
int who; /* caller's proc number */
|
|
int callnr; /* system call number */
|
|
|
|
/* Diagnostic messages buffer. */
|
|
char diag_buf[DIAG_BUF_SIZE];
|
|
int diag_size = 0;
|
|
int diag_next = 0;
|
|
|
|
/* Declare some local functions. */
|
|
FORWARD _PROTOTYPE(void init_server, (void) );
|
|
FORWARD _PROTOTYPE(void get_work, (void) );
|
|
FORWARD _PROTOTYPE(void reply, (int whom, int result) );
|
|
|
|
|
|
/*===========================================================================*
|
|
* main *
|
|
*===========================================================================*/
|
|
PUBLIC void main(void)
|
|
{
|
|
/* This is the main routine of this service. The main loop consists of
|
|
* three major activities: getting new work, processing the work, and
|
|
* sending the reply. The loop never terminates, unless a panic occurs.
|
|
*/
|
|
int result;
|
|
|
|
/* Initialize the server, then go to work. */
|
|
init_server();
|
|
|
|
/* Main loop - get work and do it, forever. */
|
|
while (TRUE) {
|
|
|
|
/* Wait for incoming message, sets 'callnr' and 'who'. */
|
|
get_work();
|
|
|
|
switch (callnr) {
|
|
case NEW_KMESS:
|
|
result = do_new_kmess(&m_in);
|
|
break;
|
|
case DIAGNOSTICS:
|
|
result = do_diagnostics(&m_in);
|
|
break;
|
|
case FKEY_PRESSED:
|
|
result = do_fkey_pressed(&m_in);
|
|
break;
|
|
case HARD_STOP:
|
|
sys_exit(0);
|
|
/* never reached */
|
|
continue;
|
|
default:
|
|
result = EINVAL;
|
|
}
|
|
|
|
/* Finally send reply message, unless disabled. */
|
|
if (result != EDONTREPLY) {
|
|
reply(who, result);
|
|
}
|
|
}
|
|
}
|
|
|
|
|
|
/*===========================================================================*
|
|
* report *
|
|
*===========================================================================*/
|
|
PUBLIC void report(mess, num)
|
|
char *mess; /* message format to print */
|
|
int num; /* number to go with the message */
|
|
{
|
|
if (num != NO_NUM) {
|
|
printf("IS: %s %d\n", mess, num);
|
|
} else {
|
|
printf("IS: %s\n", mess);
|
|
}
|
|
}
|
|
|
|
|
|
/*===========================================================================*
|
|
* init_server *
|
|
*===========================================================================*/
|
|
PRIVATE void init_server()
|
|
{
|
|
/* Initialize the information service. */
|
|
message m;
|
|
int r;
|
|
long key;
|
|
|
|
/* Set own process number. */
|
|
is_proc_nr = IS_PROC_NR;
|
|
|
|
/* Set key mappings. IS takes all of F2-F12. F1 is TTY reserved. */
|
|
for (key=F1; key<=F12; key++) {
|
|
if ((r=fkey_enable(key)) != OK) {
|
|
printf("IS: WARNING: couldn't register F%d key: %d\n",
|
|
(key-F1+1), r);
|
|
}
|
|
}
|
|
|
|
/* Display status message ... */
|
|
printf("IS: information service is alive and kicking; press F1-F12 for dumps\n");
|
|
}
|
|
|
|
/*===========================================================================*
|
|
* get_work *
|
|
*===========================================================================*/
|
|
PRIVATE void get_work()
|
|
{
|
|
int status = 0;
|
|
status = receive(ANY, &m_in); /* this blocks until message arrives */
|
|
if (OK != status)
|
|
server_panic("IS","failed to receive message!", status);
|
|
who = m_in.m_source; /* message arrived! set sender */
|
|
callnr = m_in.m_type; /* set function call number */
|
|
}
|
|
|
|
|
|
/*===========================================================================*
|
|
* reply *
|
|
*===========================================================================*/
|
|
PRIVATE void reply(who, result)
|
|
int who; /* destination */
|
|
int result; /* report result to replyee */
|
|
{
|
|
int send_status;
|
|
m_out.m_type = result; /* build reply message */
|
|
send_status = send(who, &m_out); /* send the message */
|
|
if (OK != send_status)
|
|
server_panic("IS", "unable to send reply!", send_status);
|
|
}
|
|
|
|
|
|
|