ChorusOS 5.0 Features and Architecture Overview

Microkernel Supervisor Page Instrumentation

The C_OS implements the microkernel supervisor page instrumentation via the sysctl kern.mkstats.svpages node. The OS_GAUGES feature must be set to true.

Instrumentation related to use of supervisor pages comprises the following measurement:

Function 

Instrument Type 

Description 

svPages()

Gauge (high threshold) 

Measures number of supervisor pages currently allocated