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

Tiling on systems with communication computation overlap

CONCURRENCY-PRACTICE AND EXPERIENCE 1999年第3期11卷 139-153页

作者： Calland, PY Dongarra, J Robert, Y Ecole Normale Super Lyon LIP F-69364 Lyon 07 France Univ Tennessee Dept Comp Sci Knoxville TN 37996 USA Oak Ridge Natl Lab Math Sci Sect Oak Ridge TN 37831 USA

In the framework of fully permutable loops, tiling is a compiler technique (also known as 'loop blocking') that has been extensively studied as a source-to-source program transformation. Little work has been devoted to the mapping and scheduling of the tiles on to physical parallel processors. We present several new results in the context of limited computational resources and assuming communication-computation overlap. In particular, under some reasonable assumptions, we derive the optimal mapping and scheduling of tiles to physical processors. Copyright (C) 1999 John Wiley & Sons, Ltd.

关键词： program compilers

来源：评论

学校读者我要写书评

暂无评论

Achieving High Performance the Functional Way: Expressing High-Performance Optimizations as Rewrite Strategies

引用

COMMUNICATIONS OF THE ACM 2022年第3期66卷 89-97页

作者： Hagedorn, Bastian Lenfers, Johannes Koehler, Thomas Qin, Xueying Gorlatch, Sergei Steuwer, Michel NVIDIA Wurselen Germany Univ Munster Munster Germany Univ Glasgow Glasgow Lanark Scotland Univ Edinburgh Edinburgh Midlothian Scotland

Optimizing programs to run efficiently on modern parallel hardware is hard but crucial for many applications. The predominantly used imperative languages force the programmer to intertwine the code describing functionality and optimizations. This results in a portability nightmare that is particularly problematic given the accelerating trend toward specialized hardware devices to further increase efficiency. Many emerging domain-specific languages (DSLs) used in performance-demanding domains such as deep learning attempt to simplify or even fully automate the optimization process. Using a high-level-often functional-language, programmers focus on describing functionality in a declarative way. In some systems such as Halide or TVM, a separate schedule specifies how the program should be optimized. Unfortunately, these schedules are not written in well-defined programming languages. Instead, they are implemented as a set of ad hoc predefined APIs that the compiler writers have exposed. In this paper, we show how to employ functional programming techniques to solve this challenge with elegance. We present two functional languages that work together-each addressing a separate concern. RISE is a functional language for expressing computations using well-known data-parallel patterns. ELEVATE is a functional language for describing optimization strategies. A high-level RISE program is transformed into a low-level form using optimization strategies written in ELEVATE. From the rewritten low-level program, high-performance parallel code is automatically generated. In contrast to existing high-performance domain-specific systems with scheduling APIs, in our approach programmers are not restricted to a set of built-in operations and optimizations but freely define their own computational patterns in RISE and optimization strategies in ELEVATE in a composable and reusable way. We show how our holistic functional approach achieves competitive performance with the state-of-the-ar

关键词： program compilers

来源：评论

学校读者我要写书评

暂无评论

COMPILER OPTIMIZATIONS FOR ENHANCING PARALLELISM AND THEIR IMPACT ON ARCHITECTURE DESIGN

引用

IEEE TRANSACTIONS ON COMPUTERS 1988年第8期37卷 991-1004页

作者： POLYCHRONOPOULOS, CD Center for Superconducting Res. & Dev. Illinois Univ. Urbana IL USA Abstract Authors References Cited By Keywords Metrics Similar Download Citation Email Print Request Permissions

By examining the structure and characteristics of parallel programs the author isolates potential overhead sources. The first compiler optimization considered is cycle shrinking which can be used to parallelize certain types of serial loops. A run-time dependence analysis is then considered along with how it can be performed through compiler-inserted bookkeeping and control statements. Loops with unstructured parallelism, that cannot benefit from existing optimizations, can be parallelized through run-time dependence checking. Finally, barrier synchronization is discussed as one of the most serious sources of run-time overhead in parallel programs. To reduce the impact of barriers, the author briefly discusses the implementation of distributed barriers through the use of a set of shared registers

关键词： Optimisation Parallel programming program compilers Parallel programs Cycle Shrinking Run Time Dependence Analysis Compiler Inserted Bookkeeping Barrier Synchronization Run Time Overhead Distributed Barriers Shared Registers Design Optimization Optimizing compilers Runtime Parallel Processing Parallel Machines Performance Analysis Registers Application Software Hardware Concurrent Computing

