检索结果-内蒙古大学图书馆

Extending OpenMP for the Optimization of parallel Component Applications

IEEE ACCESS 2020年 8卷 95435-95441页

作者： Peng, Yunfeng Liu, Hai Anyang Normal Univ Sch Software Engn Anyang 455000 Peoples R China

Motivated by the promotion of development efficiency and performance, we research on the common performance optimization technology for parallel component applications. We define OpenMP pragmas to describe the parallel component instance calls in three types of complex structure code. By data flow analysis, we can find the parallelism potential of these codes. We extends the OpenMP pragma to support virtual computing resources and the deployment of complex structure codes on them. We provide three reference rules for the component instance tasks to be scheduled on certain resources to get better performance. To better utilize resources, we provide mapping of virtual computing resources to real resources. We extends the OpenMP programming model and execution model to accommodate the extended pragmas. The extended Babel compiler is responsible for data flow analysis. The extended CCAFFEINE framework is in charge of generating the task schedule policy. Experiments show that our performance optimization platform Bomp can get better scalability and performance than other methods existed.

关键词： Servers Task analysis Optimization Multicore processing Switched mode power supplies software parallel processing parallel component performance optimization OpenMP parallel software engineering

来源：评论

学校读者我要写书评

暂无评论

Kismet: parallel Speedup Estimates for Serial Programs 11

Kismet: Parallel Speedup Estimates for Serial Programs

引用

2011 ACM International Conference on Object Oriented Programming Systems Languages and Applications

作者： Jeon, Donghwan Garcia, Saturnino Louie, Chris Taylor, Michael Bedford Univ Calif San Diego Dept Comp Sci & Engn La Jolla CA 92093 USA

ISBN: (纸本)9781450309400

software engineers now face the difficult task of refactoring serial programs for parallel execution on multicore processors. Currently, they are offered little guidance as to how much benefit may come from this task, or how close they are to the best possible parallelization. This paper presents Kismet, a tool that creates parallel speedup estimates for unparallelized serial programs. Kismet differs from previous approaches in that it does not require any manual analysis or modification of the program. This difference allows quick analysis of many programs, avoiding wasted engineering effort on those that are fundamentally limited. To accomplish this task, Kismet builds upon the hierarchical critical path analysis (HCPA) technique, a recently developed dynamic analysis that localizes parallelism to each of the potentially nested regions in the target program. It then uses a parallel execution time model to compute an approximate upper bound for performance, modeling constraints that stem from both hardware parameters and internal program structure. Our evaluation applies Kismet to eight high-parallelism NAS parallel Benchmarks running on a 32-core AMD multicore system, five low-parallelism SpecInt benchmarks, and six medium-parallelism benchmarks running on the fine-grained MIT Raw processor. The results are compelling. Kismet is able to significantly improve the accuracy of parallel speedup estimates relative to prior work based on critical path analysis.

关键词： Measurement Performance Hierarchical Critical Path Analysis Expressible Self-parallelism Performance Estimation parallel software engineering

来源：评论

学校读者我要写书评

暂无评论

Productivity in high performance computing

引用

INTERNATIONAL JOURNAL OF HIGH PERFORMANCE COMPUTING APPLICATIONS 2004年第4期18卷 489-504页

作者： Kuck, DJ Intel Corp Parallel & Distributed Solut Div Santa Clara CA 95051 USA

HPC (high performance computing) has been a popular acronym for decades, and has been applied to many types of architectures, software and applications. The "P" has recently been overloaded to mean both performance and productivity. We present a survey of today's performance and productivity situation relative to the constituent HPC hardware and software components, and provide some analysis of current controversies and open issues. Since "HPC" will continue to be applied to whatever is happening at the leading edge of computer architecture system and development software, and algorithms an applications, there is no hope or need to define or clean up terminology (this paper uses HPC to denote hiperc and hiproc, with context determining meaning). Instead, it is important to clarify the whys and wherefores of the state of the art, in order to focus on new work that will maximize future benefits. This paper gives a broad discussion of HPC productivity in terms of effective architectures, run-time system software, and applications development tools. There are costs and trade-offs associated with each of these, and in fact multiple marketplaces consume these products. The range of demands placed on HPC, by owners and users of systems ranging from public research laboratories to private scientific and engineering companies, enrich the topic with many competing technologies and approaches. Rather than expecting to eliminate each other in the short run, these HPC competitors should be learning from one another in order to stay in the race. It seems clear that the dynamics between "commodity" and "custom" building blocks will remain at the center of HPC debates for some time, and indeed these competing forces form the engine of improvement for overall HPC cost/effectiveness.

关键词： application diversity COTS clusters HPC parallel software engineering parallel productivity run-time cluster support TCO

来源：评论

学校读者我要写书评

暂无评论

Coordinating functional processes with Haskell# 02

Coordinating functional processes with Haskell#

引用

Proceedings of the 2002 ACM symposium on Applied computing

作者： F. H. Carvalho R. M. F. Lima R. D. Lins Universidade Federal de Pernambuco R. Prof. Luiz Freire s/n Recife Brazil and Universidade Católica de Pernambuco Recife Brazil Associação de Ensino Superior de Olinda Av. Transamazônica 405 Olinda Brazil Universidade Federal de Pernambuco R. Acad. Hélio Ramos s/n Recife Brazil

ISBN: (纸本)9781581134452

This paper presents Haskell#, a parallel functional language based on coordination. Haskell# supports lazy stream communication and facilities, at coordination level, to the specification of data parallel programs. Haskell# supports a clean and complete, semantic and syntactic, separation between coordination and computation levels of programming, with several benefits to parallel program engineering. The implementation of some well-known applications in Haskell# is presented, demonstrating its expressiveness, allowing for elegant, simple, and concise specification of any static pattern of parallel, concurrent or distributed computation.

