-
公开(公告)号：CN118132670A
公开(公告)日：2024-06-04
申请号：CN202410236024.0
申请日：2024-03-01
Applicant: 上海交通大学
Abstract: 本发明提供了一种时序超图数据的存储和查询方法及系统，所述时序超图中包含顶点和时序超边，所述时序超边为连接任意数量顶点且具有类型和有效时间区间标注的边，所述存储方法包括以下步骤：获取时序超边的原始数据，包括时序超边在所述时序超图中连接的顶点、时序超边类型和有效时间区间；为各顶点、时序超边和时序超边类型编号；依据所述时序超边的原始数据构造键值对和时序超边元数据；将所述键值对逐一存入分布式键值存储中；将所述时序超边元数据分别按照有效时间区间的开始时间和截止时间升序排序后，分别存入时序超边元数据存储一和时序超边元数据存储二。
-
公开(公告)号：CN114489941B
公开(公告)日：2024-05-28
申请号：CN202210061871.9
申请日：2022-01-19
Applicant: 上海交通大学
IPC: G06F9/455 , G06F12/1009
Abstract: 本发明提供了一种运行在宿主模式用户态的虚拟机管理方法及系统，包括：步骤S1：对所需服务的虚拟机以及虚拟机管理系统进行初始化；步骤S2：用户态通过虚拟机指令进入虚拟机开始执行虚拟机的代码直至虚拟机产生下陷；步骤S3：当下陷类型符合预设要求时，则将控制流引入位于宿主模式用户态的下陷处理函数进行处理；当下陷不符合虚拟机运行结束条件时，则重复触发步骤S2至步骤S3，直至下陷类型符合虚拟机结束运行条件；步骤S4：当虚拟机运行结束则回收虚拟机所占用资源并结束虚拟机与自身所在用户态进程。
-
公开(公告)号：CN112100188B
公开(公告)日：2024-05-28
申请号：CN202010905883.6
申请日：2020-09-01
Applicant: 上海交通大学
IPC: G06F16/23 , G06F16/2455 , G06N20/00
Abstract: 本发明提供了一种基于机器学习的并发控制方法及系统，包括：将待执行事务进行初始化，并标记状态为执行中；判定执行中的事务是否存在未执行操作，若存在则查询操作执行策略继续执行，判断是否进行提前校验并执行对应操作；若不存在则根据当前事务的提交策略进行事务校验并提交；对事务累积的读操作进行正确性验证；查询事务的提交策略，根据提交策略和本事务建立的事务依赖关系进行等待操作直到事务依赖关系满足预设条件，对事务的读操作的集合进行正确性校验。本发明允许事务根据机器学习的训练结果进行任意行为的数据库操作，充分匹配不同应用场景的特点，最大程度提升系统的灵活性。
-
公开(公告)号：CN113704007B
公开(公告)日：2023-11-07
申请号：CN202111083843.9
申请日：2021-09-14
Applicant: 上海交通大学
IPC: G06F9/54 , G06F9/455 , G06F21/60 , G06F21/78 , G06F12/1009
Abstract: 本发明提供了一种利用硬件特性的无服务器计算平台加速系统，涉及虚拟机中进程间通信技术领域，该方法包括：地址空间切换模块：提供跨虚拟机的进程间调用；中心控制器模块：在所述地址空间切换模块之上，保证跨虚拟机之间的进程间调用的安全性；当进程利用空间切换模块进行跨虚拟机的进程间调用时，程序先访问中心控制器模块；共享内存域模块：保证在无服务器环境下共享内存的安全性与串行性。本发明能够减少无服务器方法之间的信息传递时间，允许无服务器方法之间进行快速、安全的控制流与数据流传递，并在整个无服务器计算过程中，提高用户代码执行时间在整个执行过程中的占比，降低用户获得结果的时延。
-
公开(公告)号：CN111143851B
公开(公告)日：2023-08-08
申请号：CN201911268776.0
申请日：2019-12-11
Applicant: 上海交通大学
IPC: G06F21/57
Abstract: 本发明提供了一种适用于操作系统内核对象地址泄露的检测方法及系统，包括：函数接口标记步骤：标记所有内核与用户空间交换数据的函数接口；数据分析步骤：根据获取的函数接口，通过编译器分析传输到用户空间的数据中是否包含指针：若包含，则进入内核指针判断步骤；若不包含，则表明该数据不泄露内核对象地址，直接返回继续分析下一待分析数据。本发明具有实现复杂度低、工程量小、分析效率高、准确性高和假阳性较低的特点，并且能检测无非法内存操作的情况下由于开发者的疏忽造成的内核对象地址泄露的情况。
-
Patent Agency Ranking
公开(公告)号：CN116225727A
公开(公告)日：2023-06-06
申请号：CN202310271041.3
申请日：2023-03-17
Applicant: 上海交通大学
IPC: G06F9/52 , G06F16/242
Abstract: 本发明提供了一种针对大规模应用程序的数据库死锁诊断方法及系统，包括：步骤S1：将待测应用程序的单元测试使用动态符号执行引擎运行，并收集执行记录；步骤S2：基于收集的执行记录构建事务级别冲突图，基于事务级别冲突图选择事务冲突环，分别根据事务冲突环构建相应的语句级别冲突图；基于语句级别冲突图提取语句冲突环；步骤S3：分别分析语句冲突环中所有冲突边是否可能产生锁冲突，当所有冲突边均可能产生锁冲突，则基于语句冲突环生成相应的死锁判定条件，并输入至SMT求解器进行求解，当求解结果为SAT，则表示有死锁发生，并提供诊断报告；当求解结果为UNSAT或求解时间超时，则表示没有死锁发生。
-
公开(公告)号：CN110874290B
公开(公告)日：2023-05-23
申请号：CN201910954875.8
申请日：2019-10-09
Applicant: 上海交通大学
Abstract: 本发明提供了一种分布式内存数据库的事务分析混合处理方法及数据库，包括：在主节点上处理事务处理的请求，在备份节点上处理分析处理的请求，并且主节点和备份节点的同步，复用原有的容错数据同步的协议。本发明可以充分利用原有的事务型数据库的容错协议和数据备份支持分布式的事务与分析混合处理，达到高资源利用率的效果，同时可以保持原来事务型数据库和分析型数据库的性能，达到达到服务高效的目的，保证了数据的新鲜度。
-
公开(公告)号：CN115952323A
公开(公告)日：2023-04-11
申请号：CN202211674509.5
申请日：2022-12-26
Applicant: 上海交通大学
IPC: G06F16/901 , G06F16/903 , G06F9/50 , G06F15/173
Abstract: 本发明提供了一种对大规模超图的查询方法及系统，包括数据加载步骤：采用分布式的方法加载并划分超图数据，并用键值对形式存储加载到内存中的超图数据；线程启动步骤：启动一个或多个代理线程以及工作线程；解析步骤：代理线程接收来自用户的超图查询请求，并对用户的查询请求进行解析，将解析后得到的超图查询任务派发给工作线程；查询步骤：工作线程收到超图查询任务后，将超图查询任务中的超图模式逐步执行得到查询结果，将查询结果返回给代理线程；反馈步骤：代理线程将查询结果返回给用户。本发明能够快速计算出当前查询所需数据所在的位置，能够更好的复用原系统的模块，也提升了超图数据的查询性能。
-
公开(公告)号：CN113448897B
公开(公告)日：2022-09-06
申请号：CN202110786480.9
申请日：2021-07-12
Applicant: 上海交通大学
Abstract: 本发明提供了一种适用于纯用户态远端直接内存访问的数组结构及优化方法，先在本地机器上分配连续的内存空间来存储多个内存指针，该指针根据使用场景不同，可以指向本地内存地址和远端服务器内存地址。在使用迭代器访问数据结构的时候，通过网络将对应的远端内存数据拷贝到本地内存以供读写。在访问结束后，通过网络将本地更新数据写回远端服务器。与现有技术相比，本发明具有低网络时延、纯用户态、抽象简单易用等特点，并且采用远端直接内存访问技术，可以绕过内存服务器中央处理器进行网络请求读写，不会增加额外的操作系统内核开销，具有良好的扩展性。
-
公开(公告)号：CN114489941A
公开(公告)日：2022-05-13
申请号：CN202210061871.9
申请日：2022-01-19
Applicant: 上海交通大学
IPC: G06F9/455 , G06F12/1009
Abstract: 本发明提供了一种运行在宿主模式用户态的虚拟机管理方法及系统，包括：步骤S1：对所需服务的虚拟机以及虚拟机管理系统进行初始化；步骤S2：用户态通过虚拟机指令进入虚拟机开始执行虚拟机的代码直至虚拟机产生下陷；步骤S3：当下陷类型符合预设要求时，则将控制流引入位于宿主模式用户态的下陷处理函数进行处理；当下陷不符合虚拟机运行结束条件时，则重复触发步骤S2至步骤S3，直至下陷类型符合虚拟机结束运行条件；步骤S4：当虚拟机运行结束则回收虚拟机所占用资源并结束虚拟机与自身所在用户态进程。
-
-
-
-
-
-
-
-
-
Search Results
145
records
(took 0.031 seconds)
