[发明专利]一种同步多线程用例生成方法及系统

说明书

本发明提供一种同步多线程用例生成方法及系统，所述方法包括：生成至少两条单线程用例数据块；将至少两条单线程用例数据块进行脚本拼接，得到完整的数据块并形成同步多线程用例。本发明能够通过多个单线程用例数据块进行脚本拼接形成多样化同步多线程用例，可以更快速的生成具有高随机性的同步多线程用例，减少时间开销，并且通过开发脚本高效生成同步多线程用例，进而提高生成同步多线程用例的成功率。

技术领域

本发明涉及计算机处理器技术领域，尤其涉及一种同步多线程用例生成方法及系统。

背景技术

传统的CPU在某一时间只能处理一个指令序列，通常我们把它称为一个线程。在线程处理的过程中CPU的处理单元需要不断调入指令与数据进行处理。随着CPU技术的发展，CPU的主频与性能不断提高，需要调入指令和数据的速度不断提高。但是内存技术的发展并没有跟上CPU发展的速度，内存通常无法提供足够的指令和数据给CPU进行处理。受限于指令间的相关性，因此，为了提高处理器的性能，则采用同步多线程(SMT)；其中，同步多线程(SMT)是一种在一个CPU的时钟周期内能够执行来自多个线程的指令的硬件多线程技术。本质上同步多线程是一种将线程级并行处理(多CPU)转化为指令级并行处理的方法。同步多线程是单个物理处理器从多个硬件线程上下文同时分派指令的能力。同时，由于每个线程相对独立，因此线程间资源竞争，以及单个线程的控制对其他线程的影响，也成为多线程验证的重中之重。

但是，市面上的用例生成器虽然生成单线程的成功率很高，并且操作简单。但是用例生成器的同步多线程用例成功率极低，即使用例生成成功，用例的指令数却很少，因此，使用用例工具生成同步多线程资源竞争用例成功率低，并且用例的质量和数量都无法达到充分验证同步多线程要求的问题。

发明内容

本发明提供的同步多线程用例生成方法及系统，能够通过多个单线程用例数据块进行脚本拼接形成多样化同步多线程用例，可以更快速的生成具有高随机性的同步多线程用例，减少时间开销，并且通过开发脚本高效生成同步多线程用例，进而提高生成同步多线程用例的成功率。

第一方面，本发明提供一种同步多线程用例生成方法，包括：

生成至少两条单线程用例数据块；

将至少两条单线程用例数据块进行脚本拼接，得到完整的数据块并形成同步多线程用例。

可选地，所述生成至少两条单线程用例数据块包括：

添加一用于生成占用定点运算资源线程的定向序列指令序列并生成第一单线程用例数据块；

添加至少一用于生成干扰线程的随机指令序列并对应生成至少一个用于第二单线程用例数据块。

可选地，在添加一用于生成占用定点运算资源线程的定向序列指令序列并生成第一单线程用例数据块后，还包括：

判断第一单线程用例数据块是否成功生成，如果第一单线程用例数据块成功生成，则将第一单线程用例数据块储存在用例库内；如果第一单线程用例数据块没有成功生成，则继续添加一用于生成占用定点运算资源线程的定向序列指令序列并生成第一单线程用例数据块。

可选地，在添加至少一用于生成干扰线程的随机指令序列并对应生成至少一个用于第二单线程用例数据块后，还包括：

判断第二单线程用例数据块是否成功生成，如果第二单线程用例数据块成功生成，则将第二单线程用例数据块储存在用例库内；如果第二单线程用例数据块没有成功生成，则继续添加至少一用于生成干扰线程的随机指令序列并对应生成至少一个用于第二单线程用例数据块。

可选地，所述生成至少两条单线程用例数据块包括：

直接从用例库中调取至少两个单线程用例数据块并分别作为第一单线程用例数据块和第二单线程用例数据块。

可选地，在生成至少两条单线程用例数据块之前，还包括：