-
公开(公告)号:CN116339931A
公开(公告)日:2023-06-27
申请号:CN202310465852.7
申请日:2023-04-26
Applicant: 上海交通大学
IPC: G06F9/46
Abstract: 本发明提供了一种基于细粒度事务修复的分布式并发控制方法及系统,包括:步骤S1:计算节点接收用户请求,并根据请求内容执行事务操作;步骤S2:根据执行事务操作的结果,计算节点本地提交,并将本地提交的事务入队;步骤S3:当计算节点本地事务队列塞满后,将队列中的所有事务打包成一个批处理事务,并向存储节点全局提交批处理事务;如果批处理事务在全局提交过程中不能通过验证,则通过细粒度事务修复将批处理事务恢复到能够提交状态,继续提交批处理事务。本发明利用计算节点的本地缓存来减少事务执行期间读取存储节点数据操作带来的通信,从而降低了事务执行时延。
-
-
公开(公告)号:CN111309982A
公开(公告)日:2020-06-19
申请号:CN202010148015.8
申请日:2020-03-05
Applicant: 上海交通大学
IPC: G06F16/901 , G06F16/903 , G06F16/907 , G06F16/957 , G06K9/62 , G06N20/00
Abstract: 本发明提供了一种机器学习数据索引结构的自适应结构调整方法及系统,包括:选取节点步骤:按照预设的节点编号顺序逐个选取机器学习数据索引结构中的节点;分析节点步骤:分析选取得的节点,根据节点中缓存数据量和误差范围大小执行对应的结构调整操作:若节点中缓存数据量或节点内机器学习模型的预测误差过大,则执行节点分裂步骤;若节点与其相邻节点中的缓存数据量及误差范围都过小,则两节点执行节点合并步骤;否则,则结束流程。本发明提供细粒度的机器学习索引结构调整方法,相比对全部数据重新训练,能减少重新训练模型的个数,避免结构调整时对不相关模型和缓存的性能影响。
-
公开(公告)号:CN110515707A
公开(公告)日:2019-11-29
申请号:CN201910779763.3
申请日:2019-08-22
Applicant: 上海交通大学
IPC: G06F9/46 , G06F9/48 , G06F16/2453
Abstract: 本发明提供了一种基于预先事务处理的确定性并发控制方法及系统,在确定性事务处理的基础上,通过将事务的执行置于事务调度前,充分提升了事务处理的可扩展性和性能;通过校验和重新执行保证事务执行的正确性;通过显式的等待满足事务的确定性执行,并确保每个事务最多重新执行一次;通过使用多版本数据存储,避免了只读事务阻塞事务处理;通过记录事务所需数据的地址,加速事务校验失败后的重新执行。与现有技术相比,本发明可以充分利用事务的并发性,极大地提高确定性数据库的事务处理能力;可以复用事务执行时收集的数据信息加速事务的调度;无需额外机制确定事务的完整读写集合,避免了现有技术额外的性能开销。
-
公开(公告)号:CN116225727A
公开(公告)日:2023-06-06
申请号:CN202310271041.3
申请日:2023-03-17
Applicant: 上海交通大学
IPC: G06F9/52 , G06F16/242
Abstract: 本发明提供了一种针对大规模应用程序的数据库死锁诊断方法及系统,包括:步骤S1:将待测应用程序的单元测试使用动态符号执行引擎运行,并收集执行记录;步骤S2:基于收集的执行记录构建事务级别冲突图,基于事务级别冲突图选择事务冲突环,分别根据事务冲突环构建相应的语句级别冲突图;基于语句级别冲突图提取语句冲突环;步骤S3:分别分析语句冲突环中所有冲突边是否可能产生锁冲突,当所有冲突边均可能产生锁冲突,则基于语句冲突环生成相应的死锁判定条件,并输入至SMT求解器进行求解,当求解结果为SAT,则表示有死锁发生,并提供诊断报告;当求解结果为UNSAT或求解时间超时,则表示没有死锁发生。
-
公开(公告)号:CN111651455A
公开(公告)日:2020-09-11
申请号:CN202010456178.2
申请日:2020-05-26
Applicant: 上海交通大学
IPC: G06F16/22 , G06F16/23 , G06F16/2455 , G06N20/00
Abstract: 本发明提供了一种基于机器学习的并发索引数据结构的索引方法,所述索引方法包括:组节点定位步骤:将请求中的键作为根节点的机器学习模型的输入,计算得出该键所在的组节点范围,继续在该组节点范围内将请求的键与根节点中保存的组节点的键的范围比较,找到目标键值对所在的组节点。本发明使用RCU技术和两层缓存数据结构,支持并发的缓存合并操作和索引操作,减少因索引操作被阻塞导致的性能波动,同时保障了索引数据的一致性。本发明使用两层索引结构,足够适应大数据索引请求,避免多层索引结构的节点跳转带来的性能开销。
-
公开(公告)号:CN108710638A
公开(公告)日:2018-10-26
申请号:CN201810333653.X
申请日:2018-04-13
Applicant: 上海交通大学
Abstract: 本发明提供了一种基于混合RDMA操作的分布式并发控制方法及系统,在读取远端地址已被缓存的数据、远端数据时间戳以及向远端写入事务日志时,使用RDMA的单边操作;在读取远端地址未被缓存的数据、申请远端数据锁、提交远端事务、释放远端数据锁时,使用RDMA的双边操作。与现有技术相比,本发明根据分布式并发控制协议中不同步骤的特征,针对性地使用适合的RDMA操作完成对于远程数据的访问,通过混合使用RDMA操作优化分布式并发控制过程中网络硬件和处理器硬件的使用效率。
-
公开(公告)号:CN108710638B
公开(公告)日:2020-06-12
申请号:CN201810333653.X
申请日:2018-04-13
Applicant: 上海交通大学
Abstract: 本发明提供了一种基于混合RDMA操作的分布式并发控制方法及系统,在读取远端地址已被缓存的数据、远端数据时间戳以及向远端写入事务日志时,使用RDMA的单边操作;在读取远端地址未被缓存的数据、申请远端数据锁、提交远端事务、释放远端数据锁时,使用RDMA的双边操作。与现有技术相比,本发明根据分布式并发控制协议中不同步骤的特征,针对性地使用适合的RDMA操作完成对于远程数据的访问,通过混合使用RDMA操作优化分布式并发控制过程中网络硬件和处理器硬件的使用效率。
-
-
-
-
-
-
-