{"title":"An Introduction to the Plasma Language","authors":"B. Kahne, Aseem Gupta, Peter Wilson, N. Dutt","doi":"10.1109/MTV.2005.5","DOIUrl":null,"url":null,"abstract":"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","PeriodicalId":179953,"journal":{"name":"2005 Sixth International Workshop on Microprocessor Test and Verification","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2005-11-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2005 Sixth International Workshop on Microprocessor Test and Verification","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/MTV.2005.5","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
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
增强单线程性能的能力(例如通过增加时钟频率)正在达到收益递减的程度:功率正在成为一个主要因素,并限制了可伸缩性。添加额外的内核是提高性能的一种可伸缩方式,但它要求系统设计人员有一种开发多线程应用程序的方法。Plasma(用于系统建模和分析的并行语言)是一种用于系统建模和多线程应用程序开发的并行语言,实现为c++的超集。语言扩展基于Occam中的扩展,Occam基于C. A. R. Hoare的CSP(通信顺序进程)。Plasma项目的目标是研究是否可以使用具有适当结构的语言来简化开发高度多线程软件的任务。此外,通过包含离散事件模拟API,我们寻求简化系统建模的任务,并通过更清晰的表示和增加对系统模型中更难以获得的方面(并发性)的编译时检查来提高生产力。结果是一种单一的语言,它允许用户开发并行应用程序,然后在系统的上下文中对其建模,允许硬件-软件划分和各种其他早期权衡分析。我们相信,这种语言提供了比其他产品更简单、更简洁的语法,可以针对大范围的潜在体系结构,包括异构系统和没有共享内存的系统