Article

The case for VOS: the vector operating system

Authors:

Vijay Vasudevan,

David G. Andersen,

Michael KaminskyAuthors Info & Claims

HotOS'13: Proceedings of the 13th USENIX conference on Hot topics in operating systems

Page 31

Published: 09 May 2011 Publication History

Publisher Site

Abstract

Operating systems research for many-core systems has recently focused its efforts on supporting the scalability of OS-intensive applications running on increasingly parallel hardware. Lost amidst the march towards this parallel future is efficiency: Perfectly parallel software may saturate the parallel capabilities of the host system, but in doing so can waste hardware resources.

This paper describes our motivation for the Vector OS, a design inspired by vector processing systems that provides efficient parallelism. The Vector OS organizes and executes requests for operating system resources through "vector" interfaces that operate on vectors of objects. We argue that these interfaces allow the OS to capitalize on numerous chances to both eliminate redundant work found in OS-intensive systems and use the underlying parallel hardware to its full capability, opportunities that are missed by existing operating systems.

References

[1]

E. Anderson, J. Tucek. Efficiency matters! In Proc. HotStorage. Oct. 2009.

Google Scholar

[2]

A. Baumann, et al. The multikernel: A new OS architecture for scalable multicore systems. In Proc. 22nd ACM Symposium on Operating Systems Principles (SOSP). Oct. 2009.

Crossref

Google Scholar

[3]

S. Boyd-Wickizer, et al. Corey: An operating system for many cores. In Proc. 8th USENIX OSDI. Dec. 2008.

Crossref

Google Scholar

[4]

S. Boyd-Wickizer, et al. An analysis of linux scalability to many cores. In Proc. 9th USENIX OSDI. Oct. 2010.

Crossref

Google Scholar

[5]

A. M. Caulfield, et al. Moneta: A high-performance storage array architecture for next-generation, non-volatile memories. In IEEE Micro. Dec. 2010.

Crossref

Google Scholar

[6]

M. Garland, D. B. Kirk. Understanding throughput-oriented architectures. Communications of the ACM, 53(11):58-66, Nov. 2010.

Crossref

Google Scholar

[7]

S. Han, et al. PacketShader: a GPU-accelerated software router. In Proc. ACM SIGCOMM. Aug. 2010.

Crossref

Google Scholar

[8]

A. Purohit, et al. Cosy: Develop in user-land, run in kernel-mode. In Proc. HotOS IX. May 2003.

Crossref

Google Scholar

[9]

M. Rajagopalan, et al. Cassyopia: Compiler assisted system optimization. In Proc. HotOS IX. May 2003.

Crossref

Google Scholar

[10]

L. Soares, M. Stumm. FlexSC: Flexible system call scheduling with exception-less system calls. In Proc. 9th USENIX OSDI. Oct. 2010.

Crossref

Google Scholar

[11]

M. Welsh, D. Culler, E. Brewer. SEDA: An architecture for well-conditioned, scalable Internet services. In Proc. 18th ACM Symposium on Operating Systems Principles (SOSP). Oct. 2001.

Crossref

Google Scholar

[12]

D. Wentzlaff, et al. An operating system for multicore and clouds: Mechanisms and implementation. In Proc. 1st ACM Symposium on Cloud Computing (SOCC). Jun. 2010.

Crossref

Google Scholar

Cited By

View all

Hwang JCai QTang AAgarwal RBhagwan RPorter G(2020)TCP ≈ RDMAProceedings of the 17th Usenix Conference on Networked Systems Design and Implementation10.5555/3388242.3388252(127-140)Online publication date: 25-Feb-2020
https://dl.acm.org/doi/10.5555/3388242.3388252
Chen MHildebrand DNelson HSaluja JSubramony AZadok EKuenning GWaldspurger C(2017)vNFSProceedings of the 15th Usenix Conference on File and Storage Technologies10.5555/3129633.3129661(301-314)Online publication date: 27-Feb-2017
https://dl.acm.org/doi/10.5555/3129633.3129661
Marathe YGulur NRyoo JSong SJohn LHunter HMoreno JEmer JSanchez D(2017)CSALTProceedings of the 50th Annual IEEE/ACM International Symposium on Microarchitecture10.1145/3123939.3124549(449-462)Online publication date: 14-Oct-2017
https://dl.acm.org/doi/10.1145/3123939.3124549
Show More Cited By

