Performance of the Prototype Fortran D Compiler

Fortran D is a version of Fortran enhanced with data decomposition specifications. Case studies illustrate strengths and weaknesses of the prototype Fortran D compiler when compiling linear algebra codes and whole programs. Statement groups, execution conditions, inter-loop communication optimizations, multi-reductions, and array kills for replicated arrays are identified as new compilation issues. On the Intel iPSC/860, the output of the prototype Fortran D compiler approaches the performance of hand-optimized code for parallel computations, but needs improvement for linear algebra and pipelined codes. The Fortran D compiler outperforms the CM Fortran compiler (2.1 beta) by a factor of four or more on the TMC CM-5 when not using vector units. Its performance is comparable to the DEC and IBM HPF compilers on a Alpha cluster and SP-2. Better analysis, run-time support, and flexibility are required for the prototype compiler to be useful for a wider range of programs. © 1997 John Wiley & Sons, Ltd.     

Co-array Fortran编译器的设计与实现

基于GUN Fortran编译器,设计并实现了co-array Fortran(CAF)编译器。通过源到源的转换将CAF代码转换为带有运行库调用的Fortran 90程序。典型用例的测试表明,CAF具有较好的可编程性,且CAF程序通过对数据分布的显式控制可获得比OpenMP程序更为高效的执行性能。     

基于软件共享存储的Co-Array Fortran编译器实现

Co-Array Fortran(CAF)已经成为Fortran语言标准的一部分,在科学计算领域逐渐被接受。基于软件共享存储实现了一个CAF编译器,其通过直接的数组赋值实现Co-array数据通信,利用数据垫塞技术提高数据局部性,减少伪共享,优化CAF程序性能。典型科学计算程序测试表明,CAF能够获得和MPI相当的性能。     

The regeneration of Fortran software

There is a substantial body of existing Fortran software that has considerable scientific and commercial value, but whose potential is sometimes difficult to exploit to the full because of a lack of structure and internal documentation. This article discusses, by means of an example, how the OLYMPUS COMPOSITOR can be used to regenerate such software semi-automatically so that it meets improved documentation standards. Comments and headings can be edited in on-line, using a free format, and the COMPOSITOR then produces a clear standard layout in which the Fortran statement numbers are correlated with the decimally numbered sections and subsections of an individual routine, and the meaning of the code is clarified by appropriate indentation and cross-referencing. Using the OLYMPUS GENERATOR one can also restructure the COMMON blocks and construct indexes of variables. It is suggested that such techniques can materially enhance the usefulness of a great deal of Fortran software, including some of the programs already included in the CPC Program Library.     

VAX Fortran to Fortran 77 translator

A Fortran preprocessor is described which maps VAX Fortran into standard Fortran 77. Supported extensions include long variable names, DO WHILE loops, ENDDO loop terminations, Vax Fortran tab convention, INCLUDE file processing, and a MODULE facility to limit the access of external programs to subprogram and common block names. The software is available in ‘standard’ Pascal and Software Tools Pascal form.     

The advantages of Fortran 90

Fortran 77 is the most widely used language for scientific programming. Its long-awaited revision is now called Fortran 90. It was finalized (down to the last editorial detail) on 11 April 1991, published as an ISO Standard in August 1991, and the first compiler is now on the market. This seems an appropriate moment to review its history and explain its advantages.     

GNU as的移植

汇编器是编译工具链中最贴近芯片的一环。在进行新的芯片设计时，快速开发一个功能强大使用方便的汇编器是保证芯片设计按进度进行的必要条件。移植GNU的汇编器GAS是一个首选的方案。分析了GAS的源程序，指出了移植的关键之处。给出的方法可以更快更好地移植GAS。     

Compiler Verification and Compiler Architecture

We study issues in verifying compilers for modern imperative and object-oriented languages. We take the view that it is not the compiler but the code generated by it which must be correct. It is this subtle difference that allows for reusing standard compiler architecture, construction methods and tools also in a verifying compiler.Program checking is the main technique for avoiding the cumbersome task of verifying most parts of a compiler and the tools by which they are generated. Program checking remaps the result of a compiler phase to its origin, the input of this phase, in a provably correct manner. We then only have to compare the actual input to its regenerated form, a basically syntactic process. The correctness proof of the generation of the result is replaced by the correctness proof of the remapping process. The latter turns out to be far easier than proving the generating process correct.The only part of a compiler where program checking does not seem to work is the transformation step which replaces source language constructs and their semantics, given, e.g., by an attributed syntax tree, by an intermediate representation, e.g., in SSA-form, which is expressing the same program but in terms of the target machine. This transformation phase must be directly proven using Hoare logic and/or theorem-provers. However, we can show that given the features of today's programming languages and hardware architectures this transformation is to a large extent universal: it can be reused for any pair of source and target language. To achieve this goal we investigate annotating the syntax tree as well as the intermediate representation with constraints for exhibiting specific properties of the source language. Such annotations are necessary during code optimization anyway.     

The Ada Compiler Validation Capability

ACVC tests, tools, procedures, and documentation represent a forward-looking, detailed strategy for enforcing conformance to the Ada standard when it really counts—before widespread implementation.     

面向嵌入式系统的编译器设计及实现

监控组态软件在工业控制中的应用越来越广泛,对用户编程接口的支持显得日益重要,本文对组态软件中用户编程接口进行了研究,在充分考虑监控组态软件行业应用特点的基础上,设计了一种组态语言——INVA语言,对其编译器及开发环境的实现方案进行论述,并对语言设计、语法分析、语义分析及编译器的实现进行了深入的讨论,并给出了其实现方案。该方案已经成功运用辽宁省教育厅重大项目“工业现场智能化设备的嵌入式软件构件平台研究”中,证明了该编译器的有效性。     

GNU Octave and reproducible research

GNU Octave¹ has been available for nearly two decades. During that time the scope of the project has grown from a simple interface to numerical tools intended for classroom use to a capable system with hundreds of thousands of users worldwide.This paper provides an overview of the Octave project, summarizes some recently completed additions, and describes in detail the ways in which Octave may be used to perform reproducible research.     

基于GNU工具链的嵌入式操作系统开发

论文阐述了基于GNU工具链的嵌入式操作系统开发实践,主要围绕着如何使用GNU工具以及一些开放源码的工具如Bochs进行嵌入式操作系统开发来展开,探讨了其中一些关键的实现技术和实践细节。     

一种简单的编译器的设计

基于编译理论与虚拟机技术,经过词法分析、语法分析、语义分析等过程,设计一个简单的编译器,将某一种源程序编译成目标程序,以验证结果的正确性。