-
公开(公告)号：CN110955672B
公开(公告)日：2023-03-24
申请号：CN201911165640.7
申请日：2019-11-25
申请人： 上海交通大学
摘要： 本发明提供了一种面向乐观并发控制的多版本支持方法及系统，包括：初始时间戳获取步骤；第一时间戳更新步骤；时间戳增加步骤；第一时间戳写回步骤；第二时间戳写回步骤；第二时间戳更新步骤；读取快照步骤；该方法及系统利用乐观并发控制的特点，高效的获取事务的时间戳；在多版本数据库中，为只读事务选取合适的数据读取版本，为读写事务选取合适的数据写入版本，使得只读事务不会受到读写事务读写冲突的影响。和传统乐观并发控制方法相比，极大的提升了只读事务的执行性能；和传统时间戳方法相比，减少了网络通信和和去除了性能瓶颈。
-
公开(公告)号：CN112148930B
公开(公告)日：2023-01-06
申请号：CN202011041143.9
申请日：2020-09-28
申请人： 上海交通大学
IPC分类号： G06F16/901 , G06F16/903
摘要： 本发明公开了一种基于RTM的图数据库系统事务处理的方法，其包括步骤：S1：使用RTM进行事务处理提交；S2：判断事务提交是否成功，当判断结果为成功时，则完成事务处理；当判断结果为不成功时，则进入步骤S3：S3：对尝试次数进行判断，当尝试次数大于等于指定次数时，使用回退方法进行事务处理，以完成指定事务的处理；当尝试次数小于指定次数时，回到步骤S1。此外，本发明公开了上述基于RTM的图数据库系统事务处理的系统以及一种存储有计算机程序的计算机可读存储介质。本发明通过使用RTM来完成绝大部分事务，相比于传统锁机制存在的大量开销和不足，本发明实现了更好的图数据库性能、可扩展性以及增加系统的吞吐量。
-
公开(公告)号：CN115202925A
公开(公告)日：2022-10-18
申请号：CN202110394608.7
申请日：2021-04-13
申请人： 上海交通大学
摘要： 本发明提供了一种基于RDMA的支持细粒度容错的共识方法，从节点在选举主节点阶段会依次执行以下步骤：从节点检查本地保存的所有节点任期；对每一个其他节点，候选节点将自身任期通过RDMA写入该节点的选举相关元数据中；对每一个步骤3中的RDMA读请求，待读请求自节点返回后，候选节点分析选举相关元数据；候选节点统计所有投票，自身得到投票数超过所有节点总数的一半，则执行步骤6，否则执行步骤7；候选节点在本地保存的多份日志拷贝中选择其中最新的一份日志拷贝；结束选举主节点阶段。本发明通过无需等待地连续发送日志项和日志索引的两个RDMA写请求和一个RDMA读请求的方式，确保一个RDMA往返就可以完成日志备份，进一步降低了日志备份的网络通信时延。
-
公开(公告)号：CN114860652A
公开(公告)日：2022-08-05
申请号：CN202210379528.9
申请日：2022-04-12
申请人： 上海交通大学
IPC分类号： G06F16/11 , G06F16/13 , G06F16/172 , G06F16/14
摘要： 本发明提供一种基于非易失性内存与Java虚拟机的文件系统及其设计方法，涉及文件系统设计技术领域，包括：文件系统调用模块：Java虚拟机在不修改用户使用的文件调用接口的前提下，修改实际实现方式，通过调用下一层的文件管理模块进行数据文件处理；文件管理模块：使用哈希表的形式存储文件描述信息，通过唯一文件路径名和文件数据的地址映射找到相应文件描述信息，从而通过文件描述信息解析存储在非易失性内存上的数据内容，并进行读写；数据文件存储模块：在非易失性内存上存储Java虚拟机能够识别的数据格式。本发明能够消除文件系统调用过程中的数据格式转化以及运行环境切换开销，减少Java应用中数据持久化的延迟并增加其访问的吞吐量。
-
公开(公告)号：CN110058921B
公开(公告)日：2021-06-22
申请号：CN201910190051.8
申请日：2019-03-13
申请人： 上海交通大学
摘要： 本发明提供了一种客户虚拟机内存动态隔离和监控方法及系统，在客户虚拟机中分别部署用户请求处理模块、扩展页表异常截获与处理模块、虚拟机监控器交互模块、扩展页表通信模块，在虚拟机监控器中分别部署扩展页表管理模块、应用行为学习模块。利用虚拟机内核地址空间隔离技术，有效防御针对内核关键数据的窃取、针对内存的随意覆写攻击。即使掌握了内核中某一模块的漏洞，也无法随意篡改受保护的关键数据。为不同模块提供不同的隔离执行环境，保护内核不受未授权的数据窃取、内存覆写攻击。使用硬件提供的虚拟化机制,加速扩展页表的切换功能，减少性能开销。
-
公开(公告)号：CN110532767B
公开(公告)日：2021-06-11
申请号：CN201910765428.8
申请日：2019-08-19
申请人： 上海交通大学
摘要： 本发明提供了一种面向SGX安全应用的内部隔离方法，利用面向SGX安全应用的内部隔离系统，该系统能够实现设定的系统库，包括一个或多个enclave；所述enclave包括一个或多个线程；所述enclave中的每个线程均包括PKRU寄存器，且所述enclave中每个线程的PKRU寄存器值互不相同，从而所述enclave中的每个线程都能够都有私有的地址空间区域，只能由本线程访问；将运行enclave的操作系统记为不可信的操作系统；本发明利用MPK性能牺牲几乎为零的优势，能够进行内存区域划分，不仅进一步减小了enclave内部程序可信计算基，而且能够满足当前云计算服务应用的安全需求。
-
公开(公告)号：CN112149808A
公开(公告)日：2020-12-29
申请号：CN202011043369.2
申请日：2020-09-28
申请人： 上海交通大学
摘要： 本发明公开了一种拓展单机图神经网络训练至分布式训练的方法，该方法通过提供图划分和数据同步拓展的功能，利用具有自动反向传播的单机图神经网络框架，只需要在原有单机图神经网络模型代码中增加少量的数据同步代码，再将大图划分至多台服务器，可以在不修改单机图神经网络框架以及不修改原有单机图神经网络模型计算逻辑的情况下，使用多台服务器实现与单机图神经网络训练等价的分布式大图训练。此外，本发明还公开了一种拓展单机图神经网络训练至分布式训练的系统。另外，本发明公开了一种存储有计算机程序的计算机可读存储介质。
-
公开(公告)号：CN112100188A
公开(公告)日：2020-12-18
申请号：CN202010905883.6
申请日：2020-09-01
申请人： 上海交通大学
IPC分类号： G06F16/23 , G06F16/2455 , G06N20/00
摘要： 本发明提供了一种基于机器学习的并发控制方法及系统，包括：将待执行事务进行初始化，并标记状态为执行中；判定执行中的事务是否存在未执行操作，若存在则查询操作执行策略继续执行，判断是否进行提前校验并执行对应操作；若不存在则根据当前事务的提交策略进行事务校验并提交；对事务累积的读操作进行正确性验证；查询事务的提交策略，根据提交策略和本事务建立的事务依赖关系进行等待操作直到事务依赖关系满足预设条件，对事务的读操作的集合进行正确性校验。本发明允许事务根据机器学习的训练结果进行任意行为的数据库操作，充分匹配不同应用场景的特点，最大程度提升系统的灵活性。
-
公开(公告)号：CN112003860A
公开(公告)日：2020-11-27
申请号：CN202010851056.3
申请日：2020-08-21
申请人： 上海交通大学
摘要： 本发明提供了一种适用于远程直接内存访问的内存管理方法、系统及介质，包括：步骤1：在发送端发送请求时，记录当前的水位值；步骤2：将当前的水位值加一；步骤3：将记录的水位值编码进RDMA请求中并发送；步骤4：将请求地址和记录的水位值存入缓存队列中；步骤5：检查网卡完成的发送请求，计算得到已完成请求的水位值；步骤6：判断缓存队列中队头记录的水位值是否小于等于已完成请求的水位值，如果是，则执行步骤7；如果不是，则结束；步骤7：释放队头记录的缓存；步骤8：将当前队头记录移出缓存列队，返回步骤6继续执行。本发明无需进行额外的内存拷贝，具有很小的管理开销，并杜绝了内存污染现象的出现，具有良好的可用性和性能。
-
公开(公告)号：CN109062929B
公开(公告)日：2020-11-06
申请号：CN201810596030.1
申请日：2018-06-11
申请人： 上海交通大学
IPC分类号： G06F16/245 , G06F16/2458 , H04L29/08
摘要： 本发明提供了一种查询任务通信方法及系统，包括：在接收到的查询请求的服务器解析查询请求，将查询请求中的查询语句分解成多个子步骤，子步骤的相关信息属于查询任务的元数据；从多个子步骤的第一个子步骤开始逐步处理查询请求，得到查询中间结果；若下一个子步骤依赖的数据在远端服务器，则将查询中间结果和查询任务的元数据分别通过GPUDirect RDMA和RDMA的方式发送给远端的服务器，远端服务器根据接收到的查询中间结果和查询任务的元数据继续处理查询请求的子步骤。本发明降低了整个通信过程的开销、避免了网络资源的争用且提高了整个查询系统的性能。
-
-
-
-
-
-
-
-
-
搜索结果
137 条记录 (耗时 0.032 秒)
