Летняя Школа Системного Программирования 5-6 августа, Москва

Обсудить лекции или задать вопросы можно в рассылке

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