-
公开(公告)号:CN114189916B
公开(公告)日:2023-07-14
申请号:CN202111397886.4
申请日:2021-11-19
Applicant: 厦门大学
IPC: H04W40/02 , H04W40/32 , H04W28/18 , H04L45/121 , H04L45/00
Abstract: 本公开提供了一种5G网络低时延端到端通信的域间边缘协同方法,包括:5G网络中的各个子网络通过线下协商,共同确定一个域间边缘网络的代价函数g;每个边缘节点i估计其与其他节点j间的流量需求lij;每个边缘节点估计其与网络中其他节点通过骨干网传输流量的时延每个边缘节点i决定一个最大时延系数αij,αij取值范围为大于零且小于一的数;基于αij和确定边缘节点i到其他节点j的最大允许传输时延;边缘节点通过与邻居节点通信过程中,对网络中各个节点分簇,并基于各个分簇,在簇内求解线性规划问题,从而得出各路径上的流量分配方式。本公开还提供了一种5G网络低时延端到端通信的域间边缘协同装置、电子设备以及可读存储介质。
-
公开(公告)号:CN115051984B
公开(公告)日:2023-03-28
申请号:CN202210164280.4
申请日:2022-02-23
Applicant: 厦门大学
Abstract: 本公开提供了一种分布式数据平面验证方法,其特征在于,包括:验证规划器接收数据平面验证需求、网络拓扑及设备‑IP前缀映射信息;验证规划器基于数据平面验证需求和网络拓扑结构,生成有向无环网络图DVNet;验证规划器将计数任务进行分解,以使得网络中各个设备获得分解后的计数任务;以及网络中的各个设备接收分解后的计数任务,通过设备上的验证器进行计数,以获得验证结果。本公开还提供了一种分布式数据平面验证系统。
-
公开(公告)号:CN119597722A
公开(公告)日:2025-03-11
申请号:CN202411671403.9
申请日:2024-11-21
Applicant: 厦门大学
IPC: G06F16/182 , G06F16/13 , G06F9/54
Abstract: 本发明涉及一种基于数据处理单元DPU的分布式文件系统,包括:计算节点、DPU和存储节点:所述计算节点,包括客户端请求接口和主机共享内存;所述DPU包括文件请求处理模块、数据路径管理模块、元数据索引管理模块和元数据内存管理模块;所述存储节点,包括远端共享内存;所述文件请求处理模块采用单边轮询机制;所述数据路径管理模块采用单操作零拷贝传输;所述元数据索引管理模块采用按核索引结构;所述元数据内存管理模块采用双层分配结构。本发明在DPU中采用单边轮询机制、按核索引结构及双层分配结构减少了计算节点的CPU开销,同时为了突破DPU内存瓶颈构造了高效的数据路径。
-
公开(公告)号:CN119493519A
公开(公告)日:2025-02-21
申请号:CN202311047417.9
申请日:2023-08-17
IPC: G06F3/06 , G06F12/0891
Abstract: 本申请公开了一种数据管理方法及其装置,属于文件系统技术领域。该方法包括:获取待写入外部存储器的文件中的待写入数据;当待写入数据不为重复数据时,为待写入数据分配虚拟地址和物理地址,将待写入数据记载在物理地址中,记载虚拟地址与物理地址的对应关系,及虚拟地址与待写入数据的逻辑地址的对应关系,逻辑地址用于指示待写入数据在文件中的位置;当待写入数据为重复数据时,获取待写入数据的重复数据的虚拟地址,记载虚拟地址与待写入数据的逻辑地址的对应关系。本申请避免了逻辑地址与物理地址的直接映射。
-
公开(公告)号:CN118353813A
公开(公告)日:2024-07-16
申请号:CN202410608736.0
申请日:2024-05-16
Applicant: 厦门大学
IPC: H04L43/0805 , H04L43/50 , H04L61/4511 , H04L67/10
Abstract: 本公开提供了一种域名系统配置的分布式验证方法、装置、介质及设备,该方法包括:根据接收到的针对目标区域文件的验证请求,确定所述目标区域文件对应的待验证属性类型及其对应的验证过程参数;基于所述目标区域文件,生成对应的行为树;采用符号化执行遍历所述行为树,生成本地等价类集合;根据所述待验证属性类型以及所述验证过程参数,对所述本地等价类集合进行查询验证。本申请实施例的技术方案可以提高域名系统配置验证的针对性,并保证域名系统配置验证的准确性。
-
公开(公告)号:CN117852011A
公开(公告)日:2024-04-09
申请号:CN202311854823.6
申请日:2023-12-29
Applicant: 厦门大学
Abstract: 本公开提供了一种策略验证方法、电子设备及存储介质。本公开的策略验证方法包括:根据目标策略生成初始公式数据和待验证公式,待验证公式和初始公式数据中的初始公式均为可满足性模理论公式;根据待验证公式对初始公式数据进行公式选择处理,生成目标公式数据,目标公式数据包括部分初始公式数据;根据目标公式数据和待验证公式进行可满足性模理论求解,生成第一求解结果数据;以及根据第一求解结果数据确定目标策略的策略验证结果。
-
公开(公告)号:CN117850691A
公开(公告)日:2024-04-09
申请号:CN202311854867.9
申请日:2023-12-29
Applicant: 厦门大学
Abstract: 本公开提供了一种分布式存储方法、交换机及存储介质。本公开的分布式存储方法包括:响应于接收到客户端发送的写请求,根据交换机系统时间判断交换机是否满足本地存储条件;若是,则初始化写请求中目标写数据的目标元数据;根据交换机系统时间将目标元数据和目标写数据存储至交换机本地;以及根据交换机本地存储的目标元数据对目标写数据进行分布式存储。
-
公开(公告)号:CN117640382A
公开(公告)日:2024-03-01
申请号:CN202311636934.X
申请日:2023-12-01
Applicant: 厦门大学
IPC: H04L41/0866
Abstract: 本公开提供了一种基于网络领域知识的网络配置验证加速方法、电子设备及可读存储介质。本公开的方法,包括:筛选得到网络配置信息中与待验证的网络不变量无关的第一配置信息,将网络配置信息中的第一配置信息忽略,得到第二配置信息;对待验证的网络不变量进行编码,得到第一编码信息;对第二配置信息进行编码,得到第二编码信息,其中,在编码过程中,对第二配置信息中的数值属性信息进行抽象;将第一编码信息和第二编码信息进行组合,得到编码信息;确定编码信息中的第一变量的搜索顺序,以及,确定编码信息中的第一变量的赋值顺序;根据搜索顺序,选取编码信息中的第一变量,然后根据赋值顺序,对选取的第一变量进行赋值,进行编码信息的验证。
-
公开(公告)号:CN117493349A
公开(公告)日:2024-02-02
申请号:CN202311535225.2
申请日:2023-11-17
Applicant: 厦门大学
IPC: G06F16/22 , G06F16/2453 , G06F9/50
Abstract: 本发明公开了一种高效可扩展的并发学习索引系统,包括:学习索引层,利用键值对数据构建并训练学习索引模型,利用新写入的键值对数据周期性更新学习索引模型;第二阶段存储层,存储训练过学习索引模型的键值对数据,以及缓存新写入的键值对数据;树形索引层,根据新写入的键值对数据生成并更新索引节点,周期性返回索引节点到学习索引层以更新学习索引模型。本发明的核心是结合学习索引和树形索引的优势,提高索引部分的快速查询,以及数据的快速写入,实现高并发高性能的并发性学习索引。
-
公开(公告)号:CN117406923A
公开(公告)日:2024-01-16
申请号:CN202311332376.8
申请日:2023-10-16
Applicant: 厦门大学
Abstract: 本发明公开了一种基于日志结构合并树的数据重删及管理系统,所述系统有两种管理数据的结构,分别为:日志结构合并树LSMT结构,用于保存所述系统的初始数据、进行重删操作以及处理用户的操作请求;值文件表vFT结构,用于保存被日志结构合并树LSMT结构删除但仍被重删数据引用的未重删数据。日志结构合并树LSMT进行两次重删,一次重删为将内存上的数据持久化到磁盘上时进行;二次重删在所述系统对多个有序字符串表SSTable进行compaction压实操作的过程中进行。本发明通过两次重删以及将指纹索引存在磁盘中,减少了数据存储成本和内存开销;通过DedupVal索引方式和vFT结构,提供高效的重删后查询和修改功能;vFT的垃圾回收还可以进一步减少磁盘空间占用,同时减少DedupVal的读放大。
-
-
-
-
-
-
-
-
-