More Web Proxy on the site http://driver.im/

research-article

An hybrid model for very high level threads

Authors:

Jafar Al-Gharaibeh,

Clinton Jeffery,

Kostas N. OikonomouAuthors Info & Claims

PMAM '12: Proceedings of the 2012 International Workshop on Programming Models and Applications for Multicores and Manycores

Pages 55 - 63

https://doi.org/10.1145/2141702.2141709

Published: 26 February 2012 Publication History

Abstract

Languages with multiple paradigms or other special-purpose features often are implemented in ways that make true concurrency difficult in the virtual machine or runtime system. Several popular languages feature a global interpreter lock that limits them to pseudo-concurrency. This paper presents lessons learned in developing true concurrency for a goal-directed, object-oriented language called Unicon. Parts of the work were anticipated, such as switching to thread-safe C library functions, while other parts were a surprise, such as eliminating race conditions in self-modifying virtual machine instructions.

References

[1]

Andrews, G., and Olsson, R. 1993. The SR Programming Language: Concurrency in Practice.: Benjamin/Cummings.

Digital Library

[2]

Ashley, D. W., et al. 2009. Open Object Rexx: Programming Guide. http://www.oorexx.org/docs/rexxpg/book1.htm (accessed 01/30/2012)

[3]

Bal, H., Steiner, J., and Tanenbaum, A. 1989. Programming Languages for Distributed Computing Systems. ACM Computing Surveys. 21, 3, 261--322.

Digital Library

[4]

Beazley, D. 2009. Inside the Python GIL. Python Concurrency Workshop. http://www.dabeaz.com/python/GIL.pdf (accessed 01/30/2012)

[5]

Capman, B., Jost, G., and van der Pas, R. 2007. Using OpenMP. MIT Press.

[6]

Griswold, R., and Griswold, M. 1999. The Icon Programming Language, 3rd ed. Peer-to-Peer Communications., San Jose, CA.

Digital Library

[7]

Gustafson, P. Sun Developer Network. http://developers.sun.com/solaris/articles/cpp_race.html (accessed 01/30/2012)

[8]

Hasselbring, W. 1997. Approaches to High-Level Programming and Prototyping of Concurrent Applications. Software-Technik Memo 91. ftp://ls10-www.cs.uni-dortmund.de/pub/Technische-Berichte/Hasselbring_SWT-Memo-91.ps.gz (accessed 01/30/2012)

[9]

Hudak, P. 1988. Exploring parafunctional programming: Separating the What from the How. IEEE Software, January, 1988, 54--61.

Digital Library

[10]

Jeffery, C., Mohamed, S., Parlett, R., and Pereda, R. 2003. Programming with Unicon. http://unicon.org/book/ub.pdf (accessed 01/30/2012)

[11]

Karaorman, M., and Bruno, J. 1993. Introducing concurrency to a sequential language. Communications of the ACM, 36, 9, 103--115.

Digital Library

[12]

Kolosov, A., Ryzhkov, E., and Karpov, A. 2008. Intel Software Network. http://software.intel.com/en-us/articles/32-openmp-traps-for-c-developers (accessed 01/30/2012)

[13]

Mitsolides, T. 1992. The Design and Implementation of ALLOY, a Higher Level Parallel Pro-gramming Language.

[14]

Mitsolides, T., and Harrison, M. 1990. Generators and the replicator control structure in the parallel environment of alloy. In Proceedings of PLDI '90 - ACM SIGPLAN conference on Programming language design and implementation, 189--196.

Digital Library

[15]

Oikonomou, K. N. 2010. Network Performability Evaluation. Guide to Reliable Internet Services and Applications, C. R. Kalmanek, S. Misra, and C. R. Yang, Eds. Springer, 113--135.

[16]

Oshineye, A. Discussion of "The Free Lunch is Over: A Fundamental Turn Towards Concurrency in Software". http://lambda-the-ultimate.org/node/458 (accessed 01/30/2012)

[17]

Paalvast, E. M., Sips, H. J., and Breebaart, L. C. 1991. "Booster: a High-Level Language for Portable Parallel Algorithms," Applied Numerical Mathematics. 8, 2, 177--192.

Digital Library

[18]

Peyton-Jones, S. L. 1987. The Implementation of Functional Programming Languages. Prentice Hall International.

[19]

Python FAQ. http://docs.python.org/faq/library#can-t-we-get-rid-of-the-global-interpreter-lock (accessed 01/30/2012)

[20]

Sun Studio Express - Using The Thread Analyzer - Tutorial. http://www.oracle.com/technetwork/testcontent/tha-using-141353.html (accessed 01/30/2012)

[21]

Sun Studio Performance Analyzer Quick Start Guide. http://www.oracle.com/technetwork/server-storage/solaris/analyzer-qs-136436.html (accessed 01/30/2012)

[22]

Thread-safety and POSIX.1. http://www.unix.org/whitepapers/reentrant.html (accessed 01/30/2012)

Cited By

Mills PJeffery COssowski S(2016)Embedding goal-directed evaluation through transformationProceedings of the 31st Annual ACM Symposium on Applied Computing10.1145/2851613.2851731(1790-1797)Online publication date: 4-Apr-2016
https://dl.acm.org/doi/10.1145/2851613.2851731
Mills PJeffery C(2016)Embedding Concurrent Generators2016 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW)10.1109/IPDPSW.2016.8(366-375)Online publication date: May-2016
https://doi.org/10.1109/IPDPSW.2016.8

Index Terms

An hybrid model for very high level threads
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language features
        Concurrent programming structures

Recommendations

Scheme fair threads
PPDP '04: Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming

This paper presents Fair Threads, a new model for concurrent programming. This multi-threading model combines preemptive and cooperative scheduling. User threads execute according to a cooperative strategy. Service threads execute according to a ...
Lowering Conflicts of High Contention Software Transactional Memory
CSSE '08: Proceedings of the 2008 International Conference on Computer Science and Software Engineering - Volume 03

Two concurrent transactions are said to conflict based on linearizability semantics if they access the same shared data and at least one of them modifies that data. In many applications enforcing the strict linearizability semantics over the entire read-...
Improving live debugging of concurrent threads
SPLASH Companion 2016: Companion Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity

Contemporary live debuggers do not display the complete call stack history for concurrent threads. Hence, developers have less information at their disposal when debugging concurrent threads than when debugging a single threaded, sequential program. We ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

PMAM '12: Proceedings of the 2012 International Workshop on Programming Models and Applications for Multicores and Manycores

February 2012

180 pages

ISBN:9781450312110

DOI:10.1145/2141702

Conference Chairs:
Minyi Guo
Shanghai Jiao Tong University, China
,
Zhiyi Huang
University of Otago, New Zealand

Copyright © 2012 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 26 February 2012

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

PPoPP '12

Sponsor:

SIGPLAN

PPoPP '12: ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming

February 26, 2012

Louisiana, New Orleans

Acceptance Rates

Overall Acceptance Rate 53 of 97 submissions, 55%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
127
Total Downloads

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

Reflects downloads up to 25 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Mills PJeffery COssowski S(2016)Embedding goal-directed evaluation through transformationProceedings of the 31st Annual ACM Symposium on Applied Computing10.1145/2851613.2851731(1790-1797)Online publication date: 4-Apr-2016
https://dl.acm.org/doi/10.1145/2851613.2851731
Mills PJeffery C(2016)Embedding Concurrent Generators2016 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW)10.1109/IPDPSW.2016.8(366-375)Online publication date: May-2016
https://doi.org/10.1109/IPDPSW.2016.8

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents