陆鑫达 作品数:114 被引量:286 H指数:9 供职机构: 上海交通大学电子信息与电气工程学院计算机科学与工程系 更多>> 发文基金: 国家自然科学基金 国家高技术研究发展计划 上海市科学技术委员会资助项目 更多>> 相关领域: 自动化与计算机技术 电子电信 理学 环境科学与工程 更多>>
高效并行处理的颗粒度问题 地开发程序中的并行性是当今并行系统庆用中的一个重要问题,其困难在于如何将一个程序划分为可并行执行的任务以及对这些任务进行调度。该文主要分析在调度有向无环任务图(DAG)中颗粒度大小的影响。这过程又称为任务簇化,它是一个N... 王政 陆鑫达关键词:颗粒度 DAG图 任务调度 自动验证参数化Leader Election 协议 2003年 讨论了一类Leader Election (LE)协议,该类协议通常运行在允许进程随时加入或崩溃的动态环境中,给出了LE协议的参数化版本,即考虑分布式系统中的进程数目任意多的情况。并提出了一种自动验证参数化LE协议的方法,用线性算数约束来模拟可能无限的全局状态集合,利用符号模型检测工具DMC[DP99], 文章实现了对参数化LE协议safety性质的自动验证。 徐蔚文 陆鑫达关键词:参数化系统 用户指导的并行化策略的研究与实现 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所提供的消息传递机制支持了高效的异构网络计算。但标准PVM缺乏对系统容错的支持,这可以通过使用检查点的回滚恢复方式予以弥补。该文对如何在用户级实现PVM全局容错,分析其设计思想和实现技术。主要思想是使用进行消息记录的异步检查点算法,并利用PVM守护进程和全局调度进程进行控制,所有操作对应用程序都是透明的。利用该系统还可以进一步实现PVM的透明进程迁移和负载均衡。 余洋 陆鑫达关键词:容错 PVM 软件系统 并行程序性能预测的随机分析方法 1994年 本文对并行程序性能分析作了更为深入的研究,提出了一些比较新颖的方法,使分析结果更加接近实际多机系统.具体地说,本文对并行程序的确定性性能分析作了改进,引进了随机分析方法,这是目前一种比较先进的并行程厅分析方法,从单机上模拟实现的结果可以发现,这种分析方法使得分析精度有了相当的改进. 叶蔚 陆鑫达第Ⅱ类同型异构计算系统的新加速比模型 1999年 我们最近提出了同型异构计算系统HCSMOST的概念,将它划分成三大类,并分别推导出它们的加速比模型.本文采用一种不同的应用任务模型来研究其中的第Ⅱ类HCS〈0,m,0〉系统,得出它的新加速比模型,并以HCS〈0,18,0〉系统为例,对具有不同并行性分布的计算任务获得的计算结果进行分析讨论. 郑飞 陆鑫达关键词:异构计算系统 网络并行计算 并行计算机工业的核心技术 1997年 并行和分布计算最新进展国际会议于1997年3月19日至21日在上海交通大学召开,有120人与会。会议录由IEEE Computer Society Press出版,收录论文58篇,其中并行算法8篇,并行编译14篇,分布计算11篇,并行系统结构7篇,程序设计模型6篇,并行操作系统4篇,并行应用4篇,模拟和性能评估各2篇。美国Genesis2公司董事长B.Shriver教授作了大会主题报告,题为"计算机工业的核心技术",中科院院士、国防科大计算机系周兴铭教授的特邀报告题为"中国的并行处理技术"。 陆鑫达关键词:并行计算机 计算机工业 并行计算