-
公开(公告)号：CN116225727A
公开(公告)日：2023-06-06
申请号：CN202310271041.3
申请日：2023-03-17
Applicant: 上海交通大学
IPC: G06F9/52 , G06F16/242
Abstract: 本发明提供了一种针对大规模应用程序的数据库死锁诊断方法及系统，包括：步骤S1：将待测应用程序的单元测试使用动态符号执行引擎运行，并收集执行记录；步骤S2：基于收集的执行记录构建事务级别冲突图，基于事务级别冲突图选择事务冲突环，分别根据事务冲突环构建相应的语句级别冲突图；基于语句级别冲突图提取语句冲突环；步骤S3：分别分析语句冲突环中所有冲突边是否可能产生锁冲突，当所有冲突边均可能产生锁冲突，则基于语句冲突环生成相应的死锁判定条件，并输入至SMT求解器进行求解，当求解结果为SAT，则表示有死锁发生，并提供诊断报告；当求解结果为UNSAT或求解时间超时，则表示没有死锁发生。
-
公开(公告)号：CN112434035A
公开(公告)日：2021-03-02
申请号：CN202011310093.X
申请日：2020-11-20
Applicant: 上海交通大学
IPC: G06F16/22 , G06F16/2458 , G06N20/00
Abstract: 本发明提供了一种基于机器学习的并发哈希索引数据结构的索引方法及系统，包括：步骤M1：从根节点根据请求中的键查找目标键值对所在的组节点；步骤M2：在定位得到的组节点中，根据组节点的机器学习模型计算数据位置；步骤M3：根据数据位置查找目标数据，根据请求类型进行相应操作。本发明与现有机器学习哈希索引相比，本系统会重新训练机器学习模型，在哈希冲突概率超过阈值时进行哈希扩容操作，使机器学习模型适应新插入的数据，保持索引高性能。
-
公开(公告)号：CN111651455A
公开(公告)日：2020-09-11
申请号：CN202010456178.2
申请日：2020-05-26
Applicant: 上海交通大学
IPC: G06F16/22 , G06F16/23 , G06F16/2455 , G06N20/00
Abstract: 本发明提供了一种基于机器学习的并发索引数据结构的索引方法，所述索引方法包括：组节点定位步骤：将请求中的键作为根节点的机器学习模型的输入，计算得出该键所在的组节点范围，继续在该组节点范围内将请求的键与根节点中保存的组节点的键的范围比较，找到目标键值对所在的组节点。本发明使用RCU技术和两层缓存数据结构，支持并发的缓存合并操作和索引操作，减少因索引操作被阻塞导致的性能波动，同时保障了索引数据的一致性。本发明使用两层索引结构，足够适应大数据索引请求，避免多层索引结构的节点跳转带来的性能开销。
-
公开(公告)号：CN119806886A
公开(公告)日：2025-04-11
申请号：CN202510003724.X
申请日：2025-01-02
Applicant: 上海交通大学
Abstract: 本发明提供了一种基于异步并行的服务器无感知应用分布式容错方法及系统，包括：将服务器无感知应用代码中对外部数据读写的调用转换为幂等数据读写API的调用；幂等数据读写API将读写依赖转换为对象引用的依赖链，返回结果及一个指向日志持久化结果的引用至数据存储管理器；日志异步调度器请求获取日志任务管理器储存幂等数据读写API调用的日志持久化任务及对应的语义信息，排序并构建日志持久化数据操作请求，得到日志管理结果；通过Actor模型根据日志管理结果执行数据存储管理器中的操作请求和引用。本发明能够应用在更广范围的代码中，在保证应用的幂等一致性的同时无需使用额外工具验证，具有更好的运行性能和更强的普适性。
-
公开(公告)号：CN114756579B
公开(公告)日：2025-02-14
申请号：CN202210403605.X
申请日：2022-04-18
Applicant: 上海交通大学
IPC: G06F16/2453 , G06F16/2455
Abstract: 本发明提供了一种数据库查询重写规则自动生成方法及系统，包括：步骤1：将数据库的查询计划和查询重写规则建模为可枚举的形式；步骤2：对每对查询计划模板之间的约束进行枚举，生成第一查询重写规则。与现有技术相比，本发明可生成现有数据库系统中不存在的新重写规则，能够匹配并重写更多互联网应用中由对象关系映射等框架生成的复杂查询，提升数据库查询重写能力和互联网应用下数据库查询的性能。
-
Patent Agency Ranking
公开(公告)号：CN117331961A
公开(公告)日：2024-01-02
申请号：CN202311332030.8
申请日：2023-10-13
Applicant: 上海交通大学
IPC: G06F16/242 , G06F16/2458 , G06F16/2453
Abstract: 本发明提供一种基于线性整数代数进行SQL等价性自动化证明的方法及系统，包括：计划生成步骤：对输入的SQL查询语句进行解析生成原始逻辑计划；ORDER BY处理步骤：处理原始逻辑计划中的ORDER BY排序操作，生成新的不含ORDER BY排序操作的逻辑计划，交由后续步骤进行等价性验证；U‑expression生成步骤：对逻辑计划进行解析，生成对应的代数表达式U‑expression；正规化步骤：对U‑expression进行正规化化简，生成标准形式的U‑expression；LIA*转换步骤：根据标准形式的U‑expression，生成LIA*表达式；一阶逻辑表达式生成步骤：根据LIA*表达式，生成LIA表达式，借助SMT求解器进行SQL的等价性自动化验证。本发明完善了对聚合函数等SQL特性的建模，显著增强了SQL等价性自动化验证的能力。
-
公开(公告)号：CN115357192A
公开(公告)日：2022-11-18
申请号：CN202211008099.0
申请日：2022-08-22
Applicant: 上海交通大学
IPC: G06F3/06
Abstract: 本发明提供了一种面向微内核架构的虚拟文件构建方法及系统，包括：步骤S1：利用进程隔离抽象，将文件系统实例放在不同进程中，通过进程间通信机制进行交互，使得文件系统各个元件之间相互隔离；步骤S2：将代码根据文件系统语义分层化与模块化步骤S3：修改musl‑libc适配微内核的方式，使得动态链接libc的程序无需修改放入系统中使用；步骤S4：采用惰性方式启动文件系统实例。本发明通过分析现有微内核中文件系统的支持以及它们的不足之处，采用新的技术手段提出了全新的微内核文件系统架构；不仅使得系统应用程序在文件系统接口方面二进制兼容，并且拥有较好的可扩展性与安全特性。
-
公开(公告)号：CN114756579A
公开(公告)日：2022-07-15
申请号：CN202210403605.X
申请日：2022-04-18
Applicant: 上海交通大学
IPC: G06F16/2453 , G06F16/2455
Abstract: 本发明提供了一种数据库查询重写规则自动生成方法及系统，包括：步骤1：将数据库的查询计划和查询重写规则建模为可枚举的形式；步骤2：对每对查询计划模板之间的约束进行枚举，生成第一查询重写规则。与现有技术相比，本发明可生成现有数据库系统中不存在的新重写规则，能够匹配并重写更多互联网应用中由对象关系映射等框架生成的复杂查询，提升数据库查询重写能力和互联网应用下数据库查询的性能。
-
-
公开(公告)号：CN115202925B
公开(公告)日：2025-04-25
申请号：CN202110394608.7
申请日：2021-04-13
Applicant: 上海交通大学
Abstract: 本发明提供了一种基于RDMA的支持细粒度容错的共识方法，从节点在选举主节点阶段会依次执行以下步骤：从节点检查本地保存的所有节点任期；对每一个其他节点，候选节点将自身任期通过RDMA写入该节点的选举相关元数据中；对每一个步骤3中的RDMA读请求，待读请求自节点返回后，候选节点分析选举相关元数据；候选节点统计所有投票，自身得到投票数超过所有节点总数的一半，则执行步骤6，否则执行步骤7；候选节点在本地保存的多份日志拷贝中选择其中最新的一份日志拷贝；结束选举主节点阶段。本发明通过无需等待地连续发送日志项和日志索引的两个RDMA写请求和一个RDMA读请求的方式，确保一个RDMA往返就可以完成日志备份，进一步降低了日志备份的网络通信时延。
-
-
-
-
-
-
-
-
-
Search Results
26
records
(took 0.023 seconds)
