-
公开(公告)号：CN105302624A
公开(公告)日：2016-02-03
申请号：CN201510593950.4
申请日：2015-09-17
Applicant: 哈尔滨工程大学
IPC: G06F9/45
Abstract: 本发明公开了一种可重构编译器中循环流水迭代间启动间距自动分析方法。对计数类循环进行循环流水迭代间启动间距信息模型的构建；将计数类循环的代码转换成SCoPs数据结构形式；根据计数类循环程序的SCoPs数据结构，进行循环流水迭代间写后读RAW数据依赖关系分析，得到RAW_DDA模型描述的计数类循环程序的RAW数据依赖关系分析结果RAW_DDA；基于计数类循环程序的RAW_DDA模型，进行循环流水迭代间启动间距的自动分析，得到循环流水迭代间非固定启动间距模型NF_II描述的启动间距自动分析结果。本发明能够减少循环流水执行时迭代间启动等待延时，具有通用性。
-
公开(公告)号：CN105260222A
公开(公告)日：2016-01-20
申请号：CN201510676586.8
申请日：2015-10-13
Applicant: 哈尔滨工程大学
IPC: G06F9/45
Abstract: 本发明公开了一种可重构编译器中循环流水迭代间启动间距优化方。对计数类循环进行RAW数据依赖关系分析，得到RAW_DDA模型；遍历RAW_DDA模型中的[NEXT]集合，对依赖关系next中的Load指令按照ALAP调度算法进行流水段延后；遍历RAW_DDA模型中的[NEXT]集合，对依赖关系next中的Store指令按照ASAP调度算法进行流水段提前；实现启动间距优化。本发明是针对细粒度可重构编译器ASCRA而开发的一种循环流水启动间距的自动优化算法，可以有效改善可重构编译器对可重构计算应用的部署效率，还能有效提高循环流水硬件结构的性能。
-
公开(公告)号：CN105022968A
公开(公告)日：2015-11-04
申请号：CN201510458902.4
申请日：2015-07-30
Applicant: 哈尔滨工程大学
IPC: G06F21/64
CPC classification number: G06F21/64 , G06F2221/2107
Abstract: 本发明涉及的是内存完整性校验领域，具体为一种基于动态缓存哈希树的内存数据的完整性校验方法。本发明根据程序的局部性原理，对访问频率高的数据块和访问频率低的数据块进行区分；改变缓存哈希树中只存储固定层次的中间结点，使哈希缓存中存储不同层次的中间结点；把内存分成相同大小的数据块data_block，以数据块作为叶子节点建立一棵哈希树；每个数据块有两个计数器counter1和counter2；初始时counter1＝0，counter2＝0；设t代表当前时刻，T为统计周期。本发明由于利用了程序的局部性原理，动态的调整缓存中存储的中间节点。从而从整体上缩短数据块的平均校验路径长度。
-
公开(公告)号：CN105159737B
公开(公告)日：2018-08-31
申请号：CN201510447925.5
申请日：2015-07-28
Applicant: 哈尔滨工程大学
IPC: G06F8/41
Abstract: 本发明涉及的是在可重构编译领域，基于LLVM的CPU‑FPGA异构体系结构面向C2VHDL的可重构编译器ASCRA中一种面向类仿射数组下标应用的参数化并行存储结构模版。面向类仿射数组下标应用的参数化并行存储结构模版，采用模块化设计思想的参数化并行存储结构模版在处理参与循环程序运算的数组下标为类仿射型时，为新数据自动生成基于RAM的多体交叉并行访存结构或单体串行访存结构。此模板结构不仅充分挖掘了输入数据重用和循环迭代间数据重用，还为了提高硬件执行频率，采用了寄存器平移策略，简化了硬件设计，保证Smart buffer缓存结构与计算单元的连接固定不变。
-
公开(公告)号：CN105260222B
公开(公告)日：2018-10-26
申请号：CN201510676586.8
申请日：2015-10-13
Applicant: 哈尔滨工程大学
IPC: G06F8/41
Abstract: 本发明公开了一种可重构编译器中循环流水迭代间启动间距优化方。对计数类循环进行RAW数据依赖关系分析，得到RAW_DDA模型；遍历RAW_DDA模型中的[NEXT]集合，对依赖关系next中的Load指令按照ALAP调度算法进行流水段延后；遍历RAW_DDA模型中的[NEXT]集合，对依赖关系next中的Store指令按照ASAP调度算法进行流水段提前；实现启动间距优化。本发明是针对细粒度可重构编译器ASCRA而开发的一种循环流水启动间距的自动优化算法，可以有效改善可重构编译器对可重构计算应用的部署效率，还能有效提高循环流水硬件结构的性能。
-
Patent Agency Ranking
公开(公告)号：CN105302624B
公开(公告)日：2018-10-26
申请号：CN201510593950.4
申请日：2015-09-17
Applicant: 哈尔滨工程大学
IPC: G06F8/41
Abstract: 本发明公开了一种可重构编译器中循环流水迭代间启动间距自动分析方法。对计数类循环进行循环流水迭代间启动间距信息模型的构建；将计数类循环的代码转换成SCoPs数据结构形式；根据计数类循环程序的SCoPs数据结构，进行循环流水迭代间写后读RAW数据依赖关系分析，得到RAW_DDA模型描述的计数类循环程序的RAW数据依赖关系分析结果RAW_DDA；基于计数类循环程序的RAW_DDA模型，进行循环流水迭代间启动间距的自动分析，得到循环流水迭代间非固定启动间距模型NF_II描述的启动间距自动分析结果。本发明能够减少循环流水执行时迭代间启动等待延时，具有通用性。
-
公开(公告)号：CN105138478B
公开(公告)日：2018-10-26
申请号：CN201510451102.X
申请日：2015-07-28
Applicant: 哈尔滨工程大学
Abstract: 本发明涉及的是内存完整性校验领域，具体为一种非平衡哈希树的存储器完整性保护方法。本发明包括：(1)初始化；(2)构建非平衡二叉树；(3)写操作；(4)读操作。本方法在一般情况下，校验代价要低于普通的平衡二叉树的校验代价，即使在最坏情况下，本方法的性能也不会高于普通的平衡二叉树的校验代价，而是与它的校验代价相同。本发明从整体上缩短了数据认证时的路径长度。
-
公开(公告)号：CN105022968B
公开(公告)日：2017-12-19
申请号：CN201510458902.4
申请日：2015-07-30
Applicant: 哈尔滨工程大学
IPC: G06F21/64
Abstract: 本发明涉及的是内存完整性校验领域，具体为一种基于动态缓存哈希树的内存数据的完整性校验方法。本发明根据程序的局部性原理，对访问频率高的数据块和访问频率低的数据块进行区分；改变缓存哈希树中只存储固定层次的中间结点，使哈希缓存中存储不同层次的中间结点；把内存分成相同大小的数据块data_block，以数据块作为叶子节点建立一棵哈希树；每个数据块有两个计数器counter1和counter2；初始时counter1＝0，counter2＝0；设t代表当前时刻，T为统计周期。本发明由于利用了程序的局部性原理，动态的调整缓存中存储的中间节点。从而从整体上缩短数据块的平均校验路径长度。
-
公开(公告)号：CN105069379B
公开(公告)日：2017-11-21
申请号：CN201510454349.7
申请日：2015-07-29
Applicant: 哈尔滨工程大学
IPC: G06F21/64
Abstract: 本发明涉及的是内存完整性校验领域，具体为一种基于写计数器的存储器完整性保护方法。一种基于写计数器的存储器完整性保护方法，数据块分2种，一种数据块有相对应的写计数器，记录处理器向该地址内存块的写次数，写计数器保存在处理器芯片内一个专用的写计数器缓存中，并且写计数器缓存与L2缓存处于同一层级；在写计数器缓存中，还为数据块分配一个私有密钥。采用消息验证码进行完整性验证与哈希校验树相比，其最大的优势在于它的验证开销小得多。哈希校验树进行完整性验证时，需要从叶子节点一直迭代到根节点计算哈希值。而消息验证码只需进行一次MAC计算即可，也就是说只需要进行哈希树中的一层操作即可。
-
公开(公告)号：CN105069379A
公开(公告)日：2015-11-18
申请号：CN201510454349.7
申请日：2015-07-29
Applicant: 哈尔滨工程大学
IPC: G06F21/64
CPC classification number: G06F21/64
Abstract: 本发明涉及的是内存完整性校验领域，具体为一种基于写计数器的存储器完整性保护方法。一种基于写计数器的存储器完整性保护方法，数据块分2种，一种数据块有相对应的写计数器，记录处理器向该地址内存块的写次数，写计数器保存在处理器芯片内一个专用的写计数器缓存中，并且写计数器缓存与L2缓存处于同一层级；在写计数器缓存中，还为数据块分配一个私有密钥。采用消息验证码进行完整性验证与哈希校验树相比，其最大的优势在于它的验证开销小得多。哈希校验树进行完整性验证时，需要从叶子节点一直迭代到根节点计算哈希值。而消息验证码只需进行一次MAC计算即可，也就是说只需要进行哈希树中的一层操作即可。
-
-
-
-
-
-
-
-
-
Search Results
12
records
(took 0.03 seconds)
