多线程技术在工作记忆测试程序中的应用

研究人脑的工作记忆系统的测试程序涉及到两个同时执行的并行动作。为了保证测试结果的精度和有效性,测试程序采用多线程技术实现了在工作记忆测试过程中显示字符序列和记录被测试者的反应时间这两个动作的并行执行。测试程序在主线程记录测试者的反应时间,而在另外一个线程中显示测试序列,两个线程的并行执行保证了测试结果的精度。     

一种数据结构制导的线程划分方法与执行模型

在对程序进行并行化时,为了保证结果的正确性,并行编译器只能采取一种保守的策略,也就是,如果它不能确定两段代码在并行执行时是否会发生冲突,它就不允许这两段代码并行执行.虽然这种做法保证了正确性,但同时也限制了对并行性的开发.在这种背景下,许多推测多线程方法被提了出来,这些方法通过允许可能冲突的代码段并行执行来把握更多的并行机会,同时,通过从冲突中恢复来保证结果的正确性.然而,传统推测多线程方法所使用的“沿控制流将串行程序划分为多个线程”的做法并不适合不同数据结构上的操作在控制流中相互交错的情况,因为如果沿控制流将程序线性地划分为多个线程,则同一个数据结构上的操作将被分到不同的线程中,从而非常容易发生冲突.为了有效地对这些程序进行并行化,提出了一种基于数据结构的线程划分方法与执行模型.在这种方法中,程序中的对象被划分成多个组,同一组中对象上的操作被分派到同一个线程中去执行,从而降低了在同一个数据结构上发生冲突的可能性.     

线程切换开销分析工具的设计与实现

在多片多核计算机系统中,线程切换的间接开销受到体系结构、负载模式和调度策略的影响,为了获得更为稳定的测试结果,在分析Lmbench测试程序框架和进程切换测试原理的基础上,针对多片多核处理机系统中的线程测试需求,通过集成多种负载模式和调度策略,设计和实现了新的线程切换延时测试程序LTC,为多核系统下的线程切换延时测试与分析提供了有效手段。     

基于COCOMOⅡ的自动测试维护代价实例研究

不考虑自动测试的维护代价,盲目进行自动化测试是有风险的.文中以画板程序升级为例,详细介绍了它的修改过程和相应测试程序的维护代价,利用COCOMOⅡ度量方法,对测试程序和被测试程序的维护代价做一个比较,说明测试程序和被测试程序一样,需要反复维护才能进行回归测试.通过实例和理论分析使测试者清醒认识自动测试的维护代价,合理利用自动化测试.     

基于COCOMOⅡ的自动测试维护代价实例研究

不考虑自动测试的维护代价,盲目进行自动化测试是有风险的。文中以画板程序升级为例,详细介绍了它的修改过程和相应测试程序的维护代价,利用COCOMOⅡ度量方法,对测试程序和被测试程序的维护代价做一个比较,说明测试程序和被测试程序一样,需要反复维护才能进行回归测试。通过实例和理论分析使测试者清醒认识自动测试的维护代价,合理利用自动化测试。     

基于实例的自动测试维护代价研究*

不考虑自动测试的维护代价,盲目进行自动化测试是有风险的。以画板程序升级为例,详细介绍了它的修改过程和相应测试程序的维护代价,然后利用COCOMO度量方法,对测试程序与被测试程序的维护代价作一个比较,说明测试程序和被测试程序一样,需要反复维护才能进行回归测试。通过实例和理论分析使测试者清醒认识自动测试的维护代价,合理利用自动化测试。     

高可扩展性的MHP 分析算法

并行发生(may happen in parallel,简称MHP)分析计算并行程序中哪些语句可以并行执行,它是并行分析技术的重要组成部分.提出一种针对Java 程序的新颖的MHP分析算法.与已有算法相比,新算法抛弃了“子线程只会被父线程等待同步”的假设,以非耦合的方式分别处理start 同步和join 同步;新算法的处理逻辑虽然更加简单,但却更加完备;在计算控制信息时,新算法不必像已有算法那样通过内联构造全局的控制流图,显著地提高了算法的扩展性.新的MHP 算法被用来过滤静态数据竞争检测中虚假的数据竞争.在14 个Java 测试程序上的实验结果表明,新的MHP 算法计算控制信息的开销远远小于已有算法.     

