-
公开(公告)号：CN112905598A
公开(公告)日：2021-06-04
申请号：CN202110275558.0
申请日：2021-03-15
Applicant: 上海交通大学
IPC: G06F16/22 , G06F16/242 , G06F16/245
Abstract: 本发明提供了一种基于接口实现分离的图任务中间结果存储方法及系统，该方法包括：步骤S1：由服务器接受并解析客户端组合图任务请求中的查询任务与分析任务，发送给查询引擎执行；步骤S2：查询引擎确定中间结果使用的底层数据结构，执行查询任务，查询引擎将查询结果传递给分析引擎；步骤S3：使用定义的数据接口，构造分析算法使用的数据结构，并在构造出的数据结构上运行分析算法；步骤S4：使用数据接口将分析结果添加到原有的查询结果中，并将结果返回给客户端。本发明设计了一套统一的数据接口及不同种类的底层数据结构，减少了查询任务与分析任务之间的数据格式转换开销，使得在单一系统中可以进行高效的执行组合图任务。
-
公开(公告)号：CN111949596A
公开(公告)日：2020-11-17
申请号：CN202010778265.X
申请日：2020-08-05
Applicant: 上海交通大学
IPC: G06F15/163 , G06F21/52
Abstract: 本发明提供了一种基于MPK技术的微内核模块间通讯方法、系统及介质，包括：基于MPK技术的执行域步骤：通过MPK技术控制内存域的读写权限，执行域之间资源与状态互相隔离；内核模块间通讯的关卡函数步骤：关卡函数通过WRPKRU指令修改当前时刻对内存域的读写权限，进行执行域的切换；在被请求服务的内核模块所属的执行域中，在关卡函数中以函数调用的形式请求该内核模块的服务。本发明有效的降低了微内核的IPC性能开销，并通过MPK技术保证了应用该发明的微内核具有和传统微内核相同的安全性保证。
-
公开(公告)号：CN106776815B
公开(公告)日：2020-07-14
申请号：CN201611053001.8
申请日：2016-11-24
Applicant: 上海交通大学
IPC: G06F16/242
Abstract: 本发明公开了一种基于多模式切换的RDMA友好的SPARQL查询方法，其包括以下步骤：步骤一，收到消息并判断消息类型；步骤二，执行一步查询，用图遍历的方法找到新节点；步骤三，判断请求是否执行结束；步骤四，判断执行下一步需要的RDMA操作数是否大于等于临界值；步骤五，生成新的子请求，发给其他机器，记录等待的回复个数；步骤六，当所需RDMA操作数小于临界值时，直接读取远程的数据，完成下一步请求，回到步骤三。本发明能够利用高性能网络互联设备提供的远程直接内存访问模式，更合理地选择查询的执行模式，减少系统的通讯开销，提高复杂查询的并行度。
-
公开(公告)号：CN106599091B
公开(公告)日：2020-07-14
申请号：CN201611052842.7
申请日：2016-11-24
Applicant: 上海交通大学
IPC: G06F16/13 , G06F16/182 , G06F16/22
Abstract: 本发明提供了一种基于键值存储的RDF图结构存储和索引方法，其包括以下步骤：步骤一，载入图数据并进行划分；步骤二，将图数据按照边的起始节点及谓词进行聚合，并插入到键值存储中；步骤三，将图数据按照边的终止节点及谓词进行聚合，并插入到键值存储中；步骤四，生成谓词到起始节点以及谓词到终止节点的映射，即索引，并插入到键值存储中。本发明提供更加细粒度的RDF数据访问，充分利用系统的局部性，提高系统性能。
-
公开(公告)号：CN111314440A
公开(公告)日：2020-06-19
申请号：CN202010069532.6
申请日：2020-01-21
Applicant: 上海交通大学
IPC: H04L29/08 , H04L12/26 , G06F16/901 , G06F16/9032
Abstract: 本发明提供了一种图结构数据上的环检测方法及系统，包括：代理服务器接收来自多个客户端的环检测请求；代理服务器根据环检测请求的时间戳，将接收的环检测请求进行批次划分；代理服务器向各服务器发送当前批次的图更新信息；服务器将接收到的当前批次的图更新信息按时间戳以日志结构保存在本地；代理服务器将当前批次的环检测请求分发给各服务器；服务器根据环检测请求进行环检测，在环检测过程中同时读取图存储以及日志结构中的图更新信息；服务器执行完当前批的所有环检测请求，按照日志结构中的图更新信息更新本地图数据。本发明能够进行高并发的批量处理，显著地提升了环检测系统的整体性能。
-
Patent Agency Ranking
公开(公告)号：CN110609827A
公开(公告)日：2019-12-24
申请号：CN201910911854.8
申请日：2019-09-25
Applicant: 上海交通大学
Abstract: 本发明提供了一种面向分布式图数据库的数据动态迁移方法及系统，包括：由每台设备上的监控器收集数据的访问信息，将访问信息发送给一个共同的协调者，所述协调者根据访问信息与迁移策略生成迁移计划，并将迁移计划发送给每台设备上的迁移者，所述迁移者根据计划完成数据从设备中的起始端到目标端的迁移。本发明在支持细粒度迁移，即可以获得显著的性能提升的同时，避免了元数据开销；同时数据迁移十分灵活且不干扰其他操作。
-
公开(公告)号：CN110532767A
公开(公告)日：2019-12-03
申请号：CN201910765428.8
申请日：2019-08-19
Applicant: 上海交通大学
Abstract: 本发明提供了一种面向SGX安全应用的内部隔离方法，利用面向SGX安全应用的内部隔离系统，该系统能够实现设定的系统库，包括一个或多个enclave；所述enclave包括一个或多个线程；所述enclave中的每个线程均包括PKRU寄存器，且所述enclave中每个线程的PKRU寄存器值互不相同，从而所述enclave中的每个线程都能够都有私有的地址空间区域，只能由本线程访问；将运行enclave的操作系统记为不可信的操作系统；本发明利用MPK性能牺牲几乎为零的优势，能够进行内存区域划分，不仅进一步减小了enclave内部程序可信计算基，而且能够满足当前云计算服务应用的安全需求。
-
公开(公告)号：CN110058921A
公开(公告)日：2019-07-26
申请号：CN201910190051.8
申请日：2019-03-13
Applicant: 上海交通大学
Abstract: 本发明提供了一种客户虚拟机内存动态隔离和监控方法及系统，在客户虚拟机中分别部署用户请求处理模块、扩展页表异常截获与处理模块、虚拟机监控器交互模块、扩展页表通信模块，在虚拟机监控器中分别部署扩展页表管理模块、应用行为学习模块。利用虚拟机内核地址空间隔离技术，有效防御针对内核关键数据的窃取、针对内存的随意覆写攻击。即使掌握了内核中某一模块的漏洞，也无法随意篡改受保护的关键数据。为不同模块提供不同的隔离执行环境，保护内核不受未授权的数据窃取、内存覆写攻击。使用硬件提供的虚拟化机制,加速扩展页表的切换功能，减少性能开销。
-
公开(公告)号：CN110033405A
公开(公告)日：2019-07-19
申请号：CN201910213435.7
申请日：2019-03-20
Applicant: 上海交通大学
Abstract: 本发明提供了一种基于图像处理器加速的符号执行方法及系统，包括：符号执行分解步骤：将符号执行分解为可并行化部分和非并行化部分；任务分配步骤：将可并行化部分分配给GPU并行化执行，将非可并行化部分分配给CPU执行。本发明利用GPU的内核数量多、并行度高的特性去并行地执行简单的指令解析过程，以缓解路径爆炸问题从而加速符号执行。
-
公开(公告)号：CN109739836A
公开(公告)日：2019-05-10
申请号：CN201811640899.8
申请日：2018-12-29
Applicant: 上海交通大学
IPC: G06F16/21
Abstract: 本发明提供了一种用于多版本数据库选取和更新时间戳的方法和系统，初始化时间戳：将时间戳的物理时钟部分设置为当前机器的机器时钟，将时间戳的逻辑时钟部分置为0；更新时间戳：将待更新时间戳与当前时间戳进行大小比较，若待更新时间戳小于当前时间戳，则不进行时间戳更新；若待更新时间戳等于当前时间戳，则不进行时间戳更新，对当前时间戳的逻辑时钟部分进行增加；否则，则用待更新时间戳替换当前时间戳，且当前时间戳的逻辑时钟部分进行增加。和传统的时间戳相比，即能够表现更新和获取时间戳上的物理时间关系，也能够表现逻辑关系。在逻辑时钟更新的过程中，不会对物理时钟产生影响。
-
-
-
-
-
-
-
-
-
Search Results
145
records
(took 0.03 seconds)
