Mach microkernel

GPTKB entity

Statements (47)
Predicate Object
gptkbp:instance_of gptkb:Microservices
gptkbp:designed_for gptkb:performance
flexibility
gptkbp:developed_by gptkb:Carnegie_Mellon_University
gptkbp:first_released gptkb:1985
gptkbp:has kernel space
a large user community
user space servers
IPC mechanisms
a microkernel architecture
https://www.w3.org/2000/01/rdf-schema#label Mach microkernel
gptkbp:influenced_by gptkb:L4_microkernel
gptkb:QNX
gptkbp:is open source
portable
scalable
modular
used in research
a subject of academic study
used in commercial products
a foundation for other operating systems
a part of the BSD family
a part of the UNIX family
a subject of computer science research
a subject of distributed systems
a subject of kernel development
a subject of operating system theory
a subject of performance analysis
a subject of software development
a subject of software engineering
a subject of system design
a subject of system programming
a subject of technical documentation
gptkbp:provides scheduling
virtual memory
inter-process communication
device drivers
gptkbp:supports multitasking
multiple architectures
memory management
gptkbp:used_in gptkb:Ne_XTSTEP
gptkb:GNU_Hurd
gptkb:i_OS
gptkb:mac_OS
gptkbp:written_in gptkb:C
gptkbp:bfsParent gptkb:Ne_XTSTEP
gptkbp:bfsLayer 4