-
公开(公告)号：CN109947742B
公开(公告)日：2021-08-03
申请号：CN201910151025.4
申请日：2019-02-28
Applicant: 上海交通大学
Abstract: 本发明提供了一种面向二阶段锁提供高效的多版本数据库并发控制的方法和系统，利用二阶段锁作为并发控制的特点，高效的获取事务的时间戳；在多版本数据库中，为只读事务选取合适的数据读取版本，为读写事务选取合适的数据写入版本，使得只读事务和读写事务之间不会受到锁的竞争带来的影响。和传统的二阶段锁相比，只读事务和读写事务之间没有冲突，极大的提升了只读事务和读写事务的性能。和传统的时间戳方法相比，不需要一个中心的时间戳服务器，因此不会给事务带来额外的通信开销和性能瓶颈。
-
公开(公告)号：CN113064697A
公开(公告)日：2021-07-02
申请号：CN202110356366.2
申请日：2021-04-01
Applicant: 上海交通大学
Abstract: 本发明提供了一种利用多硬件特性加速微内核进程间通信的方法，涉及微内核进程通信技术领域，该方法包括：用户与系统步骤：在用户程序与系统服务之间，利用VMFUNC指令实现进程间通讯；系统服务步骤：在系统服务之间，将多个关联性强的系统服务模块放在同一个进程中，利用MPK技术保证不同系统服务模块组之间的隔离。本发明能够在不破坏微内核系统服务模块间隔离特性的基础上，大大提高微内核架构下进程间通信的效率，且能够结合使用VMFUNC，从而能够高效扩展Intel MPK能够支持隔离内存域的数量，从而满足更多进程内部隔离的场景需要。
-
公开(公告)号：CN107480254B
公开(公告)日：2021-05-11
申请号：CN201710693248.4
申请日：2017-08-14
Applicant: 上海交通大学
Abstract: 本发明提供了一种适用于分布式内存数据库的在线负载均衡方法，该方法先使用基于数据备份位置的贪心算法对当前数据库计算一个新的划分，以使新划分下每台服务器接受的请求均匀分布，然后通过在线数据迁移将新的数据划分应用在数据库中；在负载均衡过程中，控制端对执行用户请求的服务器进行在线配置。与现有技术相比，本发明能够更快的完成负载均衡，同时对事务请求的执行的影响非常小。
-
公开(公告)号：CN106970823B
公开(公告)日：2021-02-12
申请号：CN201710104010.3
申请日：2017-02-24
Applicant: 上海交通大学
Abstract: 本发明提供了一种高效的基于嵌套虚拟化的虚拟机安全保护方法及系统，包括：步骤1：将虚拟机与虚拟化层进行隔离；步骤2：实现虚拟化层软件与虚拟机的直接交互。具体地，利用嵌套虚拟化技术防止恶意的虚拟化层软件窃取和篡改虚拟机内存和磁盘的数据；对虚拟化层的操作进行检查和监控，以及对嵌套虚拟化层的软件进行安全性验证，防止恶意的虚拟化层软件纂改虚拟机的控制流。本发明相比现有的基于嵌套虚拟化的虚拟机安全解决方案，能够大量避免由于隔离机制所造成的虚拟机下陷，从而在不损失安全性的前提下，大幅度提升整个系统的性能，能够满足当下对于包括安全性、功能性和高效性在内的各方面的需求。
-
公开(公告)号：CN110033405B
公开(公告)日：2020-11-06
申请号：CN201910213435.7
申请日：2019-03-20
Applicant: 上海交通大学
Abstract: 本发明提供了一种基于图像处理器加速的符号执行方法及系统，包括：符号执行分解步骤：将符号执行分解为可并行化部分和非并行化部分；任务分配步骤：将可并行化部分分配给GPU并行化执行，将非可并行化部分分配给CPU执行。本发明利用GPU的内核数量多、并行度高的特性去并行地执行简单的指令解析过程，以缓解路径爆炸问题从而加速符号执行。
-
Patent Agency Ranking
公开(公告)号：CN108762915B
公开(公告)日：2020-11-06
申请号：CN201810356556.2
申请日：2018-04-19
Applicant: 上海交通大学
IPC: G06F9/50
Abstract: 本发明提供了一种在GPU内存中缓存RDF数据的方法，包括如下步骤：将RDF三元组数据集加载到内存中，以键值对形式存储成一张哈希表，哈希表被划分成多个区域；在GPU内存中分配一块区域用来缓存RDF数据，将内存区域划分成固定大小的块；对于每个谓词段，计算其需要多少个GPU内存块来存储其中的键值对数据；服务端接收查询请求，将查询请求分解成多个查询步骤；对于每个查询步骤的三元组，找到其中的谓词在哈希表中对应的谓词段，为其分配所需的GPU内存块；将谓词段中的键值对拷贝到GPU内存块中，并且将映射表中与该谓词段对应的信息拷贝到GPU内存中；在GPU上处理一个查询步骤时，通过映射表和映射函数找到某对特定的键值对在GPU内存中的存储位置，完成数据访问。
-
公开(公告)号：CN109739836B
公开(公告)日：2020-09-04
申请号：CN201811640899.8
申请日：2018-12-29
Applicant: 上海交通大学
IPC: G06F16/21
Abstract: 本发明提供了一种用于多版本数据库选取和更新时间戳的方法和系统，初始化时间戳：将时间戳的物理时钟部分设置为当前机器的机器时钟，将时间戳的逻辑时钟部分置为0；更新时间戳：将待更新时间戳与当前时间戳进行大小比较，若待更新时间戳小于当前时间戳，则不进行时间戳更新；若待更新时间戳等于当前时间戳，则不进行时间戳更新，对当前时间戳的逻辑时钟部分进行增加；否则，则用待更新时间戳替换当前时间戳，且当前时间戳的逻辑时钟部分进行增加。和传统的时间戳相比，即能够表现更新和获取时间戳上的物理时间关系，也能够表现逻辑关系。在逻辑时钟更新的过程中，不会对物理时钟产生影响。
-
公开(公告)号：CN106528849B
公开(公告)日：2020-08-04
申请号：CN201611060155.X
申请日：2016-11-24
Applicant: 上海交通大学
IPC: G06F16/242 , G06F16/2455 , G06F16/2458
Abstract: 本发明提供了一种面向完整历史记录的图查询开销方法，包括：步骤1：服务器在加载原始数据时，收集开销预测所需数据并进行统计；步骤2：服务器接收客户端的查询请求，解析查询请求中的查询语句；步骤3：选择查询三元组的顺序，判断查询顺序的合理性；步骤4：预测查询开销。本发明面向完整历史记录的图查询开销预测，能够充分利用完整历史记录查询方式的特点，对查询开销进行准确估计，选择高效的查询顺序，充分利用高性能网络的特性；还考虑到分布式环境下高性能网络的通讯也会对查询延迟带来影响；能根据模型预测特定查询请求的延迟，并选择开销最小的查询三元组的顺序，提升图查询系统的整体性能。
-
公开(公告)号：CN110908794A
公开(公告)日：2020-03-24
申请号：CN201910954294.4
申请日：2019-10-09
Applicant: 上海交通大学
IPC: G06F9/50
Abstract: 本发明提供了一种基于任务窃取算法的任务窃取方法及系统，包括：步骤1：将系统中的各个线程按编号从小到大排列形成队列，并且队列首尾相连形成一个环；步骤2：针对当前线程，判断下一个线程的状态；若处于过载状态，则从过载线程的任务列队中窃取计算任务，若处于正常状态，则执行步骤A；步骤3：在本地执行步骤2窃取的计算任务，然后执行步骤2，继续查看过载线程的下一个线程的状态；步骤A：判断本地队列是否存在排队等待的计算任务，若列队非空，则执行当前线程列队中的计算任务；若列队为空，则完成了一次Ring Stealing过程。本发明可以让一个正常状态的线程分担多个过载线程的负载压力，减小请求的延时。
-
公开(公告)号：CN110677461A
公开(公告)日：2020-01-10
申请号：CN201910842562.3
申请日：2019-09-06
Applicant: 上海交通大学
IPC: H04L29/08
Abstract: 本发明提供了一种基于键值对存储的图计算方法，包括：服务器加载原始图数据集，按照键值对的方式存储到内存中；针对图计算任务，为键值对存储增加遍历索引。服务端接收客户端发送过来的图计算请求，将其解析完成后发送给图计算引擎执行。图计算引擎通过遍历索引访问图数据，更新本地键值存储中属于键的键顶点,并且将更新的键顶点发送给远方服务器；接收其它服务器发送过来的更新数据，然后对本地数据进行更新。重复上述步骤至所有计算已经完成，将计算结果返回给客户端。本发明使用了遍历索引，加快图数据遍历速度，同时充分利用键值对的分布特点来进行数据的传播和更新，减少了通讯的开销，使得在键值对的存储模式下也能进行高效的图计算。
-
-
-
-
-
-
-
-
-
Search Results
145
records
(took 0.045 seconds)
