黄林鹏
- 作品数：195 被引量：227H指数：5
- 供职机构：上海交通大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术理学经济管理电子电信更多>>
- 可字节寻址的非易失性存储器热插拔方法及装置
- 本发明公开了一种可字节寻址的非易失性存储器的热插拔方法，包括所述存储器的热添加和热移除；热添加包括物理添加和逻辑添加，热移除包括逻辑移除和物理移除；物理添加用于将所述存储器由不带电的裸设备转化为操作系统可管理的块设备；逻...
- 薛栋梁黄林鹏茅志祥施扬周纤
- 面向持久内存文件系统的事务写优化框架的方法及系统
- 本发明提供了一种面向持久内存文件系统的事务写优化框架的系统及方法，包括：元数据模块：写文件输入元数据模块，元数据模块动态备份写文件系统中的元数据以及支持元数据故障恢复；数据模块写文件输入数据模块，数据模块保证数据的一致性...
- 黄林鹏郑圣安沈艳艳陈雨亭晏艳
- 文献传递
- 面向TB量级海量空间信息的存储管理系统
- 李明禄方涛张激李治洪黄林鹏霍宏李鲁群唐宏潘群华吴颖谦丁鹏叶华裕施刚嵇成琴常菲余杰千浦争艳洪锋张明刚韩莹洁毛卫良王振杰葛来皓陈庸业潘锦程
- 本系统研究了原始空间数据的预处理；空间数据的组织、存储、索引及管理；海量空间信息的快速漫游与查询检索；空间数据共享、交换及快速分发。研究并实现了海量空间信息存储无缝拼接技术，实现了空间元数据管理及发布，提出了基于海量存储...
- 关键词：
- 关键词：空间信息海量数据
- 并行计算模型的分类和评价
- 1993年
- 随着各种并行计算机体系结构的出现及并行计算在各学科领域中的广泛应用,需要并行计算模型用以研究并行计算性质,分析并行算法;简化并行软件设计。本文对并行计算模型给出一个评价准则,并以此对现有的并行计算模型进行分类和比较。
- 倪德明黄林鹏孙永强
- 关键词：并行计算机并行计算模型
- 基于EFI上的USIM设备驱动程序开发被引量：4
- 2004年
- 以USIM驱动程序的开发为例,论述了EFI下设备驱动程序开发的过程,包括EFI驱动模式技术的使用,USIM中ATR数据的解析, APDU命令／数据包的接收和发送,以及两种USIM通信协议的实现。
- 任超黄林鹏陈颖
- 关键词：USIMATR
- 在混合内存系统上用来保证数据一致性的检查点方法
- 本发明提供了一种在混合内存系统上用来保证数据一致性的检查点方法，包括步骤：空间划分步骤：划分预定大小的非易失性内存空间为LOG区域；存储LOG步骤：进行事务执行，将系统状态保存在LOG区域的LOG中；数据恢复步骤：对系统...
- 黄林鹏沈艳艳褚幸黄凯欣
- 文献传递
- 面向软件体系结构模型的可信性评估方法
- 本发明提供了一种面向软件体系结构模型的可信性评估方法，通过提出基于Breeze/ADL，对大型复杂系统进行高层抽象，采用元建模机制扩展可信属性元素，从中抽取相关可信属性规约。抽取安全性规约，建立安全性模型，制定Breez...
- 黄林鹏陈璐希李晨吴惜文
- 文献传递
- 并发函数式语言CM的设计及实现
- 1994年
- 使用函数式语言书写的程序包含了稳式的并行性。由于表达式可以以任意次序计值，因此无需显式的并行结构来管理并行性，且可以非常方便地在并行计算机体系结构上实现，程序正确性的证明也相对简单。但一般说来在函数式语言并行实现过程中所开发的是细颗粒度的并行性，它的管理开销较大。本文在纯函数式语言Ｍｉｒａｎｄａ中引入两个并行进程构造子，它们的使用使得在粗颗粒度上管理并发进程的产生、执行、通讯、同步成为可能，从而提高了程序的执行效率。
- 黄林鹏倪德明孙永强
- 关键词：程序语言并行处理
- 一种面向普适计算的动态更新模型
- 2012年
- 首先介绍了普适计算的特点,通过对更新对象及现有更新机制进行分析,评估了已有的动态更新方法的适用性;在此基础上,提出了一种分布式的更新模型,并使用进程代数FSP进行形式化建模,对更新机制进行刻画;最后结合FSP模型验证工具检验了模型具有无死锁隐患、客户透明性和服务器正确性等3个特性,从而保证了模型的有效性。
- 杜思奇黄林鹏陈俊清陈璐希
- 关键词：普适计算分布式进程代数
- 基于校验复用的固态硬盘FTL方法、系统、设备及介质
- 本发明提供一种基于校验复用的固态硬盘FTL方法、系统、设备及介质，包括：数据写入：步骤A1：计算数据的CRC16校验码，进行预去重；步骤A2：计算数据的SHA1‑256校验码，进行去重；步骤A3：如果发现重复，直接返回写...
- 郑圣安张婉茹黄林鹏孙鹏昊惠一锋
