HelenOS [1] [2] [3] [4] - an operating system based on a multi-server microkernel . HelenOS source code is written in C and published under the BSD license .
| HelenOS | |
|---|---|
| 200px | |
| OS family | microkernel multiserver operating system |
| Source | free software |
| Latest version | 0.9.1 ( Template: Release date ) |
| Supported Platforms | IA-32 , AMD64 , IA-64 , ARM , MIPS , PowerPC , SPARC V9 |
| Kernel type | micronucleus |
| License | BSD |
| Source code repository | |
| Web site | helenos.org |
Content
Technical Details
The microkernel handles multitasking , memory management and interprocess communication . It also provides kernel level execution threads and multi-core support.
Typical of microkernels, file system, network, device driver, and graphical user interface implementations are isolated from each other. They are a set of components that execute in user space and exchange data through a message bus.
Each process (called a task , task ) can use several threads of execution (planned by the micronucleus according to the preemptive scheme). Each thread can in turn consist of several fibers , the planning of which is made from user space. Drivers of devices and file systems, like other system services, are implemented by a set of tasks ( servers , servers ) of user space, forming a multi-server structure of HelenOS.
Tasks interact by using the HelenOS IPC mechanism, which provides persistent connections with asynchronous transfer . It can be used to send small messages of a fixed size, blocks of bytes, or to establish a sharing mode for a piece of memory. Messages are forwarded without copying large data and without mapping memory into the address space of an intermediate task.
Development
HelenOS development is done by the developer community. It consists of a small core team, mainly employees and students of the Faculty of Mathematics and Physics at Charles University in Prague , and a number of co-authors from around the world. In 2011, 2012 and 2014, HelenOS participated in Google Summer of Code as the organizer of summer student projects. [5] [6] In 2013, the project also participated in the ESA program “Summer of Code in Space 2013”. [7]
HelenOS source code is distributed under the BSD license , some third-party components are available under the GNU GPL . Both licenses are certified as free software licenses , making HelenOS free software .
Hardware Support
HelenOS is able to work on several processor architectures, including ARM , x86-64 , IA-32 , IA-64 ( Itanium ), MIPS , PowerPC (only the 32-bit version), SPARC V9 and RISC-V [8] . For each of the architectures, there were versions of HelenOS running on real hardware, and not on an architecture simulator.
HelenOS supports PATA , SATA , USB Mass Storage (USB Flash), USB HID (input devices), Atheros USB WiFi peripherals, multiple Ethernet network cards, SoundBlaster 16 and Intel HDA audio chips, serial ports, keyboards, mice and a video device in a simple frame point array ("framebuffer").
Research
HelenOS is used for research [9] [10] in the field of software components and verification at the University of Prague. In addition, HelenOS was used by students as a platform for software projects and master's theses. [eleven]
Notes
- ↑ hpr1447 :: HPR Coverage at FOSDEM 2014 Part 1/5
- ↑ HelenOS Micro-Kernel OS Still Marching On
- ↑ HelenOS - the operating system that launched a thousand processes, DistroWatch Weekly, Issue 350, April 19, 2010
- ↑ HelenOS nikdy nebude dokončený, říká jeho autor Jakub Jermář
- ↑ List of projects accepted into Google Summer of Code 2012
- ↑ List of projects accepted into Google Summer of Code 2014
- ↑ Selected mentoring organizations unopened (inaccessible link) . Date accessed August 24, 2019. Archived July 16, 2017.
- ↑ FOSDEM (2019-02-11), Lessons learned from porting HelenOS to RISC-V Pros and cons of RISC-V from a microkernel OS point ... , < https://www.youtube.com/watch?v=evnahBRjwKQ > . Retrieved February 25, 2019.
- ↑ Institutional research plan MSM0021620838 - Modern methods, structures and systems of computer science (2005—2011, MSM)
- ↑ Research @ D3S
- ↑ Defended HelenOS theses at Faculty of Mathematics and Physics, Charles University in Prague (link not available)