Entwurf und Implementierung eines serverseitigen Frameworks für parallele IPC-Operationen auf L4Re

L4Re ist ein Mikrokernbetriebssystem, welches vorrangig in eingebetteten Systemen eingesetzt wird. Um es auch im Serverbetrieb konkurrenzfähig zu machen, benötigt es unter anderem eine Möglichkeit, Interprozesskommunikation (IPC) auf mehreren Kernen und Threads zu betreiben. Dazu sind jedoch zusätzliche Mechanismen notwendig, um diese Threads zu synchronisieren. Im Vortrag werden daher zwei Implementierungen des libpipc-Pakets vorgestellt, einem Framework für die sichere und parallele Verarbeitung von IPC-Nachrichten auf L4Re. Ein Vergleich beider Implementierungen wird anhand konkreter Benchmarks die Vor- und Nachteile der Ansätze aufzeigen.

(Bachelor Thesis Defense)