并发问题简介以及研究现状

      如今,随着计算机硬件,网络技术以及多核心处理器系统的发展,并发系统已成为当前主流的软件体系,随着实际应用对并发系统软件的需求不断增加,并发程序的分析、理解、调试、测试和维护已引起人们的高度重视,并发程序在提高计算效率上发挥着越来越重要的作用。

     程序的并发是指若干个可在同一时间段内执行的程序模块。并发和并行从宏观上来讲都是同时处理多路请求的概念

     但并发和并行又有区别,并行是指两个或者多个事件在同一时刻发生;而并发是指两个或多个事件在同一时间间隔内发生。
     并发程序的特性导致错误具有不可重现性,程序员很难根据错误报告重现错误并进行纠正,这使软件排错工作非常困难。程序的正确性仅仅依赖于程序员编写正确的,不会冲突的代码,然而编写高质量的并发程序对于程序员而言并不是一件简单的事,很难满足高可靠性软件的要求。

       由于并发程序中线程调度的不确定性,并发程序开发者很难考虑到所有的输入以及线程调度组合,使得目前的并发程序中很容易出现并发错误。另一方面,并发程序带来的问题也给传统的软件调试、软件测试、程序分析等领域带来新的挑战。并发程序中使用多线程技术,会带来数据的并发访问,如果没有进行恰当的同步,可能会引起并发错误,例如数据竞争、原子性错误、数据没有初始化和死锁等,这些问题说明存在并发程序缺陷,会带来和预期不同的程序执行结果。

     

      虽然对于并发程序的测试已经提出了很多方法,但尚未形成完备的体系,很多问题还有待解决。因此,针对并发程序进行有效的测试,重现错误,找出错误路径,是现代软件测试的一个重要研究点。

     模型检测对模型路径进行穷举,检测整个模型是否满足特定的属性,如不满足则给出一条错误路径作为反例。成熟的模型检测工具如 SPIN、SMV 在硬件领域已经取得了很大的成功,将这种技术引入程序的测试领域,检测并发程序的问题,是解决这类问题的一种趋势。



版权声明:本文为on_the_原创文章,遵循CC 4.0 BY-SA版权协议,转载请附上原文出处链接和本声明。