signature=1fb7bd5e597ab605f53b771644df3932,Clemens Grelck, Alex Shafarenko (Eds.): S-Net Language Re...

摘要：

S-Net is a novel coordination language and component technology for the era of multi-core and many-core computing. It turns sequential legacy code written in conventional languages into asynchronous components that interact with each other via a stream-processing network. The specification of these networks, a core feature of S-Net, follows an algebraic approach: only four different network combinators allow us the concise specification of complex streaming networks through a simple expression language. Routing of data packages is defined via a record type system with structural subtyping and (flow) inheritance.The development of S-Net, both in terms of theory and implementation, has been funded by the European Union through the Integrated Project AEther (Self-adaptive Embedded Technolo- gies for Pervasive Computing Architectures), where S-Net was adopted as the main contribution of the subproject on software architectures.While the development of S-Net has been led by the Compiler Technology and Computer Architecture Group (CTCA) in the University of Hertfordshire's School of Computer Science, other partners both from within the AEther project as well as from outside have made substantial contributions to S-Net in general and to this report in particular: Imperial College London, United, Kingdom, VTT Research Center Helsinki, Finland, the University of Twente, Netherlands, and the University of Lu¨beck, Germany.After almost three years of active development, the project and this language report have reached a level of maturity that justifies the 1.0 version number. Nevertheless, the S-Net language report remains a document in progress: we will add further chapters and sections on novel language features or additional examples as well as clarifications and useful changes to existing features as time goes by.The S-Net language report presents S-Net from an external perspective. It is the document of choice to anyone who wants to learn more about S-Net and eventually become proficient in S-Net: from novice to expert, from informal descriptions to formal semantics to application examples. However, the language report does not make any statements on (potential) implementations of S-Net on different target hardware architectures. For this internal perspective on S-Net we refer to the S-Net Implementation Report.We take this opportunity to thank all those who have contributed to the S-Net project in whatever way: implementation, documentation, applications or just intense discussions on any of these issues.

展开