检索结果-南通市图书馆

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

基于图结构索引的分布式OLAP加速方法

软件学报 2023年第10期34卷 4661-4680页

作者：沈斯杰陈榕陈海波臧斌宇上海交通大学并行与分布式系统研究所上海200240

随着业务数据的规模增大,一些重要的应用场景需要使用分布式在线分析处理(OLAP)支持大规模数据的分析,例如商务智能(BI),企业资源计划(ERP),用户行为分析等.同时,分布式OLAP打破单机存储的限制,可以将数据放在内存中以提升OLAP的处理性... 详细信息

随着业务数据的规模增大,一些重要的应用场景需要使用分布式在线分析处理(OLAP)支持大规模数据的分析,例如商务智能(BI),企业资源计划(ERP),用户行为分析等.同时,分布式OLAP打破单机存储的限制,可以将数据放在内存中以提升OLAP的处理性能.然而,基于内存的分布式OLAP在消除磁盘I/O后,性能瓶颈转移到了连接操作.连接操作是OLAP中的一种常用操作,会进行大量的数据读取与计算操作.通过对现有的几种连接操作方式进行分析,提出了一种能够加速连接操作的图结构索引以及基于图结构索引的连接操作方式LinkJoin.图结构索引通过用户所指定的连接关系,将数据在内存中的位置以图结构的形式进行存储.基于图结构索引的连接方式,不仅能够有等同于哈希连接的较低复杂度,而且在执行过程中能减少数据读取与计算操作次数.将目前先进的开源内存OLAP系统MonetDB从单机系统扩展成分布式系统,并且在该系统上设计与实现了基于图结构索引的连接操作方式.针对该系统的图索引结构,列式存储以及分布式执行引擎这3个重要方面,进行一系列设计与优化,以提升系统的分布式OLAP处理性能.测试结果表明,在TPC-H标准测试中,基于图结构索引的连接操作对于有连接操作的查询的平均性能提升达1.64倍(最多达4.1倍).对于这些查询中的连接操作,性能提升达9.8–22.1倍.

关键词： OLAP系统分布式系统连接操作索引技术图结构

在线全文

学校读者我要写书评

暂无评论

过程繁衍及其实现方法

软件学报 1996年第11期7卷 662-668页

作者：丁永华陈彤臧斌宇朱传琪复旦大学并行处理研究所

过程的处理在并行化编译工具中是十分关键的问题，过程嵌入和跨过程信息传播是常用的解决方法．近年来，兼有前二者优点的新技术：过程繁衍（Ｃｌｏｎｉｎｇ），逐渐受到人们的重视．而以往的研究中，过程繁衍仅局限于常数值的传播．本... 详细信息

过程的处理在并行化编译工具中是十分关键的问题，过程嵌入和跨过程信息传播是常用的解决方法．近年来，兼有前二者优点的新技术：过程繁衍（Ｃｌｏｎｉｎｇ），逐渐受到人们的重视．而以往的研究中，过程繁衍仅局限于常数值的传播．本文提出了在过程繁衍中进行符号等式约束信息传播的方法，该方法可以增强系统中全局的符号分析（ＳｙｍｂｏｌｉｃＡｎａｌｙｓｉｓ）能力，并可与一些新技术（如Ｏｍｅｇａ测试）互相配合，从而提高并行化系统的能力．该方法在作者开发的并行化编译工具ＡＦＴ中得到了实现．

关键词：过程繁衍过程间分析程序传播并行计算机

顺应时代需要面向能力培养突出问题导向——软件工程专业课程体系改革探索

在线全文

学校读者我要写书评

暂无评论

中国大学教学 2018年第10期 19-24页

作者：臧斌宇上海交通大学软件学院

当前互联网+、云计算、大数据、机器学习技术不断成熟,从基础设施、计算模式、信息资源、信息应用等多个维度的技术进步来看,信息社会走进了一个全新的时代。在新的时代背景下,新的机遇和挑战要求我们对中国的计算机类本科专业课程体系... 详细信息

当前互联网+、云计算、大数据、机器学习技术不断成熟,从基础设施、计算模式、信息资源、信息应用等多个维度的技术进步来看,信息社会走进了一个全新的时代。在新的时代背景下,新的机遇和挑战要求我们对中国的计算机类本科专业课程体系进行新的思考、评估与重构。本文旨在以上海交通大学软件工程专业为具体案例,讨论并探索当前中国计算机类本科专业课程体系改革。本文首先分析了计算机类本科专业知识体系发展的三个阶段,然后详细介绍了上海交通大学软件工程本科专业的专业课程体系,最后介绍了该课程体系的三个特色。

关键词：软件工程课程体系知识体系实践体系系统能力问题导向

在线全文

学校读者我要写书评

暂无评论

指针数组的过程内别名分析

软件学报 1999年第6期10卷 600-607页

作者：黄波臧斌宇俞一峻朱传琪复旦大学并行处理研究所

指针别名分析在Ｃ语言的并行优化中占有重要的地位，但已有的指针别名分析只能处理指针标量的情况．文章在介绍已有指针别名信息表示法的不足的基础上，提出了一种能够表示指针数组别名信息的表示方法，它可以更加准确地表示指针别名信... 详细信息

指针别名分析在Ｃ语言的并行优化中占有重要的地位，但已有的指针别名分析只能处理指针标量的情况．文章在介绍已有指针别名信息表示法的不足的基础上，提出了一种能够表示指针数组别名信息的表示方法，它可以更加准确地表示指针别名信息．在此表示法的基础上，提出了指针数组的过程内别名分析算法．此算法完全包含了指针标量的别名分析，对现有的指针别名分析算法所不能解决的一些问题能进行有效地处理．

