-
公开(公告)号：CN108959546A
公开(公告)日：2018-12-07
申请号：CN201810707145.3
申请日：2018-07-02
申请人： 南京大学
IPC分类号： G06F17/30
摘要： 本发明公开了一种基于逆序对的分布式键值存储系统数据弱一致性度量方法，分布式键值存储系统的读写执行记录计算出量化的弱一致性程度，帮助数据服务的使用者进行一致性与可用性、访问延迟的权衡。典型的分布式键值存储系统包含服务器与客户端，客户端发起请求，根据请求信息得到执行记录。基于逆序对的i‑atomicity弱一致性泛化模型，我们在执行记录上应用i‑atomicity判定算法度量执行记录相对于原子一致性的逆序对个数，从而度量原始执行的弱一致程度。我们在云计算环境与移动环境下分别应用i‑atomicity度量键值存储服务的数据弱一致性，结果表明i‑atomicity在不同环境和负载下能够准确地度量读写执行的弱一致性，直观反映不同配置下的数据一致性表现。
-
公开(公告)号：CN104935634A
公开(公告)日：2015-09-23
申请号：CN201510205983.7
申请日：2015-04-27
申请人： 南京大学
IPC分类号： H04L29/08
CPC分类号： H04L67/1095 , H04L67/1097
摘要： 本发明公开了一种基于分布共享存储的移动设备数据共享平台的构建技术。首先在移动设备上设置共享的数据，数据监控进程对数据进行监控，记录数据变化信息；数据管理进程对保存的信息进行分析，利用版本控制模块更新数据的版本信息，并将版本信息发送给数据同步进程；数据同步进程依照设定的同步策略，将需要同步的数据，通过数据传输模块与其它移动设备进行同步；数据传输模块利用TCP技术进行数据传输；其它设备在接收到同步信息时，利用数据管理进程中的冲突检测与消解模块，对接收到的数据进行处理，最终达到数据的同步。本发明中的技术能够有效的在不同移动设备上构建起一个数据共享平台，并允许其它应用基于该平台进行快速开发。
-
公开(公告)号：CN116414913A
公开(公告)日：2023-07-11
申请号：CN202310194394.8
申请日：2023-03-03
申请人： 南京大学
摘要： 本发明公开了一种基于可视关系的复制数据类型存储系统弱一致性度量方法，根据复制数据类型存储系统的读写执行历史计算出分等级的弱一致性程度，帮助数据服务的使用者进行一致性与可用性、访问延迟的权衡。典型的复制数据类型存储系统包含服务器与客户端，客户端发起请求，根据请求信息得到执行历史。基于可视关系的vis‑relax弱一致性泛化模型，在执行历史上应用vis‑relax判定算法度量执行历史相对于线性一致性的可视关系弱化程度，从而度量原始执行的弱一致程度。在云计算环境下应用vis‑relax对两个典型复制数据类型存储系统的数据弱一致性进行度量，结果表明vis‑relax在不同系统上能够准确地度量读写执行的弱一致性，直观反映不同配置下的数据一致性表现。
-
公开(公告)号：CN102122254A
公开(公告)日：2011-07-13
申请号：CN201110046662.9
申请日：2011-02-25
申请人： 南京大学
IPC分类号： G06F9/54
摘要： 本发明公开了一种基于逻辑时钟的智能空间感知方法，首先在异步网络计算环境中安装传感设备，通过传感设备将环境数据发送给环境数据处理进程；环境数据处理进程将环境数据封装成本地状态；多个环境数据处理进程间互相发送特定类型消息建立逻辑时钟；并将带有逻辑时钟的本地状态发送给环境感知检测进程；检测进程收集所有处理进程发来的信息构建一致全局状态，再进行智能空间描述谓词规约的检测，通过谓词检测从而感知环境状态。本发明利用消息传递带来的逻辑时钟上的先后关系，建模智能空间环境数据的时间特性信息，屏蔽网络计算环境的异步性对感知的影响，可以很简单的得到智能空间的一致全局状态，进而便于实现智能空间感知。
-
公开(公告)号：CN116389325A
公开(公告)日：2023-07-04
申请号：CN202310324016.7
申请日：2023-03-30
申请人： 南京大学
IPC分类号： H04L43/18 , G06F40/30 , H04L41/069 , G10L15/18
摘要： 本发明公开一种基于语义信息的分布式共识协议模型检验优化方法，应用于典型的分布式共识协议、分布式系统。模型的状态空间爆炸一直是模型检验的痛点，当模型较为复杂时，缓解状态空间爆炸成为了巨大的挑战；分布式共识协议涉及多服务器节点间的消息传递，节点处理逻辑复杂，消息类型多样，模型往往是复杂的。本方法基于对分布式共识协议的语义信息的分析，缓解模型的状态空间爆炸，降低了计算资源成本，同时对状态空间做了多种优化手段，帮助提高验证模型正确性或寻找模型中不变式违反的效率。以ZooKeeper原子广播协议Zab为对象应用本发明，证实了基于语义信息的模型检验优化方法的合理性。
-
公开(公告)号：CN104935634B
公开(公告)日：2018-03-30
申请号：CN201510205983.7
申请日：2015-04-27
申请人： 南京大学
IPC分类号： H04L29/08
摘要： 本发明公开了一种基于分布共享存储的移动设备数据共享平台的构建技术。首先在移动设备上设置共享的数据，数据监控进程对数据进行监控，记录数据变化信息；数据管理进程对保存的信息进行分析，利用版本控制模块更新数据的版本信息，并将版本信息发送给数据同步进程；数据同步进程依照设定的同步策略，将需要同步的数据，通过数据传输模块与其它移动设备进行同步；数据传输模块利用TCP技术进行数据传输；其它设备在接收到同步信息时，利用数据管理进程中的冲突检测与消解模块，对接收到的数据进行处理，最终达到数据的同步。本发明中的技术能够有效的在不同移动设备上构建起一个数据共享平台，并允许其它应用基于该平台进行快速开发。
-
公开(公告)号：CN103347086B
公开(公告)日：2016-06-29
申请号：CN201310292264.4
申请日：2013-07-11
申请人： 南京大学
IPC分类号： H04L29/08
摘要： 本发明公开了一种基于分布式协商算法的协同内核构建技术。协同内核是构建数据中心应用的一个关键元素，它部署于数据中心内的多个服务节点上。客户节点将请求发送给主服务节点：若请求属于读请求，主服务节点本地处理读请求；若请求属于写请求，主服务节点将该请求作为一条记录写入称为“副本日志”的数据结构中。副本日志基于滑动窗口技术，并通过分布式协商算法维护全局相同的日志记录。数据中心的计算设备是不可靠的，从服务节点基于副本日志检测主服务节点是否失效，并基于副本日志通过分布式协商算法选出新的主服务节点。本发明中的技术能够有效地构建协同内核，并且在典型的数据中心的环境中，能够保证很高的可用性。
-
公开(公告)号：CN102053864B
公开(公告)日：2013-02-27
申请号：CN201110000934.1
申请日：2011-01-05
申请人： 南京大学
IPC分类号： G06F9/46
摘要： 本发明公开了一种基于抽象格结构的异步普适计算环境感知方法。在异步的普适计算环境中，传感器设备收集环境信息，并发送给信息处理基站，局部区域的信息处理基站将环境信息封装为局部状态，并发送给服务器上的中间件处理进程，该进程将收集到的局部状态组合成全局快照，并用抽象格结构建模整个普适计算环境的变化过程，通过谓词检测来确定普适计算环境是否满足应用程序提出的特性，从而实现对异步普适计算环境的感知。由于普适计算环境的异步性，传感器设备收集到的局部环境信息是异步的，这些局部环境信息可以组成不同的全局快照，全局快照和它们之间的时序关系形成全局快照格，全面描述了异步普适计算环境的变化过程。
-
公开(公告)号：CN114448996B
公开(公告)日：2022-11-11
申请号：CN202210219296.0
申请日：2022-03-08
申请人： 南京大学
IPC分类号： H04L67/1042 , H04L67/1095 , H04L67/60 , H04L67/01 , G06F16/27
摘要： 本发明公开一种基于计算存储分离框架下的冗余存储资源的共识方法和系统，有效改善集群系统可用性，尤其是在可用计算资源较少的情况，提高计算存储分离框架下Raft共识集群的冗余存储资源的利用率。以常见共识技术为基础的数据复制技术，过多的依赖冗余计算资源，在计算与存储两种冗余资源的利用率上缺少平衡性。本发明借助冗余存储资源完成共识过程中的日志复制和Leader节点选举的过程，从而在可用计算资源缺乏的时候借助冗余存储资源，保证集群的系统可用性。在云计算环境应用本发明，结果表明本发明有效改善集群的系统可用性，同时保证了数据的安全性。
-
公开(公告)号：CN108959546B
公开(公告)日：2022-08-19
申请号：CN201810707145.3
申请日：2018-07-02
申请人： 南京大学
IPC分类号： G06F16/27
摘要： 本发明公开了一种基于逆序对的分布式键值存储系统数据弱一致性度量方法，分布式键值存储系统的读写执行记录计算出量化的弱一致性程度，帮助数据服务的使用者进行一致性与可用性、访问延迟的权衡。典型的分布式键值存储系统包含服务器与客户端，客户端发起请求，根据请求信息得到执行记录。基于逆序对的i‑atomicity弱一致性泛化模型，我们在执行记录上应用i‑atomicity判定算法度量执行记录相对于原子一致性的逆序对个数，从而度量原始执行的弱一致程度。我们在云计算环境与移动环境下分别应用i‑atomicity度量键值存储服务的数据弱一致性，结果表明i‑atomicity在不同环境和负载下能够准确地度量读写执行的弱一致性，直观反映不同配置下的数据一致性表现。
-
-
-
-
-
-
-
-
-
搜索结果
17 条记录 (耗时 0.029 秒)
