Когда процесс входит в ядро посредством исключения или прерывания, ядро должно сохранить текущее состояние машины до начала обслуживания события. Для PC состояние машины, которое должно быть сохранено, включает счетчик команд, указатель стека пользователя, регистры общего назначения и слово состояния процессора. Инструкция исключения PC сохраняет счетчик команд и слово состояния процессора как часть фрейма стека исключения; указатель стека пользователя и регистры должны быть сохранены программным обработчиком исключения. Если состояние машины не было бы сохранено полностью, ядро могло бы изменить значения в текущей исполняющейся программе неподходящим образом. Поскольку прерывания могут возникать между любыми двумя инструкциями уровня пользователя (а на некоторых архитектурах и между частями одной инструкции) и поскольку они могут вообще не относиться к текущему выполняющемуся процессу, не полностью сохраненное состояние могло бы вызывать в правильных программах загадочные и трудновоспроизводимые ошибки.

Точная последовательность действий, необходимая для сохранения состояния процесса, полностью зависит от машины, хотя PC представляет хороший пример обычной процедуры. Исключение или системный вызов запустят следующие события.

· Происходит аппаратное переключение в режим ядра (супервизора), так что проверки доступа к памяти осуществляются с привилегиями ядра, ссылки на стек используют стек ядра для процессов и могут выполняться привилегированные инструкции.

Ядро FreeBSD никогда не вытесняется для запуска процесса пользователя при выполнении в верхней половине ядра - например, при выполнении системного вызова, хотя оно явным образом уступит процессор, если нужно ждать событие или разделяемый ресурс. Однако его выполнение может быть прервано прерыванием для нижней половины ядра. Когда получено прерывание, процесс ядра, обрабатывающий это устройство, назначается на выполнение. Обычно эти процессы прерываний устройств имеют более высокий приоритет, чем процессы пользователя или процессы, работающие в верхней половине ядра. Таким образом, когда прерывание делает процесс обработки прерывания устройства работоспособным, он обычно вытесняет текущий выполняющийся процесс. Когда процессу, работающему в верхней половине ядра, нужно добавить элемент в рабочий список устройства, он должен убедиться, что он не будет прерван этим устройством на полпути связывания нового элемента с рабочим списком.