基于PVM的并行Lisp机制与实现

1

作者 周一萍 郑守淇 白英彩 《小型微型计算机系统》 CSCD 北大核心 1998年第8期13-19,共7页

本文提出了一种基于分布存储结构和消息传递平台的并行Ｌｉｓｐ语言，给出了Ｌｉｓｐ语言的并行机制，举例说明了并行Ｌｉｓｐ程序的设计方法，并用一个实际系统ＰＡＲＬｉｓｐ阐明了在ＰＶＭ上的主要实现方法，给出了性能测试结果。

关键词 PVM lisp语言 解释程序 并行计算

在线阅读 下载PDF 职称材料

一种基于Concurrent Apla语言的共享内存并发分布式算法2层验证方法 被引量：2

2

作者 王昌晶 余小军 +2 位作者 沈德明 罗海梅 左正康 《江西师范大学学报（自然科学版）》 CAS 北大核心 2020年第3期301-306,共6页

形式化验证共享内存并发分布式算法已成为当前极具挑战性的问题之一,尤其是在云计算、多核、无线传感器网络、分布式数据库、区块链环境下.该文基于研究团队在形式化规约语言和方法、算法形式推导和验证方面的已有工作,以自定义泛型抽... 形式化验证共享内存并发分布式算法已成为当前极具挑战性的问题之一,尤其是在云计算、多核、无线传感器网络、分布式数据库、区块链环境下.该文基于研究团队在形式化规约语言和方法、算法形式推导和验证方面的已有工作,以自定义泛型抽象顺序设计语言Apla为基础,进一步研究并提出简明、高抽象用于并发分布式计算的Concurrent Apla语言,使其既支持顺序算法的验证又能有效地验证并发分布式算法.在依赖-卫式推理的基础上,提出一种新颖的2层并发分布式算法形式化验证方法,其中系统层用于处理并发级验证,而组件层用于处理顺序级验证.最后,通过2个实例验证了该方法的有效性和可行性. 展开更多

关键词 并发分布式计算 依赖-卫式推理 concurrent APLA 形式化验证

在线阅读 下载PDF 职称材料

Hadoop平台的性能优化研究 被引量：51

3

作者 栾亚建 黄翀民 +1 位作者 龚高晟 赵铁柱 《计算机工程》 CAS CSCD 北大核心 2010年第14期262-263,266,共3页

随着基于MapReduce模型的应用程序越来越多,Hadoop性能取决于应用程序。针对上述特性,从应用着手剖析Hadoop存在的局限和不足,提出解决方案,利用作业和任务的多重并发平衡磁盘和网络带宽,减小瓶颈出现的可能性,提高系统性能。

关键词 分布式计算 存储 并发I/O 性能优化

在线阅读 下载PDF 职称材料

基于Pi-演算的Web服务组合的描述和验证 被引量：107

4

作者 廖军 谭浩 刘锦德 《计算机学报》 EI CSCD 北大核心 2005年第4期635-643,共9页

形式化方法对于建模和验证软件系统是一种有效的方法,所以对 Web服务的形式化描述和验证是一个重要的研究方向.对于Web服务及其组合来说,保证其组合正确性以实现其服务增值是十分必要的.Pi 演算是一种移动进程代数,可用于对并发和动态... 形式化方法对于建模和验证软件系统是一种有效的方法,所以对 Web服务的形式化描述和验证是一个重要的研究方向.对于Web服务及其组合来说,保证其组合正确性以实现其服务增值是十分必要的.Pi 演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模.该文基于 Pi 演算对 Web服务及其组合进行形式化描述和建模.文中说明了Pi 演算与以前形式化方法的不同之处,分析了Pi 演算应用于Web服务组合需要解决的问题.讨论了Pi 演算与Web服务协议栈的对应关系,说明了利用Pi 演算建立 Web服务组合模型的规则,指出了如何寻找代理和通道.最后建立了一个实际的模型,并利用形式化工具对建立的组合模型是否正确以及是否满足需求进行了验证. 展开更多

关键词 PI-演算 进程代数 WEB服务 服务组合 服务形式化

在线阅读 下载PDF 职称材料

CSCW系统中的并发控制机制的研究 被引量：24