来源：评论

学校读者我要写书评

暂无评论

Compilation approach for coarse-grained reconfigurable architectures

引用

IEEE DESIGN & TEST OF COMPUTERS 2003年第1期20卷 26-33页

作者： Lee, JE Choi, K Dutt, ND Seoul Natl Univ Sch Elect Engn & Comp Sci Seoul 151742 South Korea Univ Calif Irvine Irvine CA USA

Coarse-grained reconfigurable architectures can enhance the performance of critical loops and computation-intensive functions. Such architectures need efficient compilation techniques to map algorithms onto customized architectural configurations. A new compilation approach uses a generic reconfigurable architecture to tackle the memory bottleneck that typically limits the performance of many applications.

关键词： program compilers Reconfigurable Architectures Memory Bottleneck Coarse Grained Reconfigurable Architectures Critical Loops Computation Intensive Functions Compilation Techniques Algorithm Mapping Customized Architectural Configurations Generic Reconfigurable Architecture Reconfigurable Architectures Microarchitecture Delay Registers Computer Architecture Design Methodology Hardware Space Exploration Architecture Description Languages Timing

来源：评论

学校读者我要写书评

暂无评论

Exception-oriented programming: retrofitting code-reuse attacks to construct kernel malware

引用

IET INFORMATION SECURITY 2016年第6期10卷 418-424页

作者： Deng, Liang Zeng, Qingkai Nanjing Univ State Key Lab Novel Software Technol Nanjing 210023 Jiangsu Peoples R China Nanjing Univ Dept Comp Sci & Technol Nanjing 210023 Jiangsu Peoples R China

Commodity operating system kernels are vulnerable to a wide range of attacks due to the large code base and broad attack surface. Mitigation mechanisms such as code signing, W circle plus X, and code integrity protection have raised the bar for kernel security. In turn, attack mechanisms have also become increasingly advanced. They have evolved from simple injection of malicious code into more sophisticated code-reuse attacks [e.g. return-oriented programming (ROP)]. In this study, the authors describe exception-oriented programming (EOP), a novel code-reuse method to construct kernel malware. Unlike previous ROP that can only reuse a limited part of existing code (gadgets), EOP is able to reuse any instruction in existing code and chain the instructions in any order to generate malicious programmes. As a result, EOP can provide the attackers with more powerful capabilities and less complexity for building kernel malware.

关键词： object-oriented programming invasive software operating systems (computers) program compilers exceptio-oriented programming code-reuse approach kernel malware construction commodity operating system mitigation mechanism attack mechanism malicious code injection sophisticated code-reuse attack EOP malicious programme generation

来源：评论

学校读者我要写书评

暂无评论

Are We There Yet? Simple Language Implementation Techniques for the 21st Century

引用

IEEE SOFTWARE 2014年第5期31卷 60-67页

作者： Marr, Stefan Pape, Tobias De Meuter, Wolfgang Inria Lille Nord Europe RMoD Grp Lille France Univ Potsdam Hasso Plattner Inst Robert Hirschfelds Software Architecture Grp Potsdam Germany Vrije Univ Brussel Brussels Belgium

Research on language implementation techniques has regained importance with the rise of domain-specific languages (DSLs). Although DSLs can help manage a domain's complexity, building highly optimizing compilers or virtual machines is rarely affordable. So, performance remains an issue. Ideally, you would implement a simple interpreter and still be able to achieve acceptable performance. RPython and Truffle are implementation techniques based on simple interpreters; they promise to perform at the same order of magnitude as highly optimizing virtual machines. This case study compares the two techniques to identify their similarities, weaknesses, and areas for further research.

关键词： High Level Languages Operating Systems Computers program compilers Virtual Machines Simple Language Implementation Techniques 21st Century Domain Specific Languages DSL Virtual Machines Optimizing compilers R Python Truffle programming Computer Applications Computer Languages Java Syntactics Optimizing compilers Software Engineering Language Implementation Virtual Machines compilers Interpreters Software Engineering programming Languages Computer programming R Python Truffle Domain Specific Languages

来源：评论

学校读者我要写书评

暂无评论

Joust: A platform for liquid software

引用

COMPUTER 1999年第4期32卷 50-+页

