Seminarium: Systemy Rozproszone
22 stycznia 2026 12:15, sala 4070
Adam Greloch



Optimizing IPC in a microkernel RTOSes: A follow-up



Przedstawię jaki postęp udało się uzyskać w realizacji mojej pracy magisterskiej pt. "Optimization of synchronous IPC for real-time microkernel-based systemson the example of Phoenix-RTOS" od czasu poprzedniej prezentacji.

W pierwszej części odniosę się do celów wówczas postawionych, opiszę też optymalizacje IPC w kernelach rodziny L4 w większym szczególe. Przedstawię proponowaną zoptymalizowaną architekturę IPC i pokażę wstępne porównanie narzutu aktualnej implementacji z usprawnioną. Wspomnę o napotkanych niespodziankach.

W drugiej części opiszę wyzwania z IPC w kontekście czasu rzeczywistego, jak sobie z nimi radzą nowoczesne mikrokernelowe RTOSy i co mnie z tego powodu czeka dalej.

Zapraszam,
Adam Greloch