Filters








5,109 Hits in 3.5 sec

Improving IPC by kernel design

Jochen Liedtke
1993 ACM SIGOPS Operating Systems Review  
Inter -process communication (ipc)  ...  the kernel algorithms, but also by the user/kernel interface.  ...  The base is controlled by the kernel in such a way that the actual time is always represented by an offset less than 224.  ... 
doi:10.1145/173668.168633 fatcat:uasqyodjhvaoxj5yjrokihm664

Improving IPC by kernel design

Jochen Liedtke
1993 Proceedings of the fourteenth ACM symposium on Operating systems principles - SOSP '93  
Inter -process communication (ipc)  ...  the kernel algorithms, but also by the user/kernel interface.  ...  The base is controlled by the kernel in such a way that the actual time is always represented by an offset less than 224.  ... 
doi:10.1145/168619.168633 dblp:conf/sosp/Liedtke93 fatcat:qo6u4nfx3vgnronbmdkbbvdyqu

A Scalable Physical Memory Allocation Scheme for L4 Microkernel

Chen Tian, Daniel Waddington, Jilong Kuang
2012 2012 IEEE 36th Annual Computer Software and Applications Conference  
Memory allocation and free requests are handled through inter-process communication (IPC) rather than normal system or kernel function calls.  ...  While research and engineering efforts have been made for PMA in monolithic kernels such as Linux, not much work can be found for L4 microkernels.  ...  As a result, this design and implementation lead to significant improvement on the scalability of physical memory management.  ... 
doi:10.1109/compsac.2012.85 dblp:conf/compsac/TianWK12 fatcat:kjtzwy2pdfhwhlkm33skmrn6ou

Concurrency: a case study in remote tasking and distributed IPC

D.S. Milojicic, A. Langerman, D.L. Black, S.J. Sears, M. Dominijanni, R.W. Dean
1996 Proceedings of HICSS-29: 29th Hawaii International Conference on System Sciences  
However, many design and implementation details important for real application performance remain unobserved by this simple characterization.  ...  Distributed IPC is typically characterized by throughput and latency.  ...  Acknowledgments We would like to thank Joseph Boykin, Fred Douglis, Nikola Serbedzija and anonymous HICSS reviewers for suggestions that have greatly improved this paper. References  ... 
doi:10.1109/hicss.1996.495459 dblp:conf/hicss/MilojicicLBSDD96 fatcat:e2li66t6szd2bdp246her7lbsm

To preempt or not to preempt, that is the question

Bernard Blackham, Vernon Tang, Gernot Heiser
2012 Proceedings of the Asia-Pacific Workshop on Systems - APSYS '12  
Real-time operating systems (RTOSes) are traditionally designed to be fully preemptible. This improves the average interrupt response time of the system but increases kernel complexity.  ...  Our results indicate that a non-preemptible kernel can achieve interrupt latencies which are within a factor of two from those exhibited by a fully-preemptible kernel.  ...  Acknowledgements NICTA is funded by the Australian Government as represented by the Department of Broadband, Communications and the Digital Economy and the Australian Research Council through the ICT Centre  ... 
doi:10.1145/2349896.2349904 dblp:conf/apsys/BlackhamTH12 fatcat:zyv635ahtfe7jod4pjhdmvwtpi

A Real-Time Programmer's Tour of General-Purpose L4 Microkernels

Sergio Ruocco
2008 EURASIP Journal on Embedded Systems  
Since these issues can be addressed with a minimal performance loss, we conclude that, overall, the design of real-time systems based on L4-embedded is possible, and facilitated by a number of design features  ...  In this paper we discuss the pros and cons of L4-embedded for real-time systems design, focusing on the issues caused by the extreme speed optimisations it inherited from its general-purpose ancestors.  ...  Their feedback improved both the content and style of this paper.  ... 
doi:10.1155/2008/234710 fatcat:o52ssqqfubg27olbeewlwxyvtu

Extensible distributed operating system for reliable control systems

Katsumi Maruyama, Kazuya Kodama, Soichiro Hidaka, Hiromichi Hashizume
2002 Proceedings of the 10th workshop on ACM SIGOPS European workshop: beyond the PC - EW10  
Since most control systems software is hardware-related, real-time-oriented and complex, adaptable OSs which help program productivity and maintainability improvement are in strong demand.  ...  We are developing an adaptable and extensible OS based on micro-kernel and multi-server scheme: each server runs in a protected mode interacting only via messages, and could be added/extended/deleted easily  ...  Micro kernel manages logical spaces (processes), multi threads, message passing (IPC) and interrupts. Only the micro kernel is executed in the kernel mode.  ... 
doi:10.1145/1133373.1133412 dblp:conf/sigopsE/MaruyamaKHH02 fatcat:piequxs6hbgtngf6jva4iwymzi

Toward real microkernels

Jochen Liedtke
1996 Communications of the ACM  
However, the increased cache misses are caused by the Mach kernel, invoked for IPC, not by the higher modularity of the client/server architecture.  ...  Therefore, microkernel architects spent much time optimizing the IPC mechanisms. Steady progress yielded up to twofold improvement in speed, but by 1991, the steps became less and less effective.  ...  without fee provided that copies are not made or distributed for profit or commercial advantage, the copyright notice, the title of the publication and its date appear, and notice is given that copying is by  ... 
doi:10.1145/234215.234473 fatcat:wmipp5n2ebhnpo7al2xbxw2iri