SpMT WaveCache:开发数据流计算机中的推测多线程

推测多线程技术(Speculative Multithreading,SpMT)是通过推测地执行多个线程来开发线程级并行性,提高超标量处理器性能.通过增加额外的硬件单元,比如线程同步单元(Thread Synchronization Unit,TSU)、线程上下文表(Thread Context Table,TCT)和线程内存历史表(Thread Memory History,TMH),扩展了事务性内存系统,提高了基于波标量指令集系统结构(WaveScalar ISA)实现的WaveCache模拟器的性能.同时,还提出了一种新的两级线程级事务提交机制.最后,采用了6个来自SPEC、Media和Mibench测试程序集的真实测试程序.评估了推测多线程WaveCache(SpMT WaveCaehe)的性能.实验表明,SpMT WaveCache比超标量系统结构提高了2～3倍的性能,是一种有效的开发动态数据流计算机性能的方法.     

用Java程序演示线程的并行执行

线程是现代计算机操作系统中的最重要概念之一,本文利用Java支持多线程编程的特性,设计出了两个演示多线程并行执行的Java程序,对于理解线程的概念能起到非常好的帮助。     

许可链下的事务并行执行模型

现有的许可链系统大多采取串行的事务执行方式，无法利用多核处理器的性能优势。在共识算法性能较高的许可链中，这种串行的事务执行方法将会成为性能瓶颈。为降低排序-执行-验证架构的许可链中事务执行的时间开销，文中提出了两种事务并发模型。首先，提出了基于地址表的并行执行模型，通过静态分析的方法将事务的读写集映射到地址表中，并利用地址表构建调度图实现无数据冲突的事务并行执行；其次，针对静态分析方法不适用于读写需求复杂的应用场景，提出了基于多版本时间戳排序的并行执行模型，领导者节点使用多版本时间戳排序算法并行地预执行事务并将调度图以事务依赖三元组的形式存储入区块，所有验证节点通过事务依赖三元组进行调度，在保证一致性的前提下实现事务的并行执行；最后，在Tendermint中实现了所设计的两种事务并发模型，并进行了事务执行阶段性能测试和多节点性能测试。实验结果表明，相比串行执行，所提模型在单节点8线程时的事务执行时间分别减少了68.6%和28.5%,4节点8线程时区块链吞吐量分别提升了约43.4%和19.5%。     

A further note on psychophysical testing of handles

The psychophysical method of constants was applied to two-handed lifting. A sequence effect was found, with subject's response biased toward which stimulus was presented most recently. This sequence effect drastically reduced the sensitivity of the method for two-handed lifting, so that a further study of comparing sequential and simultaneous lifting was conducted. The results indicated that simultaneous lifting was significantly more sensitive to changes in handle design.     

Thread algebra for poly-threading

It is a fact of life that sequential programs are often fragmented. Consequently, fragmented program behaviours are frequently found. We consider this phenomenon in the setting of thread algebra. We extend basic thread algebra with poly-threading, the barest mechanism for sequencing of threads that are taken for program fragment behaviours. This mechanism is the counterpart of program overlaying at the level of program behaviours. We relate the resulting theory to the process theory known as ACP and use it to describe analytic execution architectures suited for fragmented programs. We also consider the case where the steps of fragmented program behaviours are interleaved in the ways of non-distributed and distributed multi-threading.     

基于POSIX线程库的线程池反馈算法的设计与实现

本文提出了一种基于POSIX线程库的线程池反馈算法,通过对线程池响应进间和吞吐量进行监控,对线程池的下一步行为进行决策,调整线程池中的线程数及线程单次处理的任务数。实验结果显示,这种算法能很好地稳定线程池吞吐量和响应时间,避免性能出现大幅波动。     

