There is not that much use for it on a single CPU, however, deadlock between kernel and system task can be delected. Or a runaway loop. If a kernel gets locked up the timer interrupts don't occure (as all interrupts are disabled in kernel mode). The only chance is to interrupt the kernel by a non-maskable interrupt. This patch generates NMIs using performance counters. It uses the most widely available performace counters. As the performance counters are highly model-specific this patch is not guaranteed to work on every machine. Unfortunately this is also true for KVM :-/ On the other hand adding this feature for other models is not extremely difficult and the framework makes it hopefully easy enough. Depending on the frequency of the CPU an NMI is generated at most about every 0.5s If the cpu's speed is less then 2Ghz it is generated at most every 1s. In general an NMI is generated much less often as the performance counter counts down only if the cpu is not idle. Therefore the overhead of this feature is fairly minimal even if the load is high. Uppon detecting that the kernel is locked up the kernel dumps the state of the kernel registers and panics. Local APIC must be enabled for the watchdog to work. The code is _always_ compiled in, however, it is only enabled if watchdog=<non-zero> is set in the boot monitor. One corner case is serial console debugging. As dumping a lot of stuff to the serial link may take a lot of time, the watchdog does not detect lockups during this time!!! as it would result in too many false positives. 10 nmi have to be handled before the lockup is detected. This means something between ~5s to 10s. Another corner case is that the watchdog is enabled only after the paging is enabled as it would be pure madness to try to get it right.
55 lines
2 KiB
C
55 lines
2 KiB
C
#ifndef KERNEL_H
|
|
#define KERNEL_H
|
|
|
|
/* APIC is turned on by default */
|
|
#define CONFIG_APIC
|
|
/* boot verbose */
|
|
#define CONFIG_BOOT_VERBOSE
|
|
/*
|
|
* compile in the nmi watchdog by default. It is not enabled until watchdog=1
|
|
* (non-zero) is set in monitor
|
|
*/
|
|
#define CONFIG_WATCHDOG
|
|
/* We only support 1 cpu now */
|
|
#define CONFIG_MAX_CPUS 1
|
|
#define cpuid 0
|
|
/* measure cumulative idle timestamp counter ticks */
|
|
#undef CONFIG_IDLE_TSC
|
|
|
|
/* This is the master header for the kernel. It includes some other files
|
|
* and defines the principal constants.
|
|
*/
|
|
#define _POSIX_SOURCE 1 /* tell headers to include POSIX stuff */
|
|
#define _MINIX 1 /* tell headers to include MINIX stuff */
|
|
#define _SYSTEM 1 /* tell headers that this is the kernel */
|
|
|
|
/*
|
|
* we need the defines above in assembly files to configure the kernel
|
|
* correctly. However we don't need the rest
|
|
*/
|
|
#ifndef __ASSEMBLY__
|
|
|
|
/* The following are so basic, all the *.c files get them automatically. */
|
|
#include <minix/config.h> /* global configuration, MUST be first */
|
|
#include <ansi.h> /* C style: ANSI or K&R, MUST be second */
|
|
#include <sys/types.h> /* general system types */
|
|
#include <minix/const.h> /* MINIX specific constants */
|
|
#include <minix/type.h> /* MINIX specific types, e.g. message */
|
|
#include <minix/ipc.h> /* MINIX run-time system */
|
|
#include <minix/sysutil.h> /* MINIX utility library functions */
|
|
#include <timers.h> /* watchdog timer management */
|
|
#include <errno.h> /* return codes and error numbers */
|
|
|
|
/* Important kernel header files. */
|
|
#include "config.h" /* configuration, MUST be first */
|
|
#include "const.h" /* constants, MUST be second */
|
|
#include "type.h" /* type definitions, MUST be third */
|
|
#include "proto.h" /* function prototypes */
|
|
#include "glo.h" /* global variables */
|
|
#include "ipc.h" /* IPC constants */
|
|
#include "profile.h" /* system profiling */
|
|
#include "debug.h" /* debugging, MUST be last kernel header */
|
|
|
|
#endif /* __ASSEMBLY__ */
|
|
|
|
#endif /* KERNEL_H */
|