Certified and Efficient Instruction Scheduling. Application To
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Software Orchestration of Instruction Level Parallelism on Tiled Processor Architectures
Software Orchestration of Instruction Level Parallelism on Tiled Processor Architectures by Walter Lee B.S., Computer Science Massachusetts Institute of Technology, 1995 M.Eng., Electrical Engineering and Computer Science Massachusetts Institute of Technology, 1995 Submitted to the Department of Electrical Engineering and Computer Science in partial fulfillment of the requirements for the degree of MiASSACHUSETTS INST IJUE DOCTOR OF PHILOSOPHY OF TECHNOLOGY at the OCT 2 12005 MASSACHUSETTS INSTITUTE OF TECHNOLOGY LIBRARIES May 2005 @ 2005 Massachusetts Institute of Technology. All rights reserved. Signature of Author: Department of Electrical Engineering and Computer Science A May 16, 2005 Certified by: Anant Agarwal Professr of Computer Science and Engineering Thesis Supervisor Certified by: Saman Amarasinghe Associat of Computer Science and Engineering Thesis Supervisor Accepted by: Arthur C. Smith Chairman, Departmental Graduate Committee BARKER ovlv ". Software Orchestration of Instruction Level Parallelism on Tiled Processor Architectures by Walter Lee Submitted to the Department of Electrical Engineering and Computer Science on May 16, 2005 in partial fulfillment of the requirements for the Degree of Doctor of Philosophy in Electrical Engineering and Computer Science ABSTRACT Projection from silicon technology is that while transistor budget will continue to blossom according to Moore's law, latency from global wires will severely limit the ability to scale centralized structures at high frequencies. A tiled processor architecture (TPA) eliminates long wires from its design by distributing its resources over a pipelined interconnect. By exposing the spatial distribution of these resources to the compiler, a TPA allows the compiler to optimize for locality, thus minimizing the distance that data needs to travel to reach the consuming computation. -
Emerging Technologies Multi/Parallel Processing
Emerging Technologies Multi/Parallel Processing Mary C. Kulas New Computing Structures Strategic Relations Group December 1987 For Internal Use Only Copyright @ 1987 by Digital Equipment Corporation. Printed in U.S.A. The information contained herein is confidential and proprietary. It is the property of Digital Equipment Corporation and shall not be reproduced or' copied in whole or in part without written permission. This is an unpublished work protected under the Federal copyright laws. The following are trademarks of Digital Equipment Corporation, Maynard, MA 01754. DECpage LN03 This report was produced by Educational Services with DECpage and the LN03 laser printer. Contents Acknowledgments. 1 Abstract. .. 3 Executive Summary. .. 5 I. Analysis . .. 7 A. The Players . .. 9 1. Number and Status . .. 9 2. Funding. .. 10 3. Strategic Alliances. .. 11 4. Sales. .. 13 a. Revenue/Units Installed . .. 13 h. European Sales. .. 14 B. The Product. .. 15 1. CPUs. .. 15 2. Chip . .. 15 3. Bus. .. 15 4. Vector Processing . .. 16 5. Operating System . .. 16 6. Languages. .. 17 7. Third-Party Applications . .. 18 8. Pricing. .. 18 C. ~BM and Other Major Computer Companies. .. 19 D. Why Success? Why Failure? . .. 21 E. Future Directions. .. 25 II. Company/Product Profiles. .. 27 A. Multi/Parallel Processors . .. 29 1. Alliant . .. 31 2. Astronautics. .. 35 3. Concurrent . .. 37 4. Cydrome. .. 41 5. Eastman Kodak. .. 45 6. Elxsi . .. 47 Contents iii 7. Encore ............... 51 8. Flexible . ... 55 9. Floating Point Systems - M64line ................... 59 10. International Parallel ........................... 61 11. Loral .................................... 63 12. Masscomp ................................. 65 13. Meiko .................................... 67 14. Multiflow. ~ ................................ 69 15. Sequent................................... 71 B. Massively Parallel . 75 1. Ametek.................................... 77 2. Bolt Beranek & Newman Advanced Computers ........... -
The Compcert C Verified Compiler: Documentation and User's Manual
The CompCert C verified compiler: Documentation and user’s manual Xavier Leroy To cite this version: Xavier Leroy. The CompCert C verified compiler: Documentation and user’s manual: Version 2.4. [Intern report] Inria. 2014. hal-01091802v1 HAL Id: hal-01091802 https://hal.inria.fr/hal-01091802v1 Submitted on 6 Dec 2014 (v1), last revised 9 Dec 2020 (v8) HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. The CompCert C verified compiler Documentation and user’s manual Version 2.4 Xavier Leroy INRIA Paris-Rocquencourt September 17, 2014 Copyright 2014 Xavier Leroy. This text is distributed under the terms of the Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License. The text of the license is available at http://creativecommons.org/ licenses/by-nc-sa/4.0/ Contents 1 CompCert C: a trustworthy compiler 5 1.1 Can you trust your compiler? .................................. 5 1.2 Formal verification of compilers ................................ 6 1.3 Structure of the CompCert C compiler ............................. 9 1.4 CompCert C in practice ..................................... 11 1.4.1 Supported target platforms ............................... 11 1.4.2 The supported C dialect ................................ 12 1.4.3 Performance of the generated code .......................... -
Exploiting Choice: Instruction Fetch and Issue on an Implementable Simultaneous Multithreading Processor
Exploiting Choice: Instruction Fetch and Issue on an Implementable Simultaneous Multithreading Processor ¡ Dean M. Tullsen , Susan J. Eggers , Joel S. Emer , Henry M. Levy , ¡ Jack L. Lo , and Rebecca L. Stamm ¡ Dept of Computer Science and Engineering Digital Equipment Corporation University of Washington HLO2-3/J3 Box 352350 77 Reed Road Seattle, WA 98195-2350 Hudson, MA 01749 Abstract an SMT processor to achieve signi®cantly higher throughput than either a wide superscalar or a multithreaded processor. That paper Simultaneous multithreading is a technique that permits multiple also demonstrated the advantages of simultaneous multithreading independent threads to issue multiple instructions each cycle. In over multiple processors on a single chip, due to SMT's ability to previous work we demonstrated the performance potential of si- dynamically assign execution resources where needed each cycle. multaneous multithreading, based on a somewhat idealized model. Those results showed SMT's potential based on a somewhat ide- In this paper we show that the throughput gains from simultaneous alized model. This paper extends that work in four signi®cant ways. multithreading can be achieved without extensive changes to a con- First, we demonstrate that the throughput gains of simultaneous mul- ventional wide-issue superscalar, either in hardware structures or tithreading are possible without extensive changesto a conventional, sizes. We present an architecture for simultaneous multithreading wide-issue superscalar processor. We propose an architecture that that achieves three goals: (1) it minimizes the architectural impact is more comprehensive, realistic, and heavily leveraged off existing on the conventional superscalar design, (2) it has minimal perfor- superscalar technology. -
An Executable Semantics for Compcert C⋆
An Executable Semantics for CompCert C? Brian Campbell LFCS, University of Edinburgh, [email protected] Abstract. CompCert is a C compiler developed by Leroy et al, the ma- jority of which is formalised and verified in the Coq proof assistant. The correctness theorem is defined in terms of a semantics for the `CompCert C' language, but how can we gain faith in those semantics? We explore one approach: building an equivalent executable semantics that we can check test suites of code against. Flaws in a compiler are often reflected in the output they produce: buggy compilers produce buggy code. Moreover, bugs can evade testing when they only manifest themselves on source code of a particular shape, when particular opti- misations are used. This has made compilers an appealing target for mechanized verification, from early work such as Milner and Weyhrauch's simple compiler in LCF [15] to modern work on practical compilers, such as the Verisoft C0 compiler [10] which is used as a key component of a larger verified software system. The CompCert project [11] has become a nexus of activity in recent years, in- cluding the project members' own efforts to refine the compiler and add certified optimisations [22,18,8], and external projects such as an extensible optimisation framework [20] and compiling concurrent programs [23]. The main result of the project is a C compiler which targets the assembly languages for a number of popular processor architectures. Most of the compiler is formalised in the Coq proof assistant and accompanied by correctness results, most notably proving that any behaviour given to the assembly output must be an acceptable be- haviour for the C source program. -
Register Assignment for Software Pipelining with Partitioned Register Banks
Register Assignment for Software Pipelining with Partitioned Register Banks Jason Hiser Steve Carr Philip Sweany Department of Computer Science Michigan Technological University Houghton MI 49931-1295 ¡ jdhiser,carr,sweany ¢ @mtu.edu Steven J. Beaty Metropolitan State College of Denver Department of Mathematical and Computer Sciences Campus Box 38, P. O. Box 173362 Denver, CO 80217-3362 [email protected] Abstract Trends in instruction-level parallelism (ILP) are putting increased demands on a machine’s register resources. Computer architects are adding increased numbers of functional units to allow more instruc- tions to be executed in parallel, thereby increasing the number of register ports needed. This increase in ports hampers access time. Additionally, aggressive scheduling techniques, such as software pipelining, are requiring more registers to attain high levels of ILP. These two factors make it difficult to maintain a single monolithic register bank. One possible solution to the problem is to partition the register banks and connect each functional unit to a subset of the register banks, thereby decreasing the number of register ports required. In this type of architecture, if a functional unit needs access to a register to which it is not directly connected, a delay is incurred to copy the value so that the proper functional unit has access to it. As a consequence, the compiler now must not only schedule code for maximum parallelism but also for minimal delays due to copies. In this paper, we present a greedy framework for generating code for architectures with partitioned register banks. Our technique is global in nature and can be applied using any scheduling method £ This research was supported by NSF grant CCR-9870871 and a grant from Texas Instruments. -
A VLIW Architecture for a Trace Scheduling Compiler
A VLIW Architecture for a Trace Scheduling Compiler Robert P. Colwell, Robert P. Nix, John J. O'Donnell, David B. Papworth, Paul K. Rodman Multiflow Computer 175 North Main Street Branford, CT. 06405 (203) 488-6090 1. Abstract Very Long Instruction Word (VLIW) architectures were prom- Researchers at Yale, however, Fish83,Elli86 found that fine- ised to deliver far more than the factor of two or three that grained parallelism could be exploited by a sufficiently clever current architectures achieve £rom overlapped execution. Using compiler to greatly increase the execution throughput of a suit- a new type of compiler which compacts ordinary sequential code ably constructed computer. The compiler exploited statistical into long instruction words, a VLIW machine was expected to information about program branching to allow searching beyond provide from ten to thirty times the performance of a more con- the obvious basic blocks in a program (e.g., past conditional ventional machine built of the same implementation technology. branches) for operations that could be performed in parallel with other possibly-unrelated operations. Fish79 Logical incon- Multiflow Computer, Inc., has now built a VLIW called the sistencies that were created by these motions were corrected by TRACE'" along with its companion Trace Scheduling" com- special compensation code inserted by the compiler. pacting compiler. This new machine has fulfilled the perfor- mance promises that were made. Using many fast functional These researchers labelled their proposed architecture -
Accessionindex: TCD-SCSS-T.20121208.090 Accession Date: Accession By: Object Name: Apollo DN10000 Vintage: C.1988 Synopsis: Mi
AccessionIndex: TCD-SCSS-T.20121208.090 Accession Date: Accession By: Object name: Apollo DN10000 Vintage: c.1988 Synopsis: Minisupercomputer, with PRISM multi-chip CPU. S/N: ???. Description: The Apollo DN10000 was a minisupercomputer, among the fastest of its peers at the time. Its multi-chip CPU incorporated Apollo’s PRISM architecture. Up to four CPUs could be installed. The PRISM architecture was a forerunner of VLIW architectures, which expose multiple CPU functional units as part of their programming model. The expectation is that their compilers will focus on exploiting parallelism while avoiding inconsistent usage of these units. The PRISM architecture exposed just two units: a 32-bit integer unit and a 32/64-bit floating-point unit, so it was ‘LIW’ rather than VLIW. For its time it was unusual in integrating multiply-and-add/subtract instructions. At the time a major architectural focus was on RISC developments, so the DN10000 and competitors like Multiflow’s TRACE VLIW minisupercomputer (based on Josh Fisher’s trace scheduling work at Yale University), and Intel’s (less successful) ‘LIW’ i860 CPU (based on early joint work with Apollo), were notable departures. Apollo products typically connected to their proprietary 12Mbps token-ring network (which scaled better than 10Mbps Ethernet but failed if any connected node failed), and ran Apollo’s proprietary UNIX-like Domain/OS, which exploited the token-ring network and natively implemented distributed shared memory. When Apollo was taken over by Hewlett Packard in 1989 the DN10000 was discontinued, but the some of its features were inherited by both the HP PA-RISC and Intel/HP Itanium architectures. -
Robert P. Colwell
Case 3:07-cv-04748-VRW Document 57-2 Filed 06/09/2008 Page 1 of 6 ROBERT P. COLWELL 3594 NW BRONSON CREST LOOP PORTLAND, OR 97229 503-690-7139 [email protected] PROFESSIONAL EXPERIENCE Consultant, Portland, OR 2001-present General computer HW/SW consulting to industry and academia Named an Intel Fellow (27 Fellows in Intel's employee population of ~80,000) in 1997; winner of 2005 Eckert-Mauchly Award, highest award in field of computer architecture, for “outstanding achievements in the design and implementation of industry-changing microarchitectures, and for significant contributions to the RISC/CISC architecture debate”; elected to IEEE Fellow and the National Academy of Engineering in 2006 (the highest recognition in field of engineering) for “contributions to turning novel computer architecture concepts into viable, cutting-edge commercial processors.” Chief IA-32 Architect, Intel Corporation, Hillsboro OR, 1992-2001 Lead IA32 architect, responsible for all of Intel's Pentium CPU architecture efforts (my direct management included 40 – 110 people) Initiated and led Intel's Pentium 4 CPU development Senior CPU Architect, Intel Corporation, Hillsboro OR, 1990-1992 One of three senior architects responsible for conceiving Intel's P6 microarchitecture, the core of the company's Pentium II, Pentium III, Celeron, Xeon, and Centrino families Hardware Architect, Multiflow Computer, New Haven, CT 1985-1990 One of seven HW designers who created the world's first VLIW (very long instruction word) scientific supercomputer under direction -
In the Supreme Court of the State of Delaware Vliw
IN THE SUPREME COURT OF THE STATE OF DELAWARE VLIW TECHNOLOGY, LLC, § a Delaware limited liability company, § No. 305, 2003 § Plaintiff Below, § Court Below – Court of Chancery Appellant, § of the State of Delaware, § in and for New Castle County v. § C.A. No. 20069 § HEWLETT-PACKARD COMPANY § and STMICROELECTRONICS, § INC., Delaware corporations, § § Defendants Below, § Appellees. § Submitted: September 23, 2003 Decided: December 19, 2003 Before VEASEY, Chief Justice, HOLLAND, BERGER, STEELE and JACOBS, Justices (constituting the Court en Banc). Upon appeal from the Court of Chancery. REVERSED and REMANDED. Arthur G. Connolly, III, Esquire, of Connolly, Bove, Lodge & Hutz, Wilmington, Delaware, Michael O. Warnecke, Esquire (argued) and David R. Melton, Mayer, Brown, Rowe & Maw, Chicago, Illinois, Kevin M. McGovern, Esquire and Brian T. Foley, Esquire, McGovern & Associates, Greenwich, Connecticut, J. Brett Busby, Esquire, Mayer, Brown, Rowe & Maw, Houston, Texas, and Donald M. Falk, Mayer, Brown, Rowe & Maw, Palo Alto, California, for appellant, VLIW Technology, LLC. Robert K. Payson, Esquire, Philip A. Rovner, Esquire and John M. Seaman, Esquire, of Potter, Anderson & Corroon, Wilmington, Delaware, Roger D. Taylor, Esquire (argued), Virginia L. Carron, Esquire, and John D. Livingstone, Esquire, Finnegan, Henderson, Farabow, Garrett & Dunner, Atlanta, Georgia, for appellee, Hewlett-Packard Company. Allen M. Terrell, Jr., Esquire (argued), Jeffrey L. Moyer, Esquire and Brock E. Czeschin, Esquire, of Richards, Layton & Finger, Wilmington, Delaware, Bruce S. Sostek, Esquire and Jane Politz Brandt, Esquire, Thompson & Knight, Dallas, Texas, for appellee, STMicroelectronics, Inc. HOLLAND, Justice: 2 The plaintiff-appellant, VLIW Technology, LLC (“VLIW”), filed an action for breach of contract, misuse of trade secrets, and unfair trade practices against the defendants Hewlett-Packard Company (“H-P”) and STMicroelectronics, Inc. -
A Multipurpose Formal RISC-V Specification Without Creating New Tools
A Multipurpose Formal RISC-V Specification Without Creating New Tools Thomas Bourgeat, Ian Clester, Andres Erbsen, Samuel Gruetter, Andrew Wright, Adam Chlipala MIT CSAIL Abstract experimentation in basic research, progressively extensible RISC-V is a relatively new, open instruction set architecture to full-fledged realistic systems. with a mature ecosystem and an official formal machine- readable specification. It is therefore a promising playground 1.2 From a golden standard to formal-methods for formal-methods research. infrastructure However, we observe that different formal-methods re- There is the potential for a mutually beneficial relationship search projects are interested in different aspects of RISC-V between the community of formal methods and the RISC-V and want to simplify, abstract, approximate, or ignore the community. other aspects. Often, they also require different encoding On the one hand, the RISC-V Foundation already adopted a styles, resulting in each project starting a new formalization golden standard in the form of an ISA specification in the Sail from-scratch. We set out to identify the commonalities be- language [6]. There is now an agreed-on, machine-processed tween projects and to represent the RISC-V specification as description of authorized behaviors for a significant portion a program with holes that can be instantiated differently by of the spec, beyond the usual natural-language description. different projects. On the other hand, the formal-methods community can Our formalization of the RISC-V specification is written leverage RISC-V as a great laboratory to prototype ideas, in Haskell and leverages existing tools rather than requiring where researchers will be able to get mature compilation new domain-specific tools, contrary to other approaches. -
Sample Pages From: Multiflow Computer: a Start-Up Odyssey
SAMPLE PAGES FROM MULTIFLOW COMPUTER: A START‐UP ODYSSEY Multiflow Computer A Start-up Odyssey Elizabeth Fisher SAMPLE PAGES FROM MULTIFLOW COMPUTER: A START‐UP ODYSSEY SAMPLE PAGES FROM MULTIFLOW COMPUTER: A START‐UP ODYSSEY PREFACE This is a story I have always wanted told. For years I begged Josh to write it, but he is a scientist and this story is not about science or, really, even about technology. Gene Pettinelli, the Multiflow lead investor, asked Josh to give talks about the company but he always refused. He never understood what we found so fascinating, never understood the appeal. Bob Rau, Josh’s colleague at Hewlett-Packard who founded a Multiflow competitor, always said that a start-up was a fabulous thing to have done—once. And that was Josh’s attitude: it was an amazing experience but exhausting, and only the technology interested him. Josh is my husband, Joseph A. Fisher: computer scientist, retired Hewlett-Packard Senior Fellow, former Yale professor, Eckert-Mauchly award winner. He invented a new computer architecture in his PhD thesis at NYU and developed it as a young faculty member at Yale. He thought his radically different approach to computer design would revolutionize the world of scientific computing, and he came nearer to realizing that dream than seems possible. Josh put his heart into Multiflow, even though the role he took wasn’t doing science and he had to venture into management. During these years, I watched him change with blinding speed from a scruffy graduate student with working-class roots to a respected scientist and seasoned senior executive.