5

作者 冯晨华 徐捷 +1 位作者 王鸿谷 庄钊文 《计算机工程与应用》 CSCD 北大核心 1999年第4期21-23,41,共4页

并发控制是CSCW系统的关键技术之一，旨在解决由于多用户同时操作可能产生的冲突，它与传统分布式系统的并发控制存在很大的差别。该文首先讨论了CSCW系统的并发控制机制的特点和功能需求，接着简要介绍了CSCW系统中各种并发控制方法，... 并发控制是CSCW系统的关键技术之一，旨在解决由于多用户同时操作可能产生的冲突，它与传统分布式系统的并发控制存在很大的差别。该文首先讨论了CSCW系统的并发控制机制的特点和功能需求，接着简要介绍了CSCW系统中各种并发控制方法，评述了其优缺点，着重研究了各种并发控制方法对用户接口的影响。最后，从设计实际CSCW系统的角度出发，讨论了选择和设计合适的并发控制算法应重点考虑的要素。 展开更多

关键词 并发控制 CSCW系统 人机交互

在线阅读 下载PDF 职称材料

CSCW研究中关键技术分析 被引量：9

6

作者 谭郁松 王晓东 周兴铭 《计算机科学》 CSCD 北大核心 1998年第3期34-37,共4页

1 CSCW概述 1.1CSCW的要领及分类“计算机支持协同工作”(Computer Supported Cooperative Work,CSCW)

关键词 CSCW 人机交互系统 冲突消解 并发控制

在线阅读 下载PDF 职称材料

一种集成组播代理和操作转换的并发控制方法 被引量：12

7

作者 杨武勇 史美林 姜进磊 《软件学报》 EI CSCD 北大核心 2004年第4期497-503,共7页

现有的分布式实时协作系统多采用操作转换的方法来提供并发控制服务,但是在系统数据量很大时,系统性能不高.为解决这一问题,提出了一种新的并发控制方法madOPT:该方法利用对象所定义的操作的语义进行冲突解析,集数据对象的动态载入、数... 现有的分布式实时协作系统多采用操作转换的方法来提供并发控制服务,但是在系统数据量很大时,系统性能不高.为解决这一问题,提出了一种新的并发控制方法madOPT:该方法利用对象所定义的操作的语义进行冲突解析,集数据对象的动态载入、数据传输和操作转换功能为一体.madOPT改进了dOPT(distributed operation transformation)算法在操作转换过程中对操作日志的遍历以提高并发控制效率,并将对象属性作为并发控制的粒度,使之支持对图形、图像对象的并发操作;同时结合组播代理,提高数据传输率,使系统整体性能得到改善. 展开更多

关键词 计0算机支持的协同工作 可靠组播 并发控制 全复制结构 dOPT(distributed operation transformation)

在线阅读 下载PDF 职称材料

云计算中海量数据高效索引方法 被引量：6

8

作者 黄斌 彭宇行 彭小宁 《计算机应用研究》 CSCD 北大核心 2014年第10期3075-3077,共3页

针对云计算环境中数据的海量性和分布性特点,以及现有的分布式B树索引方法存在访问效率较低的问题,提出一种云计算环境中海量数据高效索引方法,它在分布式B树的基础之上采用日志来记录节点的分裂历史,并基于节点分裂历史高效并发访问分... 针对云计算环境中数据的海量性和分布性特点,以及现有的分布式B树索引方法存在访问效率较低的问题,提出一种云计算环境中海量数据高效索引方法,它在分布式B树的基础之上采用日志来记录节点的分裂历史,并基于节点分裂历史高效并发访问分布式B树。实验结果表明,它有效提高了云计算环境中海量、分布式的数据访问和索引效率。 展开更多

关键词 云计算 分布式B树 高效 分裂历史 并发访问

在线阅读 下载PDF 职称材料

分布式系统数据一致性和并发性优化研究 被引量：7

9

作者 蒋卫寅 李斌 凌力 《计算机工程》 CAS CSCD 2012年第4期260-262,共3页

