公开(公告)号：CN108959546B

公开(公告)日：2022-08-19

申请号：CN201810707145.3

申请日：2018-07-02

Applicant: 南京大学

Inventor： 黄宇 ,  魏恒峰 ,  黄茂森

IPC: G06F16/27

Abstract: 本发明公开了一种基于逆序对的分布式键值存储系统数据弱一致性度量方法，分布式键值存储系统的读写执行记录计算出量化的弱一致性程度，帮助数据服务的使用者进行一致性与可用性、访问延迟的权衡。典型的分布式键值存储系统包含服务器与客户端，客户端发起请求，根据请求信息得到执行记录。基于逆序对的i‑atomicity弱一致性泛化模型，我们在执行记录上应用i‑atomicity判定算法度量执行记录相对于原子一致性的逆序对个数，从而度量原始执行的弱一致程度。我们在云计算环境与移动环境下分别应用i‑atomicity度量键值存储服务的数据弱一致性，结果表明i‑atomicity在不同环境和负载下能够准确地度量读写执行的弱一致性，直观反映不同配置下的数据一致性表现。

公开(公告)号：CN110569267A

公开(公告)日：2019-12-13

申请号：CN201910875780.7

申请日：2019-09-17

Applicant: 南京大学

Inventor： 黄宇 ,  周舟 ,  魏恒峰

IPC: G06F16/2455 ,  G06F16/27

Abstract: 本发明公开一种无冲突复制集合类型支持子集操作的方法，该方法以Conflic-free Replicated Data Types(CRDT)中的Set数据结构为基础，通过组合CRSet元素的add和remove操作，消解了多副本节点集合进行子集操作时所产生的数据复制冲突，实现了子集操作的无冲突复制。在基于Redis系统实现的CRSet模型上进行了数据实验，实验结果表明，本方具有较高的副本数据一致性。

公开(公告)号：CN116401165A

公开(公告)日：2023-07-07

申请号：CN202310371041.0

申请日：2023-04-04

Applicant: 深圳市腾讯计算机系统有限公司 ,  南京大学

Inventor： 魏恒峰 ,  陈育兴 ,  黄开乐 ,  陈枕戈 ,  刘思 ,  潘安群

IPC: G06F11/36

Abstract: 本申请实施例公开了一种测试方法、装置、设备、存储介质及产品。其中方法包括：获取基于待测试数据库的历史执行数据生成的有向图，根据历史执行数据中的执行记录，确定有向图中的一个或多个约束组，在有向图中生成各个约束组分别对应的第二类型有向边，基于筛选规则，对有向图中的第二类型有向边进行剪枝处理，根据至少一个约束组对应的第二类型有向边的剪枝结果，确定待测试数据库的测试结果。可见，本申请通过一个或多个约束组对应的剪枝结果，来判断待测试数据库是否通过测试，从而确定待测试数据库的隔离级别是否达到快照隔离级别。

公开(公告)号：CN116186055A

公开(公告)日：2023-05-30

申请号：CN202310163352.8

申请日：2023-02-17

Applicant: 深圳市腾讯计算机系统有限公司 ,  南京大学

Inventor： 陈育兴 ,  魏恒峰 ,  刘思 ,  欧阳鸿荣 ,  潘安群

IPC: G06F16/23 ,  G06F9/46

Abstract: 本申请实施例公开了一种数据库一致性校验的方法、装置及计算机设备；本申请实施例可以获取待检验数据库的数据操作事务和数据操作事务对应的数据操作对象；对数据操作待检验事务和数据操作事务对应的数据操作对象进行环样例生成处理，得到事务环样例；根据事务环样例中数据操作事务的属性信息，对事务环样例的操作冲突关系进行简化处理，得到简化后的事务环样例；对简化后的事务环样例进行校验脚本生成处理，得到简化后的事务环样例对应的数据库校验脚本；通过数据库校验脚本对待检验数据库待校验事务进行事务一致性校验处理，得到校验结果，提高了数据库一致性校验的效率。

公开(公告)号：CN108959546A

公开(公告)日：2018-12-07

申请号：CN201810707145.3

申请日：2018-07-02

Applicant: 南京大学

Inventor： 黄宇 ,  魏恒峰 ,  黄茂森

IPC: G06F17/30

Abstract: 本发明公开了一种基于逆序对的分布式键值存储系统数据弱一致性度量方法，分布式键值存储系统的读写执行记录计算出量化的弱一致性程度，帮助数据服务的使用者进行一致性与可用性、访问延迟的权衡。典型的分布式键值存储系统包含服务器与客户端，客户端发起请求，根据请求信息得到执行记录。基于逆序对的i‑atomicity弱一致性泛化模型，我们在执行记录上应用i‑atomicity判定算法度量执行记录相对于原子一致性的逆序对个数，从而度量原始执行的弱一致程度。我们在云计算环境与移动环境下分别应用i‑atomicity度量键值存储服务的数据弱一致性，结果表明i‑atomicity在不同环境和负载下能够准确地度量读写执行的弱一致性，直观反映不同配置下的数据一致性表现。