Genode as general-purpose OS progress report and demonstration - - PowerPoint PPT Presentation

▶
genode as general purpose os progress report and
SMART_READER_LITE
LIVE PREVIEW

Genode as general-purpose OS progress report and demonstration - - PowerPoint PPT Presentation

Nov 17, 2022 341 likes •740 views

Genode as general-purpose OS progress report and demonstration Norman Feske < norman.feske@genode-labs.com > Outline 1. Introduction 2. The long way towards general-purpose computing Fundamentals Functionality Resource utilization

slide-1
SLIDE 1

Genode as general-purpose OS progress report and demonstration

Norman Feske <norman.feske@genode-labs.com>

slide-2
SLIDE 2

Outline

  • 1. Introduction
  • 2. The long way towards general-purpose computing

Fundamentals Functionality Resource utilization Stability

  • 3. What is left to be desired?
  • 4. Sidelines
  • 5. Road map 2014

Genode as general-purpose OS progress report and demonstration 2

slide-3
SLIDE 3

Outline

  • 1. Introduction
  • 2. The long way towards general-purpose computing

Fundamentals Functionality Resource utilization Stability

  • 3. What is left to be desired?
  • 4. Sidelines
  • 5. Road map 2014

Genode as general-purpose OS progress report and demonstration 3

slide-4
SLIDE 4

Myths

Genode as general-purpose OS progress report and demonstration 4

slide-5
SLIDE 5

Key technologies

Microkernels Decomponentization, kernelization Capability-based security Virtualization

Genode as general-purpose OS progress report and demonstration 5

slide-6
SLIDE 6

Genode architecture

→ Application-specific TCB

Genode as general-purpose OS progress report and demonstration 6

slide-7
SLIDE 7

Combined with virtualization

Genode as general-purpose OS progress report and demonstration 7

slide-8
SLIDE 8

How to get there? Found a company!

Genode Labs, founded in May 2008, self-funded Systems research and development Idea: Start small, build sustainable business, grow organically Team of 8 people Small yet diverse customer base Main source of income is contracting work

Genode as general-purpose OS progress report and demonstration 8

slide-9
SLIDE 9

Components

Genode as general-purpose OS progress report and demonstration 9

slide-10
SLIDE 10

Components

Genode as general-purpose OS progress report and demonstration 10

slide-11
SLIDE 11

Components

Genode as general-purpose OS progress report and demonstration 11

slide-12
SLIDE 12

Components

Genode as general-purpose OS progress report and demonstration 12

slide-13
SLIDE 13

Components

Genode as general-purpose OS progress report and demonstration 13

slide-14
SLIDE 14

Components

Genode as general-purpose OS progress report and demonstration 14

slide-15
SLIDE 15

Outline

  • 1. Introduction
  • 2. The long way towards general-purpose computing

Fundamentals Functionality Resource utilization Stability

  • 3. What is left to be desired?
  • 4. Sidelines
  • 5. Road map 2014

Genode as general-purpose OS progress report and demonstration 15

slide-16
SLIDE 16

Outline

  • 1. Introduction
  • 2. The long way towards general-purpose computing

Fundamentals Functionality Resource utilization Stability

  • 3. What is left to be desired?
  • 4. Sidelines
  • 5. Road map 2014

Genode as general-purpose OS progress report and demonstration 16

slide-17
SLIDE 17

Fundamentals - NOVA kernel

IOMMU support Kernel-memory reuse Multi-processor support

Genode as general-purpose OS progress report and demonstration 17

slide-18
SLIDE 18

Fundamentals - Affinity management

Genode as general-purpose OS progress report and demonstration 18

slide-19
SLIDE 19

Fundamentals - OS infrastructure

Device drivers → essential drivers are in place (NIC, graphics, input, USB, audio, SATA) File systems

◮ per-process virtual file system ◮ FUSE ◮ Rump

TCP/IP

◮ lwIP ◮ Linux TCP/IP for gigabit networking Genode as general-purpose OS progress report and demonstration 19

slide-20
SLIDE 20

Outline

  • 1. Introduction
  • 2. The long way towards general-purpose computing

Fundamentals Functionality Resource utilization Stability

  • 3. What is left to be desired?
  • 4. Sidelines
  • 5. Road map 2014

Genode as general-purpose OS progress report and demonstration 20