为满足云存储的高数据读写吞吐量需求,提出一种用于分布式系统的数据锁和快速定位数据锁方法。该锁结构通过细化数据覆盖的颗粒度,在确保数据一致性的前提下允许数据共享。以吞吐量和冲突率为指标进行仿真实验,结果证明,该数据锁定位方... 为满足云存储的高数据读写吞吐量需求,提出一种用于分布式系统的数据锁和快速定位数据锁方法。该锁结构通过细化数据覆盖的颗粒度,在确保数据一致性的前提下允许数据共享。以吞吐量和冲突率为指标进行仿真实验,结果证明,该数据锁定位方法可以向上层提供高性能的随机数据存取服务。 展开更多

关键词 分布式系统 云计算 哈希 B+树索引 数据锁 并发性

在线阅读 下载PDF 职称材料

全复制结构下基于对象数据模型的并发控制 被引量：34

10

作者 杨光信 史美林 《计算机学报》 EI CSCD 北大核心 2000年第2期113-125,共13页

以全复制结构实现的同步群件系统中一个重要问题就是寻求一种能够支持人机及用户间自然、自由交互的并发控制方法 .文中首先总结了以往的研究在这个问题上所取得的结果 ,并分析了这些结果的不足 .然后基于一种扩展的 ODMG对象模型给出... 以全复制结构实现的同步群件系统中一个重要问题就是寻求一种能够支持人机及用户间自然、自由交互的并发控制方法 .文中首先总结了以往的研究在这个问题上所取得的结果 ,并分析了这些结果的不足 .然后基于一种扩展的 ODMG对象模型给出了一种全新的并发控制模型 ood OPT.该模型的主要思想是利用对象本身及其上所定义的操作的语义进行冲突解析 .文中分析了不同语义对象上操作之间的冲突情况并给出了解析这些冲突的方法 .以此为基础给出了 ood OPT算法的详细描述及有关的结论 . 展开更多

关键词 群件 并发控制 全复制结构 oodoPT算法

在线阅读 下载PDF 职称材料

基于多 Agent 的分布开放计算环境模型 被引量：6

11

作者 何炎祥 吴思 +3 位作者 宋文欣 罗先林 彭锋 付杰 《高技术通讯》 EI CAS CSCD 1998年第6期16-19,共4页

介绍了Ａｇｅｎｔ的体系结构、形式定义、行为模式和通讯机制，论述了用Ａｇｅｎｔ构造分布开放计算模型的必要性，并提出了一个基于多Ａｇｅｎｔ的分布开放计算环境模型（ＭＤＯＣＥＭ）。

关键词 并发对象 多智能体 分布开放 计算环境 AGENT

在线阅读 下载PDF 职称材料

C/S 体系结构下电力企业 MIS 设计的新考虑 被引量：3

12

作者 刘林 连迩遐 《中国电机工程学报》 EI CSCD 北大核心 1998年第6期421-425,共5页

近年来，协作计算模型已由局域网工作站／文件服务器演变为客户机／服务器体系结构。本文阐述了客户机／服务器体系结构下，电力企业ＭＩＳ程序设计人员所遇到的新问题以及解决这些问题的思路。文中从数据库分布设计、功能分布设计、系... 近年来，协作计算模型已由局域网工作站／文件服务器演变为客户机／服务器体系结构。本文阐述了客户机／服务器体系结构下，电力企业ＭＩＳ程序设计人员所遇到的新问题以及解决这些问题的思路。文中从数据库分布设计、功能分布设计、系统安全性与并发控制设计、分布式计算模式的发展－Ｉｎｔｅｒｎｅｔ／Ｉｎｔｒａｎｅｔ技术的应用等几方面进行了讨论。 展开更多

关键词 局域网 电力企业 MIS 客户/服务器 体系结构

在线阅读 下载PDF 职称材料

基于分布对象的高性能计算技术的探讨 被引量：1

13

作者 王晔 刘祁 +1 位作者 王晨 张德富 《计算机工程与应用》 CSCD 北大核心 2000年第5期77-80,共4页

