首页 > 最新文献

2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC)最新文献

英文 中文
Safety evaluation of automotive electronics using Virtual Prototypes: State of the art and research challenges 使用虚拟样机的汽车电子安全评估:技术现状和研究挑战
Pub Date : 2014-06-01 DOI: 10.1145/2593069.2602976
Jan-Hendrik Oetjens, N. Bannow, Markus Becker, O. Bringmann, Andreas Burger, M. Chaari, S. Chakraborty, R. Drechsler, W. Ecker, Kim Grüttner, T. Kruse, C. Kuznik, H. M. Le, Mauderer Mauderer, W. Müller, Daniel Mueller-Gritschneder, F. Poppen, H. Post, Sebastian Reiter, W. Rosenstiel, S. Roth, Ulf Schlichtmann, A. V. Schwerin, Bogdan-Andrei Tabacaru, A. Viehl
Intelligent automotive electronics significantly improved driving safety in the last decades. With the increasing complexity of automotive systems, dependability of the electronic components themselves and of their interaction must be assured to avoid any risk to driving safety due to unexpected failures caused by internal or external faults. Additionally, Virtual Prototypes (VPs) have been accepted in many areas of system development processes in the automotive industry as platforms for SW development, verification, and design space exploration. We believe that VPs will significantly contribute to the analysis of safety conditions for automotive electronics. This paper shows the advantages of such a methodology based on today's industrial needs, presents the current state of the art in this field, and outlines upcoming research challenges that need to be addressed to make this vision a reality.
在过去的几十年里,智能汽车电子设备显著提高了驾驶安全性。随着汽车系统的日益复杂,必须保证电子元件本身及其相互作用的可靠性,以避免由于内部或外部故障引起的意外故障对驾驶安全造成任何风险。此外,虚拟原型(vp)已经在汽车工业系统开发过程的许多领域被接受,作为软件开发、验证和设计空间探索的平台。我们相信,副总裁将为汽车电子产品的安全状况分析做出重大贡献。本文展示了基于当今工业需求的这种方法的优势,介绍了该领域的最新技术,并概述了为了使这一愿景成为现实需要解决的即将到来的研究挑战。
{"title":"Safety evaluation of automotive electronics using Virtual Prototypes: State of the art and research challenges","authors":"Jan-Hendrik Oetjens, N. Bannow, Markus Becker, O. Bringmann, Andreas Burger, M. Chaari, S. Chakraborty, R. Drechsler, W. Ecker, Kim Grüttner, T. Kruse, C. Kuznik, H. M. Le, Mauderer Mauderer, W. Müller, Daniel Mueller-Gritschneder, F. Poppen, H. Post, Sebastian Reiter, W. Rosenstiel, S. Roth, Ulf Schlichtmann, A. V. Schwerin, Bogdan-Andrei Tabacaru, A. Viehl","doi":"10.1145/2593069.2602976","DOIUrl":"https://doi.org/10.1145/2593069.2602976","url":null,"abstract":"Intelligent automotive electronics significantly improved driving safety in the last decades. With the increasing complexity of automotive systems, dependability of the electronic components themselves and of their interaction must be assured to avoid any risk to driving safety due to unexpected failures caused by internal or external faults. Additionally, Virtual Prototypes (VPs) have been accepted in many areas of system development processes in the automotive industry as platforms for SW development, verification, and design space exploration. We believe that VPs will significantly contribute to the analysis of safety conditions for automotive electronics. This paper shows the advantages of such a methodology based on today's industrial needs, presents the current state of the art in this field, and outlines upcoming research challenges that need to be addressed to make this vision a reality.","PeriodicalId":433816,"journal":{"name":"2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC)","volume":"64 2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120982939","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}
引用次数: 47
Static mapping of mixed-critical applications for fault-tolerant MPSoCs 容错mpsoc混合关键应用的静态映射
Pub Date : 2014-06-01 DOI: 10.1145/2593069.2593221
Shin-Haeng Kang, Hoeseok Yang, Sungchan Kim, Iuliana Bacivarov, S. Ha, L. Thiele
This paper presents a static mapping optimization technique for fault-tolerant mixed-criticality MPSoCs. The uncertainties imposed by system hardening and mixed criticality algorithms, such as dynamic task dropping, make the worst-case response time analysis difficult for such systems. We tackle this challenge and propose a worst-case analysis framework that considers both reliability and mixed-criticality concerns. On top of that, we build up a design space exploration engine that optimizes fault-tolerant mixed-criticality MPSoCs and provides worst-case guarantees. We study the mapping optimization considering judicious task dropping, that may impose a certain service degradation. Extensive experiments with real-life and synthetic benchmarks confirm the effectiveness of the proposed technique.
提出了一种用于容错混合临界mpsoc的静态映射优化技术。由于系统强化和混合临界算法带来的不确定性,如动态任务丢弃等,使得这类系统的最坏情况响应时间分析变得困难。我们解决了这一挑战,并提出了一个考虑可靠性和混合临界性问题的最坏情况分析框架。在此基础上,我们建立了一个设计空间探索引擎,优化容错混合临界mpsoc并提供最坏情况保证。我们研究了考虑可能造成一定服务退化的任务丢弃的映射优化问题。广泛的现实生活和合成基准实验证实了所提出的技术的有效性。
{"title":"Static mapping of mixed-critical applications for fault-tolerant MPSoCs","authors":"Shin-Haeng Kang, Hoeseok Yang, Sungchan Kim, Iuliana Bacivarov, S. Ha, L. Thiele","doi":"10.1145/2593069.2593221","DOIUrl":"https://doi.org/10.1145/2593069.2593221","url":null,"abstract":"This paper presents a static mapping optimization technique for fault-tolerant mixed-criticality MPSoCs. The uncertainties imposed by system hardening and mixed criticality algorithms, such as dynamic task dropping, make the worst-case response time analysis difficult for such systems. We tackle this challenge and propose a worst-case analysis framework that considers both reliability and mixed-criticality concerns. On top of that, we build up a design space exploration engine that optimizes fault-tolerant mixed-criticality MPSoCs and provides worst-case guarantees. We study the mapping optimization considering judicious task dropping, that may impose a certain service degradation. Extensive experiments with real-life and synthetic benchmarks confirm the effectiveness of the proposed technique.","PeriodicalId":433816,"journal":{"name":"2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121371885","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}
引用次数: 38
Monitoring reliability in embedded processors - A multi-layer view 嵌入式处理器的可靠性监控——多层视图
Pub Date : 2014-06-01 DOI: 10.1145/2593069.2596682
V. Chandra
Scaling to sub-20nm technology nodes changes the nature of reliability effects from abrupt functional problems to progressive degradation of the performance characteristics of devices and system components. Further, application workloads can significantly affect the overall system reliability. In this work, we have analyzed aging effects on various design hierarchies of an embedded commercial processor in 28nm running real-world applications. We have also quantified the dependencies of aging effects on switching-activity and power-state of workloads. Implementation results show that the processor timing degradation can vary from 2% to 11%, depending on the workload. Due to the dependence of aging on the application workloads, margin based design will be highly pessimistic. We propose an efficient and flexible in situ monitoring methodology, SlackProbe, which inserts timing monitors at both path endpoints and path intermediate nets. We show that SlackProbe reduces the numbers of monitors required by over 15X with ~5% additional delay margin in several commercial processor benchmarks. The real-time data from these monitors can be used for hardware and software adaptation to mitigate failures due to aging.
扩展到20nm以下的技术节点改变了可靠性影响的性质,从突然的功能问题到设备和系统组件的性能特征的逐步退化。此外,应用程序工作负载会显著影响整个系统的可靠性。在这项工作中,我们分析了28nm运行的实际应用中嵌入式商业处理器的各种设计层次的老化影响。我们还量化了老化效应对工作负载的切换活动和电源状态的依赖关系。实现结果表明,根据工作负载的不同,处理器的时间退化可能在2%到11%之间变化。由于老化依赖于应用程序工作负载,基于余量的设计将是非常悲观的。我们提出了一种高效灵活的原位监测方法,SlackProbe,它在路径端点和路径中间网插入定时监视器。我们表明,在几个商业处理器基准测试中,SlackProbe将所需的监视器数量减少了15倍以上,并增加了约5%的延迟裕度。来自这些监视器的实时数据可用于硬件和软件调整,以减少由于老化而导致的故障。
{"title":"Monitoring reliability in embedded processors - A multi-layer view","authors":"V. Chandra","doi":"10.1145/2593069.2596682","DOIUrl":"https://doi.org/10.1145/2593069.2596682","url":null,"abstract":"Scaling to sub-20nm technology nodes changes the nature of reliability effects from abrupt functional problems to progressive degradation of the performance characteristics of devices and system components. Further, application workloads can significantly affect the overall system reliability. In this work, we have analyzed aging effects on various design hierarchies of an embedded commercial processor in 28nm running real-world applications. We have also quantified the dependencies of aging effects on switching-activity and power-state of workloads. Implementation results show that the processor timing degradation can vary from 2% to 11%, depending on the workload. Due to the dependence of aging on the application workloads, margin based design will be highly pessimistic. We propose an efficient and flexible in situ monitoring methodology, SlackProbe, which inserts timing monitors at both path endpoints and path intermediate nets. We show that SlackProbe reduces the numbers of monitors required by over 15X with ~5% additional delay margin in several commercial processor benchmarks. The real-time data from these monitors can be used for hardware and software adaptation to mitigate failures due to aging.","PeriodicalId":433816,"journal":{"name":"2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC)","volume":"63 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126634755","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}
引用次数: 19
FPGA security: From features to capabilities to trusted systems FPGA安全性:从特性到功能再到可信系统
Pub Date : 2014-06-01 DOI: 10.1145/2593069.2602555
S. Trimberger, J. Moore
FPGA devices provide a range of security features which can provide powerful security capabilities. This paper describes many security features included in present-day FPGAs including bitstream authenticated encryption, configuration scrubbing, voltage and temperature sensors and JTAG-intercept. The paper explains the role of these features in providing security capabilities such as privacy, anti-tamper and protection of data handled by the FPGA. The paper concludes with an example of a single-chip cryptographic system, a trusted system built with these components.
FPGA器件提供了一系列安全特性,可以提供强大的安全功能。本文介绍了当前fpga中包含的许多安全特性,包括比特流认证加密、配置扫描、电压和温度传感器以及jtag拦截。本文解释了这些特性在提供FPGA处理的数据的隐私、防篡改和保护等安全功能方面的作用。最后给出了一个单片密码系统的实例,这是一个用这些组件构建的可信系统。
{"title":"FPGA security: From features to capabilities to trusted systems","authors":"S. Trimberger, J. Moore","doi":"10.1145/2593069.2602555","DOIUrl":"https://doi.org/10.1145/2593069.2602555","url":null,"abstract":"FPGA devices provide a range of security features which can provide powerful security capabilities. This paper describes many security features included in present-day FPGAs including bitstream authenticated encryption, configuration scrubbing, voltage and temperature sensors and JTAG-intercept. The paper explains the role of these features in providing security capabilities such as privacy, anti-tamper and protection of data handled by the FPGA. The paper concludes with an example of a single-chip cryptographic system, a trusted system built with these components.","PeriodicalId":433816,"journal":{"name":"2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC)","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124083965","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}
引用次数: 26
Hardware-in-the-loop simulation for CPU/GPU heterogeneous platforms CPU/GPU异构平台的硬件在环仿真
Pub Date : 2014-06-01 DOI: 10.1145/2593069.2593149
Youngsub Ko, Taeyoung Kim, Youngmin Yi, Myungsun Kim, S. Ha
Multi-core CPU/GPU heterogeneous platforms became popular in embedded systems. A full system simulator is typically used to observe the internal system behavior by running complete software stacks without modification on simulation models of CPUs and other devices in the system. However, there are few known full system simulators for CPU/GPU heterogeneous platforms and existent GPU simulators are prohibitively slow for running application software. In this paper, we propose a hardware-in-the-loop simulation technique that integrates GPU hardware into a full system simulator. A novel interfacing mechanism between CPU simulator and the development board, where GPU hardware is integrated, is devised. In the experiments, we took Exynos 4412 as a case study, where gem5 simulator is used to simulate mainly a quad-core ARM CPU in the platform and an Exynos development board is used to run the Mali GPU hardware. We could successfully run Android apps on the proposed hardware-in-the-loop simulation framework with up to 1.5 M cycles per second performance.
多核CPU/GPU异构平台在嵌入式系统中越来越流行。完整的系统模拟器通常用于通过运行完整的软件堆栈来观察系统内部行为,而无需修改系统中cpu和其他设备的仿真模型。然而,很少有已知的CPU/GPU异构平台的完整系统模拟器,并且现有的GPU模拟器在运行应用软件时速度非常慢。在本文中,我们提出了一种硬件在环仿真技术,将GPU硬件集成到一个完整的系统模拟器中。设计了一种集成GPU硬件的CPU模拟器与开发板的接口机制。在实验中,我们以Exynos 4412为例,使用gem5模拟器主要模拟平台中的四核ARM CPU,使用Exynos开发板运行Mali GPU硬件。我们可以在提议的硬件在环模拟框架上成功运行Android应用程序,其性能高达每秒1.5 M个周期。
{"title":"Hardware-in-the-loop simulation for CPU/GPU heterogeneous platforms","authors":"Youngsub Ko, Taeyoung Kim, Youngmin Yi, Myungsun Kim, S. Ha","doi":"10.1145/2593069.2593149","DOIUrl":"https://doi.org/10.1145/2593069.2593149","url":null,"abstract":"Multi-core CPU/GPU heterogeneous platforms became popular in embedded systems. A full system simulator is typically used to observe the internal system behavior by running complete software stacks without modification on simulation models of CPUs and other devices in the system. However, there are few known full system simulators for CPU/GPU heterogeneous platforms and existent GPU simulators are prohibitively slow for running application software. In this paper, we propose a hardware-in-the-loop simulation technique that integrates GPU hardware into a full system simulator. A novel interfacing mechanism between CPU simulator and the development board, where GPU hardware is integrated, is devised. In the experiments, we took Exynos 4412 as a case study, where gem5 simulator is used to simulate mainly a quad-core ARM CPU in the platform and an Exynos development board is used to run the Mali GPU hardware. We could successfully run Android apps on the proposed hardware-in-the-loop simulation framework with up to 1.5 M cycles per second performance.","PeriodicalId":433816,"journal":{"name":"2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC)","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126792960","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}
引用次数: 8
Symbolic analysis of dataflow applications mapped onto shared heterogeneous resources 映射到共享异构资源的数据流应用程序的符号分析
Pub Date : 2014-06-01 DOI: 10.1145/2593069.2593223
Firew Siyoum, M. Geilen, H. Corporaal
Embedded streaming applications require design-time temporal analysis to verify real-time constraints such as throughput and latency. In this paper, we introduce a new analytical technique to compute temporal bounds of streaming applications mapped onto a shared multiprocessor platform. We use an expressively rich application model that supports adaptive applications where graph structure, execution times and data rates may change dynamically. The analysis technique combines symbolic simulation in (max; +) algebra with worst-case resource availability curves. It further enables a tighter performance guarantee by improving the WCRTs of service requests that arrive in the same busy time. Evaluation on real-life application graphs shows that the technique is tens of times faster than the state-of-the-art and enables tighter throughput guarantees, up to a factor of 4, compared to the typical worst-case analysis.
嵌入式流应用程序需要设计时时态分析来验证实时约束,如吞吐量和延迟。本文介绍了一种新的分析技术来计算映射到共享多处理器平台上的流应用程序的时间边界。我们使用表达丰富的应用程序模型,支持自适应应用程序,其中图形结构,执行时间和数据速率可能会动态变化。分析技术结合了(max;+)代数与最坏情况的资源可用性曲线。通过改进在同一繁忙时间到达的服务请求的wcrt,它进一步实现了更严格的性能保证。对实际应用程序图的评估表明,该技术比最先进的技术快几十倍,并且与典型的最坏情况分析相比,可以实现更严格的吞吐量保证,最高可达4倍。
{"title":"Symbolic analysis of dataflow applications mapped onto shared heterogeneous resources","authors":"Firew Siyoum, M. Geilen, H. Corporaal","doi":"10.1145/2593069.2593223","DOIUrl":"https://doi.org/10.1145/2593069.2593223","url":null,"abstract":"Embedded streaming applications require design-time temporal analysis to verify real-time constraints such as throughput and latency. In this paper, we introduce a new analytical technique to compute temporal bounds of streaming applications mapped onto a shared multiprocessor platform. We use an expressively rich application model that supports adaptive applications where graph structure, execution times and data rates may change dynamically. The analysis technique combines symbolic simulation in (max; +) algebra with worst-case resource availability curves. It further enables a tighter performance guarantee by improving the WCRTs of service requests that arrive in the same busy time. Evaluation on real-life application graphs shows that the technique is tens of times faster than the state-of-the-art and enables tighter throughput guarantees, up to a factor of 4, compared to the typical worst-case analysis.","PeriodicalId":433816,"journal":{"name":"2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC)","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127795071","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}
引用次数: 11
Protecting SRAM-based FPGAs against multiple bit upsets using erasure codes 使用擦除码保护基于sram的fpga免受多位干扰
Pub Date : 2014-06-01 DOI: 10.1145/2593069.2593191
Parthasarathy M. B. Rao, Mojtaba Ebrahimi, Razi Seyyedi, M. Tahoori
Multiple bit upsets due to radiation-induced soft errors are a major concern in nanoscale technology nodes. Once such errors occur in the configuration frames of an FPGA device, they permanently affect the functionality of the mapped design. The combination of error correction schemes and configuration scrubbing is an efficient approach to avoid such permanent errors. Existing solutions exploit coding techniques with considerably high overhead to protect configuration frames against multiple bit upsets. In this paper, we propose a generic scrubbing scheme which reconstructs the erroneous configuration frame based on the concept of erasure codes. Our proposed scheme does not require any changes to the FPGA architecture. Experimental results on a Xilinx Virtex-6 FPGA device show that the proposed scheme achieves error recovery coverage of 99.30% with only 3% resource occupation while the mean time to repair is comparable with previous schemes.
由于辐射引起的软误差引起的多次位失稳是纳米级技术节点的主要问题。一旦这种错误发生在FPGA器件的配置帧中,它们就会永久地影响映射设计的功能。纠错方案和配置清洗相结合是避免此类永久性错误的有效方法。现有的解决方案利用相当高的开销的编码技术来保护配置帧免受多位干扰。本文提出了一种基于擦除码概念重构错误配置帧的通用清洗方案。我们提出的方案不需要对FPGA架构进行任何更改。在Xilinx Virtex-6 FPGA器件上的实验结果表明,该方案在仅占用3%资源的情况下实现了99.30%的错误恢复覆盖率,而平均修复时间与之前的方案相当。
{"title":"Protecting SRAM-based FPGAs against multiple bit upsets using erasure codes","authors":"Parthasarathy M. B. Rao, Mojtaba Ebrahimi, Razi Seyyedi, M. Tahoori","doi":"10.1145/2593069.2593191","DOIUrl":"https://doi.org/10.1145/2593069.2593191","url":null,"abstract":"Multiple bit upsets due to radiation-induced soft errors are a major concern in nanoscale technology nodes. Once such errors occur in the configuration frames of an FPGA device, they permanently affect the functionality of the mapped design. The combination of error correction schemes and configuration scrubbing is an efficient approach to avoid such permanent errors. Existing solutions exploit coding techniques with considerably high overhead to protect configuration frames against multiple bit upsets. In this paper, we propose a generic scrubbing scheme which reconstructs the erroneous configuration frame based on the concept of erasure codes. Our proposed scheme does not require any changes to the FPGA architecture. Experimental results on a Xilinx Virtex-6 FPGA device show that the proposed scheme achieves error recovery coverage of 99.30% with only 3% resource occupation while the mean time to repair is comparable with previous schemes.","PeriodicalId":433816,"journal":{"name":"2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC)","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132624087","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}
引用次数: 43
Space-efficient multiversion index scheme for PCM-based embedded database systems 基于pcm的嵌入式数据库系统的多版本索引方案
Pub Date : 2014-06-01 DOI: 10.1145/2593069.2593219
Yuan-Hung Kuan, Yuan-Hao Chang, Po-Chun Huang, K. Lam
Embedded database systems are widely adopted in various control and motoring systems, e.g., cyber-physical systems (CPSes). To support the functionality to access the historical data, a multiversion index is adopted to maintain multiple versions of data items and their index information. However, CPSes are usually battery-powered embedded systems that have limited energy, computing power, and storage space. In this work, we consider the systems with phase-change memory (PCM) as their storage due to its non-volatility and low energy consumption. In order to resolve the problem of the limited storage space and the fact that existing multiversion index designs are lack of space efficiency, we propose a space-efficient multiversion index scheme to enhance the space utilization and access performance of embedded multiversion database systems on PCM by utilizing the byte-addressability and write asymmetry of PCM. A series of experiments was conducted to evaluate the efficacy of the proposed scheme. The results show that the proposed scheme achieves very high space utilization and has good performance on serving update transactions and range queries.
嵌入式数据库系统广泛应用于各种控制和运动系统,例如网络物理系统(CPSes)。为了支持访问历史数据的功能,采用多版本索引来维护数据项及其索引信息的多个版本。然而,cpse通常是电池供电的嵌入式系统,具有有限的能量、计算能力和存储空间。在这项工作中,我们考虑相变存储器(PCM)作为其存储系统,因为它的非易失性和低能耗。为了解决存储空间有限和现有多版本索引设计缺乏空间效率的问题,我们提出了一种空间高效的多版本索引方案,利用PCM的字节可寻址性和写不对称性来提高嵌入式多版本数据库系统在PCM上的空间利用率和访问性能。通过一系列的实验来评价该方案的有效性。结果表明,该方案具有很高的空间利用率,并且在服务更新事务和范围查询方面具有良好的性能。
{"title":"Space-efficient multiversion index scheme for PCM-based embedded database systems","authors":"Yuan-Hung Kuan, Yuan-Hao Chang, Po-Chun Huang, K. Lam","doi":"10.1145/2593069.2593219","DOIUrl":"https://doi.org/10.1145/2593069.2593219","url":null,"abstract":"Embedded database systems are widely adopted in various control and motoring systems, e.g., cyber-physical systems (CPSes). To support the functionality to access the historical data, a multiversion index is adopted to maintain multiple versions of data items and their index information. However, CPSes are usually battery-powered embedded systems that have limited energy, computing power, and storage space. In this work, we consider the systems with phase-change memory (PCM) as their storage due to its non-volatility and low energy consumption. In order to resolve the problem of the limited storage space and the fact that existing multiversion index designs are lack of space efficiency, we propose a space-efficient multiversion index scheme to enhance the space utilization and access performance of embedded multiversion database systems on PCM by utilizing the byte-addressability and write asymmetry of PCM. A series of experiments was conducted to evaluate the efficacy of the proposed scheme. The results show that the proposed scheme achieves very high space utilization and has good performance on serving update transactions and range queries.","PeriodicalId":433816,"journal":{"name":"2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC)","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132884429","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}
引用次数: 8
Datapath synthesis for overclocking: Online arithmetic for latency-accuracy trade-offs 用于超频的数据路径综合:延迟-精度权衡的在线算法
Pub Date : 2014-06-01 DOI: 10.1145/2593069.2593118
Kan Shi, D. Boland, Edward A. Stott, Samuel Bayliss, G. Constantinides
Digital circuits are currently designed to ensure timing closure. Releasing this constraint by allowing timing violations could lead to significant performance improvements, but conventional forms of computer arithmetic do not fail gracefully when pushed beyond deterministic operation. In this paper we take a fresh look at Online Arithmetic, originally proposed for digit serial operation, and synthesize unrolled digit parallel online operators to allow for graceful degradation. We quantify the impact of timing violation on key arithmetic primitives, and show that substantial performance benefits can be obtained in comparison to binary arithmetic. Since timing errors are caused by long carry chains, these result in errors in least significant digits with online arithmetic, causing less impact than conventional implementations. Using analytical models and empirical FPGA results from an image processing application, we demonstrate an error reduction over 89% and an improvement in SNR of over 20dB for the same clock rate.
目前设计的数字电路是为了保证定时闭合。通过允许时间冲突来释放这个约束可能会显著提高性能,但是当超越确定性操作时,传统形式的计算机算法不会优雅地失败。在本文中,我们重新审视了在线算法,最初提出的数字串行运算,并综合展开数字并行在线算子,以允许优雅的退化。我们量化了时间冲突对关键算术原语的影响,并表明与二进制算术相比,可以获得实质性的性能优势。由于时间错误是由长进位链引起的,因此这会导致在线算法中最低有效数字的错误,造成的影响比传统实现要小。利用分析模型和来自图像处理应用的经验FPGA结果,我们证明了在相同时钟速率下误差降低超过89%,信噪比提高超过20dB。
{"title":"Datapath synthesis for overclocking: Online arithmetic for latency-accuracy trade-offs","authors":"Kan Shi, D. Boland, Edward A. Stott, Samuel Bayliss, G. Constantinides","doi":"10.1145/2593069.2593118","DOIUrl":"https://doi.org/10.1145/2593069.2593118","url":null,"abstract":"Digital circuits are currently designed to ensure timing closure. Releasing this constraint by allowing timing violations could lead to significant performance improvements, but conventional forms of computer arithmetic do not fail gracefully when pushed beyond deterministic operation. In this paper we take a fresh look at Online Arithmetic, originally proposed for digit serial operation, and synthesize unrolled digit parallel online operators to allow for graceful degradation. We quantify the impact of timing violation on key arithmetic primitives, and show that substantial performance benefits can be obtained in comparison to binary arithmetic. Since timing errors are caused by long carry chains, these result in errors in least significant digits with online arithmetic, causing less impact than conventional implementations. Using analytical models and empirical FPGA results from an image processing application, we demonstrate an error reduction over 89% and an improvement in SNR of over 20dB for the same clock rate.","PeriodicalId":433816,"journal":{"name":"2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC)","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114914564","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
Resource efficient mobile communications for crowd-sensing 用于人群感知的资源高效移动通信
Pub Date : 2014-06-01 DOI: 10.1145/2593069.2596686
C. Wietfeld, Christoph Ide, Bjoern Dusza
Due to continuously growing communication traffic of emerging mobile phone applications, resource-efficient communication is a key to affordable network services with high Quality of Experience. While some communication traffic requires immediate resource allocations (such as voice services), an increasing number of mobile phone applications produce a lot of background communication traffic (e.g. social network apps, crowd sensing services). In this paper we discuss the predictive Channel-Aware Transmission (pCAT) scheme, which leverages the fact, that favorable channel conditions require much less spectrum resource allocation than bad channel conditions. By leveraging the knowledge of user trajectories and recurring spots with favorable channel conditions, the so-called LTE connectivity hot spots, background traffic transmissions can be scheduled by the client according to expected channel quality and application data priority. Thereby, the spectrum consumption of background traffic of applications can be reduced significantly. At the same time, the efficient usage of spectrum resources has also an impact on the battery lifetime of the mobile devices. By introducing the Context-Aware Power Consumption Model (CoPoMo) for LTE communications, we highlight, how decisions about the spectrum resource allocation by the network will impact the battery lifetime. One case study will show, that by simply changing the resource allocation scheme and without the need for spending more spectrum resources, the power consumption can be reduced by more than 70% using the Energy-Efficient Scheduling (EES) introduced in this paper.
由于新兴移动电话应用程序的通信流量不断增长,资源高效的通信是提供高质量体验的廉价网络服务的关键。虽然一些通信流量需要立即分配资源(例如语音服务),但越来越多的手机应用程序产生了大量的后台通信流量(例如社交网络应用程序,人群感知服务)。本文讨论了预测信道感知传输(pCAT)方案,该方案利用了有利信道条件比恶劣信道条件所需的频谱资源分配少得多的事实。通过利用对用户轨迹和具有有利信道条件的重复点(即所谓的LTE连接热点)的了解,客户端可以根据预期的信道质量和应用数据优先级来调度后台流量传输。因此,可以显著减少应用程序后台流量的频谱消耗。同时,频谱资源的有效利用也影响着移动设备的电池寿命。通过介绍LTE通信的情境感知功耗模型(CoPoMo),我们强调了网络关于频谱资源分配的决策将如何影响电池寿命。一个案例研究将表明,通过简单地改变资源分配方案,而不需要花费更多的频谱资源,使用本文介绍的节能调度(EES)可以减少70%以上的功耗。
{"title":"Resource efficient mobile communications for crowd-sensing","authors":"C. Wietfeld, Christoph Ide, Bjoern Dusza","doi":"10.1145/2593069.2596686","DOIUrl":"https://doi.org/10.1145/2593069.2596686","url":null,"abstract":"Due to continuously growing communication traffic of emerging mobile phone applications, resource-efficient communication is a key to affordable network services with high Quality of Experience. While some communication traffic requires immediate resource allocations (such as voice services), an increasing number of mobile phone applications produce a lot of background communication traffic (e.g. social network apps, crowd sensing services). In this paper we discuss the predictive Channel-Aware Transmission (pCAT) scheme, which leverages the fact, that favorable channel conditions require much less spectrum resource allocation than bad channel conditions. By leveraging the knowledge of user trajectories and recurring spots with favorable channel conditions, the so-called LTE connectivity hot spots, background traffic transmissions can be scheduled by the client according to expected channel quality and application data priority. Thereby, the spectrum consumption of background traffic of applications can be reduced significantly. At the same time, the efficient usage of spectrum resources has also an impact on the battery lifetime of the mobile devices. By introducing the Context-Aware Power Consumption Model (CoPoMo) for LTE communications, we highlight, how decisions about the spectrum resource allocation by the network will impact the battery lifetime. One case study will show, that by simply changing the resource allocation scheme and without the need for spending more spectrum resources, the power consumption can be reduced by more than 70% using the Energy-Efficient Scheduling (EES) introduced in this paper.","PeriodicalId":433816,"journal":{"name":"2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC)","volume":"97 4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133721982","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}
引用次数: 13
期刊
2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC)
全部 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