关键词：指针别名指针数组并行优化并行编译

在线全文

学校读者我要写书评

暂无评论

用计算函数模型增强数据流分析

软件学报 2000年第2期11卷 187-194页

作者：胡世亮臧斌宇朱传琪复旦大学并行处理研究所上海200433

精确的数据流分析 ,需要充分利用条件分支语句的逻辑语义 .为了简洁而有效地处理条件分支语句 ,该文提出了对应于程序段的计算函数模型 ,在该模型里表示条件分支语句的逻辑语义 ,并利用文中提出的不确定性消解方法 ,可以把通常需要逻辑... 详细信息

精确的数据流分析 ,需要充分利用条件分支语句的逻辑语义 .为了简洁而有效地处理条件分支语句 ,该文提出了对应于程序段的计算函数模型 ,在该模型里表示条件分支语句的逻辑语义 ,并利用文中提出的不确定性消解方法 ,可以把通常需要逻辑推理来处理的数据流分析问题转化为空间区域之间覆盖关系的判定问题 .而这个问题在并行化编译的理论和实践中已有比较成熟的解决办法 .

关键词：计算函数模型数据流分析并行化编译器

利用U模变换增加并行粒度与改善数据访问局部性的方法

在线全文

学校读者我要写书评

暂无评论

计算机学报 2004年第4期27卷 516-523页

作者：马国凯王欣孃王鹏臧斌宇朱传琪复旦大学并行处理研究所上海200433

提出了一种利用循环变换增加循环并行粒度 ,改善循环数据访问局部性的方法 .该方法利用了给定二重循环的相关向量集的某些性质 ,将外层循环变量不同而内层循环变量相等的若干次迭代合并 ,成为折叠后迭代空间的一个结点 ,并且保持内层循... 详细信息

提出了一种利用循环变换增加循环并行粒度 ,改善循环数据访问局部性的方法 .该方法利用了给定二重循环的相关向量集的某些性质 ,将外层循环变量不同而内层循环变量相等的若干次迭代合并 ,成为折叠后迭代空间的一个结点 ,并且保持内层循环的并行性不变 ,从而达到增加循环并行粒度的目的 .对于更普遍的情况 ,该文讨论了如何根据给定循环的循环向量集 ,确定一个U模变换对迭代空间进行变换 ,达到内层循环可并行和扩大循环粒度两个目的 .针对循环变换中数据访问局部性可能变差的问题 ,该文提出了对内层循环先合并 ,根据合并后的相关向量集变换迭代空间 ,以及折叠迭代空间的方法 .该文的方法是wavefront循环并行化方法的一种扩展 .

关键词：循环变换并行化编译 U模变换迭代空间折叠数据访问局部性 wavefront方法

在线全文

学校读者我要写书评

暂无评论

基于广播的分布式共享内存

上海交通大学学报 2018年第10期52卷 1333-1338页

作者：郑阳陈海波臧斌宇上海交通大学并行与分布式系统研究所上海200240

提出一种基于软件实现的分布式共享内存.借鉴基于广播的缓存一致性,采用不同于以往内存一致性的协议设计,以通过减少维护内存一致性所需要等待的网络消息来提高分布式共享内存的整体性能.基于这种协议设计,进一步给出切实的实现方法和... 详细信息

提出一种基于软件实现的分布式共享内存.借鉴基于广播的缓存一致性,采用不同于以往内存一致性的协议设计,以通过减少维护内存一致性所需要等待的网络消息来提高分布式共享内存的整体性能.基于这种协议设计,进一步给出切实的实现方法和针对性的优化.测试表明,这种设计相较于以往的分布式内存协议,最高可以获得45%的性能提升.

关键词：分布式共享内存内存一致性分布式系统

在线全文

学校读者我要写书评

暂无评论

一类不规则问题的自动并行性识别

软件学报 2002年第6期13卷 1178-1186页

作者：李靖臧斌宇朱传琪复旦大学并行处理研究所上海200433

传统的数据相关性分析主要针对线性数组下标表达式,并不适用于不规则计算中的循环并行性识别.利用间接数组特征分析和基于严格数组私有化定义的运行时动态测试技术来解决包含间接数组下标引用的循环并行性判断问题,给出性能估测,并与相... 详细信息

传统的数据相关性分析主要针对线性数组下标表达式,并不适用于不规则计算中的循环并行性识别.利用间接数组特征分析和基于严格数组私有化定义的运行时动态测试技术来解决包含间接数组下标引用的循环并行性判断问题,给出性能估测,并与相关工作进行了比较.

关键词：不规则问题自动并行性识别并行编译数组

在线全文

学校读者我要写书评

暂无评论

数据流分析中的区域覆盖技术

软件学报 2000年第3期11卷 334-341页

作者：胡世亮臧斌宇凌冰朱传琪复旦大学并行处理研究所上海200433

用计算函数模型进行精确的数据流分析 ,条件谓词之间的逻辑关系被转化为空间区域之间的覆盖关系 .该文讨论在各种常见的程序构造下如何表示、计算和传递 Ω区域、Φ区域 ,并在数据流分析过程中 ,利用 Ω区域、Φ区域之间的覆盖关系消除... 详细信息

用计算函数模型进行精确的数据流分析 ,条件谓词之间的逻辑关系被转化为空间区域之间的覆盖关系 .该文讨论在各种常见的程序构造下如何表示、计算和传递 Ω区域、Φ区域 ,并在数据流分析过程中 ,利用 Ω区域、Φ区域之间的覆盖关系消除条件分支语句带来的不确定性 ,以得到更精确的数据流信息 .

关键词：数据流分析区域覆盖数组符号分析数据集