Talk in SDI Lab: Naming Service Design in a Multi-Server Operating System

As part of my work for the SDI Lab work this summer, I held a short talk about how to design a name service in a multi-server operating system like L4.

The slides are available here:

Here the table of contents:

1. Goals
2. Name Catalogs
   1. Object Representation
   2. Catalogs
3. IDL Interfaces
   1. Resolve Interface
   2. Bind Interface
4. Extension / Ideas