Обсудить лекции или задать вопросы можно в рассылке
- Что такое factory, каким образом используется и для чего?
- Что такое target_cap, thread_cap? Область видимости gate.
- Структура utcb и назначение каждого из полей.
- Что происходит, когда истекает timout в ipc?
- Есть ли ограничения на длинну ipc message?
- Что такое IDL compiler, зачем он нужен и какие проблемы решает?
- Как эти проблемы решены в gnu/mach (вдруг вы знаете), как он решаются в l4re?
- Communication channel и ipc gate - одно и то же?
- Так все же, каким образом сервер узнают какую dispatch функцию вызывать?
- А если у нас несколько каналов?
- Опишите пожалуйста механизм работы sigma0, каким образом обрабатываются page fault?
- У каждого треда есть pager - обработчик page fault.
- Что такое flexpage и зачем это нужно?
- Опишите пожалуйста проблему иерархических мапингов и метод ее решения в fiasco.oc
- Что такое dataspace, каким образом с этой абстракцией осцществляетс работа?
- Как используюя dataspace передавать данные между серверами