slide-21
SLIDE 21

Functionality

Simple CLI Virtualization as a stop-gap solution

◮ Vancouver aka Seoul ◮ VirtualBox

Noux runtime for GNU software GNU debugger Qt5

◮ Change from QWS to QPA ◮ QML Genode as general-purpose OS progress report and demonstration 21

slide-22
SLIDE 22

Outline

  • 1. Introduction
  • 2. The long way towards general-purpose computing

Fundamentals Functionality Resource utilization Stability

  • 3. What is left to be desired?
  • 4. Sidelines
  • 5. Road map 2014

Genode as general-purpose OS progress report and demonstration 22

slide-23
SLIDE 23

Tracing: Wish list

Negligible performance overhead Kernel independence Accountability of used resources Useful level of abstraction Runtime-defined tracing policies Low-complexity implementation Online and offline analysis

Genode as general-purpose OS progress report and demonstration 23

slide-24
SLIDE 24

Tracing: Mechanism

Genode as general-purpose OS progress report and demonstration 24

slide-25
SLIDE 25

Resource management

Explicit assignment of physical resources to processes

Genode as general-purpose OS progress report and demonstration 25

slide-26
SLIDE 26

Resource management (II)

Resources can be attached to sessions

Genode as general-purpose OS progress report and demonstration 26

slide-27
SLIDE 27

Resource management (III)

Server-side heap partitioning

Genode as general-purpose OS progress report and demonstration 27

slide-28
SLIDE 28

Dynamic resource balancing

Not all use cases could be covered. Caches (i. e., block cache) Ballooning → refined parent interface

Genode as general-purpose OS progress report and demonstration 28

slide-29
SLIDE 29

Outline

  • 1. Introduction
  • 2. The long way towards general-purpose computing

Fundamentals Functionality Resource utilization Stability

  • 3. What is left to be desired?
  • 4. Sidelines
  • 5. Road map 2014

Genode as general-purpose OS progress report and demonstration 29

slide-30
SLIDE 30

Automated tests

Genode as general-purpose OS progress report and demonstration 30

slide-31
SLIDE 31

Automated tests (II)

Genode as general-purpose OS progress report and demonstration 31

slide-32
SLIDE 32

Automated benchmarks

Genode as general-purpose OS progress report and demonstration 32

slide-33
SLIDE 33

Outline

  • 1. Introduction
  • 2. The long way towards general-purpose computing

Fundamentals Functionality Resource utilization Stability

  • 3. What is left to be desired?
  • 4. Sidelines
  • 5. Road map 2014

Genode as general-purpose OS progress report and demonstration 33

slide-34
SLIDE 34

Capability-based user interface

User interface that matches Genode’s concepts Ideas: Composed out of many small inter-changeable building blocks Data centric Capability-based Command-line and graphical interface

Genode as general-purpose OS progress report and demonstration 34

slide-35
SLIDE 35

Outline

  • 1. Introduction
  • 2. The long way towards general-purpose computing

Fundamentals Functionality Resource utilization Stability

  • 3. What is left to be desired?
  • 4. Sidelines
  • 5. Road map 2014

Genode as general-purpose OS progress report and demonstration 35

slide-36
SLIDE 36

Sidelines

Samsung Exynos-5 (SATA 3.0, USB 3, HDMI, eMMC, NIC, DVFS) Freescale i.MX Raspberry Pi

Genode as general-purpose OS progress report and demonstration 36

slide-37
SLIDE 37

Outline

  • 1. Introduction
  • 2. The long way towards general-purpose computing

Fundamentals Functionality Resource utilization Stability

  • 3. What is left to be desired?
  • 4. Sidelines
  • 5. Road map 2014

Genode as general-purpose OS progress report and demonstration 37

slide-38
SLIDE 38

Road map 2014

Capability-based user interface Custom base-hw kernel platform

◮ MP support ◮ Capability-based security ◮ Virtualization

3rd-party source-code package management Improved block-level infrastructure (block cache, block encryption) Wireless networking

Genode as general-purpose OS progress report and demonstration 38

slide-39
SLIDE 39

Thank you

Genode OS Framework http://genode.org Genode Labs GmbH http://www.genode-labs.com Source code at GitHub http://github.com/genodelabs/genode

Genode as general-purpose OS progress report and demonstration 39