|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
| | ||
| Search | ||
| ||
Sixth International Workshop on Microprocessor Test and Verification (MTV'05)
An Introduction to the Plasma Language
Austin, Texas
November 03-November 05
ISBN: 0-7695-2627-6
| ASCII Text | x | ||
| Brian Kahne, Aseem Gupta, Peter Wilson, Nikil Dutt, "An Introduction to the Plasma Language," Fifth International Workshop on Microprocessor Test and Verification (MTV'04), pp. 12-22, Sixth International Workshop on Microprocessor Test and Verification (MTV'05), 2005. | |||
| BibTex | x | ||
| @article{ 10.1109/MTV.2005.5, author = {Brian Kahne and Aseem Gupta and Peter Wilson and Nikil Dutt}, title = {An Introduction to the Plasma Language}, journal ={Fifth International Workshop on Microprocessor Test and Verification (MTV'04)}, volume = {0}, year = {2005}, issn = {1550-4093}, pages = {12-22}, doi = {http://doi.ieeecomputersociety.org/10.1109/MTV.2005.5}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Fifth International Workshop on Microprocessor Test and Verification (MTV'04) TI - An Introduction to the Plasma Language SN - 1550-4093 SP12 EP22 A1 - Brian Kahne, A1 - Aseem Gupta, A1 - Peter Wilson, A1 - Nikil Dutt, PY - 2005 KW - null VL - 0 JA - Fifth International Workshop on Microprocessor Test and Verification (MTV'04) ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MTV.2005.5
The ability to enhance single-thread performance, such as by increasing clock frequency, is reaching a point of diminishing returns: power is becoming a dominating factor and limiting scalability. Adding additional cores is a scalable way to increase performance, but it requires that system designers have a method for developing multithreaded applications. Plasma, (Parallel LAnguage for System Modeling and Analysis) is a parallel language for system modeling and multi-threaded application development implemented as a superset of C++. The language extensions are based upon those found in Occam, which is based upon CSP (Communicating Sequential Processes) by C. A. R. Hoare. The goal of the Plasma project is to investigate whether a language with the appropriate constructs might be used to ease the task of developing highly multi-threaded software. In addition, through the inclusion of a discrete event simulation API, we seek to simplify the task of system modeling and increase productivity through clearer representation and increased compile-time checking of the more difficult-to-get-right aspects of systems models (the concurrency). The result is a single language which allows users to develop a parallel application and then to model it within the context of a system, allowing for hardware-software partitioning and various other early tradeoff analyses. We believe that this language offers a simpler and more concise syntax than other offerings and can be targeted at a large range of potential architectures, including heterogeneous systems and those without shared memory.
Citation:
Brian Kahne, Aseem Gupta, Peter Wilson, Nikil Dutt, "An Introduction to the Plasma Language," mtv, pp.12-22, Sixth International Workshop on Microprocessor Test and Verification (MTV'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.