GC-MCR:有向图约束指导的并发缺陷检测方法

约束求解应用到程序分析的多个领域,在并发程序分析方面也得到了深入的应用.并发程序随着多核处理器的快速发展而得到广泛使用,然而并发缺陷对并发程序的安全性和可靠性造成了严重的影响,因此,针对并发缺陷的检测尤为重要.并发程序线程运行的不确定性导致的线程交织爆炸问题,给并发缺陷的检测带来了一定挑战.已有并发缺陷检测算法通过约减无效线程交织,以降低在并发程序状态空间内的探索开销.比如,最大因果模型算法把并发程序状态空间的探索问题转换成约束求解问题.然而,其在约束构建过程中会产生大量冗余和冲突的约束,大幅度增加了约束求解的时间以及约束求解器的调用次数,降低了并发程序状态空间的探索效率.针对上述问题,提出了一种有向图约束指导的并发缺陷检测方法 GC-MCR (directed graph constraint-guided maximal causalityreduction).该方法旨在通过使用有向图对约束进行过滤和约减,从而提高约束求解速度,并进一步提高并发程序状态空间的探索效率.实验结果表明:GC-MCR方法构建的有向图可以有效优化约束的表达式,从而提高约束求解器的求解速度并减少求解器的调用次...     

串口通信多线程实现的分析

分析了多线程实现串口通信的机制,通过UML活动图详细展示了串口通信中各个线程并发执行的过程,并讨论了多线程同步问题。基于《串口通信多线程实现的分析》的通信程序能够实时接收和发送数据,具有高效、可靠、稳定等特点,实用性极强。     

Revisiting the Sequential Programming Model for the Multicore Era

Automatic parallelization has thus far not been successful at extracting scalable parallelism from general programs. An aggressive automatic thread extraction framework, coupled with natural extensions to the sequential programming model that allow for a range of legal outcomes rather than forcing programmers to define a single legal program outcome, will let programmers achieve the performance of parallel programming via the simpler sequential model.     

基于负载性能指标的Web测试

研究了资源占用率、响应时间、并发用户和思考时间等Web应用的性能指标。负载测试是Web应用系统测试的一个重要方面,有助于确认被测系统的性能需求和负载增长情况,发现系统的异常。提出了负载测试一般方案,应用LoadRunner测试工具,测试了学习交流在线系统,分析了事务、网络、系统响应时间等指标。     

基于螺纹边缘图像的快速SSDA算法

序贯相似性检测算法（sSDA）是针对传统的模板匹配算法提出的一种高效的图像匹配算法,但是SSDA算法难以满足螺纹检测的实时性。针对传统SSDA算法的不足,提出了一种基于螺纹边缘图像的快速SSDA算法。该方法用形态学对螺纹图像进行了边缘提取,然后只在边缘处进行匹配,从而大大减少了匹配的次数,同时提出了减小匹配运算量的方法。     

A rigorous approach towards test case generation

This paper presents a method to generate test cases for sequential programs and concurrent programs written in a flow based program language. Test cases of sequential programs are generated based on condition calculation, and can be combined together to form SYN-sequences for concurrent program testing. Semantics of the language provides an infrastructure for the test case generation, and thus our method may be considered as a rigorous and systematic approach to the program testing. Compared with some formal testing methods, our method can avoid hitting state explosion problem in the test formation. Besides, the complexity analysis reveals that our method is time saving. Our method has been applied to generate test cases for PPP over ATM, a subsystem of IAD that runs data and voice over DSL.     

StarCCM2.0中高性能线程池模型的研究与实现

线程池技术能够显著减少处理器的闲置时间、增加应用服务器的吞吐量、提高应用服务器的性能。文章从建立线程池的抽象队列模型入手,分析了StarBus3．0中线程池模型的局限性,提出了一种高效可适配的线程池模型应用于StarCCM2．0应用服务器中以派发构件请求。测试结果表明,这种线程池模型能够灵活地适应更大范围的突发请求数,极大地提高了应用服务器处理大量突发请求时的性能。