首页 > 最新文献

1999 IEEE International Performance, Computing and Communications Conference (Cat. No.99CH36305)最新文献

英文 中文
A method of service quality estimation with a network measurement tool 一种基于网络测量工具的服务质量评估方法
O. Maeshima, Yoshihiro Ito, M. Ishikura, T. Asami
Recently, many kinds of real-time applications have become available over IP networks. It is important to measure network performance for such applications before making use of real applications. The authors developed a general purpose traffic measurement tool for IP networks. This system can generate any kind of traffic flexibly and calculate network performance such as throughput, delay and loss rate according to the packers to be observed. In this paper, the concept and implementation of this tool are described in detail. As an example of network measurements, we also conducted subjective assessment tests for Internet telephony and demonstrated the validity of this tool.
最近,许多种类的实时应用程序已经通过IP网络可用。在使用真正的应用程序之前,测量这些应用程序的网络性能是很重要的。作者开发了一个通用的IP网络流量测量工具。该系统可以灵活地生成任何类型的流量,并根据观察到的数据包计算吞吐量、时延、损失率等网络性能。本文详细介绍了该工具的概念和实现。作为网络测量的一个例子,我们还对互联网电话进行了主观评估测试,并证明了该工具的有效性。
{"title":"A method of service quality estimation with a network measurement tool","authors":"O. Maeshima, Yoshihiro Ito, M. Ishikura, T. Asami","doi":"10.1109/PCCC.1999.749439","DOIUrl":"https://doi.org/10.1109/PCCC.1999.749439","url":null,"abstract":"Recently, many kinds of real-time applications have become available over IP networks. It is important to measure network performance for such applications before making use of real applications. The authors developed a general purpose traffic measurement tool for IP networks. This system can generate any kind of traffic flexibly and calculate network performance such as throughput, delay and loss rate according to the packers to be observed. In this paper, the concept and implementation of this tool are described in detail. As an example of network measurements, we also conducted subjective assessment tests for Internet telephony and demonstrated the validity of this tool.","PeriodicalId":211210,"journal":{"name":"1999 IEEE International Performance, Computing and Communications Conference (Cat. No.99CH36305)","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-02-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126729983","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
Measuring dynamic memory invocations in object-oriented programs 测量面向对象程序中的动态内存调用
M. Chang, Woo Hyong Lee, Y. Hasan
Dynamic memory management has been a high cost component in many software systems. Studies have shown that memory intensive C programs can consume up to 30% of the program runtime in memory allocation and liberation. The OOP language system tends to perform object creation and deletion prolifically. An empirical study shown that C++ programs can have ten times more memory allocation and deallocation than comparable C programs. However, the allocation behavior of C++ programs is rarely reported. This paper attempts to locate where the dynamic memory allocations are coming from and report an empirical study of dynamic memory invocations in C++ programs. Firstly, this paper summarizes the hypothesis of situations that invoke the dynamic memory management explicitly and implicitly. They are: constructors, copy constructors, overloading assignment operator=, type conversions and application specific member functions. Secondly, the development of a source code level tracing tool is reported as the procedure to investigate the hypothesis. Thirdly, results include behavioral patterns of memory allocations. With these patterns, we may increase the reusability of the resources. For example, a profile-based strategy can be used to improve the performance of dynamic memory management. The C++ programs that were traced include Java compiler, CORBA compliant and visual framework.
在许多软件系统中,动态内存管理一直是一个高成本的组件。研究表明,内存密集型C程序在内存分配和释放方面可能会消耗高达30%的程序运行时时间。OOP语言系统倾向于大量地执行对象的创建和删除。一项实证研究表明,c++程序的内存分配和释放是C程序的十倍。然而,c++程序的分配行为很少被报道。本文试图找出动态内存分配的来源,并报告了c++程序中动态内存调用的实证研究。首先,总结了显式和隐式调用动态内存管理的假设。它们是:构造函数、复制构造函数、重载赋值操作符=、类型转换和特定于应用程序的成员函数。其次,报告了源代码级跟踪工具的开发作为调查假设的过程。第三,结果包括记忆分配的行为模式。有了这些模式,我们可以提高资源的可重用性。例如,可以使用基于概要文件的策略来改进动态内存管理的性能。跟踪的c++程序包括Java编译器、CORBA兼容和可视化框架。
{"title":"Measuring dynamic memory invocations in object-oriented programs","authors":"M. Chang, Woo Hyong Lee, Y. Hasan","doi":"10.1109/PCCC.1999.749448","DOIUrl":"https://doi.org/10.1109/PCCC.1999.749448","url":null,"abstract":"Dynamic memory management has been a high cost component in many software systems. Studies have shown that memory intensive C programs can consume up to 30% of the program runtime in memory allocation and liberation. The OOP language system tends to perform object creation and deletion prolifically. An empirical study shown that C++ programs can have ten times more memory allocation and deallocation than comparable C programs. However, the allocation behavior of C++ programs is rarely reported. This paper attempts to locate where the dynamic memory allocations are coming from and report an empirical study of dynamic memory invocations in C++ programs. Firstly, this paper summarizes the hypothesis of situations that invoke the dynamic memory management explicitly and implicitly. They are: constructors, copy constructors, overloading assignment operator=, type conversions and application specific member functions. Secondly, the development of a source code level tracing tool is reported as the procedure to investigate the hypothesis. Thirdly, results include behavioral patterns of memory allocations. With these patterns, we may increase the reusability of the resources. For example, a profile-based strategy can be used to improve the performance of dynamic memory management. The C++ programs that were traced include Java compiler, CORBA compliant and visual framework.","PeriodicalId":211210,"journal":{"name":"1999 IEEE International Performance, Computing and Communications Conference (Cat. No.99CH36305)","volume":"63 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-02-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132333329","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}
引用次数: 14
Enhancing the PCI bus to support real-time streams 增强PCI总线以支持实时流
M. Scottis, M. Krunz, M. M. Liu
In this paper we present an access scheduling scheme for real-time streams (RTS) over the peripheral component interconnect (PCI) bus. We derive a bus model based on the rate monotonic scheduling (RMS) algorithm that guarantees the timing quality of service (QoS) for real-time streams over the PCI bus. The proposed model is valid for constant-bit-rate (CBR) as well as for variable-bit-rate (VBR) streams. We define the effective bus utilization (EBU) as the worst case bus utilization and we determine the value of the internal latency timer (ILT) that minimizes EBU. Finally, we present some simulation results to demonstrate the practicality of the proposed scheme.
本文提出了一种基于PCI总线的实时流访问调度方案。我们推导了一个基于速率单调调度(RMS)算法的总线模型,该模型保证了PCI总线上实时流的定时服务质量(QoS)。该模型既适用于固定比特率流,也适用于可变比特率流。我们将有效总线利用率(EBU)定义为最坏情况下的总线利用率,并确定使EBU最小化的内部延迟计时器(ILT)的值。最后,我们给出了一些仿真结果来验证所提方案的实用性。
{"title":"Enhancing the PCI bus to support real-time streams","authors":"M. Scottis, M. Krunz, M. M. Liu","doi":"10.1109/PCCC.1999.749453","DOIUrl":"https://doi.org/10.1109/PCCC.1999.749453","url":null,"abstract":"In this paper we present an access scheduling scheme for real-time streams (RTS) over the peripheral component interconnect (PCI) bus. We derive a bus model based on the rate monotonic scheduling (RMS) algorithm that guarantees the timing quality of service (QoS) for real-time streams over the PCI bus. The proposed model is valid for constant-bit-rate (CBR) as well as for variable-bit-rate (VBR) streams. We define the effective bus utilization (EBU) as the worst case bus utilization and we determine the value of the internal latency timer (ILT) that minimizes EBU. Finally, we present some simulation results to demonstrate the practicality of the proposed scheme.","PeriodicalId":211210,"journal":{"name":"1999 IEEE International Performance, Computing and Communications Conference (Cat. No.99CH36305)","volume":"187 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-02-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116184326","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
A PowerPC platform full system simulation-from the MOOSE up 一个PowerPC平台完整的系统模拟-从MOOSE开始
L. Robinson, G. Whisenhunt
Systems simulation is not new. Several instances of varying degrees have appeared over the last few years providing a diverse level of simulation capability. There are also a plethora of simulation kernels and simulation environments available today. Each of these has strengths and weaknesses usually centered around the specific environment to which the simulation is targeted. During the mid-1990s there were no other publicly available simulations that provided what we considered to be a complete functional system simulation environment. This paper presents the PowerSim simulation environment and the MOOSE simulation kernel. PowerSim is a full system simulation of a PowerPC computer platform capable of running unmodified complex operating systems and applications. MOOSE (Motorola Object-Oriented Simulation Environment) is simulation kernel capable of running distributed object-oriented simulations in an efficient, synchronized manner. In this simulation environment, it is possible to analyze an almost unlimited set of applications and systems software.
系统仿真并不新鲜。在过去几年中出现了几个不同程度的实例,提供了不同级别的模拟能力。现在也有大量的仿真内核和仿真环境可用。每种方法都有优点和缺点,通常以模拟所针对的特定环境为中心。在20世纪90年代中期,没有其他公开可用的模拟提供了我们认为是完整的功能系统模拟环境。本文介绍了PowerSim仿真环境和MOOSE仿真内核。PowerSim是PowerPC计算机平台的完整系统模拟,能够运行未经修改的复杂操作系统和应用程序。MOOSE(摩托罗拉面向对象仿真环境)是一种仿真内核,能够以高效、同步的方式运行分布式面向对象仿真。在这个模拟环境中,可以分析几乎无限的应用程序和系统软件。
{"title":"A PowerPC platform full system simulation-from the MOOSE up","authors":"L. Robinson, G. Whisenhunt","doi":"10.1109/PCCC.1999.749472","DOIUrl":"https://doi.org/10.1109/PCCC.1999.749472","url":null,"abstract":"Systems simulation is not new. Several instances of varying degrees have appeared over the last few years providing a diverse level of simulation capability. There are also a plethora of simulation kernels and simulation environments available today. Each of these has strengths and weaknesses usually centered around the specific environment to which the simulation is targeted. During the mid-1990s there were no other publicly available simulations that provided what we considered to be a complete functional system simulation environment. This paper presents the PowerSim simulation environment and the MOOSE simulation kernel. PowerSim is a full system simulation of a PowerPC computer platform capable of running unmodified complex operating systems and applications. MOOSE (Motorola Object-Oriented Simulation Environment) is simulation kernel capable of running distributed object-oriented simulations in an efficient, synchronized manner. In this simulation environment, it is possible to analyze an almost unlimited set of applications and systems software.","PeriodicalId":211210,"journal":{"name":"1999 IEEE International Performance, Computing and Communications Conference (Cat. No.99CH36305)","volume":"87 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-02-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123329632","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}
引用次数: 2
Space optimal PIF algorithm: self-stabilized with no extra space 空间最优PIF算法:自稳定,无额外空间
A. Bui, A. Datta, F. Petit, V. Villain
Recently (1998), we introduced a new self-stabilizing PIF paradigm, called the Propagation of information with Feedback and Cleaning (PFC), for the rooted tree networks. In this paper, we propose the first self-stabilizing PIF scheme for the tree networks without sense of direction-the trees do not have a root and the processors do not maintain any ancestor. The proposed PIF scheme is based on the paradigm PFC. A PIF algorithm in trees without sense of direction is very useful in many applications because this allows to maintain only one spanning tree of the network instead of one per processor. The proposed algorithm requires 3 states per processor, and only 2 states for the initiator and leaves. This space requirement is optimal for both self-stabilizing and non-stabilizing PIF algorithms on tree networks. Thus, the processors need no extra space to stabilize the proposed PIF scheme.
最近(1998年),我们为有根树网络引入了一种新的自稳定PIF范式,称为带有反馈和清理的信息传播(PFC)。在本文中,我们提出了第一个无方向感树网络的自稳定PIF方案——树没有根,处理器不保持任何祖先。提出的PIF方案是基于PIF范式的。无方向感树中的PIF算法在许多应用中非常有用,因为它允许只维护网络的一棵生成树,而不是每个处理器一个。该算法要求每个处理器有3个状态,发起者和离开者只有2个状态。这种空间需求对于树状网络上的自稳定和非稳定PIF算法都是最优的。因此,处理器不需要额外的空间来稳定所提出的PIF方案。
{"title":"Space optimal PIF algorithm: self-stabilized with no extra space","authors":"A. Bui, A. Datta, F. Petit, V. Villain","doi":"10.1109/PCCC.1999.749416","DOIUrl":"https://doi.org/10.1109/PCCC.1999.749416","url":null,"abstract":"Recently (1998), we introduced a new self-stabilizing PIF paradigm, called the Propagation of information with Feedback and Cleaning (PFC), for the rooted tree networks. In this paper, we propose the first self-stabilizing PIF scheme for the tree networks without sense of direction-the trees do not have a root and the processors do not maintain any ancestor. The proposed PIF scheme is based on the paradigm PFC. A PIF algorithm in trees without sense of direction is very useful in many applications because this allows to maintain only one spanning tree of the network instead of one per processor. The proposed algorithm requires 3 states per processor, and only 2 states for the initiator and leaves. This space requirement is optimal for both self-stabilizing and non-stabilizing PIF algorithms on tree networks. Thus, the processors need no extra space to stabilize the proposed PIF scheme.","PeriodicalId":211210,"journal":{"name":"1999 IEEE International Performance, Computing and Communications Conference (Cat. No.99CH36305)","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-02-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121452786","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}
引用次数: 17
Design and analysis of one prong network restoration algorithms 单点网络恢复算法的设计与分析
C. E. Chow, A. Hansmats
To improve the reliability, broadband optical networks require fast restoration from single-link failures, node failures and multiple-link failures. This paper presents two distributed network restoration algorithms based on the one prong approach. DFOP uses a depth first search approach with a time-out mechanism to collect more network topology information. BFOP uses a breadth first search approach and a time-out mechanism to explore restoration paths with shorter hop count to reduce spare usage. They can handle single-link failures, node failures, multiple link failures and area failures. Comparisons of these algorithms with an adaptive one prong algorithm are also presented.
为了提高可靠性,宽带光网络需要从单链路故障、节点故障和多链路故障中快速恢复。本文提出了两种基于单叉法的分布式网络恢复算法。DFOP使用深度优先搜索方法和超时机制来收集更多的网络拓扑信息。BFOP使用广度优先搜索方法和超时机制来探索跳数较短的恢复路径,以减少空闲使用。它们可以处理单链路故障、节点故障、多链路故障和区域故障。并将这些算法与自适应单叉算法进行了比较。
{"title":"Design and analysis of one prong network restoration algorithms","authors":"C. E. Chow, A. Hansmats","doi":"10.1109/PCCC.1999.749440","DOIUrl":"https://doi.org/10.1109/PCCC.1999.749440","url":null,"abstract":"To improve the reliability, broadband optical networks require fast restoration from single-link failures, node failures and multiple-link failures. This paper presents two distributed network restoration algorithms based on the one prong approach. DFOP uses a depth first search approach with a time-out mechanism to collect more network topology information. BFOP uses a breadth first search approach and a time-out mechanism to explore restoration paths with shorter hop count to reduce spare usage. They can handle single-link failures, node failures, multiple link failures and area failures. Comparisons of these algorithms with an adaptive one prong algorithm are also presented.","PeriodicalId":211210,"journal":{"name":"1999 IEEE International Performance, Computing and Communications Conference (Cat. No.99CH36305)","volume":"82 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-02-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122546793","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}
引用次数: 2
Using a single address space operating system for distributed computing and high performance 采用单地址空间操作系统,实现分布式计算和高性能
Alan Skousen, Donald S. Miller
Recent 64-bit microprocessors have made a huge 18.4 quintillion byte address space potentially available to programs. This has led to the design of Operating Systems that provide a single virtual address space in which all code and data reside in and that spans all levels of storage and all nodes of a distributed system. These operating systems called SASOSs, have characteristics that can be used to support synchronization and coherency in a distributed system in ways that provide an improved program development environment and higher performance than that available from conventional operating systems. Sombrero, our SASOS design, makes use of its hardware support for object-grained protection, separate thread related protection domains and implicit protection domain crossing to provide synchronization and coherency support for distributed object copy set management not available in SASOSs built on stock processors. Its design, which provides direct system level support for object oriented programming includes a number of system architectural features targeted at modern distributed computing.
最近的64位微处理器已经为程序提供了一个巨大的18.4万亿字节的地址空间。这导致了操作系统的设计,它提供了一个单一的虚拟地址空间,所有代码和数据都驻留在其中,并且跨越了分布式系统的所有存储级别和所有节点。这些被称为sasos的操作系统具有可用于支持分布式系统中的同步和一致性的特性,这些特性提供了改进的程序开发环境和比传统操作系统更高的性能。Sombrero,我们的SASOS设计,利用其硬件支持对象粒度保护,独立线程相关的保护域和隐式保护域交叉,为基于库存处理器的SASOS无法提供的分布式对象复制集管理提供同步和一致性支持。它的设计为面向对象编程提供了直接的系统级支持,包括许多针对现代分布式计算的系统架构特性。
{"title":"Using a single address space operating system for distributed computing and high performance","authors":"Alan Skousen, Donald S. Miller","doi":"10.1109/PCCC.1999.749414","DOIUrl":"https://doi.org/10.1109/PCCC.1999.749414","url":null,"abstract":"Recent 64-bit microprocessors have made a huge 18.4 quintillion byte address space potentially available to programs. This has led to the design of Operating Systems that provide a single virtual address space in which all code and data reside in and that spans all levels of storage and all nodes of a distributed system. These operating systems called SASOSs, have characteristics that can be used to support synchronization and coherency in a distributed system in ways that provide an improved program development environment and higher performance than that available from conventional operating systems. Sombrero, our SASOS design, makes use of its hardware support for object-grained protection, separate thread related protection domains and implicit protection domain crossing to provide synchronization and coherency support for distributed object copy set management not available in SASOSs built on stock processors. Its design, which provides direct system level support for object oriented programming includes a number of system architectural features targeted at modern distributed computing.","PeriodicalId":211210,"journal":{"name":"1999 IEEE International Performance, Computing and Communications Conference (Cat. No.99CH36305)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-02-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129069641","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
Are all scientific workloads equal? 所有的科学工作量都相等吗?
R. Oliver, P. Teller
Widely-used benchmarks are commonly classified as either scientific or commercial. Although process execution characteristics have been used as indicators of a benchmark's classification, a set of these characteristics along with a mechanism that can be used to easily compare and contrast workloads and partition them into classes with respect to these characteristics has not been identified. This paper identifies a set of process execution characteristics (PEC) that can be used to compare and contrast workloads and a method that can be used to partition workloads with respect to their PEC. These PEC, such as instruction locality, execution cycles per instruction, and context-switch frequency, are displayed with a high-density visualization tool called the PEC-Graph. Using the centroid linkage algorithm, processes' PEC are partitioned into clusters that are used to construct a taxonomy of workloads that is finer grained than taxonomies previously reported in the literature. The finer-grained categorization of workloads enables computer architects to select workloads that are known to stress specific architectural features, yielding potentially better performance analysis of new designs.
广泛使用的基准通常分为科学和商业两类。尽管流程执行特征已被用作基准分类的指示器,但尚未确定一组这些特征以及一种可用于轻松比较和对比工作负载并根据这些特征将其划分为类的机制。本文确定了一组可用于比较和对比工作负载的流程执行特征(PEC),以及一种可用于根据其PEC对工作负载进行分区的方法。这些PEC,如指令局部性、每条指令的执行周期和上下文切换频率,通过称为PEC- graph的高密度可视化工具显示出来。使用质心链接算法,进程的PEC被划分为集群,用于构建比以前文献中报道的分类法更细粒度的工作负载分类法。工作负载的细粒度分类使计算机架构师能够选择已知强调特定体系结构特性的工作负载,从而对新设计产生更好的性能分析。
{"title":"Are all scientific workloads equal?","authors":"R. Oliver, P. Teller","doi":"10.1109/PCCC.1999.749450","DOIUrl":"https://doi.org/10.1109/PCCC.1999.749450","url":null,"abstract":"Widely-used benchmarks are commonly classified as either scientific or commercial. Although process execution characteristics have been used as indicators of a benchmark's classification, a set of these characteristics along with a mechanism that can be used to easily compare and contrast workloads and partition them into classes with respect to these characteristics has not been identified. This paper identifies a set of process execution characteristics (PEC) that can be used to compare and contrast workloads and a method that can be used to partition workloads with respect to their PEC. These PEC, such as instruction locality, execution cycles per instruction, and context-switch frequency, are displayed with a high-density visualization tool called the PEC-Graph. Using the centroid linkage algorithm, processes' PEC are partitioned into clusters that are used to construct a taxonomy of workloads that is finer grained than taxonomies previously reported in the literature. The finer-grained categorization of workloads enables computer architects to select workloads that are known to stress specific architectural features, yielding potentially better performance analysis of new designs.","PeriodicalId":211210,"journal":{"name":"1999 IEEE International Performance, Computing and Communications Conference (Cat. No.99CH36305)","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-02-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131707707","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}
引用次数: 3
A toolset for assisted formal verification 辅助正式验证的工具集
N. Malik, J. Baumgartner, S. Roberts, Ryan Dobson
There has been a growing interest in applying formal methods for functional and performance verification of complex and safety critical designs. Model checking is one of the most common formal verification methodologies utilized in verifying sequential logic due to its automated decision procedures and its ability to provide "counter examples" for debugging. However, model checking hasn't found broad acceptance as a verification methodology due to its complexity. This arises because of the need to specify correctness properties in a temporal logic language and develop an environment around a partitioned model under test in a non deterministic HDL-type language. Generally, engineers are not trained in mathematical logic languages and becoming proficient in such a language requires a steep learning curve. Furthermore, defining a behavioral environment at the complex and undocumented microarchitectural interface level is a time consuming and error prone activity. As such, there is a strong motivation to bring the model checking technology to a level such that the designers may utilize this technology as a part of their design process without being burdened with the details that are generally only within the grasps of computer theoreticians. The paper outlines two tools which greatly assist in this goal: the first, Polly, automates the difficult and error prone task of developing the behavioral environment around the partitioned model under test; the second Oracle, obviates the need for learning temporal logic to enter specification.
对复杂和安全关键设计的功能和性能验证应用正式方法的兴趣越来越大。模型检查是用于验证顺序逻辑的最常见的形式化验证方法之一,因为它具有自动化的决策过程和为调试提供“反例”的能力。然而,由于模型检查的复杂性,它还没有被广泛接受为一种验证方法。这是因为需要在时态逻辑语言中指定正确性属性,并在不确定的hdl类型语言中围绕被测试的分区模型开发环境。一般来说,工程师没有接受过数理逻辑语言的培训,要精通这种语言需要一个陡峭的学习曲线。此外,在复杂且未记录的微体系结构接口级别定义行为环境是一项耗时且容易出错的活动。因此,有强烈的动机将模型检查技术提升到一个水平,这样设计师就可以利用该技术作为他们设计过程的一部分,而不必负担通常只有计算机理论家才能掌握的细节。本文概述了两个极大地帮助实现这一目标的工具:第一个是Polly,它自动化了围绕被测试的分割模型开发行为环境的困难和容易出错的任务;第二个Oracle,避免了学习时态逻辑进入规范的需要。
{"title":"A toolset for assisted formal verification","authors":"N. Malik, J. Baumgartner, S. Roberts, Ryan Dobson","doi":"10.1109/PCCC.1999.749477","DOIUrl":"https://doi.org/10.1109/PCCC.1999.749477","url":null,"abstract":"There has been a growing interest in applying formal methods for functional and performance verification of complex and safety critical designs. Model checking is one of the most common formal verification methodologies utilized in verifying sequential logic due to its automated decision procedures and its ability to provide \"counter examples\" for debugging. However, model checking hasn't found broad acceptance as a verification methodology due to its complexity. This arises because of the need to specify correctness properties in a temporal logic language and develop an environment around a partitioned model under test in a non deterministic HDL-type language. Generally, engineers are not trained in mathematical logic languages and becoming proficient in such a language requires a steep learning curve. Furthermore, defining a behavioral environment at the complex and undocumented microarchitectural interface level is a time consuming and error prone activity. As such, there is a strong motivation to bring the model checking technology to a level such that the designers may utilize this technology as a part of their design process without being burdened with the details that are generally only within the grasps of computer theoreticians. The paper outlines two tools which greatly assist in this goal: the first, Polly, automates the difficult and error prone task of developing the behavioral environment around the partitioned model under test; the second Oracle, obviates the need for learning temporal logic to enter specification.","PeriodicalId":211210,"journal":{"name":"1999 IEEE International Performance, Computing and Communications Conference (Cat. No.99CH36305)","volume":"130 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-02-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132223971","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}
引用次数: 3
PDATS II: improved compression of address traces PDATS II:改进的地址轨迹压缩
E. Johnson
The tremendous storage space required for a useful data base of memory reference traces has prompted a search for trace compaction techniques. PDATS is the standard trace format used in the NMSU TraceBase, a widely used archive of memory and instruction traces. The PDATS family of trace compression techniques achieves trace coding densities of about six references per byte with no loss of reference type or address information by using differential run-length encoding. This paper proposes an improvement on the PDATS scheme that doubles the typical compression ratio without losing information.
一个有用的内存参考跟踪数据库需要巨大的存储空间,这促使人们对跟踪压缩技术进行研究。PDATS是NMSU TraceBase(一种广泛使用的内存和指令跟踪存档)中使用的标准跟踪格式。PDATS系列跟踪压缩技术通过使用差分运行长度编码,实现了每字节大约6个引用的跟踪编码密度,而不会丢失引用类型或地址信息。本文提出了一种改进的PDATS方案,在不丢失信息的情况下将典型压缩比提高一倍。
{"title":"PDATS II: improved compression of address traces","authors":"E. Johnson","doi":"10.1109/PCCC.1999.749423","DOIUrl":"https://doi.org/10.1109/PCCC.1999.749423","url":null,"abstract":"The tremendous storage space required for a useful data base of memory reference traces has prompted a search for trace compaction techniques. PDATS is the standard trace format used in the NMSU TraceBase, a widely used archive of memory and instruction traces. The PDATS family of trace compression techniques achieves trace coding densities of about six references per byte with no loss of reference type or address information by using differential run-length encoding. This paper proposes an improvement on the PDATS scheme that doubles the typical compression ratio without losing information.","PeriodicalId":211210,"journal":{"name":"1999 IEEE International Performance, Computing and Communications Conference (Cat. No.99CH36305)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-02-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114077071","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}
引用次数: 22
期刊
1999 IEEE International Performance, Computing and Communications Conference (Cat. No.99CH36305)
全部 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