The case for VOS: the vector operating system
1. General and reference
  1. Cross-computing tools and techniques

Recommendations

A case study in software portability: the UNIX symbolic debugger
SIGSMALL '85: Proceedings of the 1985 ACM SIGSMALL symposium on Small systems

The widespread use of high-level languages and portable operating systems such as the UNIX operating system has greatly facilitated the development of portable utilities and application programs. The activity of “porting” software from one environment ...
Linux on HP Integrity Servers
Red Hat Fedora Core 6 Unleashed

Comments

Information & Contributors

Information

Published In

HotOS'13: Proceedings of the 13th USENIX conference on Hot topics in operating systems

May 2011

33 pages

Program Chair:
Matt Welsh
Google

Publisher

USENIX Association

United States

Publication History

Published: 09 May 2011

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

11
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 08 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Hwang JCai QTang AAgarwal RBhagwan RPorter G(2020)TCP ≈ RDMAProceedings of the 17th Usenix Conference on Networked Systems Design and Implementation10.5555/3388242.3388252(127-140)Online publication date: 25-Feb-2020
https://dl.acm.org/doi/10.5555/3388242.3388252
Chen MHildebrand DNelson HSaluja JSubramony AZadok EKuenning GWaldspurger C(2017)vNFSProceedings of the 15th Usenix Conference on File and Storage Technologies10.5555/3129633.3129661(301-314)Online publication date: 27-Feb-2017
https://dl.acm.org/doi/10.5555/3129633.3129661
Marathe YGulur NRyoo JSong SJohn LHunter HMoreno JEmer JSanchez D(2017)CSALTProceedings of the 50th Annual IEEE/ACM International Symposium on Microarchitecture10.1145/3123939.3124549(449-462)Online publication date: 14-Oct-2017
https://dl.acm.org/doi/10.1145/3123939.3124549
Curtis-Maury MDevadas VFang VKulkarni AKeeton KRoscoe T(2016)To waffinity and beyondProceedings of the 12th USENIX conference on Operating Systems Design and Implementation10.5555/3026877.3026910(419-434)Online publication date: 2-Nov-2016
https://dl.acm.org/doi/10.5555/3026877.3026910
Jeong EWoo SJamshed MJeong HIhm SHan DPark KMahajan RStoica I(2014)mTCPProceedings of the 11th USENIX Conference on Networked Systems Design and Implementation10.5555/2616448.2616493(489-502)Online publication date: 2-Apr-2014
https://dl.acm.org/doi/10.5555/2616448.2616493
Yu YShin DShin WSong NChoi JKim HEom HYeom H(2014)Optimizing the Block I/O Subsystem for Fast Storage DevicesACM Transactions on Computer Systems10.1145/261909232:2(1-48)Online publication date: 1-Jun-2014
https://dl.acm.org/doi/10.1145/2619092
Cho JJin HLee MSchwan K(2014)Dynamic core affinity for high-performance file upload on Hadoop Distributed File SystemParallel Computing10.1016/j.parco.2014.07.00540:10(722-737)Online publication date: 1-Dec-2014
https://dl.acm.org/doi/10.1016/j.parco.2014.07.005
Kim JHuh SJang KPark KMoon SMoon S(2012)The power of batching in the click modular routerProceedings of the Third ACM SIGOPS Asia-Pacific conference on Systems10.5555/2387841.2387855(14-14)Online publication date: 23-Jul-2012
https://dl.acm.org/doi/10.5555/2387841.2387855
Vasudevan VKaminsky MAndersen DCarey MHand S(2012)Using vector interfaces to deliver millions of IOPS from a networked key-value storage serverProceedings of the Third ACM Symposium on Cloud Computing10.1145/2391229.2391237(1-13)Online publication date: 14-Oct-2012
https://dl.acm.org/doi/10.1145/2391229.2391237
Kim JHuh SJang KPark KMoon S(2012)The power of batching in the Click modular routerProceedings of the Asia-Pacific Workshop on Systems10.1145/2349896.2349910(1-6)Online publication date: 23-Jul-2012
https://dl.acm.org/doi/10.1145/2349896.2349910
Show More Cited By

Abstract

References

Cited By

Recommendations

A case study in software portability: the UNIX symbolic debugger

Linux on HP Integrity Servers

Red Hat Fedora Core 6 Unleashed

Comments

Information

Published In

Sponsors

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Share

Share this Publication link

Share on social media

Affiliations