虚拟构建脚本的依赖性错误检测方法

    公开(公告)号:CN114817061B

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

    申请号:CN202210529963.5

    申请日:2022-05-16

    Abstract: 本公开提供一种虚拟构建脚本的依赖性错误检测方法,包括:获取待构建的源程序文件及待检测的构建脚本,源程序文件指待编译的代码文件,构建脚本指用于编译构建源程序文件所需的脚本文件;对源程序文件进行修剪,删除源程序文件中不影响动态依赖关系的部分,经修剪得到修剪后的程序;基于待检测的构建脚本,通过虚拟构建方法构建修剪后的程序的统一依赖关系图;基于统一依赖关系图进行依赖性错误检测。本公开还提供了一种虚拟构建脚本的依赖性错误检测装置、电子设备以及可读存储介质。

    虚拟构建脚本的依赖性错误检测方法

    公开(公告)号:CN114817061A

    公开(公告)日:2022-07-29

    申请号:CN202210529963.5

    申请日:2022-05-16

    Abstract: 本公开提供一种虚拟构建脚本的依赖性错误检测方法,包括:获取待构建的源程序文件及待检测的构建脚本,源程序文件指待编译的代码文件,构建脚本指用于编译构建源程序文件所需的脚本文件;对源程序文件进行修剪,删除源程序文件中不影响动态依赖关系的部分,经修剪得到修剪后的程序;基于待检测的构建脚本,通过虚拟构建方法构建修剪后的程序的统一依赖关系图;基于统一依赖关系图进行依赖性错误检测。本公开还提供了一种虚拟构建脚本的依赖性错误检测装置、电子设备以及可读存储介质。

    基于混合存储的高性能可扩展哈希索引

    公开(公告)号:CN117112557A

    公开(公告)日:2023-11-24

    申请号:CN202311023921.5

    申请日:2023-08-15

    Applicant: 厦门大学

    Abstract: 基于混合存储的高性能可扩展哈希索引,涉及键值存储与哈希索引。该索引在持久化CPU高速缓存的最下层缓存上建立可调整大小的收集日志池以日志为单位刷写至持久性内存,以弥合键值对大小与持久性内存的写入粒度的差距;在易失内存中建立一个较小的索引,用于分类被刷写收集日志的键值对;采用无搜索插入与自底向上搜索,在保证正确性的前提下将插入前的搜索移除,以减少插入操作的读写混合;无检查的插入带来多次重复键值的插入,在分裂中添加低开销一致性检查,消除重复键对索引空间的占用;搜索大容量的哈希桶增加平均探测次数,在易失内存中存放索引键的特征值采用SIMD技术,在易失内存中吸收无用桶探测,提高索引搜索效率。

    一种高密度3D闪存两步编程方法
    4.
    发明公开

    公开(公告)号:CN116758961A

    公开(公告)日:2023-09-15

    申请号:CN202310832631.9

    申请日:2023-07-08

    Applicant: 厦门大学

    Abstract: 本申请公开了一种高密度3D闪存两步编程方法,涉及闪存编程优化的技术领域,其包括S1:在3D QLC闪存的第二步编程中,识别待编程字线中已经被无效的页面;S2:确定无效页面数量与无效页面类型,即属于LSB、MSB、CSB、TSB中的哪种页面;S3:根据页面类型,结合存储元存储数据所属的电压状态,对数据进行重新编码,修改待编程字线的目标电压状态;S4:执行第二步编程。本申请能够降低有效页的出错,提高闪存数据的可靠性,提升编程效率,降低编程能耗,更加完善了两步编程技术。

    一种基于P2P网络的协同块预取方法

    公开(公告)号:CN116112562A

    公开(公告)日:2023-05-12

    申请号:CN202310116475.6

    申请日:2023-02-15

    Applicant: 厦门大学

    Abstract: 本公开提供了一种基于P2P网络的协同块预取方法,将P2P网络中的节点分为根节点和代理节点,根节点负责从远程仓库中拉取数据块,代理节点只能从根节点拉取数据块,同时根节点主动预测代理节点需要的数据块并将其推送给代理节点,从而实现根节点和代理节点的协同块预取。本公开减少对代理节点上虚拟化实例的冷启动延迟,通过虚拟化实例数据块协同预取的方式加速虚拟化实例的启动和敏捷部署,快速响应用户的延迟需求,减少虚拟化实例大规模部署带来的开销。

    一种基于日志结构合并树的数据重删及管理系统

    公开(公告)号:CN117406923A

    公开(公告)日:2024-01-16

    申请号:CN202311332376.8

    申请日:2023-10-16

    Applicant: 厦门大学

    Abstract: 本发明公开了一种基于日志结构合并树的数据重删及管理系统,所述系统有两种管理数据的结构,分别为:日志结构合并树LSMT结构,用于保存所述系统的初始数据、进行重删操作以及处理用户的操作请求;值文件表vFT结构,用于保存被日志结构合并树LSMT结构删除但仍被重删数据引用的未重删数据。日志结构合并树LSMT进行两次重删,一次重删为将内存上的数据持久化到磁盘上时进行;二次重删在所述系统对多个有序字符串表SSTable进行compaction压实操作的过程中进行。本发明通过两次重删以及将指纹索引存在磁盘中,减少了数据存储成本和内存开销;通过DedupVal索引方式和vFT结构,提供高效的重删后查询和修改功能;vFT的垃圾回收还可以进一步减少磁盘空间占用,同时减少DedupVal的读放大。

    数据库管理系统的逻辑缺陷的检测方法、装置及可读介质

    公开(公告)号:CN116126830A

    公开(公告)日:2023-05-16

    申请号:CN202310123541.2

    申请日:2023-02-16

    Applicant: 厦门大学

    Abstract: 本发明公开了一种数据库管理系统的逻辑缺陷的检测方法、装置及可读介质,通过获取随机生成的数据库中的表;根据表建立第一查询语句,基于第一查询语句的查询作为种子查询;通过近似变异合成与第一查询语句具有近似关系的若干第二查询语句,基于若干第二查询语句的查询作为合成查询;将第一查询语句和若干第二查询语句输入数据库管理系统中,得到种子查询的结果以及合成查询的结果;判断合成查询的结果与种子查询的结果之间是否违背近似关系,若是,则确定数据库管理系统存在逻辑缺陷。通过合成种子查询的过近似或欠近似,使其查询结果为种子查询结果的超集或子集,可以有效判断数据库管理系统是否存在逻辑缺陷,提高检测的准确性和效率。

    一种基于P2P网络的协同块预取方法

    公开(公告)号:CN116112562B

    公开(公告)日:2025-01-17

    申请号:CN202310116475.6

    申请日:2023-02-15

    Applicant: 厦门大学

    Abstract: 本公开提供了一种基于P2P网络的协同块预取方法,将P2P网络中的节点分为根节点和代理节点,根节点负责从远程仓库中拉取数据块,代理节点只能从根节点拉取数据块,同时根节点主动预测代理节点需要的数据块并将其推送给代理节点,从而实现根节点和代理节点的协同块预取。本公开减少对代理节点上虚拟化实例的冷启动延迟,通过虚拟化实例数据块协同预取的方式加速虚拟化实例的启动和敏捷部署,快速响应用户的延迟需求,减少虚拟化实例大规模部署带来的开销。

    一种软件项目的函数级增量编译方法及系统

    公开(公告)号:CN119248283A

    公开(公告)日:2025-01-03

    申请号:CN202411342686.2

    申请日:2024-09-25

    Applicant: 厦门大学

    Abstract: 本发明一种针对软件项目的函数级增量编译方法及系统,包括:识别出具有文本变化的函数,提取变更代码中使用的符号;基于变更代码中使用的符号,在旧源代码的CDG上执行编译依赖传播,识别语义上发生变化的函数;删减语义上未发生变化的函数,生成部分源代码,然后编译以生成部分二进制文件;从旧的二进制文件中提取符号之间的依赖关系以生成BDG,来识别需要复用的派生二进制代码;对于主体被删减的函数,在BDG上执行二进制依赖传播,确定需要复用的符号和数据段;将旧的二进制文件中需要复用的符号和部分数据段合并到部分二进制文件中,组成完整的二进制文件。本发明能够在函数级别重用之前的编译结果,仅需要重新编译语义发生变化的函数。

Patent Agency Ranking