<--- Back to Details
First PageDocument Content
Concurrency control / Mach / Thread / Monitor / Microkernel / Spinlock / Synchronization / Kernel / SIMPL / Operating system / Semaphore / Mutual exclusion
Date: 2013-07-28 11:23:43
Concurrency control
Mach
Thread
Monitor
Microkernel
Spinlock
Synchronization
Kernel
SIMPL
Operating system
Semaphore
Mutual exclusion

Add to Reading List

Source URL: codex.cs.yale.edu

Download Document from Source Website

File Size: 223,30 KB

Share Document on Facebook

Similar Documents

The Jury Is In: Monolithic OS Design Is Flawed Microkernel-based Designs Improve Security Simon Biggs, Damon Lee,

DocID: 1xVEb - View Document

SAMSUNG RESEARCH AMERICA – SILICON VALLEY. JANUARY 31, A Scalable High-Performance In-Memory Key-Value Cache using a Microkernel-Based Design

DocID: 1t7hh - View Document

Fault-tolerant computer systems / Computing / Computer architecture / Concurrent computing / Data synchronization / State machine replication / Byzantine fault tolerance / Replication / Clientserver model / Microkernel / Server

Attested Append-Only Memory: Making Adversaries Stick to their Word Byung-Gon Chun† Petros Maniatis⋆ Scott Shenker†‡ †

DocID: 1rqQM - View Document

Computer architecture / Computing / Software / Inter-process communication / Micro-Controller Operating Systems / Message queue / DSPACE GmbH / Real-time operating system / FlexRay / Microkernel / CAN bus

An experience report on the integration of ECU software using an HSF-enabled real-time kernel Martijn M.H.P. van den Heuvel, Erik J. Luit, Reinder J. Bril, Johan J. Lukkien, Richard Verhoeven and Mike Holenderski Departm

DocID: 1qRDg - View Document

Computer architecture / Software / System software / Operating system kernels / Linux kernel / Kernel / Operating system / Hypervisor / NetBSD / Mach / Loadable kernel module / Microkernel

OS-S OMMELIER: Memory-Only Operating System Fingerprinting in the Cloud Yufei Gu† , Yangchun Fu† , Aravind Prakash‡ , Zhiqiang Lin† , Heng Yin‡ Department of Computer Science The University of Texas at Dallas 8

DocID: 1qyWL - View Document