陆鑫达
- 作品数：114 被引量：286H指数：9
- 供职机构：上海交通大学电子信息与电气工程学院计算机科学与工程系更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划上海市科学技术委员会资助项目更多>>
- 相关领域：自动化与计算机技术电子电信理学环境科学与工程更多>>
- 高效并行处理的颗粒度问题
- 地开发程序中的并行性是当今并行系统庆用中的一个重要问题，其困难在于如何将一个程序划分为可并行执行的任务以及对这些任务进行调度。该文主要分析在调度有向无环任务图（ＤＡＧ）中颗粒度大小的影响。这过程又称为任务簇化，它是一个Ｎ...
- 王政陆鑫达
- 关键词：颗粒度DAG图任务调度
- 自动验证参数化Leader Election 协议
- 2003年
- 讨论了一类Leader Election （LE）协议，该类协议通常运行在允许进程随时加入或崩溃的动态环境中，给出了LE协议的参数化版本，即考虑分布式系统中的进程数目任意多的情况。并提出了一种自动验证参数化LE协议的方法，用线性算数约束来模拟可能无限的全局状态集合，利用符号模型检测工具DMC[DP99]， 文章实现了对参数化LE协议safety性质的自动验证。
- 徐蔚文陆鑫达
- 关键词：参数化系统
- 并行可视化调试工具中检查点使能的研究与实现
- 与串行程序相比,并行程序调试会遇到新的问题。首先并行程序往往需要长时间运行,从而导致并行程序调试是一个尤其费时的过程;其次并行程序调试过程中,某一次调试出现的错误在下次调试的时候不一定出现,给错误跟踪带来了很大困难, 本...
- 臧德华邓倩妮陆鑫达
- 关键词：检查点
- 文献传递
- 更实际的异构并行计算模型被引量：9
- 1999年
- 通过结合多种代表性并行计算模型，给出异构环境中的HBSP模型和程序开销计算方法。采用基于消息长度的线性模型具有通信开销的计算更精确、程序和算法在异构环境中的设计灵活、且可解除原有BSP模型对h-relation的限制等优点。当构成BSP计算机的各处理机速度相同且原有BSP算法达到最优（即各处理机上所分配的计算量与通信量完全均衡）时，HBSP模型等同于原有模型。
- 黄伟民陆鑫达钟嵘
- 关键词：异构计算BSP模型并行计算模型并行计算机
- 用户指导的并行化策略的研究与实现
- 2005年
- 提出的用户指导的并行化策略,提供给程序员一个图形化的交互界面,首先由程序员选择并行算法,然后通过配置向导对所选择的并行算法进行定制,生成配置文件,然后参照配置文件自动生成并行程序的框架代码,并将程序员提供的元任务的串行代码嵌入到框架代码中,最后生成并行程序,这样程序员就可以较方便高效地编写并行程序了。
- 刘勇陆鑫达
- 关键词：框架代码元任务
- 一种基于市场机制的网格资源调价算法被引量：46
- 2004年
- 针对基于市场机制的网格资源调度中的资源调价问题 ,结合集中式同步调价算法速度快 ,以及分布式WAL RAS算法可扩展性优点 ,提出一种分布分组调价算法 首先 ,描述了实现资源调价的系统框架 :资源域Agent,资源组调价器 ;其次 ,阐述了分布分组调价算法 :根据资源价格的相关性将资源分成若干资源组 ,当资源供需发生变化后 ,各资源组调价器分别根据供需均衡调整价格到均衡价格 ;最后 ,通过实验比较了分布式WALRAS算法和提出的分布分组调价算法的性能 。
- 翁楚良陆鑫达
- 关键词：网格计算
- 工程科学高性能数值模拟计算通用平台的研究与应用
- 沈为平王普勇陆鑫达金先龙蔡贵新周培薛雷平邓倩妮刘洪许金泉李渊印
- 该项目对工程科学中三大领域——结构分析、流场计算和优化设计中的核心算法进行并行化，并开发出相应的并行计算程序。建立了一个易于使用的高性能计算软件开发的集成平台，提供并行化核心算法对应的库函数接口，使用户在不必了解并行平台...
- 关键词：
- 关键词：数值模拟
- 面向飞行器设计的网络虚拟设计环境的体系结构和关键技术研究
- 2008年
- 网络虚拟设计环境NVDE(Networked Virtual Design Environment)是在网络虚拟环境NVE(Networked Virtual Environment)中,实现多人异地的协同设计,目前主要应用领域是飞行器设计。首先介绍NVDE以网络为中心的体系结构,然后解释了两个关键技术:使用基于Windows的高性能计算实现单一平台设计和通过VLAN技术使光纤网络支持协同设计,最后总结NVDE当前的工作进展和下一步工作。
- 李波刘洪林新华陆鑫达
- 关键词：飞行器设计光纤网络
- 异步检查点容错PVM被引量：1
- 1999年
- 以工作站簇为代表的计算环境是当前分布式系统和并行计算的研究重点之一，ＰＶＭ所提供的消息传递机制支持了高效的异构网络计算。但标准ＰＶＭ缺乏对系统容错的支持，这可以通过使用检查点的回滚恢复方式予以弥补。该文对如何在用户级实现ＰＶＭ全局容错，分析其设计思想和实现技术。主要思想是使用进行消息记录的异步检查点算法，并利用ＰＶＭ守护进程和全局调度进程进行控制，所有操作对应用程序都是透明的。利用该系统还可以进一步实现ＰＶＭ的透明进程迁移和负载均衡。
- 余洋陆鑫达
- 关键词：容错PVM软件系统
- 并行程序性能预测的随机分析方法
- 1994年
- 本文对并行程序性能分析作了更为深入的研究，提出了一些比较新颖的方法，使分析结果更加接近实际多机系统．具体地说，本文对并行程序的确定性性能分析作了改进，引进了随机分析方法，这是目前一种比较先进的并行程厅分析方法，从单机上模拟实现的结果可以发现，这种分析方法使得分析精度有了相当的改进．
- 叶蔚陆鑫达