关键词： coordination Haskell parallel software engineering parallel functional programming

来源：评论

学校读者我要写书评

暂无评论

A framework for virtually transparent monitoring of parallel programs

引用

JOURNAL OF SYSTEMS ARCHITECTURE 1997年第6-7期43卷 403-423页

作者： Paganelli, F Winter, SC Wilson, DR UNIV WESTMINSTER CTR PARALLEL COMPLONDON W1M 8JSENGLAND

This paper describes an architectural framework for virtually transparent monitoring of massively-parallel computers, which combines the principle of permanent probe monitoring with generic architectural models of the monitor, and the target parallel system. A virtually transparent monitor is one in which probe effects - namely, those effects which cause a monitored program to behave differently from the same, but unmonitored one - are effectively masked at the programming level. Permanent probe monitoring is a technique for realising virtual transparency, by allowing the software monitoring probes to remain permanently active within the target parallel system. The generic monitoring architecture introduced in the paper encompasses the description of a wide range of systems ranging from simple centralised monitors to highly-distributed ones. The framework has been validated and evaluated through the experimental realisation of a message communication monitor (Monitorix) in which the target system is a token-ring message router (Routix) for a transputer-based multiprocessor. Experimental results have shown the system to be reasonably efficient.

关键词： monitoring probe-effect parallel software engineering massively-parallel computing

来源：评论

学校读者我要写书评

暂无评论

A graphical toolset for simulation modelling of parallel systems

引用

parallel COMPUTING 1997年第13期22卷 1823-1836页

作者： Delaitre, T RibeiroJusto, GR Spies, F Winter, SC University of Westminster Centre for Parallel Computing 115 New Cavendish Street London WIM 8JS United Kingdom Now working for the Laboratoire d'Informatique de Besançon Université de Franche-Comté France

In this paper, a simulation model for incorporation within a performance-oriented parallel software development environment is presented. This development environment is composed of a graphical design tool, a simulation facility, and a visualisation tool. Simulation allows parallel program performance to be predicted and design alternatives to be compared. The target parallel system models a virtual machine composed of a cluster of workstations interconnected by a local area network. The simulation model architecture is modular and extensible which allows re-configuration of the platform, The model description and the validation experiments which have been conducted to assess the correctness and the accuracy of the model are also presented.

关键词： tools and environments parallel software engineering visual parallel programming, parallel program modelling and simulation

来源：评论

学校读者我要写书评

暂无评论

OBJECT-BASED MODELING OF parallel PROGRAMS

引用

IEEE parallel & DISTRIBUTED TECHNOLOGY 1995年第2期3卷 52-63页

作者： GORTON, I GRAY, JP JELLY, I UNIV WOLLONGONG DEPT COMP SCIWOLLONGONGNSW 2522AUSTRALIA SHEFFIELD HALLAM UNIV COMP RES CTRSHEFFIELD 811S YORKSHIREENGLAND

Using a notation known as process graphs, this object-based approach to parallel software design represents designs simply and concisely. It them progressively refines them to capture all structural and dynamic-proper... 详细信息

关键词： Object Based parallel Programming Process Graphs parallel software engineering

来源：评论

学校读者我要写书评

暂无评论

A PETRI-NET BASED METHODOLOGY TO INTEGRATE QUALITATIVE AND QUANTITATIVE-ANALYSIS

引用

INFORMATION AND software TECHNOLOGY 1994年第7期36卷 435-441页

作者： HEINER, M VENTRE, G WIKARSKI, D UNIV NAPLES I-80125 NAPLESITALY

An innovative net-based methodology to integrate qualitative and quantitative analysis of distributed software systems is outlined, and an on-going prototype implementation of a related graphic-oriented tool kit is sketched. The proposed method combines qualitative analysis, monitoring and testing as well as quantitative analysis on the basis of a net-based intermediate representation of the distributed software system under consideration. All transformations (from the distributed software system into a first Petri net model, and between the different kinds of net models) can be made formally, and therefore automated to a high degree. The evaluation of quantitative properties is based on so-called object nets which are obtained by a property-preserving structural compression and quantitative expansion of the qualitative model. In this way, the frequency and delay attributes necessary to generate quantitative models are provided by the monitoring and testing component.

关键词： parallel software engineering PROCESS-ORIENTED IMPERATIVE LANGUAGES software VALIDATION STATIC ANALYSIS MONITORING TESTING PERFORMANCE EVALUATION DEPENDABILITY FORMAL METHODS PETRI NETS OBJECT NETS

来源：评论

学校读者我要写书评

暂无评论

USE OF GSPNS FOR CONCURRENT software-VALIDATION IN EPOCA

引用

INFORMATION AND software TECHNOLOGY 1994年第7期36卷 443-448页

作者： DONATELLI, S FRANCESCHINIS, G RIBAUDO, M RUSSO, S UNIV NAPLES DIPARTIMENTO INFORMAT & SISTEMISTI-80125 NAPLESITALY

The main issues related to the use of the Generalized Stochastic Petri Nets (GSPN) formalism for computer supported concurrent software comprehension and validation are discussed. A GSPN-based approach is currently under investigation in the EPOCA Project, based on the integration of the DIStributed C development system with the GreatSPN tool for editing and analysis of GSPN models.

关键词： parallel software engineering PERFORMANCE EVALUATION FORMAL METHODS GENERALIZED STOCHASTIC PETRI NETS

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：