首页 > 最新文献

15th International Symposium on System Synthesis, 2002.最新文献

英文 中文
Optimal message-passing for data coherency in distributed architecture 分布式体系结构中数据一致性的最佳消息传递
Pub Date : 2002-10-02 DOI: 10.1145/581199.581206
D. Gajski, J. Peng
Message-passing mechanism is commonly used to preserve data coherency in distributed systems. This paper presents an algorithm for insertion of minimal message-passing in system-level design to guarantee data coherency. The target architecture is a multi-component heterogeneous system, where some components have local memory (or they are memory components by themselves). The algorithm enables automatic insertion of message-passing during system-level design to relieve designers from tedious and error-prone manual work. The optimal solution given by the algorithm also ensures the quality of automatic insertion. Experiments show that the automatic approach achieves a productivity gain of 200X over manual refinement.
在分布式系统中,消息传递机制通常用于保持数据一致性。本文提出了一种在系统级设计中插入最小消息传递以保证数据一致性的算法。目标体系结构是一个多组件异构系统,其中一些组件具有本地内存(或者它们本身就是内存组件)。该算法支持在系统级设计期间自动插入消息传递,从而将设计人员从繁琐且容易出错的手工工作中解脱出来。该算法给出的最优解保证了自动插入的质量。实验表明,自动方法比人工优化的生产率提高了200倍。
{"title":"Optimal message-passing for data coherency in distributed architecture","authors":"D. Gajski, J. Peng","doi":"10.1145/581199.581206","DOIUrl":"https://doi.org/10.1145/581199.581206","url":null,"abstract":"Message-passing mechanism is commonly used to preserve data coherency in distributed systems. This paper presents an algorithm for insertion of minimal message-passing in system-level design to guarantee data coherency. The target architecture is a multi-component heterogeneous system, where some components have local memory (or they are memory components by themselves). The algorithm enables automatic insertion of message-passing during system-level design to relieve designers from tedious and error-prone manual work. The optimal solution given by the algorithm also ensures the quality of automatic insertion. Experiments show that the automatic approach achieves a productivity gain of 200X over manual refinement.","PeriodicalId":413693,"journal":{"name":"15th International Symposium on System Synthesis, 2002.","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121935693","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
Managing dynamic concurrent tasks in embedded real-time multimedia systems 嵌入式实时多媒体系统中的动态并发任务管理
Pub Date : 2002-10-02 DOI: 10.1145/581225.581226
R. Lauwereins, Chun Wong, P. Marchal, J. Vounckx, Patrick David, S. Himpe, F. Catthoor, Peng Yang
This paper addresses the problem of mapping an application, which is highly dynamic in the future, onto a heterogeneous multiprocessor platform in an energy efficient way. A two-phase scheduling method is used for that purpose. By exploring the Pareto curves and scenarios generated at design time, the run-time scheduler can easily find a good scheduling at a very low overhead, satisfying the system constraints and minimizing the energy consumption. A real-life example from a 3D quality of service kernel is used to show the effectiveness of our method.
本文讨论了如何以一种节能的方式将未来高度动态的应用程序映射到异构多处理器平台上。为此,采用了两阶段调度方法。通过探索设计时生成的Pareto曲线和场景,运行时调度程序可以很容易地以非常低的开销找到一个好的调度,满足系统约束并最小化能耗。通过一个三维服务质量内核的实例,验证了该方法的有效性。
{"title":"Managing dynamic concurrent tasks in embedded real-time multimedia systems","authors":"R. Lauwereins, Chun Wong, P. Marchal, J. Vounckx, Patrick David, S. Himpe, F. Catthoor, Peng Yang","doi":"10.1145/581225.581226","DOIUrl":"https://doi.org/10.1145/581225.581226","url":null,"abstract":"This paper addresses the problem of mapping an application, which is highly dynamic in the future, onto a heterogeneous multiprocessor platform in an energy efficient way. A two-phase scheduling method is used for that purpose. By exploring the Pareto curves and scenarios generated at design time, the run-time scheduler can easily find a good scheduling at a very low overhead, satisfying the system constraints and minimizing the energy consumption. A real-life example from a 3D quality of service kernel is used to show the effectiveness of our method.","PeriodicalId":413693,"journal":{"name":"15th International Symposium on System Synthesis, 2002.","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131667805","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 99
Dynamic common sub-expression elimination during scheduling in high-level synthesis 高级综合调度过程中公共子表达式的动态消除
Pub Date : 2002-10-02 DOI: 10.1145/581199.581256
A. Nicolau, N. Dutt, Rajesh K. Gupta, N. Savoiu, Mehrdad Reshadi, S. Gupta
We introduce a new approach, "Dynamic Common Sub-expression Elimination (CSE)", that dynamically eliminates common sub-expressions based on new opportunities created during scheduling of control-intensive designs. Classical CSE techniques fail to eliminate several common sub-expressions in control-intensive designs due to the presence of a complex mix of control and data-flow. Aggressive speculative code motions employed to schedule control-intensive designs often re-order, speculate and duplicate operations, hence changing the control flow between the operations with common sub-expressions. This leads to new opportunities for applying CSE dynamically. We have implemented dynamic CSE in a high-level synthesis framework called Spark and present results for experiments performed using various combinations of CSE and dynamic CSE. The benchmarks used consist of four functional blocks derived from two moderately complex industrial-strength applications, namely, MPEG-1 and the GIMP image processing tool. Our dynamic CSE techniques result in improvements of up to 22% in the controller size and up to 31% in performance; easily surpassing the improvements obtained by the traditional CSE approach. We also observe an unexpected (and significant) reduction in the number of registers using our approach.
本文提出了一种新的方法“动态公共子表达式消除(CSE)”,该方法基于控制密集型设计调度过程中产生的新机会动态地消除公共子表达式。由于控制流和数据流的复杂混合存在,传统的CSE技术无法消除控制密集型设计中的一些常见子表达式。用于调度控制密集型设计的激进的推测代码运动经常重新排序、推测和重复操作,因此改变了具有公共子表达式的操作之间的控制流。这为动态应用CSE带来了新的机会。我们在名为Spark的高级综合框架中实现了动态CSE,并展示了使用CSE和动态CSE的各种组合进行的实验结果。所使用的基准包括四个功能块,这些功能块来自两个中等复杂的工业强度应用程序,即MPEG-1和GIMP图像处理工具。我们的动态CSE技术使控制器尺寸提高了22%,性能提高了31%;很容易超越传统CSE方法所获得的改进。我们还观察到,使用我们的方法,寄存器的数量出现了意想不到的(显著的)减少。
{"title":"Dynamic common sub-expression elimination during scheduling in high-level synthesis","authors":"A. Nicolau, N. Dutt, Rajesh K. Gupta, N. Savoiu, Mehrdad Reshadi, S. Gupta","doi":"10.1145/581199.581256","DOIUrl":"https://doi.org/10.1145/581199.581256","url":null,"abstract":"We introduce a new approach, \"Dynamic Common Sub-expression Elimination (CSE)\", that dynamically eliminates common sub-expressions based on new opportunities created during scheduling of control-intensive designs. Classical CSE techniques fail to eliminate several common sub-expressions in control-intensive designs due to the presence of a complex mix of control and data-flow. Aggressive speculative code motions employed to schedule control-intensive designs often re-order, speculate and duplicate operations, hence changing the control flow between the operations with common sub-expressions. This leads to new opportunities for applying CSE dynamically. We have implemented dynamic CSE in a high-level synthesis framework called Spark and present results for experiments performed using various combinations of CSE and dynamic CSE. The benchmarks used consist of four functional blocks derived from two moderately complex industrial-strength applications, namely, MPEG-1 and the GIMP image processing tool. Our dynamic CSE techniques result in improvements of up to 22% in the controller size and up to 31% in performance; easily surpassing the improvements obtained by the traditional CSE approach. We also observe an unexpected (and significant) reduction in the number of registers using our approach.","PeriodicalId":413693,"journal":{"name":"15th International Symposium on System Synthesis, 2002.","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120949325","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 21
Special session: security on SoC 专题讨论:SoC的安全性
Pub Date : 2002-10-02 DOI: 10.1145/581199.581242
H. Yasuura, N. Takagi, S. Ravi, M. Torla, C. Gebotys
SoC is one of the important components of social and personal information systems, which directly influence with our life, property and privacy Security technology is now embedded into various hardware and software of SoC and SoC designers should be concerned with security issues. Cryptography requires heavy computation and wireless communication requests architecture and protocols for security. In design process of SoC, choice of IP's and design data control also significantly affect on the security of the systems that uses the SoC. In this panel, we will have discussions on the security on SoC from various viewpoints. System architecture, circuit complexity, test and validation, energy consumption, security policy, and design methodology are discussed for exploring research directions of secure system synthesis.
SoC是社会和个人信息系统的重要组成部分之一,它直接影响到我们的生活、财产和隐私。安全技术现在已经嵌入到SoC的各种硬件和软件中,SoC的设计者应该关注安全问题。密码学需要大量的计算,无线通信需要安全的体系结构和协议。在SoC的设计过程中,IP的选择和设计数据的控制对使用SoC的系统的安全性也有很大的影响。在这个小组中,我们将从不同的角度讨论SoC的安全性。从系统架构、电路复杂度、测试与验证、能耗、安全策略、设计方法等方面探讨了安全系统综合的研究方向。
{"title":"Special session: security on SoC","authors":"H. Yasuura, N. Takagi, S. Ravi, M. Torla, C. Gebotys","doi":"10.1145/581199.581242","DOIUrl":"https://doi.org/10.1145/581199.581242","url":null,"abstract":"SoC is one of the important components of social and personal information systems, which directly influence with our life, property and privacy Security technology is now embedded into various hardware and software of SoC and SoC designers should be concerned with security issues. Cryptography requires heavy computation and wireless communication requests architecture and protocols for security. In design process of SoC, choice of IP's and design data control also significantly affect on the security of the systems that uses the SoC. In this panel, we will have discussions on the security on SoC from various viewpoints. System architecture, circuit complexity, test and validation, energy consumption, security policy, and design methodology are discussed for exploring research directions of secure system synthesis.","PeriodicalId":413693,"journal":{"name":"15th International Symposium on System Synthesis, 2002.","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116875732","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Multiprocessor mapping of process networks: a JPEG decoding case study 进程网络的多处理器映射:一个JPEG解码案例研究
Pub Date : 1900-01-01 DOI: 10.1145/581199.581216
de Kock, Philips
We present a system-level design and programming method for embedded multiprocessor systems. The aim of the method is to improve the design time and design quality by providing a structured approach for implementing process networks. We use process networks as re-usable and architecture-independent functional specifications. The method facilitates the cost-driven and constraint-driven source code transformation of process networks into architecture-specific implementations in the form of communicating tasks. We apply the method to implement a JPEG decoding process network in software on a set of MIPS processors. We apply three transformations to optimize synchronization rates and data transfers and to exploit data parallelism for this target architecture. We evaluate the impact of the source code transformations and the performance of the resulting implementations in terms of design time, execution time, and code size. The results show that process networks can be implemented quickly and efficiently on embedded multiprocessor systems.
提出了一种嵌入式多处理器系统的系统级设计和编程方法。该方法的目的是通过提供实现过程网络的结构化方法来改善设计时间和设计质量。我们使用流程网络作为可重用的、与体系结构无关的功能规范。该方法促进了过程网络的成本驱动和约束驱动源代码以通信任务的形式转换为特定于体系结构的实现。应用该方法在一组MIPS处理器上实现了一个JPEG解码处理网络。我们应用三个转换来优化同步速率和数据传输,并利用此目标体系结构的数据并行性。我们根据设计时间、执行时间和代码大小来评估源代码转换的影响和最终实现的性能。结果表明,过程网络可以在嵌入式多处理器系统上快速有效地实现。
{"title":"Multiprocessor mapping of process networks: a JPEG decoding case study","authors":"de Kock, Philips","doi":"10.1145/581199.581216","DOIUrl":"https://doi.org/10.1145/581199.581216","url":null,"abstract":"We present a system-level design and programming method for embedded multiprocessor systems. The aim of the method is to improve the design time and design quality by providing a structured approach for implementing process networks. We use process networks as re-usable and architecture-independent functional specifications. The method facilitates the cost-driven and constraint-driven source code transformation of process networks into architecture-specific implementations in the form of communicating tasks. We apply the method to implement a JPEG decoding process network in software on a set of MIPS processors. We apply three transformations to optimize synchronization rates and data transfers and to exploit data parallelism for this target architecture. We evaluate the impact of the source code transformations and the performance of the resulting implementations in terms of design time, execution time, and code size. The results show that process networks can be implemented quickly and efficiently on embedded multiprocessor systems.","PeriodicalId":413693,"journal":{"name":"15th International Symposium on System Synthesis, 2002.","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125692756","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 57
期刊
15th International Symposium on System Synthesis, 2002.
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1