J u m p t o c o n t e n t
M a i n m e n u
M a i n m e n u
N a v i g a t i o n
● M a i n p a g e
● C o n t e n t s
● C u r r e n t e v e n t s
● R a n d o m a r t i c l e
● A b o u t W i k i p e d i a
● C o n t a c t u s
● D o n a t e
C o n t r i b u t e
● H e l p
● L e a r n t o e d i t
● C o m m u n i t y p o r t a l
● R e c e n t c h a n g e s
● U p l o a d f i l e
S e a r c h
Search
A p p e a r a n c e
● C r e a t e a c c o u n t
● L o g i n
P e r s o n a l t o o l s
● C r e a t e a c c o u n t
● L o g i n
P a g e s f o r l o g g e d o u t e d i t o r s l e a r n m o r e
● C o n t r i b u t i o n s
● T a l k
( T o p )
1
T e c h n i c a l o v e r v i e w
2
D e v e l o p m e n t
3
H a r d w a r e s u p p o r t
4
R e s e a r c h a n d a c a d e m i c u s e
5
R e f e r e n c e s
6
E x t e r n a l l i n k s
T o g g l e t h e t a b l e o f c o n t e n t s
H e l e n O S
9 l a n g u a g e s
● C a t a l à
● Č e š t i n a
● E s p e r a n t o
● 日 本 語
● P o r t u g u ê s
● Р у с с к и й
● S i m p l e E n g l i s h
● S v e n s k a
● T ü r k ç e
E d i t l i n k s
● A r t i c l e
● T a l k
E n g l i s h
● R e a d
● E d i t
● V i e w h i s t o r y
T o o l s
T o o l s
A c t i o n s
● R e a d
● E d i t
● V i e w h i s t o r y
G e n e r a l
● W h a t l i n k s h e r e
● R e l a t e d c h a n g e s
● U p l o a d f i l e
● S p e c i a l p a g e s
● P e r m a n e n t l i n k
● P a g e i n f o r m a t i o n
● C i t e t h i s p a g e
● G e t s h o r t e n e d U R L
● D o w n l o a d Q R c o d e
● W i k i d a t a i t e m
P r i n t / e x p o r t
● D o w n l o a d a s P D F
● P r i n t a b l e v e r s i o n
A p p e a r a n c e
F r o m W i k i p e d i a , t h e f r e e e n c y c l o p e d i a
Example applications
C
Multiserver operating systems
Open source
June 11, 2006; 18 years ago (2006-06-11 )
0.14.1[1] / 19 May 2024
coastline packages[2]
IA-32 , AMD64 , IA-64 , ARM , MIPS , PowerPC , SPARC V9, RISC-V
Microkernel
BSD-3-Clause [3]
www .helenos .org
HelenOS [4] [5] [6] [7] is an operating system based on a multiserver microkernel design.[8] The source code of HelenOS is written in C and published under the BSD-3-Clause license.[3]
The system is described as a “research development open-source operating system”.[9]
Technical overview [ edit ]
The microkernel handles multitasking , memory management and inter-process communication . It also provides kernel-based threads and supports symmetric multiprocessing .
Typical to microkernel design, file systems, networking, device drivers and graphical user interface are isolated from each other into a collection of user space components that communicate via a message bus.
Each process (called task ) can contain several threads (preemptively scheduled by the kernel) which, in turn, can contain several fibers scheduled cooperatively in user space. Device and file-system drivers, as well as other system services, are implemented by a collection of user-space tasks (servers ), creating thus the multiserver nature of HelenOS.
Tasks communicate via HelenOS IPC, which is connection oriented and asynchronous . It can be used to send small fixed-size messages, blocks of bytes or to negotiate sharing of memory. Messages can be forwarded without copying bulk data or mapping memory to the address space of middle-men tasks.
Development [ edit ]
HelenOS development is community-driven. The developer community consists of a small core team, mainly staff and former and contemporary students of the Faculty of Mathematics and Physics at Charles University in Prague , and a number of contributors around the world.[10] In 2011, 2012 and 2014, HelenOS participated in the Google Summer of Code as a mentoring organization.[11] [12] [13] In 2013, the project was a mentoring organization in the ESA Summer of Code in Space 2013 program.[14]
The source code of HelenOS is published under the BSD-3-Clause license, while some third-party components are available under the GNU General Public License .[3] [15] Both of these licences are free software licenses , making HelenOS free software .
Hardware support [ edit ]
HelenOS runs on several different CPU architectures including ARM , x86-64 , IA-32 , IA-64 (Itanium ), MIPS , PowerPC (32-bit only), SPARC V9 and RISC-V .[16] At some point in time[further explanation needed ] , various versions of HelenOS ran on real hardware from each architecture (as opposed to running only in a simulator of that architecture).
HelenOS supports PATA , SATA , USB mass storage , USB HID , an Atheros USB WiFi dongle, several Ethernet network cards, SoundBlaster 16 and Intel HDA audio devices, serial ports, keyboards, mice and framebuffers.
Research and academic use [ edit ]
HelenOS is being used for research[17] [18] in the area of software components and verification by the Department of Distributed and Dependable Systems, Charles University, Prague. Besides that, HelenOS has been used by students as a platform for software projects and master theses.[19]
References [ edit ]
^ a b c "License – HelenOS" . Archived from the original on 2016-03-10. Retrieved 2021-06-18 .
^ 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, 19 April 2010
^ HelenOS nikdy nebude dokončený, říká jeho autor Jakub Jermář
^ Architecting Critical Systems . Springer Berlin Heidelberg . 2010. p. 74. ISBN 9783642135569 .
^ https://www.facebook.com/HelenOS [user-generated source ]
^ HelenOS Contributors measured by Ohloh
^ List of projects accepted into Google Summer of Code 2011
^ List of projects accepted into Google Summer of Code 2012
^ List of projects accepted into Google Summer of Code 2014
^ "Selected mentoring organizations" . Archived from the original on 2017-07-16. Retrieved 2020-01-11 .
^ HelenOS analysis by Ohloh
^ FOSDEM (2019-02-11), Lessons learned from porting HelenOS to RISC-V Pros and cons of RISC-V from a microkernel OS point … , archived from the original on 2021-12-22, retrieved 2019-02-25
^ 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 [permanent dead link ]
External links [ edit ]
NuKernel
Quark
WarpOS
Minix 3 °
MkLinux °
Multi-Environment Real-Time ^ (MERT – Unix-RT )
OS2000
QNX ^
Redox °
Spring
Tinix
UNICOS
VSTa
Integrity ^
Nucleus RTOS ^
NuttX ^°
OSE ^
RIOT ^°
Hydra
seL4 ^°
Midori
NLTSS
HarmonyOS NEXT (OpenHarmony , Oniro OS ) → HarmonyOS
PikeOS ^
REX OS ^
Wombat ^°
JX °
AROS °
MorphOS
ThreadX ^
Verve
Genode °
TI-RTOS ^°
Thomas Bushnell
David Cheriton
Dan Dodge
Per Brinch Hansen
Gernot Heiser
Jochen Liedtke
James G. Mitchell
Ike Nassi
Richard Rashid
Andrew S. Tanenbaum
Avie Tevanian
William Wulf
° = Open-source software Category: Microkernel-based operating systems Category: Microkernels
EmuTOS
FiwixOS
GeckOS
HelenOS
KolibriOS
MenuetOS
Phantom OS
Redox
SerenityOS
SharpOS
SkyOS
Syllable Desktop
SymbOS
TempleOS
ToaruOS
R e t r i e v e d f r o m " https://en.wikipedia.org/w/index.php?title=HelenOS&oldid=1210000831 "
C a t e g o r i e s :
● F r e e s o f t w a r e o p e r a t i n g s y s t e m s
● M i c r o k e r n e l - b a s e d o p e r a t i n g s y s t e m s
● M I P S o p e r a t i n g s y s t e m s
● X 8 6 o p e r a t i n g s y s t e m s
● M i c r o k e r n e l s
● S o f t w a r e u s i n g t h e B S D l i c e n s e
● H o b b y i s t o p e r a t i n g s y s t e m s
H i d d e n c a t e g o r i e s :
● A c c u r a c y d i s p u t e s f r o m A u g u s t 2 0 2 2
● A l l a r t i c l e s w i t h d e a d e x t e r n a l l i n k s
● A r t i c l e s w i t h d e a d e x t e r n a l l i n k s f r o m J a n u a r y 2 0 2 0
● A r t i c l e s w i t h p e r m a n e n t l y d e a d e x t e r n a l l i n k s
● A r t i c l e s w i t h s h o r t d e s c r i p t i o n
● S h o r t d e s c r i p t i o n i s d i f f e r e n t f r o m W i k i d a t a
● W i k i p e d i a a r t i c l e s n e e d i n g c l a r i f i c a t i o n f r o m J a n u a r y 2 0 1 9
● T h i s p a g e w a s l a s t e d i t e d o n 2 4 F e b r u a r y 2 0 2 4 , a t 1 4 : 3 3 ( U T C ) .
● T e x t i s a v a i l a b l e u n d e r t h e C r e a t i v e C o m m o n s A t t r i b u t i o n - S h a r e A l i k e L i c e n s e 4 . 0 ;
a d d i t i o n a l t e r m s m a y a p p l y . B y u s i n g t h i s s i t e , y o u a g r e e t o t h e T e r m s o f U s e a n d P r i v a c y P o l i c y . W i k i p e d i a ® i s a r e g i s t e r e d t r a d e m a r k o f t h e W i k i m e d i a F o u n d a t i o n , I n c . , a n o n - p r o f i t o r g a n i z a t i o n .
● P r i v a c y p o l i c y
● A b o u t W i k i p e d i a
● D i s c l a i m e r s
● C o n t a c t W i k i p e d i a
● C o d e o f C o n d u c t
● D e v e l o p e r s
● S t a t i s t i c s
● C o o k i e s t a t e m e n t
● M o b i l e v i e w