近几年来，分布对象技术引起了一些从事高性能计算技术研究者的注意，他们试图利用分布对象技术的封装。易于扩展和复用的特性，构造易用的、可复用的高性能计算系统。分布对象结构可分为构件框架层、分布结构层和进程通信层。针对这三... 近几年来，分布对象技术引起了一些从事高性能计算技术研究者的注意，他们试图利用分布对象技术的封装。易于扩展和复用的特性，构造易用的、可复用的高性能计算系统。分布对象结构可分为构件框架层、分布结构层和进程通信层。针对这三个层次，将基于分布对象的高性能计算研究分为三类并分别进行了综述和分析。最后简单介绍所实现的一个分布对象的高性能计算框架ＨＰＣＡ。 展开更多

关键词 分布对象 高性能计算 分布式计算 面向对象

在线阅读 下载PDF 职称材料

面向 PPC 的 CAPP 集成框架 被引量：5

14

作者 杨洪柏 王丽亚 钟延修 《上海交通大学学报》 EI CAS CSCD 北大核心 1998年第5期82-85,共4页

功能集成已成为制造系统开发研究的前沿．生产调度（ＰＰＣ）和工艺规划（ＣＡＰＰ）的集成被认为是解决目前存在问题的有效途径．在分析现有系统的基础上，提出了一个面向生产调度的工艺规划集成系统（ＣＤＩＣＡＰＰ）框架．该系统应... 功能集成已成为制造系统开发研究的前沿．生产调度（ＰＰＣ）和工艺规划（ＣＡＰＰ）的集成被认为是解决目前存在问题的有效途径．在分析现有系统的基础上，提出了一个面向生产调度的工艺规划集成系统（ＣＤＩＣＡＰＰ）框架．该系统应用并行分布式功能集成方式和层次控制结构，把两个系统有效地集成起来，其工艺计划具有适应于调度的柔性，并具有可重用性，能充分反映车间的动态性和资源利用的计划性；其工艺规划具有可实施性．并提出了实现系统的关键技术——设备时间计划表，把动态信息作为共同的决策基础． 展开更多

关键词 生产规划 控制 集成系统 CAPP PPC

在线阅读 下载PDF 职称材料

函数式语言并行化的方法 被引量：1

15

作者 古志民 郑守淇 《计算机科学》 CSCD 北大核心 1995年第2期21-22,25,共3页

Lisp作为一个表处理语言.有着悠久的历史,而COMMON LISP提供一r丰富的数据集和多程序设计模式:函数的,强制的和面向对象的〔“·幻。我们以COMMON LISP为蓝本完成T XJD一LISP/CLOS,它是为我国曙光一号机配备的.现已通过国家教委组... Lisp作为一个表处理语言.有着悠久的历史,而COMMON LISP提供一r丰富的数据集和多程序设计模式:函数的,强制的和面向对象的〔“·幻。我们以COMMON LISP为蓝本完成T XJD一LISP/CLOS,它是为我国曙光一号机配备的.现已通过国家教委组织的鉴定。最近我们正在开发COMMON LISP的并行版本,作为863计划资助项目,这个工作很有意义。该并行系统将加速计算,并且还能对XJD一 LISP/CLOS提供支持。本文就函数式语言并行化的方法进行了探讨。 展开更多

关键词 函数式语言 并行化 数据结构

在线阅读 下载PDF 职称材料

计算机应用考试系统的模拟退火算法研究 被引量：3

16

作者 厉丹 康晓凤 张丽娜 《现代电子技术》 北大核心 2020年第7期107-110,共4页

针对传统计算机应用考试系统在大规模应用时存在的任务并发拥堵问题,提出一种基于并行组合模拟退火算法的分布式计算机应用考试系统,以便提高分发效率和访问容量。该系统采用B/S结构,解决了传统C/S结构适用性较差的问题。设计中将考试... 针对传统计算机应用考试系统在大规模应用时存在的任务并发拥堵问题,提出一种基于并行组合模拟退火算法的分布式计算机应用考试系统,以便提高分发效率和访问容量。该系统采用B/S结构,解决了传统C/S结构适用性较差的问题。设计中将考试的分发服务进行拆分,并使用模拟退火算法对分配方案进行优化,优化过程考虑到了服务器数量、考生数量和位置信息等约束条件。此外,结合遗传算法和模拟退火算法进行组合改进,提高了并行性和收敛速度。算法仿真测试结果表明,提出的改进算法具有更好的快速收敛性能。实际应用结果验证了提出的设计在大规模考试应用中的可行性和运行效率。 展开更多

