摘要：根据目前多线程程序的技术现状以及发展方向，本文针对VC＋＋和JAVA框架下的多线程程序设计水平进行分析总结，并对该设计在实践出现了利弊情况提出相应的对策，以期提高当前VC＋＋和JAVA框架下的多线程程序设计与实践的水平与质量。

摘要：符号执行是一种实用的验证程序中是否包含某类错误的技术,具有0误报率的优点,但是主流的执行工具并不支持分析多线程程序。本文对已有的多线程程序的符号执行工具进行分析,发现存在的问题有:1)有些工具性能好,但是不支持外部库,实用性很差;2)有些工具支持外部库函数,但是版本老,难以更新和维护,无法检查减法溢出、乘法溢出、移位溢出等基本类型的bug。本文基于最主流的符号执行工具KLEE设计并实现支持多线程程序的符号执行工具——MTSE(Multi-Thread Symbolic Execution)。MTSE支持libc和libc++库,并且相对于已有的同类工作Cloud9,MTSE可以多查找出约50%的程序缺陷,并且指令覆盖率和分支覆盖率上均有约30%的提升。

摘要：通过使用词法分析和语法分析进行线程并行程序数据竞争静态检测,根据规则将源代码数据竞争相关信息映射到XML文件,解决多个线程程序因可以随机访问共享变量而导致运行结果不确定性,容易引发数据竞争等问题。通过XQuery查询语言获取XML映射模型中的数据访问信息,将信息存储于数据竞争表示层。通过竞争图生成算法建立数据竞争有向图模型,利用拓扑排序检测数据竞争的具体位置,获取所有竞争序列。实验结果表明,该检测方法能够准确快速地发现多线程程序中的数据竞争并在源文件中进行准确定位。

摘要：我们在设计多线程程序时往往有很多性能指标，例如低延迟、高吞吐量、高响应度等。随着多核处理器上CPU核数的日益增加，如何高效地利用这些计算资源以满足这些设计目标变得越来越重要。

摘要：本文讨论了用 Delphi语言编写多线程程序时 ,使用 VCL构件可能发生的多线程冲突问题 。

摘要：死锁是并发程序中常见的错误之一,且由于并发程序运行的不确定性使得死锁难以检测。针对该问题,通过对C多线程程序死锁的分析,提出了一种基于SUIF2的静态死锁检测方法,设计了基于SUIF2的C多线程程序静态死锁检测的框架结构和锁集分析算法。最后通过一个实例说明了该检测方法的有效性。

摘要：建立了基于多实体有限状态机的潜艇使用声抗器材防御鱼雷效能计算“过程仿真”模型和以此为基础的“过程仿真+方案搜索”防御方案优化模型。为降低方案优化模型的计算复杂度,设计并实现了针对“求使得过程中指标函数最小值最大方案”优化模型、提高方案优化模型求解效率的“淘汰标准即时提高、劣等方案及时淘汰”方案求解策略,并编制了单线程和多线程程序,对求解效率进行实验。实验情况表明,其可有效提高模型的求解效率。

摘要：本期的封面文章从多个方面介绍了Visual Studio2010中一些重要的新特性。