Пишу игрушечную ОС (о прерываниях)

в 22:30, , рубрики: diy или сделай сам, ассемблер, ОС, прерывания, системное программирование, метки: , , ,

Пишу игрушечную ОС (о прерываниях)
Данная статья написана в форме поста для блога. Если она окажется вам интересной, то будет продолжение.

Последние четыре месяца посвящаю свободное от работы время написанию игрушечной ОС для x86_64. Исходный код лежит здесь.

Общая задумка (пока весьма далёкая от реализации) следующая: единое 64-битное адресное пространство с вечно живущими нитями (как у Phantom OS); виртуальная машина, обеспечивающая безопасность исполнения кода. На данный момент реализованы:

1. загрузка ядра при помощи multiboot-загрузчика (GRUB);
2. текстовый VGA-режим (16-цветов, kprintf);
3. простой интерфейс настройки отображения страниц;
4. возможность обработки прерываний на C;
5. идентификация топологии процессоров (сокеты, ядра, потоки) и их запуск;
6. работающий прототип SMP-планировщика с поддержкой приоритетов;

Пропустим описание multiboot-загрузки и работы с VGA-режимом (об этом не писал, разве что, ленивый). Про отображение страниц тоже не хочу писать, боюсь это будет скучно (может, в другой раз). Давайте лучше поговорим об обработке прерываний.

Обычно обработчики прерываний, как любой другой критичный код, пишутся на ассемблере. Не очень люблю ассемблер, предпочитая как можно больше кода писать на C. Поэтому я сделал несколько макросов, позволяющих удобно писать обработчики прерываний на С. Конечно же, такое решение негативно сказывается на производительности, но мощность современных компьютеров позволяет такую роскошь (выносим за скобки системы реального времени).

В момент прерывания в long mode процессор формирует в стеке обработчика (это может быть как пользовательский, так и отдельно выделенный стек) фрейм, содержащий сохранённые регистры:

Пишу игрушечную ОС (о прерываниях)

Вообще-то, это картинка соответствует protected mode (не нашёл качественную картинку для long mode), но, не считая мелких деталей, принцип абсолютно тот же. Остальные регистры пользовательского потока остаются нетронутыми, поэтому обработчик должен их сохранить в стеке. Поскольку наш обработчик написан на C, то приходится сохранять полный комплект регистров, включая 512-байт FPU/MMX/SSE. Конечно, можно запретить компилятору генерировать SIMD-код для всего ядра или только для функций, работающих внутри прерываний. В первом случае мы лишимся многих оптимизаций, во втором – вообще нивелируем пользу от написания обработчиков на С, так как не сможем пользоваться никакими стандартными функциями. Итак, пользуемся инструкциями fxsave и fxrstor для быстрого сохранения/восстановления регистров FPU/MMX/SSE.

Вот структура нашего стекового фрейма:

struct int_stack_frame {
  uint64_t r15, r14, r13, r12, r11, r10, r9, r8, rdi, rsi, rdx, rcx, rbx, rax;
  uint8_t fxdata[512];
  uint32_t error_code;
  uint64_t rip;
  uint16_t cs;
  uint64_t rflags, rsp;
  uint16_t ss;
};

Первая часть полей до error_code – вручную сохранённые регистры, вторая – регистры, автоматически сохранённые процессором. Обратный порядок обусловлен тем, что стек растёт сверху вниз. Теперь определим макросы для удобного написания обработчиков.

#define ISR_IMPL(name)                                                  
  static NOINLINE                                                       
  void name##_isr_impl(UNUSED struct int_stack_frame *stack_frame,      
                       UNUSED uint64_t data)

#define ISR_GETTER(name, impl_name, data)                            
  static NOINLINE void *name##_isr_getter(void) {                    
    ASMV("jmp 2fn.align 16n1: andq $(~0xF), %rsp");                
    ASMV("subq $512, %rspnfxsave (%rsp)");                          
    ASMV("push %raxnpush %rbxnpush %rcxnpush %rdx");              
    ASMV("push %rsinpush %rdinpush %r8npush %r9npush %r10");     
    ASMV("push %r11npush %r12npush %r13npush %r14npush %r15");   
    ASMV("leaq (%rsp), %rdi");                                       
    ASMV("movabsq $%P0, %%rsi" : : "i"(data));                       
    ASMV("callq %P0" : : "i"(impl_name##_isr_impl));                 
    ASMV("pop %r15npop %r14npop %r13npop %r12npop %r11");        
    ASMV("pop %r10npop %r9npop %r8npop %rdinpop %rsi");          
    ASMV("pop %rdxnpop %rcxnpop %rbxnpop %rax");                  
    ASMV("fxrstor (%rsp)naddq $(512 + 8), %rsp");                   
    void *isr;                                                       
    ASMV("iretqn2: movq $1b, %0" : "=m"(isr));                      
    return isr;                                                      
  }

#define ISR_DEFINE(name, data)                  
  ISR_IMPL(name);                               
  ISR_GETTER(name, name, data)                  
  ISR_IMPL(name)

Первый макрос определяет сигнатуру функции обработчика. Второй – обёртка сохраняющая и восстанавливающая регистры. Подобная схема позволяет вызывать одну функцию-обработчик на несколько прерываний. Я это использую для стандартных ошибок, когда несколько прерываний делают дамп стекового фрейма. Как видно из кода, обработчик принимает дополнительный аргумент data, соответственно, разные прерывания могут передавать свои данные в один обработчик. Наконец, последний макрос для сокращённого написания пары: обработчик + обёртка, когда обработчик заточен под одно единственное прерывание.

Обёртка представляет собой функцию, возвращающую указатель на начало обрабатывающего кода, расположенного в её же теле. Подробнее об этом трюке можно почитать здесь.

В результате написать обработчик и привязать его к прерыванию становится тривиальной задачей:

ISR_DEFINE(foo) {
// обычный C-код обработки прерывания
// доступны struct int_stack_frame *stack_frame и uint64_t data
}

set_isr(INT_FOO_VECTOR, foo_isr_getter());

Вот и всё что я хотел рассказать об Вьетнаме обработке прерываний.

Автор: ababo

Источник

Поделиться

* - обязательные к заполнению поля