SlideServe
Télécharger Obtenir Pro
Menu
Accueil Pro
Préférences
ApparenceLight Aide et commentaires
© SlideServe · v2026

A Microkernel API for Fine-grained Decomposition

dessa avatar
dessa
11 diapositives · 298 Views · Jul 26, 2014

A Microkernel API for Fine-grained Decomposition. Sebastian Reichelt , Jan Stoess, Frank Bellosa. OS Decomposition. Data location? Data transfer? Split state? System knowledge?. Microkernel. Kernel. TCP/IP stack. Threads. Threads. Address spaces. Address spaces. Packets. IPC. IPC.

A Microkernel API for Fine-grained Decomposition - slide 1
01 / 11A Microkernel API for Fine-grained Decomposition
1 / 17

Télécharger la présentation

A Microkernel API for Fine-grained Decomposition
Une image / un lien ci-dessous est fourni (tel quel) pour télécharger la présentation

Politique de téléchargement : le contenu du site vous est fourni TEL QUEL pour votre information et votre usage personnel ; il ne peut être vendu, concédé sous licence ni partagé sur d’autres sites sans l’accord de son auteur.Le contenu vous est fourni TEL QUEL, pour votre information et votre usage personnel uniquement. Téléchargez la présentation en cliquant sur ce lien. Lors du téléchargement, si vous ne parvenez pas à télécharger une présentation, l’éditeur a peut-être supprimé le fichier de son serveur.Pendant le téléchargement, si vous ne parvenez pas à obtenir une présentation, le fichier a peut-être été supprimé par l’éditeur.

F I N

Plus de contenu associé

Transcription de la présentation

  1. A Microkernel API for Fine-grained Decomposition Sebastian Reichelt, Jan Stoess, Frank Bellosa

  2. OS Decomposition Data location? Data transfer? Split state? System knowledge? Microkernel Kernel TCP/IP stack Threads Threads Address spaces Address spaces Packets IPC IPC Ease of development? Reuse? Granularity? Component model Device driver Threads Threads Address spaces Interfaces Microkernel IPC Sebastian Reichelt, Jan Stoess, Frank BellosaA Microkernel API for Fine-grained Decomposition

  3. Our Approach Data location? Data transfer? Split state? System knowledge? Microkernel Servers Servers TCP/IP stack Local objects Local objects References References Packets Function calls Function calls Component model Component model Device driver Interfaces Microkernel Sebastian Reichelt, Jan Stoess, Frank BellosaA Microkernel API for Fine-grained Decomposition

  4. Designing for Decomposition Existing microkernels: Task Component model Microkernel Task Server Create thread Task Send IPC Servers Threads Task Address spaces Local objects References IPC Receive IPC Our microkernel: Component Component Server Provided interface Component Required interfaces Component Threading options Sebastian Reichelt, Jan Stoess, Frank BellosaA Microkernel API for Fine-grained Decomposition

  5. Reference Management Microkernel Sebastian Reichelt, Jan Stoess, Frank BellosaA Microkernel API for Fine-grained Decomposition

  6. Reference Management Client TCP/IP stack open connection TCP connection send packet Microkernel Sebastian Reichelt, Jan Stoess, Frank BellosaA Microkernel API for Fine-grained Decomposition

  7. Prototype Linux lwIP Evaluation: granularity, reuse, performance • Multi-server OS (~4 man-months) • Basic servers (memory, scheduling, ...) • Drivers (standard PC hardware, PCI, Ethernet) • Decomposed TCP/IP stack • Linux ABI implementation (partial) • Kernel (~2 man-months) • IA-32 implementation • Servers in kernel mode Sebastian Reichelt, Jan Stoess, Frank BellosaA Microkernel API for Fine-grained Decomposition

  8. Granularity Size of a server: As fine-granular as desired Linux ABI layer Sebastian Reichelt, Jan Stoess, Frank BellosaA Microkernel API for Fine-grained Decomposition

  9. Reuse RTL-8139 driver ported from Linux (~1 man-month): Reuse possible with little effort lines of code e.g. calls via interfacesinstead of directly queue-basedpacket processing Sebastian Reichelt, Jan Stoess, Frank BellosaA Microkernel API for Fine-grained Decomposition

  10. Performance Low performance overhead cycles Sebastian Reichelt, Jan Stoess, Frank BellosaA Microkernel API for Fine-grained Decomposition

  11. Conclusion • http://oosys.sourceforge.net/ • Demo today • Microkernel APIs enforce system structure • Existing APIs  distributed systems • Development, reuse, and granularity problems • Our approach: component model as API • More general abstractions related to decomposition(servers, interfaces, calls, references, local objects, ...) • Derived microkernel design • Networking-capable prototype OS • Good granularity and reuse, promising performance Sebastian Reichelt, Jan Stoess, Frank BellosaA Microkernel API for Fine-grained Decomposition