首页 > 最新文献

Proceedings 1st International Conference on Algorithms and Architectures for Parallel Processing最新文献

英文 中文
A formal study on the fault tolerance of parallel and distributed systems 并行和分布式系统容错的形式化研究
C. Papadopoulos
This paper analyzes the ability of several bounded degree networks that are commonly used for parallel computation to tolerate faults. Among other things it is shown that an N-node butterfly containing N/sup 1-/spl epsiv// worst-case faults (for any constant /spl epsiv/>0) can emulate a fault-free butterfly of the same size with only constant slowdown. Similar results are proven for the shuffle-exchange graph. Hence, these networks become the first connected bounded-degree networks known to be able to sustain more than a constant number of worst-case faults without suffering more than a constant-factor slowdown in performance.<>
本文分析了并行计算中常用的几种有界度网络的容错能力。除其他事项外,它显示了包含N/sup 1-/spl epsiv//最坏情况故障的N节点蝴蝶(对于任何常数/spl epsiv/>0)可以模拟相同大小的无故障蝴蝶,只有恒定的减速。对洗牌交换图证明了类似的结果。因此,这些网络成为已知的第一个连接的有界度网络,能够承受超过恒定数量的最坏情况故障,而不会遭受超过恒定因素的性能下降。
{"title":"A formal study on the fault tolerance of parallel and distributed systems","authors":"C. Papadopoulos","doi":"10.1109/ICAPP.1995.472262","DOIUrl":"https://doi.org/10.1109/ICAPP.1995.472262","url":null,"abstract":"This paper analyzes the ability of several bounded degree networks that are commonly used for parallel computation to tolerate faults. Among other things it is shown that an N-node butterfly containing N/sup 1-/spl epsiv// worst-case faults (for any constant /spl epsiv/>0) can emulate a fault-free butterfly of the same size with only constant slowdown. Similar results are proven for the shuffle-exchange graph. Hence, these networks become the first connected bounded-degree networks known to be able to sustain more than a constant number of worst-case faults without suffering more than a constant-factor slowdown in performance.<<ETX>>","PeriodicalId":448130,"journal":{"name":"Proceedings 1st International Conference on Algorithms and Architectures for Parallel Processing","volume":"29 16","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-04-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133357605","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}
引用次数: 1
Performance modelling for a distributed ISDN protocol test system 分布式ISDN协议测试系统的性能建模
C. Papadopoulos, R. Hoffman
Conformance testing of communication protocols has recently become a major issue in the context of OSI-based standardization of protocols. The aim of conformance testing is to assure that a protocol fulfils an OSI specification. A performance study is presented for a distributed protocol test system that has been installed for conformance testing of the ISDN D-channel signalling protocol. Using a general approach for performance measurements and evaluation in distributed systems, a queueing model is developed and evaluated, based on runtimes as obtained from measurements of the test system. It is demonstrated that significant performance improvements can be achieved once the process scheduling strategy at the ISDN protocol testers is properly adjusted.<>
通信协议的一致性测试最近成为基于osi的协议标准化的一个主要问题。一致性测试的目的是确保协议满足OSI规范。本文介绍了用于ISDN d通道信令协议一致性测试的分布式协议测试系统的性能研究。使用分布式系统中性能测量和评估的通用方法,基于从测试系统的测量中获得的运行时,开发和评估队列模型。结果表明,只要适当调整ISDN协议测试仪上的进程调度策略,就可以实现显著的性能改进。
{"title":"Performance modelling for a distributed ISDN protocol test system","authors":"C. Papadopoulos, R. Hoffman","doi":"10.1109/ICAPP.1995.472272","DOIUrl":"https://doi.org/10.1109/ICAPP.1995.472272","url":null,"abstract":"Conformance testing of communication protocols has recently become a major issue in the context of OSI-based standardization of protocols. The aim of conformance testing is to assure that a protocol fulfils an OSI specification. A performance study is presented for a distributed protocol test system that has been installed for conformance testing of the ISDN D-channel signalling protocol. Using a general approach for performance measurements and evaluation in distributed systems, a queueing model is developed and evaluated, based on runtimes as obtained from measurements of the test system. It is demonstrated that significant performance improvements can be achieved once the process scheduling strategy at the ISDN protocol testers is properly adjusted.<<ETX>>","PeriodicalId":448130,"journal":{"name":"Proceedings 1st International Conference on Algorithms and Architectures for Parallel Processing","volume":"66 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-04-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123943478","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
PVM implementation of quadtree building algorithms on SIMD hypercube system SIMD超立方体系统上四叉树构建算法的PVM实现
H. Suresh
Representation of data using hierarchical data structures is commonly used in applications such as computer graphics, digital image processing, computer vision and techniques are being evolved for efficient representation of these data. Transforming bilevel images to linear quadtrees is a way of representing the high-volume data. In this paper, the preliminary investigation and results thus obtained for transforming binary images to linear quadtrees using Parallel Virtual Machine System Software are presented. Single Instruction Multiple Data hypercube algorithms implemented using PVM software was tested under DOS operating system on IBM compatible PCs. The quadtree algorithm generates locational codes in pre-order and generally runs in O(log n) time and this paper tested the feasibility of achieving this time for an SIMD machine.<>
使用分层数据结构表示数据通常用于计算机图形学、数字图像处理、计算机视觉等应用,并且正在发展有效表示这些数据的技术。将二层图像转换为线性四叉树是表示大容量数据的一种方法。本文介绍了利用并行虚拟机系统软件将二值图像转换成线性四叉树的初步研究结果。采用PVM软件实现的单指令多数据超立方体算法在IBM兼容pc机的DOS操作系统下进行了测试。四叉树算法以预先顺序生成位置码,一般运行时间为O(log n),本文测试了在SIMD机器上实现这一时间的可行性。
{"title":"PVM implementation of quadtree building algorithms on SIMD hypercube system","authors":"H. Suresh","doi":"10.1109/ICAPP.1995.472277","DOIUrl":"https://doi.org/10.1109/ICAPP.1995.472277","url":null,"abstract":"Representation of data using hierarchical data structures is commonly used in applications such as computer graphics, digital image processing, computer vision and techniques are being evolved for efficient representation of these data. Transforming bilevel images to linear quadtrees is a way of representing the high-volume data. In this paper, the preliminary investigation and results thus obtained for transforming binary images to linear quadtrees using Parallel Virtual Machine System Software are presented. Single Instruction Multiple Data hypercube algorithms implemented using PVM software was tested under DOS operating system on IBM compatible PCs. The quadtree algorithm generates locational codes in pre-order and generally runs in O(log n) time and this paper tested the feasibility of achieving this time for an SIMD machine.<<ETX>>","PeriodicalId":448130,"journal":{"name":"Proceedings 1st International Conference on Algorithms and Architectures for Parallel Processing","volume":"97 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-04-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124024007","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
Vertex-disjoint routings in star graphs 星图中顶点不相交的路由
Chi-Chang Chen, Jianer Chen
We show the necessary and sufficient condition for any two nodes in an n-dimensional star graph to have n-1 vertex-disjoint paths with length less than or equal to the minimum distance plus 2. We also provide an algorithm to generate these n-1 vertex-disjoint paths.<>
给出了n维星图中任意两个节点具有n-1条顶点不相交路径且路径长度小于或等于最小距离加2的充要条件。我们还提供了一种算法来生成这些n-1顶点不相交的路径。
{"title":"Vertex-disjoint routings in star graphs","authors":"Chi-Chang Chen, Jianer Chen","doi":"10.1109/ICAPP.1995.472218","DOIUrl":"https://doi.org/10.1109/ICAPP.1995.472218","url":null,"abstract":"We show the necessary and sufficient condition for any two nodes in an n-dimensional star graph to have n-1 vertex-disjoint paths with length less than or equal to the minimum distance plus 2. We also provide an algorithm to generate these n-1 vertex-disjoint paths.<<ETX>>","PeriodicalId":448130,"journal":{"name":"Proceedings 1st International Conference on Algorithms and Architectures for Parallel Processing","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-04-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115870813","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}
引用次数: 9
A new expandable 2D systolic array for DFT computation based on symbiosis of 1D arrays 基于一维阵列共生的可扩展二维收缩阵列
S. He, M. Torkelson
A new expandable 2-dimensional systolic array consisting of N homogeneous processing elements in a rectangular structure to compute DFT is proposed. A DFT of size N=M/sup 2/ can be computed in 2M steps of pipelined operations, achieving the optimal area-time complexity of AT/sup 2/=O(N/sup 2/). The orthogonal pipelining of the processing is obtained by exploiting the symbiosis between 1-dimensional systolic arrays of H.T. Kung (1980) and L.W. Chang and M.Y. Chen (1988). Compared with another 2D array based on "sandwiched" triple matrix product, the presented approach integrates the twiddle factor multiplication into the row transform. This not only reduces computational complexity and the size of coefficient matrix, but also eliminates the twiddle factor preloading procedure. DFT of size 2/sup L/N can be readily computed with 2/sup L/ N-size arrays abutted together. VHDL modules have been written and successfully simulated for the proposed architecture.<>
提出了一种由矩形结构中N个齐次处理单元组成的可扩展二维收缩阵列来计算DFT。一个大小为N=M/sup 2/的DFT可以在流水线作业的2M步中计算,达到AT/sup 2/=O(N/sup 2/)的最优区域时间复杂度。利用龚洪涛(1980)和张立文、陈明义(1988)的一维收缩阵列之间的共生关系,得到了处理的正交流水线。与另一种基于“夹心”三重矩阵积的二维阵列相比,该方法将中间因子乘法集成到行变换中。这不仅降低了计算复杂度和系数矩阵的大小,而且消除了中间因子预加载过程。2/sup L/N大小的DFT可以很容易地计算2/sup L/N大小的数组在一起。针对所提出的体系结构编写了VHDL模块并成功地进行了仿真。
{"title":"A new expandable 2D systolic array for DFT computation based on symbiosis of 1D arrays","authors":"S. He, M. Torkelson","doi":"10.1109/ICAPP.1995.472165","DOIUrl":"https://doi.org/10.1109/ICAPP.1995.472165","url":null,"abstract":"A new expandable 2-dimensional systolic array consisting of N homogeneous processing elements in a rectangular structure to compute DFT is proposed. A DFT of size N=M/sup 2/ can be computed in 2M steps of pipelined operations, achieving the optimal area-time complexity of AT/sup 2/=O(N/sup 2/). The orthogonal pipelining of the processing is obtained by exploiting the symbiosis between 1-dimensional systolic arrays of H.T. Kung (1980) and L.W. Chang and M.Y. Chen (1988). Compared with another 2D array based on \"sandwiched\" triple matrix product, the presented approach integrates the twiddle factor multiplication into the row transform. This not only reduces computational complexity and the size of coefficient matrix, but also eliminates the twiddle factor preloading procedure. DFT of size 2/sup L/N can be readily computed with 2/sup L/ N-size arrays abutted together. VHDL modules have been written and successfully simulated for the proposed architecture.<<ETX>>","PeriodicalId":448130,"journal":{"name":"Proceedings 1st International Conference on Algorithms and Architectures for Parallel Processing","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-04-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116199346","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}
引用次数: 7
Adaptive multigrid in parallel 自适应并行多网格
L. Stals
Early experiments with parallel multigrid used square domains and uniform grids. More recently, several authors have considered problems with more complicated domains (see for example McCormick's AFAC method (1989) and Baden et al. (1994)). However, these methods still use structured grids. In this paper we present a program which is based upon unstructured grids. By allowing unstructured grids we can solve problems on more general regions and use adaptive refinement methods.<>
早期的平行多重网格实验使用的是方形域和均匀网格。最近,一些作者考虑了更复杂领域的问题(例如McCormick的AFAC方法(1989)和Baden et al.(1994))。然而,这些方法仍然使用结构化网格。本文提出了一个基于非结构化网格的程序。通过允许非结构化网格,我们可以在更一般的区域解决问题,并使用自适应细化方法。
{"title":"Adaptive multigrid in parallel","authors":"L. Stals","doi":"10.1109/ICAPP.1995.472269","DOIUrl":"https://doi.org/10.1109/ICAPP.1995.472269","url":null,"abstract":"Early experiments with parallel multigrid used square domains and uniform grids. More recently, several authors have considered problems with more complicated domains (see for example McCormick's AFAC method (1989) and Baden et al. (1994)). However, these methods still use structured grids. In this paper we present a program which is based upon unstructured grids. By allowing unstructured grids we can solve problems on more general regions and use adaptive refinement methods.<<ETX>>","PeriodicalId":448130,"journal":{"name":"Proceedings 1st International Conference on Algorithms and Architectures for Parallel Processing","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-04-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125567149","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}
引用次数: 10
Dynamic load balancing on Amoeba 变形虫的动态负载平衡
Weiping Zhu
Distributed computer systems from time to time experience uneven loads on different resources. Dynamic load balancing aims to identify uneven load instances and takes appropriate actions to restore the balance. This paper presents our experiences in implementing a load balancing facility on the Amoeba system, which allows us to carry out a series of experiments with various algorithms. The results front a preliminary study of different load balancing algorithms are also presented. These results indicate that load balancing has great impact on system performance, it not only reduces the average response time of processes, but also the variation of response time. A comparison between these algorithm under various conditions is included, which indicates that with tens computers in a system, a centralized algorithm outperforms a distributed one. The results further indicate job initiation is an important part of a load balancing facility.<>
分布式计算机系统有时会在不同资源上经历不均匀的负载。动态负载平衡旨在识别不均衡的负载实例,并采取适当的行动来恢复平衡。本文介绍了我们在Amoeba系统上实现负载平衡设施的经验,该设施允许我们使用各种算法进行一系列实验。并对不同的负载均衡算法进行了初步研究。这些结果表明,负载均衡对系统性能有很大的影响,它不仅减少了进程的平均响应时间,而且减少了响应时间的变化。本文还对这些算法在不同条件下的性能进行了比较,结果表明,在一个系统中有几十台计算机的情况下,集中式算法优于分布式算法。结果进一步表明,作业启动是负载平衡设施的重要组成部分
{"title":"Dynamic load balancing on Amoeba","authors":"Weiping Zhu","doi":"10.1109/ICAPP.1995.472205","DOIUrl":"https://doi.org/10.1109/ICAPP.1995.472205","url":null,"abstract":"Distributed computer systems from time to time experience uneven loads on different resources. Dynamic load balancing aims to identify uneven load instances and takes appropriate actions to restore the balance. This paper presents our experiences in implementing a load balancing facility on the Amoeba system, which allows us to carry out a series of experiments with various algorithms. The results front a preliminary study of different load balancing algorithms are also presented. These results indicate that load balancing has great impact on system performance, it not only reduces the average response time of processes, but also the variation of response time. A comparison between these algorithm under various conditions is included, which indicates that with tens computers in a system, a centralized algorithm outperforms a distributed one. The results further indicate job initiation is an important part of a load balancing facility.<<ETX>>","PeriodicalId":448130,"journal":{"name":"Proceedings 1st International Conference on Algorithms and Architectures for Parallel Processing","volume":"76 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-04-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124104307","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
Computer vision algorithms on the Parsytec GCel 3/512 Parsytec GCel 3/512计算机视觉算法
P. Nastou, K. Kyrimis, D. Maritsas
This paper describes the implementation of a library of low-level image processing algorithms. This library is divided into two families of algorithms, one for those that apply to the spatial domain (local histogram equalization, local average filter, median filter, Sobel edge detector, and histogram evaluation), and one for those that apply to the frequency domain (forward and inverse discrete Fourier Transform, amplitude of the forward discrete Fourier transform, forward and inverse discrete cosine transform, and Butterworth filters). The efficiency of these algorithms depends on the number of processors used, the method of combining results produced by different processors (e.g., sequentially or using a binary tree), and the time required for the combination of two independently produced results compared to the time required to produce them.<>
本文描述了一个底层图像处理算法库的实现。该库分为两类算法,一类适用于空间域(局部直方图均衡、局部平均滤波器、中值滤波器、索贝尔边缘检测器和直方图评估),另一类适用于频域(正向和逆离散傅立叶变换、正向离散傅立叶变换的振幅、正向和逆离散余弦变换和巴特沃斯滤波器)。这些算法的效率取决于所使用的处理器的数量,组合不同处理器产生的结果的方法(例如,顺序或使用二叉树),以及组合两个独立产生的结果所需的时间与产生它们所需的时间的比较。
{"title":"Computer vision algorithms on the Parsytec GCel 3/512","authors":"P. Nastou, K. Kyrimis, D. Maritsas","doi":"10.1109/ICAPP.1995.472209","DOIUrl":"https://doi.org/10.1109/ICAPP.1995.472209","url":null,"abstract":"This paper describes the implementation of a library of low-level image processing algorithms. This library is divided into two families of algorithms, one for those that apply to the spatial domain (local histogram equalization, local average filter, median filter, Sobel edge detector, and histogram evaluation), and one for those that apply to the frequency domain (forward and inverse discrete Fourier Transform, amplitude of the forward discrete Fourier transform, forward and inverse discrete cosine transform, and Butterworth filters). The efficiency of these algorithms depends on the number of processors used, the method of combining results produced by different processors (e.g., sequentially or using a binary tree), and the time required for the combination of two independently produced results compared to the time required to produce them.<<ETX>>","PeriodicalId":448130,"journal":{"name":"Proceedings 1st International Conference on Algorithms and Architectures for Parallel Processing","volume":"155 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-04-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121486580","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}
引用次数: 1
Synchronisation in safety-critical distributed control systems 安全关键分布式控制系统中的同步
H. Lonn, R. Snedsbøl
Distributed computer systems for real-time control require a global timebase with high precision. A small time skew between local clocks in the system is required to obtain good control performance through well synchronised task execution, but also provides a base for efficient communication. In distributed safety critical applications, clocks have traditionally been synchronised with fault tolerant clock synchronisation algorithms. With these methods, a limited number of erroneous clock readings are allowed in each adjustment. On the other hand, readings from all clocks in the system are required before an adjustment can be made. In this paper an alternative approach, the Daisy Chain method, is proposed and compared with present solutions. Daisy Chain synchronisation does not allow erroneous clock readings, but methods of avoiding them are described. Due to its simplicity, the method can be implemented with little hardware. Low precision frequency sources are sufficient and recovery after arbitrary failures is fast because no special start up phase is required. The paper also discusses effects of quantisation uncertainty and transmission delay, and outline the implementation of a global time base in an embedded distributed real-time architecture.<>
用于实时控制的分布式计算机系统需要高精度的全局时基。系统中本地时钟之间的时间偏差较小是通过良好的同步任务执行来获得良好的控制性能所必需的,但也为有效的通信提供了基础。在分布式安全关键应用中,时钟传统上使用容错时钟同步算法进行同步。使用这些方法,在每次调整中允许有有限数量的错误时钟读数。另一方面,在进行调整之前,需要系统中所有时钟的读数。本文提出了一种替代方法——雏菊链方法,并与现有的解决方案进行了比较。菊花链同步不允许错误的时钟读数,但是描述了避免错误的方法。由于其简单性,该方法可以用很少的硬件实现。低精度的频率源是足够的,并且在任意故障后恢复很快,因为不需要特殊的启动相位。本文还讨论了量化不确定性和传输延迟的影响,并概述了在嵌入式分布式实时体系结构中全局时库的实现。
{"title":"Synchronisation in safety-critical distributed control systems","authors":"H. Lonn, R. Snedsbøl","doi":"10.1109/ICAPP.1995.472284","DOIUrl":"https://doi.org/10.1109/ICAPP.1995.472284","url":null,"abstract":"Distributed computer systems for real-time control require a global timebase with high precision. A small time skew between local clocks in the system is required to obtain good control performance through well synchronised task execution, but also provides a base for efficient communication. In distributed safety critical applications, clocks have traditionally been synchronised with fault tolerant clock synchronisation algorithms. With these methods, a limited number of erroneous clock readings are allowed in each adjustment. On the other hand, readings from all clocks in the system are required before an adjustment can be made. In this paper an alternative approach, the Daisy Chain method, is proposed and compared with present solutions. Daisy Chain synchronisation does not allow erroneous clock readings, but methods of avoiding them are described. Due to its simplicity, the method can be implemented with little hardware. Low precision frequency sources are sufficient and recovery after arbitrary failures is fast because no special start up phase is required. The paper also discusses effects of quantisation uncertainty and transmission delay, and outline the implementation of a global time base in an embedded distributed real-time architecture.<<ETX>>","PeriodicalId":448130,"journal":{"name":"Proceedings 1st International Conference on Algorithms and Architectures for Parallel Processing","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-04-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122067610","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}
引用次数: 15
Software test data generation using program instrumentation 使用程序仪表生成软件测试数据
M. Gallagher, V. Narasimhan
This paper presents the design of the software system, ADTEST, for generating test data for programs developed in Ada. The key feature of this system is that the problem of test data generation is treated entirely as a dynamic numerical optimisation problem and, as a, consequence, this method does not suffer from difficulties commonly found in symbolic execution systems, such as those associated with input-variable-dependent loops, array references, and module calls. Instead, program instrumentation is used to solve a set of path constraints without explicitly knowing their form. The system supports not only the generation of integer and real data types, but also non-numeric data types such as characters and enumerated types. The system has been tested on large Ada programs (>60000 lines of code) and found to reduce the effort required to test programs as well as provide an increase in test coverage.<>
本文介绍了ADTEST软件系统的设计,该系统用于为用Ada开发的程序生成测试数据。该系统的主要特点是,测试数据生成的问题完全被视为动态数值优化问题,因此,该方法不会遇到符号执行系统中常见的困难,例如与输入变量相关的循环、数组引用和模块调用相关的困难。相反,程序插装用于解决一组路径约束,而无需显式地知道它们的形式。系统不仅支持生成整数和实数据类型,还支持非数字数据类型,如字符和枚举类型。该系统已在大型Ada程序(>60000行代码)上进行了测试,并发现减少了测试程序所需的工作量,并提供了测试覆盖率的增加。
{"title":"Software test data generation using program instrumentation","authors":"M. Gallagher, V. Narasimhan","doi":"10.1109/ICAPP.1995.472243","DOIUrl":"https://doi.org/10.1109/ICAPP.1995.472243","url":null,"abstract":"This paper presents the design of the software system, ADTEST, for generating test data for programs developed in Ada. The key feature of this system is that the problem of test data generation is treated entirely as a dynamic numerical optimisation problem and, as a, consequence, this method does not suffer from difficulties commonly found in symbolic execution systems, such as those associated with input-variable-dependent loops, array references, and module calls. Instead, program instrumentation is used to solve a set of path constraints without explicitly knowing their form. The system supports not only the generation of integer and real data types, but also non-numeric data types such as characters and enumerated types. The system has been tested on large Ada programs (>60000 lines of code) and found to reduce the effort required to test programs as well as provide an increase in test coverage.<<ETX>>","PeriodicalId":448130,"journal":{"name":"Proceedings 1st International Conference on Algorithms and Architectures for Parallel Processing","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-04-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125476122","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
期刊
Proceedings 1st International Conference on Algorithms and Architectures for Parallel Processing
全部 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