-
陈海波
-
-
- 所属机构:上海交通大学
- 所在地区:上海市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 臧斌宇
- 作品数：239被引量：256H指数：8
- 供职机构：上海交通大学
- 研究主题：内存 虚拟机 服务器 RDMA 控制流
- 陈榕
- 作品数：112被引量：18H指数：2
- 供职机构：上海交通大学
- 研究主题：RDMA 服务器 内存 图结构 查询语句
- 夏虞斌
- 作品数：91被引量：16H指数：2
- 供职机构：上海交通大学
- 研究主题：内存 虚拟机 硬件特性 机密 物理内存
- 管海兵
- 作品数：413被引量：208H指数：7
- 供职机构：上海交通大学
- 研究主题：虚拟机 动态二进制翻译 内存 虚拟化 翻译器
- 董明凯
- 作品数：17被引量：2H指数：1
- 供职机构：上海交通大学
- 研究主题：持久化 设计方法 用户态 分配器 索引
- 操作系统的动态更新
- 2007年
- 提出一种利用系统虚拟化技术在现有操作系统上添加动态更新功能的方法.这种方法在克服动态更新操作系统固有困难的同时摒弃了对安全点的依赖,支持在任意时刻进行动态更新.开发的Lucos原型系统能在极短时间内使用官方发布的内核补丁对Linux操作系统进行动态更新,并且性能测试表明Lucos对性能仅仅造成可以忽略的影响:相比同运行环境下的Xen-Linux只有不到1%的性能损失.
- 陈榕陈海波张逢喆臧斌宇
- 关键词：系统虚拟化操作系统可用性
- 按UIC513国际标准的振动舒适性测试技术
- 随着人类科技水平和生活水平的提高，对交通工具舒适度的要求也渐渐上升，其中列车振动舒适性是反映列车运行品质的重要指标之一。按以往常规铁路以安全为控制条件，而如今高速铁路已把“舒适”作为设计控制要求。为了量化地评估舒适度指数...
- 陈海波
- 关键词：列车振动舒适性测试技术
- 文献传递
- 对大规模超图的查询方法及系统
- 本发明提供了一种对大规模超图的查询方法及系统，包括数据加载步骤：采用分布式的方法加载并划分超图数据，并用键值对形式存储加载到内存中的超图数据；线程启动步骤：启动一个或多个代理线程以及工作线程；解析步骤：代理线程接收来自用...
- 陈榕张懿雯夏虞斌陈海波臧斌宇
- 一种抵御基于高速缓存的侧信道攻击的方法
- 本发明提供了一种抵御基于高速缓存的侧信道攻击的方法，本方法基于软硬件协同设计的动态缓存绑定方式，同时兼顾了飞地进程的安全性和运行时性能。飞地进程可以在运行时主动选择绑定/解绑最后一级缓存中每一个缓存组中的指定数量的缓存行...
- 江学强杜东夏虞斌陈海波
- 文献传递
- 形式化方法与系统软件:实践与发展建议
- 2023年
- 对高可靠系统软件需求的不断增加使得形式化方法在工业界引起了广泛的兴趣。文章概述了当前主流形式化方法,分析了国内外研究态势,并介绍了形式化方法在设计和实现操作系统、编译器、同步原语、文件系统、数据库系统和分布式共识协议等方面的实践。基于这些实践,进一步总结了形式化方法在系统软件中应用的经验,并从理论和工程两方面讨论其可能面临的挑战,最后针对这些挑战提出发展建议。
- 丁浩然王肇国付明陈海波
- 关键词：形式化方法操作系统数据库
- 模板化数据库查询计划的等价性验证方法及系统
- 本发明提供了一种模板化数据库查询计划的等价性验证方法及系统，包括：步骤S1：将两个预设符号化查询计划树结构分别转换为两个无界半环表达式；步骤S2：将两个无界半环表达式构成的等式转换为一阶逻辑表达式；步骤S3：将约束集合转...
- 王肇国杨逸存陈海波
- 基于RDMA的支持细粒度容错的共识方法及系统
- 本发明提供了一种基于RDMA的支持细粒度容错的共识方法，从节点在选举主节点阶段会依次执行以下步骤：从节点检查本地保存的所有节点任期；对每一个其他节点，候选节点将自身任期通过RDMA写入该节点的选举相关元数据中；对每一个步...
- 王肇国金炜臧斌宇陈海波
- 微内核文件系统可扩展页面缓存系统及方法
- 本发明提供了一种微内核文件系统可扩展页面缓存系统及方法，包括：模块M1：用于为与文件系统管理者服务器和文件系统服务器隔离在不同地址空间的客户端访问文件时，提供页缓存机制；模块M2：用于在每个文件系统中单独记录所有的页缓存...
- 袁澍民古金宇臧斌宇陈海波
- 面向乐观并发控制的多版本支持方法及系统
- 本发明提供了一种面向乐观并发控制的多版本支持方法及系统，包括：初始时间戳获取步骤；第一时间戳更新步骤；时间戳增加步骤；第一时间戳写回步骤；第二时间戳写回步骤；第二时间戳更新步骤；读取快照步骤；该方法及系统利用乐观并发控制...
- 陈榕魏星达陈海波臧斌宇
- 文献传递
- 基于可信执行环境的轻量级可信度量系统及方法
- 本发明提供一种基于可信执行环境的轻量级可信度量系统及方法，包括：度量服务驱动模块：接受应用层发来的度量请求，通过SMC Call将度量请求发送到安全世界中去；以及设置调度器，周期性地将CPU资源从普通世界让渡给安全世界；...
- 华志超程一同夏虞斌陈海波