关键词 模拟退火算法 计算机应用考试 分配方案优化 B/S结构 仿真测试 并行性验证

在线阅读 下载PDF 职称材料

基于卫星导航基准站网的海量实时解算与服务算法 被引量：2

17

作者 顾建祥 赵奕澎 陈燕 《测绘通报》 CSCD 北大核心 2023年第11期48-53,138,共7页

大地测量基准作为现代基础测绘的重要组成部分,其建立和维持的技术手段、工具及理论方法随着社会的发展及科学的进步发生了巨大的变化。上海市卫星导航定位基准服务系统(SHCORS)通过格网化VRS技术,采用“发布七参数”的作业模式,实现了... 大地测量基准作为现代基础测绘的重要组成部分,其建立和维持的技术手段、工具及理论方法随着社会的发展及科学的进步发生了巨大的变化。上海市卫星导航定位基准服务系统(SHCORS)通过格网化VRS技术,采用“发布七参数”的作业模式,实现了面向海量用户服务,为上海地区提供了高精度、稳定的位置服务。本文对SHCORS系统构建中的关键技术进行了探讨与研究,并对其实时定位精度进行了测试。结果表明,SHCORS系统的精度满足实际应用需求。 展开更多

关键词 SHCORS 虚拟参考站 海量并发 实时地方坐标 分布式解算

在线阅读 下载PDF 职称材料

多库中并发控制的研究和实现 被引量：2

18

作者 吴婷婷 贾焰 《计算机工程与科学》 CSCD 2001年第3期51-54,共4页

多库是一组分布在多个结点上自制的数据库系统的集合 ,每个局部数据库系统可能使用不同的并发控制协议。自制和异构为保证多库系统的全局可串性带来了困难。本文首先描述了多库中全局可串性问题 ,然后介绍了并发控制服务 CCS系统的特点... 多库是一组分布在多个结点上自制的数据库系统的集合 ,每个局部数据库系统可能使用不同的并发控制协议。自制和异构为保证多库系统的全局可串性带来了困难。本文首先描述了多库中全局可串性问题 ,然后介绍了并发控制服务 CCS系统的特点及系统的逻辑流程 。 展开更多

关键词 并发控制 全局可串性 分布对象计算 多数据库系统

在线阅读 下载PDF 职称材料

实时协同设计系统中同步过程的研究 被引量：2

19

作者 吴鹏 《计算机工程与设计》 CSCD 北大核心 2007年第2期297-299,336,共4页

作为一类支持人机交互的分布式系统,实时协同设计系统允许多个用户通过网络同步的对同一文档进行编辑。实时性、分布式、用户操作无限制是该系统的3个重要要求,但由于用户的同步操作和网络传输延迟的存在,协同过程中容易产生各种不同步... 作为一类支持人机交互的分布式系统,实时协同设计系统允许多个用户通过网络同步的对同一文档进行编辑。实时性、分布式、用户操作无限制是该系统的3个重要要求,但由于用户的同步操作和网络传输延迟的存在,协同过程中容易产生各种不同步的现象。对由于站点迟到或者非正常退出协同设计系统而引起的同步性问题进行了研究,提出了同步过程,包括主控站点发送同步队列、状态矢量轮询、缺少操作补齐等步骤,解决了站点迟到或非正常退出系统而引起的同步性问题。 展开更多

关键词 分布式计算 协同设计 实时性 同步操作 人机交互

在线阅读 下载PDF 职称材料

分布式计算的并发测量 被引量：1

20

作者 贺乐天 孙永强 《软件学报》 EI CSCD 北大核心 1998年第1期30-35,共6页

本文提出了一种分布式计算的并发测量方法，这些测量使用基于局部时钟的区域向量时钟，延迟向量和计算高度等概念量化了并发计算时间和同步延迟时间，不用定义原子事件和划分事件粒度；测量机制独立于被测量的程序，容易计算，管理简单。

关键词 分布式计算 并发测量 并行程序 算法

在线阅读 下载PDF 职称材料