[发明专利]一种最坏执行时间WCET的确定方法、装置和可读介质

说明书

本发明公开了一种最坏执行时间WCET的确定方法、装置和可读介质，所述方法包括：获取编译后的程序的符号文件，将符号文件加载到模拟内存中；确定是否满足程序运行结束条件；在确定出未满足程序运行结束条件时，基于当前配置的时间参考量，模拟处理器的指令运行符号文件中的代码；在本次代码运行结束时，确定本次运行符号文件中的代码的运行时间，继续执行确定是否满足程序运行结束条件；在确定出满足程序运行结束条件时，基于历次确定出的运行符号文件中的代码的运行时间，确定编译后的程序的最坏执行时间WCET。本发明在模拟环境下模拟运行符号文件中的代码，无需基于程序研发出硬件后再基于该硬件确定该程序的WCET，降低了复杂度。

技术领域

本发明涉及嵌入式系统技术领域，尤其涉及一种最坏执行时间WCET的确定方法、装置和可读介质。

背景技术

实时操作系统的任务需要在规定的时间范围内完成，当任务没有在规定的时间范围内完成时，可能会引起降低系统性能或者其他灾难性的后果。因此，事先获取系统中每个任务的最差情况下的执行时间(也称最坏执行时间)对实时系统的时序分析具有特别重要的意义，是确定周期性任务是否满足其性能目标的重要参考依据。而实时操作系统中的任务一般为应用的程序片段。

现有技术中一般通过动态度量或静态分析的方式来确定程序片段的最坏执行时间(Worst-case Execution Time，WCET)，该动态度量方法需要在特定的硬件平台上通过穷举所有可能的输入值来运行所要分析的程序片段，然后测量该程序片段的WCET。然而在很多情况下，对WCET的分析要先于硬件的设计，也就是说，在分析WCET时目标硬件是不存在的，因此，现有技术提供的方法无法适用于硬件不存在时WCET的分析。静态分析方法是指在不执行程序的情况下进行WCET的分析，通过将最长分支的分析转换为机器指令条数来估算WCET，该静态分析方法会因程序的分支计算复杂而导致估算WCET复杂度和计算量非常高。

因此，如何在不依赖硬件的情况下，确定程序片段的WCET是首要考虑的问题之一。

发明内容

本发明实施例提供一种最坏执行时间WCET的确定方法、装置和可读介质，用以在不依赖硬件的情况下，确定程序片段的WCET，并降低确定WCET的流程的复杂度。

第一方面，本发明实施例提供一种最坏执行时间WCET的确定方法，包括：

获取编译后的程序的符号文件，并将所述符号文件加载到模拟内存中；

确定是否满足程序运行结束条件；

在确定出未满足程序运行结束条件时，基于当前配置的时间参考量，模拟处理器的指令运行所述符号文件中的代码；

在本次代码运行结束时，确定本次运行所述符号文件中的代码的运行时间，并继续执行确定是否满足程序运行结束条件；

在确定出满足程序运行结束条件时，基于历次确定出的运行所述符号文件中的代码的运行时间，确定所述编译后的程序的最坏执行时间WCET。

采用上述方法，不仅不需要依赖程序的硬件，而且由于无需确定程序的最长分支，直接模拟运行符号文件中的代码并确定运行符号文件中的代码的运行时间，然后基于历次确定出的运行所述符号文件中的代码的运行时间，确定所述编译后的程序的最坏执行时间WCET，有效降低了确定WCET的计算复杂度，且由于模拟运行了符号文件中的代码，故提高了确定出的WCET的准确度。

第二方面，本发明实施例提供一种最坏执行时间WCET的确定装置，包括：

加载单元，用于获取编译后的程序的符号文件，并将所述符号文件加载到模拟内存中；

判断单元，用于确定是否满足程序运行结束条件；

模拟运行单元，用于在所述判断单元判断结果为否时，基于当前配置的时间参考量，模拟处理器的指令运行所述符号文件中的代码；