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

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

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

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

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

在多片多核计算机系统中,线程切换的间接开销受到体系结构、负载模式和调度策略的影响,为了获得更为稳定的测试结果,在分析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程序,对于理解线程的概念能起到非常好的帮助。     

面向单线程应用的数据预取技术研究

多线程处理器的推广受限于应用,目前大部分应用尤其是桌面应用都是单线程程序,不能充分利用多线程处理器提供的多个现场,并行执行以提高速度.使用空闲现场加速单线程应用是目前研究的一个热点,研究主要集中在提高传统串行应用存储访问的效率和分支预测的精度.在基于线程的数据预取方法TDP中,数据预取线程是从主线程的执行踪迹中提取的,它们使用空闲的现场,和主线程并行执行.由于数据预取线程仅仅包括和预取相关的指令,它们比主线程执行要快,可以在主线程需要数据之前,把数据取到离处理器更近的存储层次.基于线程的数据预取方法能够有效地解决传统数据预取方法难以处理的诸多问题,如不规则内存访问模式.研究控制相关对TDP的影响,具体分析使用错误前瞻的数据预取方法:通过在预取线程中加入分支指令,并用它们控制预取线程的执行过程.通过研究发现,在某些情况下即使控制前瞻已经被证实是错误的,继续执行预取线程可以获得更好的预取效果.模拟结果显示,使用错误前瞻可以获得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活动图详细展示了串口通信中各个线程并发执行的过程,并讨论了多线程同步问题。基于《串口通信多线程实现的分析》的通信程序能够实时接收和发送数据,具有高效、可靠、稳定等特点,实用性极强。     

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

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

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.     

基于螺纹边缘图像的快速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应用服务器中以派发构件请求。测试结果表明,这种线程池模型能够灵活地适应更大范围的突发请求数,极大地提高了应用服务器处理大量突发请求时的性能。