MutekH embedded operating system. January 10, 2013

Transcription

1 MutekH embedded operating system January 10, 2013

2 Table of Contents Table of Contents History... 2 Native heterogeneity support... 3 MutekH kernel overview... 6 MutekH configuration MutekH embedded operating system - January 10,

3 History History MutekH development started in 2005 along with the SoCLib project. Native heterogeneity and multiprocessor support were the major features of the project in MutekH has soon been chosen by various research project as a general purpose embedded operating system to target multiprocessor and single processors platforms. MutekH embedded operating system - January 10,

4 Native heterogeneity support Native heterogeneity support MutekH brings transparent processor heterogeneity support to parallel applications developers : all global data and allocated data structures can be transparently accessed from any processor in the system, all synchronization mechanisms and atomic operations can be used from any processor in the system, the application code is compiled from C, C++, or any other language translatable into machine code, the compiled application code is executed on bare metal. MutekH embedded operating system - January 10,

5 Native heterogeneity support Heterogeneous application example Heterogeneous application example Use of dedicated hardware for computationally intensive tasks in Mjpeg decoder application : MutekH embedded operating system - January 10,

6 Native heterogeneity support Heterogeneous application example Heterogeneity constraints Different processors need to execute different instruction sets or different codes. Function pointers must point to right code for each processor. Processor system mechanisms may be different and need abstractions. (interrupts, locking, context switch, IO space access) Data types width and alignment must match between processors. MutekH embedded operating system - January 10,

7 MutekH kernel overview The MutekH kernel is exokernel-based, kernel services and resources are multiplexed and exposed to applications through different standard interfaces. The modular architecture can bring heterogeneity support to various application interfaces (Pthread, OpenMP,...). No specific algorithms are used to handle heterogeneity outside the hardware abstraction layer. This design has been chosen to keep heterogeneity support performance overhead unnoticeable. MutekH is not specific to heterogeneous platforms and is useful as a generalpurpose operating system. Kernel features are configured at compile time. Extreme source level modularity do not imply binary level modularity. MutekH embedded operating system - January 10,

8 Exo-kernel architecture MutekH embedded operating system - January 10,

9 MutekH kernel architecture MutekH embedded operating system - January 10,

10 Heterogeneous multiprocessor support implies high code portability and smart hardware abstraction layer API to solve issues related to processor differences. Unlike other kernel HALs, Hexo needs to handle different processors at the same time. MutekH embedded operating system - January 10,

11 MutekH embedded operating system - January 10,

12 Hardware abstraction kernel services (hexo) Atomic operations and spin-locks Endian and byte-swapping functions Processor level interrupts and exceptions Processor context switch Context local and processor local variables MutekH embedded operating system - January 10,

13 Hardware independent kernel services Context scheduler (mutek) Memory allocator (mutek) Logging and diagnostic reporting (mutek) Device tree and pnp hardware resource support (libdevice) Generic container library (list, hash, binary search trees...). TCP/IP stack networking library (libnetwork) File system support library (libvfs) ELF binary file format handling library (libelf) MutekH embedded operating system - January 10,

14 User application OS interface libraries Parallel programming libraries : Native Posix threads support (libpthread) GNU OpenMP runtime library (libgomp) Capsule parallel programming library. (libcapsule) Unix implementation (not ready yet). (libunix) MutekH embedded operating system - January 10,

15 Various services for applications Fdlibm standard math library (libm) Lua scripting library (liblua) LibTermUI Ansi terminal driver and getline library (libtermui) A simple cryptographic library (libcrypto) Source line of code : Source line of code : without ports. MutekH embedded operating system - January 10,

16 Supported platforms SoCLib multiprocessor platforms, SystemC and FPGAs, IBM PC multiprocessor platforms, Gaisler Aeroflex multiprocessor platforms, Simple single processor platforms for microcontrollers (ARM, AVR,...). MutekH embedded operating system - January 10,

17 Supported processors x86 processor, Mips processor, ARM processor, PowerPC processor, Sparc processor. Nios2 processor. Lattice LM32 processor. Experimental : AVR32 processor. Xilinx Microblaze processor. MutekH embedded operating system - January 10,

18 MutekH configuration MutekH configuration MutekH is highly configurable. 450 configuration tokens define enabled features and modules at compile time. The build system handles dependencies and constraints between configuration tokens. The build system is also responsible for ordering initialization stages of the various enabled modules depending on the current configuration. MutekH embedded operating system - January 10,