支持有限域数据类型和运算符的编译方法

    公开(公告)号:CN112579059A

    公开(公告)日:2021-03-30

    申请号:CN201910927244.7

    申请日:2019-09-27

    Abstract: 本发明公开一种支持有限域数据类型和运算符的编译方法,在GCC编译器中新增对__field关键字的支持,用于对有限域上数据类型的描述,所述__field是有限域上的数据类型,此__field类型中包含固定的两个常量成员,此两个常量成员的名字是固定的,用户通过指定此两个常量成员的值,定义一个具体的有限域类型,再使用定义的有限域类型,声明有限域上的变量;在GCC编译器中新增有限域数据类型关键字__field,扩展GCC编译器前端,增加对有限域数据类型关键字__field的支持,扩展GCC编译器前端,增加对有限域数据类型关键字表达式的语法分析和语义分析操作,使得编译器为有限域数据类型关键字相关的初始化表达式、赋值表达式、运算表达式、打印语句进行正确的分析。本发明提高用户程序中有限域运算的效率。

    面向异构众核后端基于代价模型的多面体优化方法

    公开(公告)号:CN112558977A

    公开(公告)日:2021-03-26

    申请号:CN201910910502.0

    申请日:2019-09-25

    Abstract: 本发明公开一种面向异构众核后端基于代价模型的多面体优化方法,包括以下步骤:S1、编译器解析位于主核和从核上的用户程序的编译标识,生成对应的主核中间表示和从核中间表示;S2、编译器对S1中生成的主核和从核的中间表示层代码进行分析和优化;S3、对是否实施多面体调度与优化方法进行收益评估;S4、对有收益的静态控制单元实施多面体调度与优化,生成新的中间表示;S5、编译器将新的向量中间表示生成可重定向文件;S6、将中的可重定向文件与库文件链接,生成可执行文件。本发明首次提出并实现了片上异构众核的程序多面体优化自动变换方法,并加入了主核和从核独立的代价模型计算框架,保证了在有收益的前提下进行程序变换以节省程序的编译时间。

    用户发起的运行时状态检测方法

    公开(公告)号:CN112540894A

    公开(公告)日:2021-03-23

    申请号:CN201910891124.6

    申请日:2019-09-20

    Abstract: 本发明公开了一种用户发起的运行时状态检测方法,子节点将通信域记录的运行时状态信息发送给父节点;父节点开始进入收消息流程,收到子节点发来的第一个状态包后设置与通信域编号绑定的定时器并进入下一次消息流程,若定时器超时之前所有子节点状态包到齐,则删除定时器并进入分析流程,否则其超时将触发父节点向所有超时子节点发起主动探测消息,并向网络管理部件获取端口状态和链路状态,发现问题后输出给用户;父节点收集到子节点运行时状态后,比对每个子节点每项集合操作的次数,找到最大值max_count以及未达到最大值的子节点的节点编号列表。本发明以解决用户视图长时间无输出而不清楚程序运行状态的问题。

    连续捕获程序异常的处理器异常测试方法

    公开(公告)号:CN105487973B

    公开(公告)日:2018-01-19

    申请号:CN201510830343.5

    申请日:2015-11-24

    Abstract: 一种连续捕获程序异常的处理器异常测试方法,包括:确定并初始化需要进行校验的异常类型以及捕获到的结果异常类型;设定用户层需要获取的异常类型;根据设定的异常类型的处置方式,设置异常发生时结果校验变量的异常类型值;按照遍历所有指令分类以及每类指令所包含的异常类型值的方式,编写涵盖所有指令类型的异常测试用例的集合;将所述集合中的异常测试用例以函数的形式进行组织,以形成异常函数列表;针对异常函数列表中的每个函数,对函数进行调用并进行异常的捕获及处理以获取异常类型结果值;根据异常函数列表对应的异常类型校验值、以及异常运行过程中获取的异常类型结果值,将两者进行比较以检验处理器异常处理结果。

    一种基于编译指导的众核数据分片方法

    公开(公告)号:CN105487911A

    公开(公告)日:2016-04-13

    申请号:CN201510830718.8

    申请日:2015-11-24

    CPC classification number: G06F8/443 G06F3/0685

    Abstract: 一种基于编译指导的众核数据分片方法,包括:在加速程序段开始处添加编译指导语句,描述原始数组的多个分片特征;编译器识别编译指导语句,记录原始数组的每个分片信息;对原始数组的各个分片信息,计算该分片的大小,并在局存中申请具有相同大小的相应局存数组;扫描整个加速程序段,检查原始数据的每个引用;如果该引用的数据在当前的分片内,则将原始数组的引用转换成对局存数组的引用;如果该引用是读引用,则在原始数组的分片信息上记录读标志;如果该引用是写引用,则在原始数组的分片信息上记录写标志;如果分片有读标志,在加速段开始处插入该分片的数据导入语句;如果分片有写标志,在加速段开始处插入该分片的数据导出语句。

    一种基于哈希算法的库函数安全增强方法

    公开(公告)号:CN105426755A

    公开(公告)日:2016-03-23

    申请号:CN201510830262.5

    申请日:2015-11-24

    CPC classification number: G06F21/54

    Abstract: 本发明提供了一种基于哈希算法的库函数安全增强方法,包括:对同一函数的多次调用,将已经回溯的栈信息用链表保存起来,此后再次调用该函数时,以函数返回地址作为关键字检索链表以查找所述函数的栈信息,如果在链表中查找到所述函数的栈信息,则直接从链表取出对应的栈信息。如果在链表中没有查找到所述函数的栈信息,则针对所述函数利用指令特征码进行指令匹配,直到找到所述函数的栈信息为止,并将找到的所述函数的栈信息加入到链表中。

    面向分布式共享SPM的批量数据传输方法

    公开(公告)号:CN112565474B

    公开(公告)日:2024-02-06

    申请号:CN201910910495.4

    申请日:2019-09-25

    Abstract: 本发明公开一种面向分布式共享SPM的批量数据传输方法,传输前读取SPM可用空间大小,若SPM的可用空间足够,执行下一步;将共享SPM起始目的地址转换为SPM局部地址,根据分布式共享SPM地址编址方法计算得到对应的物理SPM号和SPM内的局部地址;根据SPM局部地址计算对应物理SPM的可传输数据量,由所述SPM号对应线程发起批量数据传输,将批量数据从主存传输至物理SPM;数据传输完成后,更新下一轮传输的起始地址,以及剩余总传输数据量;将在下一轮传输的中计算;当spm_size_free_total

    基于RMA的众核分布式共享SPM实现方法

    公开(公告)号:CN112631593B

    公开(公告)日:2022-10-04

    申请号:CN201910904073.6

    申请日:2019-09-24

    Abstract: 本发明公开了一种基于RMA的众核分布式共享SPM实现方法,语言级共享SPM空间描述方法,由编程人员显示申明共享SPM数据;编译器对程序中的共享SPM数据的访问转换为RMA消息,根据访问特征生成对应的高效RMA操作;运行时提供高效RMA支持。本发明为用户提供分布式共享SPM变量的描述机制,并通过运行时RMA实现众核核心SPM的逻辑共享,简化众核核心间的通信,增大众核核心能够访问的高速缓存的空间;同时,充分利用众核处理器SPM和RMA的优势,简化在众核处理器上的编程,提高众核处理器的好用性、易用性,提升众核系统的可编程性。

Patent Agency Ranking