陈海波

作品数：38被引量：113H指数：4
导出分析报告
供职机构：上海交通大学更多>>
发文主题：虚拟机内存RDMA服务器硬件特性更多>>
发文领域：自动化与计算机技术电气工程经济管理医药卫生更多>>
发文期刊：《中国学术期刊文摘》《上海交通大学学报》《前沿科学》《大数据》更多>>
所获基金：国家自然科学基金国家杰出青年科学基金国家高技术研究发展计划国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
SegTEE:面向小型端侧设备的可信执行环境系统
《计算机学报》2025年第1期188-209,共22页杜冬冬 杨璧丞 余炀 夏虞斌 丁佐华 赵永望 张磊 臧斌宇 陈海波 
国家自然科学基金重点项目(62132014);国家杰出青年科学基金项目(61925206);国家重点研发计划(2022YFB4501500,2022YFB4501502)资助。
面向万物互联、智联计算的边端场景,如何在小型端侧设备上保护用户隐私,隔离关键代码和数据,成为一个亟待突破的重要问题。现有系统通常依赖于可信执行环境,通过基于处理器的硬件扩展,保护安全敏感应用的机密性和完整性。然而,现有端侧...
关键词：操作系统 可信执行环境 RISC-V 
BrickOS:面向异构硬件资源的积木式内核
《中国科学：信息科学》2024年第3期491-513,共23页古金宇 李浩 夏虞斌 管海兵 丁佐华 赵永望 陈海波 
国家自然科学基金重点项目(批准号:62132014);国家杰出青年科学基金项目(批准号:61925206);国家自然科学基金青年科学基金项目(批准号:62202292)资助。
人机物融合的新兴领域需要新型操作系统内核以支持泛在计算,对下管控海量异构硬件,对上服务动态多变应用场景.本文提出一种积木式内核架构BrickOS,可以根据使用场景灵活选择要加入内核的系统组件,同时可以选择将系统组件运行在用户态以...
关键词：操作系统内核 组件编排 进程间通信 内存隔离 
基于PKS硬件特性的eBPF内存隔离机制被引量：1
《软件学报》2023年第12期5921-5939,共19页李浩 古金宇 夏虞斌 臧斌宇 陈海波 
国家杰出青年科学基金(61925206);华为创新计划。
Linux内核中的eBPF(extended Berkeley packet filter)机制可以将用户提供的不受信任的程序安全地加载到内核中.在eBPF机制中,检查器负责检查并保证用户提供的程序不会导致内核崩溃或者恶意地访问内核地址空间.近年来,eBPF机制得到了快...
关键词：eBPF PKS 内存隔离 操作系统内核 
你的操作系统安全吗?
《科学世界》2023年第10期108-113,共6页蔡璐 陈海波 
手机、电脑等已成为大家几乎每天都会使用的电子设备。在使用的过程中,经常会遇见“操作系统需要更新”或“系统有漏洞待修复”的提醒。那么,操作系统究竟是什么?为什么会出现漏洞?此外,随着“云计算”和“万物互联”等概念的出现,操作...
关键词：操作系统安全 云计算 上海交通大学 安全威胁 万物互联 终端设备 电子设备 漏洞 
基于图结构索引的分布式OLAP加速方法
《软件学报》2023年第10期4661-4680,共20页沈斯杰 陈榕 陈海波 臧斌宇 
国家自然科学基金面上项目(61772335)。
随着业务数据的规模增大,一些重要的应用场景需要使用分布式在线分析处理(OLAP)支持大规模数据的分析,例如商务智能(BI),企业资源计划(ERP),用户行为分析等.同时,分布式OLAP打破单机存储的限制,可以将数据放在内存中以提升OLAP的处理性...
关键词：OLAP系统 分布式系统 连接操作 索引技术 图结构 
机器学习方法赋能系统软件:挑战、实践与展望被引量：2
《计算机研究与发展》2023年第5期964-973,共10页唐楚哲 王肇国 陈海波 
国家自然科学基金项目(61925206,62272304,62132014)。
机器学习方法为构建系统软件带来了新的机遇.为充分利用硬件资源支撑新型应用,系统软件的设计与实现需要不断改进与演化,以适应不同场景的需求.机器学习方法具有从数据中提取规律并自动优化系统性能的潜力.然而,使用机器学习方法赋能系...
关键词：机器学习 系统软件 索引结构 键值存储 并发控制 
形式化方法与系统软件:实践与发展建议
《前瞻科技》2023年第1期33-45,共13页丁浩然 王肇国 付明 陈海波 
对高可靠系统软件需求的不断增加使得形式化方法在工业界引起了广泛的兴趣。文章概述了当前主流形式化方法,分析了国内外研究态势,并介绍了形式化方法在设计和实现操作系统、编译器、同步原语、文件系统、数据库系统和分布式共识协议等...
关键词：形式化方法 操作系统 数据库 文件系统 分布式共识协议 
基于锁耦合遍历算法的文件系统终止性验证被引量：1
《软件学报》2022年第8期2980-2994,共15页邹沫 谢昊彤 魏卓然 陈海波 
国家杰出青年科学基金(61925206)。
并发文件系统由于复杂的实现,容易产生死锁、无限循环等终止性漏洞,已有的文件系统证明工作都忽视了终止性的证明.证明了一个并发文件系统Atom FS的终止性,保证了每个文件系统接口在公平调度的条件下都能返回.证明Atom FS接口的终止性...
关键词：并发文件系统 终止性 形式化验证 COQ 
面向SGX2代新型可信执行环境的内存优化系统被引量：4
《软件学报》2022年第6期2012-2029,共18页李明煜 夏虞斌 陈海波 
国家杰出青年科学基金(61925206);上海市“科技创新行动计划”(21511101502)。
可信执行环境(trusted execution environment, TEE)是一种应用于隐私计算保护场景的体系结构方案,能为涉及隐私相关的数据和代码提供机密性和完整性的保护,近年来成为机器学习隐私保护、加密数据库、区块链安全等场景的研究热点.主要...
关键词：机密计算 可信执行环境 系统安全 性能优化 
基于跨虚拟机零下陷通信的加速器虚拟化框架被引量：4
《软件学报》2020年第10期3019-3037,共19页李鼎基 糜泽羽 吴保东 陈逊 赵永望 丁佐华 陈海波 
广东省重点领域研发计划(2020B010164003);国家杰出青年科学基金(61925206);上海市科委高技术支持计划(19511121100)。
人工智能技术的长足发展对于云计算的算力提出了更高的要求,云服务提供商在数据中心内添置了拥有大量并行计算单元的加速器,这些加速器需要与已有的虚拟化平台相结合以进行计算资源的划分.当前主流的加速器虚拟化方案是通过PCI透传的方...
关键词：虚拟化 加速器 人工智能 代理执行 虚拟机间通信 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部