Новая ветка ядра

• maximYCH

  Posts 390

  Joined: Sun Nov 04, 2007 2:46 am

  Sat Jan 23, 2010 8:53 pm

  Всем доброго времени суток!
  Некоторые могли видеть, что около месяца назад я создал на Wiki страницу http://wiki.kolibrios.org/Open_message. Итак, у меня накопились мысли и появилось время, которое необходимо, что юы мысли привести в порядок и изложить.
  (Пометка: убедительная просьба - читать ниже написанное не как КОМАНДУ или ПРИКАЗ, а как ВОПРОС К ОБСУЖДЕНИЮ. Я никогда не старался и не хотел быть главнокомандующим).
  Diamond уже писал о том, что если сейчас составлять документацию на устройство системы (ядра в частности), то в очень многих моментах придется написать о том, что "реализовано вот так-то, хотя понятно что должно быть вот-так, но пока работает". Это очень важный момент. Поддержка LBA48, SMP, Plug&Play, ACPI, APIC (как следствие - USB, SATA и много чего ещё) упирается именно в не расширяемость ядра, в то, что ОЧЕНЬ многое написано "кривовато", о чем писал diamond. А причинах этих кривоватостей в том, что ядро не было СПРОЕКТИРОВАНО. Операционная система - очень сложный технический проект, который с бухты барахты, как его пытались последние 10 лет писать не пишется. И поверьте. Сейчас в ядре ~30 000 кода. Но. Это мертвый код. Кое-что вышеуказанное к нему добавить если и можно, то ТАКИМИ бредовыми костылями, что похлеще тех, что есть сейчас. Если сейчас ввести PnP, то придется переписывать всю модель ввода/вывода. А без этого - развитие мертво. Да, можно сделать PnP, USB, SATA без полной переписки. Но это будут большие громоздкие неудобные костыли. А без этого всего дальше можно только писать приложения, м.б. переписать часть GUI. И все. И дальше тупик. И лучше переписать сейчас, когда у нас пока реально хорошо работают только десяток приложений по 10 Кб.
  В конце концов, даже если сделать PnP костылем, то прийдется переписывать работу с моделью ввода/вывода и устройствами. Сейчас появился kord. Он заменит в какой то момент загрузчик. Для GUI нужно вынести графику из ядра. Аналогично с сетью. Казалось бы, ядро тогда будет в порядке, т.к. основное переписали. НЕ БУДЕТ. Старый код будет глючить в связке с новым, и будет куча проблем.
  Вообщем.
  Я хотел бы поставить вопрос о реализации нового ядра.
  А теперь ещё одна ремарка. Что лично я могу сделать, дабы не быть голословным. Во первых, проектировка ядра (естественно, что не в виде талмудов на 700 страниц, но общие представления применимо к x86 страниц на 10-20, во вторых, К++, в третьих прикладное, в четвертых тестирование и документирование (что очень не мало важно - если не будет задокументирована работа, то работа считай почти даром).
  Почему я до сих пор ничего не делал в прикладном ракурсе. Потому что СМЫСЛА делать под ОС с мертвым кодом приложения?
  Предлагаю этапы:
  1) Проектирование путем коллективного обсуждения (и что немало важно - сведение итогового документа, на основании которого собственно будет реализовываться ядро и подтверждение его всеми, кто будет принимать участие в его разработке (а я надеюсь что это будет интересно практически всем ядерщикам, кроме того, если представить такой документ на WASM, то вполне реально получить ещё парочку ядерщиков, если они будут понимать, что и как требуется на основании этого документа. Ещё можно перевести на английский (благо немного) и отправить на OSDev.org).
  2) Реализация. Синхронная реализация, с обсуждением отдельных фрагментов кода, логики работы, методов оптимизации, совместного тестирования, консультирования. Как выразился mike.dld год назад "Трудно переходить на нормальную коллективную разработку после стольких лет раздолбайства, возможно не все понимают, что это намного лучше, чем писать очередной свой велосипед, в тайне от всех, и так и не завершать начатое, однако я надеюсь на лучшее." (мне в интервью). Это единственный путь.

  Attachments

  mike.dld.doc (37 KiB)

  Упомянутое интервью с Майком. К сожалению, у нас тогда не хватило времени и я успел задать только половину вопросов.

  Downloaded 871 times

  • Quote

