-
公开(公告)号：CN108959546A
公开(公告)日：2018-12-07
申请号：CN201810707145.3
申请日：2018-07-02
Applicant: 南京大学
IPC: G06F17/30
Abstract: 本发明公开了一种基于逆序对的分布式键值存储系统数据弱一致性度量方法，分布式键值存储系统的读写执行记录计算出量化的弱一致性程度，帮助数据服务的使用者进行一致性与可用性、访问延迟的权衡。典型的分布式键值存储系统包含服务器与客户端，客户端发起请求，根据请求信息得到执行记录。基于逆序对的i‑atomicity弱一致性泛化模型，我们在执行记录上应用i‑atomicity判定算法度量执行记录相对于原子一致性的逆序对个数，从而度量原始执行的弱一致程度。我们在云计算环境与移动环境下分别应用i‑atomicity度量键值存储服务的数据弱一致性，结果表明i‑atomicity在不同环境和负载下能够准确地度量读写执行的弱一致性，直观反映不同配置下的数据一致性表现。
-
公开(公告)号：CN104935634A
公开(公告)日：2015-09-23
申请号：CN201510205983.7
申请日：2015-04-27
Applicant: 南京大学
IPC: H04L29/08
CPC classification number: H04L67/1095 , H04L67/1097
Abstract: 本发明公开了一种基于分布共享存储的移动设备数据共享平台的构建技术。首先在移动设备上设置共享的数据，数据监控进程对数据进行监控，记录数据变化信息；数据管理进程对保存的信息进行分析，利用版本控制模块更新数据的版本信息，并将版本信息发送给数据同步进程；数据同步进程依照设定的同步策略，将需要同步的数据，通过数据传输模块与其它移动设备进行同步；数据传输模块利用TCP技术进行数据传输；其它设备在接收到同步信息时，利用数据管理进程中的冲突检测与消解模块，对接收到的数据进行处理，最终达到数据的同步。本发明中的技术能够有效的在不同移动设备上构建起一个数据共享平台，并允许其它应用基于该平台进行快速开发。
-
公开(公告)号：CN116414913A
公开(公告)日：2023-07-11
申请号：CN202310194394.8
申请日：2023-03-03
Applicant: 南京大学
Abstract: 本发明公开了一种基于可视关系的复制数据类型存储系统弱一致性度量方法，根据复制数据类型存储系统的读写执行历史计算出分等级的弱一致性程度，帮助数据服务的使用者进行一致性与可用性、访问延迟的权衡。典型的复制数据类型存储系统包含服务器与客户端，客户端发起请求，根据请求信息得到执行历史。基于可视关系的vis‑relax弱一致性泛化模型，在执行历史上应用vis‑relax判定算法度量执行历史相对于线性一致性的可视关系弱化程度，从而度量原始执行的弱一致程度。在云计算环境下应用vis‑relax对两个典型复制数据类型存储系统的数据弱一致性进行度量，结果表明vis‑relax在不同系统上能够准确地度量读写执行的弱一致性，直观反映不同配置下的数据一致性表现。
-
公开(公告)号：CN102122254A
公开(公告)日：2011-07-13
申请号：CN201110046662.9
申请日：2011-02-25
Applicant: 南京大学
IPC: G06F9/54
Abstract: 本发明公开了一种基于逻辑时钟的智能空间感知方法，首先在异步网络计算环境中安装传感设备，通过传感设备将环境数据发送给环境数据处理进程；环境数据处理进程将环境数据封装成本地状态；多个环境数据处理进程间互相发送特定类型消息建立逻辑时钟；并将带有逻辑时钟的本地状态发送给环境感知检测进程；检测进程收集所有处理进程发来的信息构建一致全局状态，再进行智能空间描述谓词规约的检测，通过谓词检测从而感知环境状态。本发明利用消息传递带来的逻辑时钟上的先后关系，建模智能空间环境数据的时间特性信息，屏蔽网络计算环境的异步性对感知的影响，可以很简单的得到智能空间的一致全局状态，进而便于实现智能空间感知。
-
公开(公告)号：CN118433029A
公开(公告)日：2024-08-02
申请号：CN202410554715.5
申请日：2024-05-07
Applicant: 南京大学
IPC: H04L41/0823 , H04L41/08 , H04L41/14
Abstract: 本发明公开一种基于模型的网络分区错误注入方法，应用于典型的分布式系统和分布共识系统，以发现系统中存在的问题。网络分区错误可能会造成灾难性后果，分布式领域常用的共识算法在理论上保证了容忍网络分区错误，然而在实际实现时，由于对算法的理解有误和实现细节有偏差，系统有时并不能达成所期待的容错。本发明对系统的网络分区状态进行建模，基于网络分区状态模型NetTrans应用网络分区错误注入方案生成算法自动化批量生成可理解的网络分区错误注入方案，将方案用于被测系统检验系统可靠性。基于DSLabs平台对Raft分布共识系统应用本发明，结果表明，本发明能够有效发现系统中存在的问题，检验系统的网络分区容错和可靠性。
-
Patent Agency Ranking
公开(公告)号：CN114448996A
公开(公告)日：2022-05-06
申请号：CN202210219296.0
申请日：2022-03-08
Applicant: 南京大学
IPC: H04L67/1042 , H04L67/1095 , H04L67/60 , H04L67/01 , G06F16/27
Abstract: 本发明公开一种基于计算存储分离框架下的冗余存储资源的共识方法和系统，有效改善集群系统可用性，尤其是在可用计算资源较少的情况，提高计算存储分离框架下Raft共识集群的冗余存储资源的利用率。以常见共识技术为基础的数据复制技术，过多的依赖冗余计算资源，在计算与存储两种冗余资源的利用率上缺少平衡性。本发明借助冗余存储资源完成共识过程中的日志复制和Leader节点选举的过程，从而在可用计算资源缺乏的时候借助冗余存储资源，保证集群的系统可用性。在云计算环境应用本发明，结果表明本发明有效改善集群的系统可用性，同时保证了数据的安全性。
-
公开(公告)号：CN110569267A
公开(公告)日：2019-12-13
申请号：CN201910875780.7
申请日：2019-09-17
Applicant: 南京大学
IPC: G06F16/2455 , G06F16/27
Abstract: 本发明公开一种无冲突复制集合类型支持子集操作的方法，该方法以Conflic-free Replicated Data Types(CRDT)中的Set数据结构为基础，通过组合CRSet元素的add和remove操作，消解了多副本节点集合进行子集操作时所产生的数据复制冲突，实现了子集操作的无冲突复制。在基于Redis系统实现的CRSet模型上进行了数据实验，实验结果表明，本方具有较高的副本数据一致性。
-
公开(公告)号：CN104820621B
公开(公告)日：2018-07-24
申请号：CN201510206612.0
申请日：2015-04-27
Applicant: 南京大学
IPC: G06F9/52 , G05B19/418
CPC classification number: Y02P90/02
Abstract: 本发明公开一种基于分布共享存储的智能小车协同方法，对于单个智能小车本身的适应能力，采用分解再合成的方法，利用统一的行为分解和仲裁器调度的方法简化了智能小车的开发过程，并且利用分布共享存储将这项技术在多车协同的场景下进行了扩展。共享存储作为智能小车协同应用的一个关键元素而存在于每一个参与协同的小车当中，用于描述协同情况的协同变量为小车屏蔽通信细节并提供一致性的保证，小车通过简单的读写操作读取协同变量并且在这些协同变量基础上应用分布式算法实现协同。本发明中的技术能够有效地构建分布共享存储，并且融入到单车开发的过程当中去，在典型的实际协同场景中，能够保证很高的可用性。
-
公开(公告)号：CN103347086A
公开(公告)日：2013-10-09
申请号：CN201310292264.4
申请日：2013-07-11
Applicant: 南京大学
IPC: H04L29/08
Abstract: 本发明公开了一种基于分布式协商算法的协同内核构建技术。协同内核是构建数据中心应用的一个关键元素，它部署于数据中心内的多个服务节点上。客户节点将请求发送给主服务节点：若请求属于读请求，主服务节点本地处理读请求；若请求属于写请求，主服务节点将该请求作为一条记录写入称为“副本日志”的数据结构中。副本日志基于滑动窗口技术，并通过分布式协商算法维护全局相同的日志记录。数据中心的计算设备是不可靠的，从服务节点基于副本日志检测主服务节点是否失效，并基于副本日志通过分布式协商算法选出新的主服务节点。本发明中的技术能够有效地构建协同内核，并且在典型的数据中心的环境中，能够保证很高的可用性。
-
公开(公告)号：CN116389325A
公开(公告)日：2023-07-04
申请号：CN202310324016.7
申请日：2023-03-30
Applicant: 南京大学
IPC: H04L43/18 , G06F40/30 , H04L41/069 , G10L15/18
Abstract: 本发明公开一种基于语义信息的分布式共识协议模型检验优化方法，应用于典型的分布式共识协议、分布式系统。模型的状态空间爆炸一直是模型检验的痛点，当模型较为复杂时，缓解状态空间爆炸成为了巨大的挑战；分布式共识协议涉及多服务器节点间的消息传递，节点处理逻辑复杂，消息类型多样，模型往往是复杂的。本方法基于对分布式共识协议的语义信息的分析，缓解模型的状态空间爆炸，降低了计算资源成本，同时对状态空间做了多种优化手段，帮助提高验证模型正确性或寻找模型中不变式违反的效率。以ZooKeeper原子广播协议Zab为对象应用本发明，证实了基于语义信息的模型检验优化方法的合理性。
-
-
-
-
-
-
-
-
-
Search Results
17
records
(took 0.032 seconds)
