[发明专利]用于压缩程序指令的压缩条目最优选择

权利要求书

1.一种用于压缩程序中的指令的方法，包括以下步骤：

从所述程序中的指令中，提取唯一性的比特模式，其中所述唯一性的 比特模式是常用的反复出现的比特模式；

根据所述唯一性的比特模式和所述指令，构造线性规划公式或整数规 划公式；

求解所述线性规划公式或所述整数规划公式，以产生解；并且

基于所述解，通过以下步骤来压缩至少一些所述指令：在存储器中存 储至少一些所述唯一性的比特模式并将对所述存储器的相应索引放置在新 压缩的指令中。

2.根据权利要求1所述的方法，还包括：

在所述提取步骤之前，编译在所述程序中的所述指令，以便将所述指 令从第一表示转换为二进制语言表示或机器语言表示。

3.根据权利要求1所述的方法，其中，所述构造步骤包括：

构造线性规划公式，所述线性规划公式包括一组不等式约束以及方程， 当使得所述方程最小化时，将最大程度地压缩所述程序。

4.根据权利要求1所述的方法，其中，所述构造步骤包括：

构造整数规划公式，所述整数规划公式包括一组不等式限制以及方程， 当使得所述方程最小化时，将最大程度地压缩所述程序。

5.根据权利要求1所述的方法，其中，所述构造步骤包括：

至少部分地基于用来存储所述比特模式的存储器的大小，来构造所述 线性规划公式或所述整数规划公式。

6.根据权利要求1所述的方法，其中，所述构造步骤包括：

将所述唯一性的比特模式表示为在所述线性规划公式或所述整数规划 公式中的变量，并且

将所述指令表示为在所述线性规划公式或所述整数规划公式中的变 量。

7.根据权利要求1所述的方法，还包括：

在执行之前通过以下步骤将所述新压缩的指令进行解压缩：基于在所 述新压缩的指令中的相应索引，从所述存储器中取回所述至少一些唯一性 的比特模式。

8.一种用于压缩程序中的指令的方法，包括以下步骤：

编译所述程序，以产生二进制数据；

从所述二进制数据中提取唯一性的比特模式，其中所述唯一性的比特 模式是常用的反复出现的比特模式；

基于所述唯一性的比特模式和用于所述唯一性的比特模式的存储容 量，来构造线性规划公式或整数规划公式，当所述线性规划公式或整数规 划公式被解出时，将针对所述存储容量而产生所述程序的最优压缩；

求解所述线性规划公式或所述整数规划公式，以产生解；并且

基于所述解，来压缩在所述程序中的至少一些所述指令。

9.根据权利要求8所述的方法，其中，所述构造步骤包括：

将所述唯一性的比特模式映射到在所述线性规划公式或所述整数规划 公式中的变量上。

10.根据权利要求8所述的方法，其中，所述整数规划公式包括线性 整数规划公式。

11.根据权利要求8所述的方法，其中，所述解指定了在所述压缩步 骤中要使用的被指派的唯一性的模式，以及

其中，所述压缩步骤包括：在存储器中的所述存储容量内存储所述被 指派的唯一性的模式。

12.根据权利要求8所述的方法，还包括以下步骤：

在执行压缩的指令之前，将所述压缩的指令进行解压缩。

13.根据权利要求12所述的方法，其中，由第一处理系统来执行所述 编译步骤、提取步骤、构造步骤、求解步骤和压缩步骤，并且

其中，由第二处理系统来执行所述解压缩步骤。