-
公开(公告)号：CN113138721B
公开(公告)日：2022-11-29
申请号：CN202110481070.3
申请日：2021-04-30
Abstract: 本发明提供一种旁路攻击漏洞形式化验证方法及装置，方法包括：将缓存旁路攻击描述为访存操作的组合，以建立访存操作模型；将缓存模型建立为缓存状态机；根据安全规范、时间结果和第一路径规范对缓存状态机进行形式化验证，以确定缓存状态机是否存在缓存旁路攻击漏洞。所述装置用于执行上述方法。本发明提供的旁路攻击漏洞形式化验证方法及装置，对处理器访存操作和缓存设计进行建模，建模方式具有可扩展性，适用于多种硬件或软件缓存设计，只需编写要测试的缓存设计模型，就可以高效自动地对缓存设计是否存在旁路攻击漏洞进行全面分析以及自动化的验证，可以适用于不同的处理器和指令集平台。
-
公开(公告)号：CN107357685B
公开(公告)日：2019-06-18
申请号：CN201710561507.8
申请日：2017-07-11
Applicant: 清华大学
Abstract: 本发明提供一种数据存储的容错冗余方法及设备，所述方法包括：在数据存储时，对访问频次高的数据进行LRC码编码后存储为LRC码数据，对访问频次低的数据进行Hitchhiker‑XOR码编码后存储为Hitchhiker‑XOR码数据；若所述LRC码数据的访问频次降低，则将其编码方式切换为Hitchhiker‑XOR码编码；若所述Hitchhiker‑XOR码数据的访问频次升高，则将其编码方式切换为LRC码编码。本发明分别利用存储开销低的Hitchhiker‑XOR码和恢复延迟低的LRC码进行存储；在数据的访问频次变化后，进行两种编码之间的切换，整体上降低数据恢复延迟并保证较低的存储开销。
-
公开(公告)号：CN106126443B
公开(公告)日：2019-03-01
申请号：CN201610465812.2
申请日：2016-06-23
Applicant: 清华大学
IPC: G06F12/123
Abstract: 本发明提供一种区分脏程度的cache替换方法及装置，包括：设置多个高速缓冲存储块集合，将高访问频率脏块集合中的脏块进行子块分类；当检测到有新存储块插入时，判断确定新存储块采用读或写缺失引入方式进行插入，将新存储块在对应集合中插入；当检测到已存存储块被访问读命中，且所属低访问频率干净块集合或高访问频率干净块集合，将存储块移动到对应集合中；当检测到需替出已存存储块时，按照脏子块数量从少到多的顺序检测集合内的各个脏块的LRU链，若未检测到第一个非空LRU链时，将所述LRU链中的LRU块替出。本发明提供的一种区分脏程度的cache替换方法及装置，通过将高访问频率脏块进一步划分为若干子块，为其中脏子块数量多的存储块提供更多的保护。
-
公开(公告)号：CN106155938A
公开(公告)日：2016-11-23
申请号：CN201610466832.1
申请日：2016-06-23
Applicant: 清华大学
IPC: G06F12/123
CPC classification number: G06F12/123
Abstract: 本发明提供一种延迟PCM内存使用寿命的cache替换方法及装置，包括：设置多个高速缓冲存储块，并分为多个集合，获得每个存储块集合所对应的LRU链；当检测到有新存储块插入时，判断确定新存储块采用读或写缺失引入方式进行插入，则将新存储块在对应集合中插入；当检测到已存存储块被访问读命中，且所属低访问频率干净块集合或高访问频率干净块集合时，则将存储块移动到对应集合中；当检测到需替出已存存储块时，依次对各个集合的LRU链进行检测，若检测到第一个非空LRU链时，将LRU位置上的存储块替出。本发明提供的一种延迟PCM内存使用寿命的cache替换方法及装置，通过在cache块的所有处理过程中均对脏块和干净块进行区分，为脏块和干净块均提供了更全面的保护。
-
公开(公告)号：CN106126443A
公开(公告)日：2016-11-16
申请号：CN201610465812.2
申请日：2016-06-23
Applicant: 清华大学
IPC: G06F12/123
CPC classification number: G06F12/123
Abstract: 本发明提供一种区分脏程度的cache替换方法及装置，包括：设置多个高速缓冲存储块集合，将高访问频率脏块集合中的脏块进行子块分类；当检测到有新存储块插入时，判断确定新存储块采用读或写缺失引入方式进行插入，将新存储块在对应集合中插入；当检测到已存存储块被访问读命中，且所属低访问频率干净块集合或高访问频率干净块集合，将存储块移动到对应集合中；当检测到需替出已存存储块时，按照脏子块数量从少到多的顺序检测集合内的各个脏块的LRU链，若未检测到第一个非空LRU链时，将所述LRU链中的LRU块替出。本发明提供的一种区分脏程度的cache替换方法及装置，通过将高访问频率脏块进一步划分为若干子块，为其中脏子块数量多的存储块提供更多的保护。
-
Patent Agency Ranking
公开(公告)号：CN118503149A
公开(公告)日：2024-08-16
申请号：CN202410682209.4
申请日：2024-05-29
Applicant: 清华大学
IPC: G06F12/0846 , G06F12/02 , G06F12/16
Abstract: 本发明提供一种基于双层分区的缓存方法及系统，该方法包括：根据普通进程的和飞地的缓存数据对缓存系统进行初次分区，得到第一层面的分区缓存结构；根据飞地的数量对第一层面的分区缓存结构进行细粒度分区，得到第二层面的分区缓存结构。本发明根据第一层面的分区缓存结构通过动态调整的边界隔离普通进程与飞地之间的缓存数据，动态调整的边界用于动态调整第一层面的分区缓存结构，以使飞地按需使用缓存容量；然后根据第二层面的分区缓存结构隔离不同的飞地之间的缓存数据，能够适应大量飞地同时运行的场景，提高了缓存系统的安全性和分区性能。
-
-
公开(公告)号：CN101391868B
公开(公告)日：2012-03-28
申请号：CN200810224502.7
申请日：2008-10-17
CPC classification number: Y02P40/143
Abstract: 本发明公开了属于固体废弃物处理和废弃物利用工艺领域的的一种惰性硅铝质物料的热液蚀变预处理工艺，以惰性硅铝质物料为原料，采用热液蚀变方法制备出具有较高胶凝活性的蚀变物料，蚀变反应的物料由稳流仓供给，物料经过两级或多级预热器加热后进入蚀变反应器进行热液蚀变，得到粉状蚀变料和过烧粘结成块的块状蚀变料，蚀变料随着烟气进入旋风分离器，分离后的粉状蚀变物料进入冷却系统，最后蚀变料细粉进入成品库；块状蚀变料与炉渣一同排出。蚀变反应器由沸腾炉或回转窑担任。本工艺能够满足不同惰性硅铝质物料的蚀变条件，生产的蚀变料可用于制备水泥、混凝土和墙体材料，适用于规模化生产工艺，工艺具有很好的经济和社会效益。
-
公开(公告)号：CN101445348A
公开(公告)日：2009-06-03
申请号：CN200810247563.5
申请日：2008-12-30
CPC classification number: C04B28/14 , Y02W30/92 , Y02W30/93 , Y02W30/94 , C04B7/02 , C04B18/08 , C04B18/125 , C04B18/141 , C04B20/0076 , C04B18/142
Abstract: 本发明公开了建筑材料领域一种以油页岩炼油后废渣为主要原料的凝石胶凝材料的制备方法。将油页岩废渣破碎成碎块，然后与水泥熟料、粉煤灰、高炉水淬矿渣或钢渣、石膏和成岩剂一起或分别磨细后混合，所得到的混合粉体经均化和检验后可作为凝石胶凝材料成品。该发明不仅使固体废弃物得到了合理利用，而且还减少了对环境的污染。
-
公开(公告)号：CN101391868A
公开(公告)日：2009-03-25
申请号：CN200810224502.7
申请日：2008-10-17
CPC classification number: Y02P40/143
Abstract: 本发明公开了属于固体废弃物处理和废弃物利用工艺领域的的一种惰性硅铝质物料的热液蚀变预处理工艺，以惰性硅铝质物料为原料，采用热液蚀变方法制备出具有较高胶凝活性的蚀变物料，蚀变反应的物料由稳流仓供给，物料经过两级或多级预热器加热后进入蚀变反应器进行热液蚀变，得到粉状蚀变料和过烧粘结成块的块状蚀变料，蚀变料随着烟气进入旋风分离器，分离后的粉状蚀变物料进入冷却系统，最后蚀变料细粉进入成品库；块状蚀变料与炉渣一同排出。蚀变反应器由沸腾炉或回转窑担任。本工艺能够满足不同惰性硅铝质物料的蚀变条件，生产的蚀变料可用于制备水泥、混凝土和墙体材料，适用于规模化生产工艺，工艺具有很好的经济和社会效益。
-
-
-
-
-
-
-
-
-
Search Results
33
records
(took 0.026 seconds)
