ABSTRACT
We propose to search for common abstractions for different concurrency models to enable high-level language virtual machines to support a wide range of different concurrency models. This would enable domain-specific solutions for the concurrency problem. Furthermore, advanced knowledge about concurrency in the VM model will most likely lead to better implementation opportunities on top of the different upcoming many-core architectures. The idea is to investigate the concepts of encapsulation and locality to this end. Thus, we are going to experiment with different language abstractions for concurrency on top of a virtual machine, which supports encapsulation and locality, to see how language designers could benefit, and how virtual machines could optimize programs using these concepts.
- ]]A.-R. Adl-Tabatabai, B. T. Lewis, V. Menon, B. R. Murphy, B. Saha, and T. Shpeisman. Compiler and runtime support for efficient software transactional memory. In Proc. of PLDI'06, pages 26--37. ACM, 2006. Google ScholarDigital Library
- ]]D. Dice, Y. Lev, M. Moir, and D. Nussbaum. Early experience with a commercial hardware transactional memory implementation. In Proc. of ASPLOS'09, pages 157--168. ACM, 2009. Google ScholarDigital Library
- ]]R. K. Karmani, A. Shali, and G. Agha. Actor frameworks for the jvm platform: A comparative analysis. In Proc. of PPPJ'09. ACM, 2009. Google ScholarDigital Library
- ]]T. Van Cutsem, S. Mostinckx, E. G. Boix, J. Dedecker, and W. De Meuter. Ambienttalk: Object-oriented event-driven programming in mobile ad hoc networks. Proc. of SCCC'07, 2007. Google ScholarDigital Library
- ]]D. Wentzlaff, P. Griffin, H. Hoffmann, L. Bao, B. Edwards, C. Ramey, M. Mattina, C.-C. Miao, J. F. Brown III, and A. Agarwal. On-chip interconnection architecture of the tile processor. IEEE Micro, 27(5):15--31, 2007. Google ScholarDigital Library
- ]]P. Wu, M. M. Michael, C. von Praun, T. Nakaike, R. Bor- dawekar, H. W. Cain, C. Cascaval, S. Chatterjee, S. Chiras, R. Hou, M. Mergen, X. Shen, M. F. Spear, H. Y. Wang, and K. Wang. Compiler and runtime techniques for software transactional memory optimization. Concurrency and Computation: Practice & Experience, 21(1), 2008. Google ScholarDigital Library
Index Terms
- Encapsulation and locality: a foundation for concurrency support in multi-language virtual machines?
Recommendations
Many-core virtual machines: decoupling abstract from concrete concurrency
OOPSLA '10: Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companionWe propose to search for common abstractions for concurrency models to enable multi-language virtual machines to support a wide range of them. This would enable domain-specific solutions for concurrency problems. Furthermore, such an abstraction could ...
Which problems does a multi-language virtual machine need to solve in the multicore/manycore era?
SPLASH '11 Workshops: Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE! 2011, AOOPES'11, NEAT'11, & VMIL'11While parallel programming for very regular problems has been used in the scientific community by non-computer-scientists successfully for a few decades now, concurrent programming and solving irregular problems remains hard. Furthermore, we shift from ...
Fast and scalable lock methods for video coding on many-core architecture
We propose a centralized hardware lock method for many-core architecture.We propose a distributed hardware lock method for many-core architecture.We study and compare the performance of the two proposed lock methods and software lock. Many-core ...
Comments