andrew_programmer

Posts 896

Joined: Thu May 19, 2005 4:43 pm

Mon Jan 25, 2010 11:21 pm

Для затравки определись для чего тебе нужно ядро: десктоп, сервер, реальное время/встроенные применения ?

Согласен. А чтобы это действительно стало реально, операционная система должна быть как конструктор - модульной. Модульной либо статически на уровне исходников, как в Linux, либо динамически как в Qnx. Так как нет ни того, ни другого, то остаётся,

если хочешь сдвинуть воз с мёртвой точки придётся долго и упорно тянуть его самому

Короче, все кому не безразлична KolibriOS изучаем системное программирование. Я не исключение Мануалы Intel/AMD в помощь.

• Quote

KolibriOS-перспективная ос!
Kolibri is best operation system in the world!

; В начале было Слово:
B32:        mov     ax, os_stack       ; Selector for os

Serge Kernel Developer

Posts 3952

Joined: Wed Mar 08, 2006 6:25 pm

Tue Jan 26, 2010 1:20 pm

andrew_programmer

На ассемблере выйдут те же яйца, только в профиль. Он нужен только для очень специализированных вещей - точек входа ядра и обработчиков прерывания. Всё остальное неплохо получается и на С. Например так

Code: Select all

Немного модифицированный код из L4 
    __asm__ __volatile__(
    "lgdt %0          \n\t"
    "ljmp %1,$1f      \n\t "  /* refetch code segment descr.  */
    ".align 4         \n\t"
    "1:               \n"     /* by jumping across segments */
    :: "m"(gdt_desc), "i" (sel_os_code) );

    /* set the segment registers from the freshly installed GDT
       and load the Task Register with the TSS via the GDT */

    __asm__ __volatile__(
    "mov  %0, %%ds      \n\t" /* reload data segment      */
    "mov  %0, %%es      \n\t" /* need valid %es for movs/stos */
    "mov  %1, %%ss      \n\t" /* reload stack segment     */
    "mov  %2, %%gs      \n\t" /* load TLS segment         */
    "mov  %0, %%fs      \n\t" /* default                         */
    "xor %%eax, %%eax   \n\t" /*              */
    "lldt %%ax          \n\t" /* clear LDTR           */
    :
    : "r"(sel_app_data), "r"(sel_os_stack), "r"(sel_ostls)
    : "eax" );

    __asm__ __volatile__(
    "ltr %%ax \n\t"
    ::"a"(sel_tss));

Иногда даже очень неплохо

Code: Select all

static inline void outb(const uint16_t port, const uint8_t val)
{
    __asm__ __volatile__ ("outb %0, %w1" : : "a"(val), "dN"(port));
}

void init_pic()
{
    outb(0x20, 0x11);
    outb(0xA0, 0x11);

    outb(0x21, 0x20);
    outb(0xA1, 0x28);

    outb(0x21, 0x04);
    outb(0xA1, 0x02);

    outb(0x21, 0x01);
    outb(0xA1, 0x01);

    outb(0xA1, 0xFF);
    outb(0x21, 0xFF);
};

компилируется в 

                 public _init_pic
 _init_pic       proc near
                 mov     al, 11h
                 out     20h, al         ; Interrupt controller, 8259A.
                 out     0A0h, al        ; PIC 2  same as 0020 for PIC 1
                 mov     al, 20h ; ' '
                 out     21h, al         ; Interrupt controller, 8259A.
                 mov     al, 28h ; '('
                 out     0A1h, al        ; Interrupt Controller #2, 8259A
                 mov     al, 4
                 out     21h, al         ; Interrupt controller, 8259A.
                 mov     al, 2
                 out     0A1h, al        ; Interrupt Controller #2, 8259A
                 mov     al, 1
                 out     21h, al         ; Interrupt controller, 8259A.
                 out     0A1h, al        ; Interrupt Controller #2, 8259A
                 mov     al, 0FFh
                 out     0A1h, al        ; Interrupt Controller #2, 8259A
                 out     21h, al         ; Interrupt controller, 8259A.
                 retn
 _init_pic       endp 

• Quote