ABSTRACT
With the advent of multi-processor machines, the time has definitively come to use new programming models that offer an improved support of concurrency. While various interesting new models have been recently presented for concurrent and structured programming, no appropriate runtime systems currently exists. Therefore, we have developed our own new operating system which has been particularly optimized for high-performance execution of such programs.
- J. Aldrich, C. Chambers, D. Notkin. ArchJava. Connecting Software Architecture to Implementation. Intl. Conference on Software Engineering (ICSE), May 2002. Google ScholarDigital Library
- D. F. Bacon, P. Cheng, and V. T. Rajan. A Real-Time Garbage Collector with Low Overhead and Consistent Utilization. Symp. on Principles of Programming Languages (POPL), Jan. 2003. Google ScholarDigital Library
- L. Bläser. A Component Language for Structured Parallel Programming. Joint Modular Language Conference (JMLC), Sept. 2006, LNCS Vol. 4228, Springer Verlag, 2006. Google ScholarDigital Library
- L. Bläser. The Component Language and System. http://www.jg.inf.ethz.ch/components.Google Scholar
- P. Cheng and G. E. Blelloch. A Parallel, Real-Time Garbage Collector. Conf. on Programming Language Design and Implementation (PLDI), June 2001. Google ScholarDigital Library
- O. - J. Dahl and K. Nygaard. SIMULA --- An ALOGL-based Simulation Language. Communications of the ACM, 9(9):671--678, 1966. Google ScholarDigital Library
- M. Fähndrich, M. Aiken, C. Hawblitzel, et al. Language Support for Fast and Reliable Message-Based Communication in Singularity OS. EuroSys 2006, April 2006.Google ScholarDigital Library
- D. Gay, P. Levis, R. von Behren, et al. The nesC Language: A Holistic Approach to Networked Embedded Systems. Conf. on Programming Language Design and Implementation (PLDI), June 2003. Google ScholarDigital Library
- J. Gough. Compiling for the .NET Common Language Runtime (CLR). Prentice Hall, 2002. Google ScholarDigital Library
- R. Güntensperger and J. Gutknecht. Active C#. Intl. Workshop on .NET Technologies, May 2004.Google Scholar
- J. Gutknecht. Do the Fish Really Need Remote Control? A Proposal for Self-Active Objects in Oberon. Joint Modular Language Conference (JMLC), March 1997. LNCS Vol. 1204, Springer Verlag, 1997. Google ScholarDigital Library
- J. Gutknecht and E. Zueff. Zonnon Language Report. http://www.zonnon.ethz.ch.Google Scholar
- G. Hunt, J. Larus, M. Abadi et al. An Overview of the Singularity Project. Technical Report MSR-TR-2005-135, Microsoft Research, Oct. 2005.Google Scholar
- Y. D. Liu and S. F. Smith. Interaction-Based Programming with Classages. Intl. Conf. on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Oct. 2005. Google ScholarDigital Library
- P. J. Muller. The Active Object System --- Design and Multiprocessor Implementation. PhD Thesis, Diss. ETH No. 14755, ETH Zurich, 2002.Google Scholar
- R. von Behren, J. Condit, F. Zhou, et al. Capriccio: Scalable Threads for Internet Services. Symp. on Arch. Support for Programming Languages and Operating System Principles (SOSP), Oct. 2003. Google ScholarDigital Library
- P. H. Welch. The JCSP Home Page. http://www.cs.ukc.ac.uk/projects/ofa/jcsp.Google Scholar
- N. Wirth. What Can We Do About the Unnecessary Diversity of Notation for Syntactic Definitions? Communications of the ACM, 20(11):822--823, Nov. 1977. Google ScholarDigital Library
- N. Wirth. The Programming Language Oberon. Software -- Practice and Experience, 18(7):671--690, July 1988. Google ScholarDigital Library
Index Terms
- A high-performance operating system for structured concurrent programs
Recommendations
Execution privatization for scheduler-oblivious concurrent programs
OOPSLA '12Making multithreaded execution less non-deterministic is a promising solution to address the difficulty of concurrent programming plagued by the non-deterministic thread scheduling. In fact, a vast category of concurrent programs are scheduler-oblivious:...
Execution privatization for scheduler-oblivious concurrent programs
OOPSLA '12: Proceedings of the ACM international conference on Object oriented programming systems languages and applicationsMaking multithreaded execution less non-deterministic is a promising solution to address the difficulty of concurrent programming plagued by the non-deterministic thread scheduling. In fact, a vast category of concurrent programs are scheduler-oblivious:...
Data-Race-Freedom of Concurrent Programs
APSEC '13: Proceedings of the 2013 20th Asia-Pacific Software Engineering Conference (APSEC) - Volume 01Reasoning about access isolation in a program that uses locks, transactions or both to coordinate accesses to shared memory is complex and error-prone. The programmer must understand when accesses issued to the same memory by distinct threads, under ...
Comments