作者： Hartman, JJ Bigot, PA Bridges, P Montz, B Piltz, R Spatscheck, O Proebsting, TA Peterson, LL Bavier, A Univ Arizona Dept Comp Sci Tucson AZ 85721 USA Microsoft Res Programming Language Syst Grp Redmond WA 98052 USA Princeton Univ Dept Comp Sci Tech Staff Princeton NJ 08544 USA

Computer network research has recently focused on the feasibility of running mobile code on the intermediate nodes that forward packets through a network. A network that exploits mobile code in this way is called an active network because the network's packet delivery service is programmable, rather than fixed. Active networking is just one example of a class of systems that exploit liquid software-low-level, communication-oriented code that easily flows from machine to machine. This article describes a Java-based platform for liquid software, called Joust, that is specifically designed to support low-level, communication-oriented systems and to avoid the limitations of general-purpose OSs. The authors contrast the platform requirements for communication-oriented liquid software with those of computation-oriented software, identify the limitations of current platforms, and outline the benefits of Joust. They also offer an overview of Scout (the underlying OS upon which Joust is built), its runtime system,and its just-in-time (JIT) compiler.

关键词： Java Java Joust Scout active networks communication-oriented systems computation-oriented software distributed programming just-in-time compiler liquid software mobile code network operating systems operating system program compilers run-time system

来源：评论

学校读者我要写书评

暂无评论

programMING REAL-TIME APPLICATIONS WITH SIGNAL

引用

PROCEEDINGS OF THE IEEE 1991年第9期79卷 1321-1341页

作者： LEGUERNIC, P GAUTIER, T LEBORGNE, M LEMAIRE, C UNIV RENNES 1 DEPT MATHFAC STAFFF-35042 RENNESFRANCE

This paper presents the main features of the SIGNAL language and its compiler. Designed to provide safe real time system programming, the SIGNAL language is based on the synchronous principles. Its semantics are defined via a mathematical model of multiple-clocked flows of data and events. SIGNAL programs describe relations on such objects, so that it is possible to program a real time application via constraints. The compiler calculates the solutions of the system and may thus be used as a proof system. Moreover, the equational approach is a natural way to derive multiprocessor executions of a program. Finally, this approach meets the intuition through a graphical interface of block-diagram style, and the system is illustrated on a speech recognition application.

关键词： SIGNAL language compiler equational approach graphical interface multiple-clocked flows multiprocessor executions parallel languages program compilers proof system real time system programming real-time systems speech recognition speech recognition synchronous principles

来源：评论

学校读者我要写书评

暂无评论

Adapting Collaborative Software Development Techniques to Structural Engineering

引用

COMPUTING IN SCIENCE & ENGINEERING 2015年第5期17卷 27-34页

作者： Sempolinski, Peter Thain, Douglas Wei, Zhigang (Daniel) Kareem, Ahsan Univ Notre Dame Dept Comp Sci & Engn Notre Dame IN 46556 USA Univ Notre Dame Dept Civil & Environm Engn & Earth Sci Nat Hazard Modeling Lab Notre Dame IN 46556 USA Univ Notre Dame Notre Dame IN 46556 USA

A prototype virtual wind tunnel implements some of the ideas of collaborative software. design in. the context of structural engineering, letting users edit structural geometries, compile geometries into usable models for simulation, perform wind simulations, evaluate the results, and then share. and discuss their work with other users.

关键词： CAD groupware program compilers software engineering structural engineering computing wind tunnels collaborative development model collaborative software development techniques compilers design compilation editors evaluators global virtual community prototype virtual wind tunnel software project structural engineering wind simulations Collaboration Computational fluid dynamics Computational modeling Scientific computing Software development Structural engineering collaborative software scientific computing software development structural engineering

来源：评论

学校读者我要写书评

暂无评论

ENGINEERING A DATA DEPENDENCE TEST

引用

CONCURRENCY-PRACTICE AND EXPERIENCE 1993年第7期5卷 603-622页

作者： WOLFE, M OREGON GRAD INST SCI & TECHNOL BEAVERTONOR

Many papers have been written dealing with the science of data dependence tests, particularly for dependence of arrays in loops;the techniques typically reduce the dependence problem to an algebraic problem, then solve the algebraic problem by an algorithm which has some desired blend of efficiency, generality or precision. While a sound theoretical basis is necessary for dependence-based tools, these papers often leave out many implementation details. This paper addresses the engineering aspects of data dependence testing, particularly focusing on details that are necessary in any competent implementation of a data dependence test.

关键词： program compilers

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：