Countering IPC Threats in Multiserver Operating Systems (A Fundamental Requirement for Dependability)

Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum
2008 2008 14th IEEE Pacific Rim International Symposium on Dependable Computing  
Multiserver operating systems have great potential to improve dependability, but, paradoxically, are paired with inherently more complex interprocess communication (IPC).  ...  Several projects have attempted to run drivers and extensions in isolated protection domains, but a systematic way to deal with IPC threats posed by untrusted parties is not yet available in the literature  ...  IPC MUST BE DEPENDABLE Multiserver systems have great potential to improve operating system dependability.  ... 
doi:10.1109/prdc.2008.25 dblp:conf/prdc/HerderBGHT08 fatcat:zji2r5oetndxtappkn7lcvekxm

Towards effective user-controlled scheduling for microkernel-based systems

Jan Stoess
2007 ACM SIGOPS Operating Systems Review  
In this paper, we investigate the benefits and costs of a µ-kernel that exports scheduling from the kernel to user level.  ...  A key idea of our approach is to involve the user level whenever the µ-kernel encounters a situation that is ambiguous with respect to scheduling, and to permit the kernel to resolve the ambiguity based  ...  IPC Efficiency IPC efficiency is widely regarded as the deciding factor for a µ-kernel based system, and much effort of research on L4 has been dedicated to ensuring or improving its performance [12,  ... 
doi:10.1145/1278901.1278910 fatcat:quiw6hpjljdqxchapqkvxz74ie

Distributed system V IPC in LOCUS: a design and implementation retrospective

B D Fleisch
1986 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols - SIGCOMM '86  
The facilities improve Locus's interprocess communication repertoire by providing distributed support for three separate subsystems from System V UNIX: messages, semaphores, and shared memory.  ...  In many systems, the interface to the network server used the system's standard IPC calls. This approach appears to be much simpler than building a truly distributed OS kernel.  ...  Locus System V IPC Design We begin our discussion by examining how Locus System V IPC was quite naturally decomposed into two parts and how the overall design was effected by this decomposition.  ... 
doi:10.1145/18172.18215 dblp:conf/sigcomm/Fleisch86 fatcat:6nmt6vlm3bamhajmdvsd2w3h7m

The performance of μ-kernel-based systems

Hermann Härtig, Michael Hohmuth, Jochen Liedtke, Sebastian Schönberg
1997 Proceedings of the sixteenth ACM symposium on Operating systems principles - SOSP '97  
first-generation Mach-derived p-kernel.  ...  First-generation p-kernels have a reputation for being too slow and lacking sufficient flexibility.  ...  Avoiding TLB flushes improves IPC performance by at least a factor of 2; factors up to 6 are possible for user processes with large TLB working sets.  ... 
doi:10.1145/268998.266660 dblp:conf/sosp/HartigHLSW97 fatcat:yldnxzo62bhj3mevusre34kjjm

The performance of μ-kernel-based systems

Hermann Härtig, Michael Hohmuth, Jochen Liedtke, Sebastian Schönberg
1997 ACM SIGOPS Operating Systems Review  
first-generation Mach-derived p-kernel.  ...  First-generation p-kernels have a reputation for being too slow and lacking sufficient flexibility.  ...  Avoiding TLB flushes improves IPC performance by at least a factor of 2; factors up to 6 are possible for user processes with large TLB working sets.  ... 
doi:10.1145/269005.266660 fatcat:peptnrmws5dvvk5a4m6hbbgbjm

Warped-slicer

Qiumin Xu, Hyeran Jeon, Keunsoo Kim, Won Woo Ro, Murali Annavaram
2016 SIGARCH Computer Architecture News  
We demonstrate that the proposed Warped-Slicer approach improves performance by 23% over the baseline multiprogramming approach with minimal hardware overhead.  ...  Spatial multitasking has been proposed to partition GPU resources across multiple kernels.  ...  This work was supported by DARPA-PERFECT-HR0011-12-2-0020, NSF-CAREER-0954211 and by the National Research Foundation of Korea (NRF) grant funded by the Korea government (MSIP) (No.  ... 
doi:10.1145/3007787.3001161 fatcat:33vdinpx4rf5hiyi2ttni7ywfi

Warped-Slicer: Efficient Intra-SM Slicing through Dynamic Resource Partitioning for GPU Multiprogramming

Qiumin Xu, Hyeran Jeon, Keunsoo Kim, Won Woo Ro, Murali Annavaram
2016 2016 ACM/IEEE 43rd Annual International Symposium on Computer Architecture (ISCA)  
We demonstrate that the proposed Warped-Slicer approach improves performance by 23% over the baseline multiprogramming approach with minimal hardware overhead.  ...  Spatial multitasking has been proposed to partition GPU resources across multiple kernels.  ...  This work was supported by DARPA-PERFECT-HR0011-12-2-0020, NSF-CAREER-0954211 and by the National Research Foundation of Korea (NRF) grant funded by the Korea government (MSIP) (No.  ... 
doi:10.1109/isca.2016.29 dblp:conf/isca/XuJKRA16 fatcat:st2oelp7pfeszpk7fve2kl2wdq
« Previous Showing results 1 — 15 out of 5,109 results