公开(公告)号：CN102169446B

公开(公告)日：2014-01-15

申请号：CN201110126311.9

申请日：2011-05-16

Applicant: 北京北大众志微系统科技有限责任公司 ,  济南众志信息技术有限公司 ,  北京大学

Inventor： 程旭 ,  李皓 ,  郑衍松 ,  佟冬 ,  管雪涛

IPC: G06F9/445

CPC classification number: G06F9/4401

Abstract: 本发明提供一种基于开源BIOS的BIOS启动方法和装置，涉及计算机应用领域。包括：BIOS的操作系统接口模块的中断服务例程采用Option ROM模组方式实现；该BIOS在计算机操作系统加电时，板级核心模块初始化板级设备并输出系统信息，MAPPER模块将该系统信息转换为可由该操作系统接口模块识别的系统信息表格，该板级核心模块对中断服务例程根据该系统信息表格中的信息依次进行初始化。本发明提供的技术方案可应用于具有基于开源BIOS的BIOS系统的计算机系统启动开源和大型商业非开源操作系统。

公开(公告)号：CN101894063B

公开(公告)日：2012-09-26

申请号：CN201010201216.6

申请日：2010-06-13

Applicant: 北京北大众志微系统科技有限责任公司 ,  济南众志信息技术有限公司 ,  北京大学

Inventor： 程旭 ,  佟冬 ,  张良

IPC: G06F11/26 ,  G06F11/36

Abstract: 一种用于微处理器功能验证的测试程序生成方法及装置；方法包括：A、随机生成μ+λ个个体并保存成原始生成种群；将所述原始生成种群作为当前种群；B、结合指令库，将当前种群中的个体转化为测试程序；C、仿真执行当前种群中的各个体转化得到的测试程序，生成功能覆盖报告；D、如果当前种群是原始生成种群，则直接进行步骤E；否则选择当前种群中的个体进行λ次交叉、变异操作，产生的新个体也保存进当前种群，然后进行步骤E；E、根据功能覆盖报告，从当前种群中选出至少μ个个体作为新一代种群；F、如果满足停止条件，则输出该新一代种群中个体对应的测试程序集；否则将该新一代种群作为当前种群，返回步骤B。

公开(公告)号：CN102163143B

公开(公告)日：2013-05-01

申请号：CN201110108052.7

申请日：2011-04-28

Applicant: 北京北大众志微系统科技有限责任公司 ,  济南众志信息技术有限公司 ,  北京大学

Inventor： 程旭 ,  谭明星 ,  刘先华 ,  张吉豫 ,  谢子超 ,  佟冬

IPC: G06F9/38

CPC classification number: G06F9/44521 ,  G06F8/54 ,  G06F9/3846

Abstract: 本发明披露了一种实现值关联间接跳转预测的方法，涉及编译器和处理器，该方法包括：编译器根据对处理器执行可执行程序时获取的剖视信息，识别源程序中间接跳转指令对应的子程序结构及其关联数据值中的关联信息，并在该源程序中插入用以标识该关联信息的引导指令，再次生成可执行程序；处理器在执行编译器再次生成的可执行程序过程中，根据引导指令动态收集关联信息，并生成值历史模式。本发明可有效地提高间接跳转指令的预测准确率，从而可提高处理器及其应用整体的系统性能。

公开(公告)号：CN110362501B

公开(公告)日：2021-09-24

申请号：CN201910607582.2

申请日：2019-07-05

Applicant: 北京大学

Inventor： 佟冬 ,  徐大亮 ,  程旭

IPC: G06F12/06 ,  G06F12/0875 ,  G06F12/0893

Abstract: 本发明涉及执行饱和寻址加载和存储操作的设备和方法，提供逻辑用于接收和执行饱和寻址数据移动指令以根据数组指针和数组指针元数据计算数组的上界和下界位置。如果加载操作的源位置高于上界位置或者低于下界位置，则将数据从上界位置或下界位置传送到目的位置，否则从源位置传送到目的位置。如果存储操作的目的位置高于上界位置或者低于下界位置，则将数据从源位置传送到上界位置或者下界位置，否则从源位置传送到目的位置。

公开(公告)号：CN110362501A

公开(公告)日：2019-10-22

申请号：CN201910607582.2

申请日：2019-07-05

Applicant: 北京大学

Inventor： 佟冬 ,  徐大亮 ,  程旭

IPC: G06F12/06 ,  G06F12/0875 ,  G06F12/0893

Abstract: 本发明涉及执行饱和寻址加载和存储操作的设备和方法，提供逻辑用于接收和执行饱和寻址数据移动指令以根据数组指针和数组指针元数据计算数组的上界和下界位置。如果加载操作的源位置高于上界位置或者低于下界位置，则将数据从上界位置或下界位置传送到目的位置，否则从源位置传送到目的位置。如果存储操作的目的位置高于上界位置或者低于下界位置，则将数据从源位置传送到上界位置或者下界位置，否则从源位置传送到目的位置。