DOCSLIB.ORG

An Overview of Ada 202X 159

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
An Overview of Ada 202X 159 TThehe journaljournal forfor thethe internationalinternational AdaAda communitycommunity AdaAda UserUser Volume 41 Journal Number 3 Journal September 2020 Editorial 121 Quarterly News Digest 122 Conference Calendar 149 Forthcoming Events 156 Special Contribution J. Cousins An Overview of Ada 202x 159 Articles from the 20th International Real-Time Ada Workshop L.M. Pinho, S. Royuela, E. Quiñones Real-Time Issues in the Ada Parallel model with OpenMP 177 J. Garrido, D. Pisonero Fuentes, J.A. de la Puente, J. Zamorano Vectorization Challenges in Digital Signal Processing 183 Puzzle J. Barnes The Problem of the Nested Squares 187 In memoriam: Ian Christopher Wand 188 Produced by Ada-Europe Editor in Chief António Casimiro University of Lisbon, Portugal [email protected] Ada User Journal Editorial Board Luís Miguel Pinho Polytechnic Institute of Porto, Portugal Associate Editor [email protected] Jorge Real Universitat Politècnica de València, Spain Deputy Editor [email protected] Patricia López Martínez Universidad de Cantabria, Spain Assistant Editor [email protected] Kristoffer N. Gregertsen SINTEF, Norway Assistant Editor [email protected] Dirk Craeynest KU Leuven, Belgium Events Editor [email protected] Alejandro R. Mosteo Centro Universitario de la Defensa, Zaragoza, Spain News Editor [email protected] Ada-Europe Board Tullio Vardanega (President) Italy University of Padua Dirk Craeynest (Vice-President) Belgium Ada-Belgium & KU Leuven Dene Brown (General Secretary) United Kingdom SysAda Limited Ahlan Marriott (Treasurer) Switzerland White Elephant GmbH Luís Miguel Pinho (Ada User Journal) Portugal Polytechnic Institute of Porto António Casimiro (Ada User Journal) Portugal University of Lisbon Ada-Europe General Secretary Dene Brown Tel: +44 2891 520 560 SysAda Limited Email: [email protected] Signal Business Center URL: www.ada-europe.org 2 Innotec Drive BT19 7PD Bangor Northern Ireland, UK Information on Subscriptions and Advertisements Ada User Journal (ISSN 1381-6551) is published in one volume of four issues. The Journal is provided free of charge to members of Ada-Europe. Library subscription details can be obtained direct from the Ada-Europe General Secretary (contact details above). Claims for missing issues will be honoured free of charge, if made within three months of the publication date for the issues. Mail order, subscription information and enquiries to the Ada-Europe General Secretary. For details of advertisement rates please contact the Ada-Europe General Secretary (contact details above). ADA Volume 41 USER Number 3 September 2020 JOURNAL Contents Page Editorial Policy for Ada User Journal 120 Editorial 121 Quarterly News Digest 122 Conference Calendar 149 Forthcoming Events 156 Special Contribution J. Cousins “An Overview of Ada 202x” 159 Articles from the 20th International Real-Time Ada Workshop (IRTAW'2020) L. M. Pinho, S. Royuela, E. Quiñones “Real-Time Issues in the Ada Parallel Model with OpenMP” 177 J. Garrido, D. Pisonero Fuentes, J. A de la Puente, J. Zamorano “Vectorization Challenges in Digital Signal Processing” 183 Puzzle J. Barnes “The Problem of the Nested Squares” 187 In memoriam: Ian Christopher Wand 188 Ada-Europe Associate Members (National Ada Organizations) 190 Ada-Europe Sponsors Inside Back Cover Ada User Journal Volume 41, Number 3, September 2020 120 Editorial Policy for Ada User Journal Publication Original Papers published in North America that are Ada User Journal — The Journal for Manuscripts should be submitted in not easily available in Europe. the international Ada Community — is accordance with the submission We have a reciprocal approach in published by Ada-Europe. It appears guidelines (below). granting permission for other four times a year, on the last days of All original technical contributions are publications to reprint papers originally March, June, September and submitted to refereeing by at least two published in Ada User Journal. December. Copy date is the last day of people. Names of referees will be kept the month of publication. confidential, but their comments will Commentaries be relayed to the authors at the We publish commentaries on Ada and Aims discretion of the Editor. software engineering topics. These Ada User Journal aims to inform The first named author will receive a may represent the views either of readers of developments in the Ada complimentary copy of the issue of the individuals or of organisations. Such programming language and its use, Journal in which their paper appears. articles can be of any length – general Ada-related software engine- By submitting a manuscript, authors inclusion is at the discretion of the ering issues and Ada-related activities. grant Ada-Europe an unlimited license Editor. The language of the journal is English. to publish (and, if appropriate, Opinions expressed within the Ada Although the title of the Journal refers republish) it, if and when the article is User Journal do not necessarily to the Ada language, related topics, accepted for publication. We do not represent the views of the Editor, Ada- such as reliable software technologies, require that authors assign copyright to Europe or its directors. are welcome. More information on the the Journal. scope of the Journal is available on its Unless the authors state explicitly Announcements and Reports website at www.ada-europe.org/auj. otherwise, submission of an article is We are happy to publicise and report The Journal publishes the following taken to imply that it represents on events that may be of interest to our original, unpublished work, not under types of material: readers. consideration for publication else- Refereed original articles on technical where. matters concerning Ada and related Reviews topics. Proceedings and Special Issues Inclusion of any review in the Journal Invited papers on Ada and the Ada is at the discretion of the Editor. A The Ada User Journal is open to standardization process. reviewer will be selected by the Editor consider the publication of proceedings Proceedings of workshops and panels to review any book or other publication on topics relevant to the Journal. of workshops or panels related to the sent to us. We are also prepared to Journal's aims and scope, as well as Reprints of articles published print reviews submitted from Special Issues on relevant topics. elsewhere that deserve a wider elsewhere at the discretion of the Interested proponents are invited to audience. Editor. News and miscellany of interest to the contact the Editor-in-Chief. Ada community. Submission Guidelines Commentaries on matters relating to News and Product Announcements All material for publication should be Ada and software engineering. Ada User Journal is one of the ways in sent electronically. Authors are invited Announcements and reports of which people find out what is going on to contact the Editor-in-Chief by conferences and workshops. in the Ada community. Our readers electronic mail to determine the best Announcements regarding standards need not surf the web or news groups format for submission. The language of concerning Ada. to find out what is going on in the Ada the journal is English. Reviews of publications in the field of world and in the neighbouring and/or software engineering. competing communities. We will Our refereeing process aims to be Further details on our approach to reprint or report on items that may be rapid. Currently, accepted papers these are given below. More complete of interest to them. submitted electronically are typically information is available in the website published 3-6 months after submission. at www.ada-europe.org/auj. Reprinted Articles Items of topical interest will normally While original material is our first appear in the next edition. There is no priority, we are willing to reprint (with limitation on the length of papers, the permission of the copyright holder) though a paper longer than 10,000 material previously submitted words would be regarded as elsewhere if it is appropriate to give it exceptional. a wider audience. This includes papers Volume 41, Number 3, September 2020 Ada User Journal 121 Editorial I would like to start this editorial by commenting on the delays that have been affecting the publication of the Ada User Journal during this year. This has been unfortunate, but justified by the exceptional pandemic situation that we have been living, which, among other effects, disrupted our well established printing process and somehow interfered with our plans concerning the contents to include in the journal, namely due to the cancellation of several events and hence the lack of material. We have been working to recover the delay and we believe that we will achieve this goal very soon. For certain, all the past issues (March and June) will be printed, and we expect that they will start arriving at your mailboxes early in 2021. In this issue we are happy to include a special contribution prepared by Jeff Cousins, providing a very complete overview of Ada 202X, which is now almost completely finalised. This may serve as an excellent reference document for all those that use the language and follow its evolution and improvements to better suit developer needs and other requirements. Then we also publish two articles that were accepted to the 20th International Real-Time Ada Workshop (IRTAW'2020). Although the event ended up being firstly postponed and then cancelled due to the COVID-19 situation, the authors of submitted papers were invited to prepare contributions to the AUJ, which we now bring to you. The first paper, authored by Luis Miguel Pinho (from the Polytechnic Institute of Porto, Portugal) and by Sara Royuela and Eduardo Quiñones (from the Barcelona Supercomputing Center, Spain), goes well with the special contribution referred above, as it addresses real-time issues in the mapping of parallel language features to the OpenMP tasking model, a possibility considered in Ada 202X (see Section 2 of that article). The second paper is by a team from the Polytechnic University of Madrid, including Jorge Garrido, David Pisonero, Juan Zamorano and Juan A.
Load more

Recommended publications
  • Object Management System Concepts: Supporting Integrated Office Workstation Applications
    Object Management System Concepts: Supporting Integrated Office Workstation Applications by Stanley Benjamin Zdonik, Jr. S.B., Massachusetts Institute of Technology (1970) S.M., Massachusetts Institute of Technology (1980) E.E., Massachusetts Institute of Technology (1980) Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy at the Massachusetts Institute of Technology May 1983 © Massachusetts Institute of Technology 1983 Signature of Author............... .. ..... .... Department of Electric~l Eng~neering and Computer Science May 13, 1983 Certified by . .* .* .. Michael Hammer Thesis Supervisor Accepted . ...... .-.----4 p . Arthur C. Smith Chairman, Departmental Committee on Graduate Students Object Management System Concepts: Supporting Integrated Office Workstation Applications by Stanley B. Zdonik, Jr. Submitted to the Department of Electrical Engineering and Computer Science on May 13, 1983, in partial fulfillment of the requirements for the Degree of Doctor of Philosophy Abstract The capabilities of a system for storing and retrieving office style objects are described in this work. Traditional file systems provide facilities for the storage and retrieval of objects that are created in user programs, but the semantics of these objects are not available to the file system. Database management systems provide a means of describing the semantics of objects using a single basic paradigm, the record. This model is inadequate for describing the richer semantics of office objects. An object management system combines the advantages of both a file system and a database management system in that it can store arbitrarily defined programming language objects and at the same time maintain a high-level description of their meaning. This work presents a high-level model of data that can be used to describe office objects more effectively than data processing oriented models.
    [Show full text]
  • A VLSI Architecture for Enhancing Software Reliability Kanad Ghose Iowa State University
    Iowa State University Capstones, Theses and Retrospective Theses and Dissertations Dissertations 1988 A VLSI architecture for enhancing software reliability Kanad Ghose Iowa State University Follow this and additional works at: https://lib.dr.iastate.edu/rtd Part of the Computer Sciences Commons Recommended Citation Ghose, Kanad, "A VLSI architecture for enhancing software reliability " (1988). Retrospective Theses and Dissertations. 9345. https://lib.dr.iastate.edu/rtd/9345 This Dissertation is brought to you for free and open access by the Iowa State University Capstones, Theses and Dissertations at Iowa State University Digital Repository. It has been accepted for inclusion in Retrospective Theses and Dissertations by an authorized administrator of Iowa State University Digital Repository. For more information, please contact [email protected]. INFORMATION TO USERS The most advanced technology has been used to photo­ graph and reproduce this manuscript from the microfilm master. UMI films the original text directly from the copy submitted. Thus, some dissertation copies are in typewriter face, while others may be from a computer printer. In the unlikely event that the author did not send UMI a complete manuscript and there are missing pages, these will be noted. Also, if unauthorized copyrighted material had to be removed, a note will indicate the deletion. Oversize materials (e.g., maps, drawings, charts) are re­ produced by sectioning the original, beginning at the upper left-hand comer and continuing from left to right in equal sections with small overlaps. Each oversize page is available as one exposure on a standard 35 mm slide or as a 17" x 23" black and white photographic print for an additional charge.
    [Show full text]
  • Secure Foundational Exabyte Hpc Systems for 2020 and Beyond Sv/128 - Risc-V
    SECURE FOUNDATIONAL EXABYTE HPC SYSTEMS FOR 2020 AND BEYOND SV/128 - RISC-V Steven J. Wallach ([email protected]) Presentation Outline • Background Material (Part 1) • Previous efforts/research on protection • Full Proposal (Part 2) • 128 bit logical address • 64 bit Unique Object ID • First implementation (Part 3 & 4) • RISC-V SV128 ([21] Github) • 32 bit Object ID • Programmer Visible State • Hardware 훍-State [19] • Contemporary security issues March 2020 - SV128 - BSC 2 What’s Next • “The end of Moore’s law could be the best thing that has happened in computing since the beginning of Moore’s law. Confronting the end of an epoch should enable a new era of creativity by encouraging computer scientists to invent biologically inspired devices, circuits, and architectures implemented using recently emerging technologies. “ [6] R. Stanley Williams, “The End of Moore’s Law”, Computing in Science & Engineering, IEEE CS and AIP, March/April 2017 March 2020 - SV128 - BSC 3 OBJECTIVES THE BEST BENCHMARK IS THE ONE YOUR COMPETITION CAN NOT RUN • Why a 128 bit address space? • Security • Cluster wide shared virtual address • Heterogeneous Nodes • Time to do something different not just keep adding more bits • Begin the decade of Exascale computing on a scalable technology • Software/OS oriented • Upward Compatible with RV32 and RV64 • Otherwise we will continue to implement and support the sins of our parents/grandparents. • We can now begin to design & build SECURE PROGRAMMABLE EXABYTE (ZETABYTE) distributed memory systems March 2020 - SV128
    [Show full text]
  • Intel 432 System Summary: Manager's Perspective
    INTEL 432 SYSTEM SUMMARY: MANAGER'S PERSPECTIVE Manual Order Number: 171867-001 Copyright © 1981 Intel Corporation Intel Corporation, 3065 Bowers Avenue, Santa Clara, California 95051 Additional copies of this manual or other Intel literature may be obtained from: Literature Department Intel Corporation 3065 Bowers Avenue Santa Clara, CA 95051 The information in this document is subject to change without notice. Intel Corporation makes no warranty of any kind with regard to this material, including, but not limited to, the implied warranties of merchantability and fitness for a particular purpose. Intel Corporation assumes no responsibility for any errors that may appear in this document. Intel Corporation makes no commitment to update nor to keep current the information contained in this document. Intel Corporation assumes no responsibility for the use of any circuitry other than circuitry embodied in an Intel product. No other circuit patent licenses are implied. Intel software products are copyrighted by and shall remain the property of Intel Corporation. Use, duplication or disclosure is subject to restrictions stated in Intel's software license, or as defined in ASPR 7-104.9(a)(9). No part of this document may be copied or reproduced in any form or by any means without the prior written consent of Intel Corporation. The following are trademarks of Intel Corporation and its affiliates and may be used only to identify Intel products: BXP Intelevision Micromap CREDIT Intellec Multibus i iRMX Multimodule ICE iSBC Plug-A-Bubble iCS iSBX PROMPT im Library Manager Promware INSITE MCS RMX/80 Intel Megachassis System 2000 Intel Micromainframe UPI pScope and the combination of ICE, iCS, iMMX, iRMX, iSBC, iSBX, MCS, or RMX and a numerical suffix.
    [Show full text]
  • 210620-004 Literature Guide Sep Oct 1984.Pdf
    INTRODUCTiON Welcome to tile intel Ut,~raHm~ Cwcie --- a full·fledged libfilry of ter.hnical support documenta­ tion for today's leadino .nemary ano ITIlcroproC8?sor component and system products. This comprehensive literature selection guide is a tool to help you, the Intel customer, during product selection, desiqn and operation. It is for this reason tha'l we \ieep its contents up to date. THE NEED FOR SUPPORT DOCUMENTATION As systems design becomes mcr'easlngi\! software-dependent, development time and costs will continue to rise. To help reduce, both systems ilnd en9ill8ering costs, Intel will be deslgn- ami manufacturing products Wilich will integrate more and mors software functions into system hardware. ThiS ('I' complex, hlgflly inte9rated product 'will require substantial support clocumentation, Wli! tY' incoi'poraleC) into the Intel Literature, Guilie as !11ese products emerge. - HOW TO ORDER When ordering from Tim; Utera(uP?, GUide. please use ~he order form located at the front of thio; bookiet. To 'facjHtat~} on1t;(, pleas6 tH:: SUit'} to endose H'j8 You \lv~a always receive the editjop (Y: Hny PUhUc2tion you or~jer. to change.) PleaSE} \Ilif:jte (ntt~i's Literatufe Departil~ent JOu[; Bc:vvers /\venue, Santa C1a(8., CA 95051, lol' additionai infonllation. Please note and as.',umes riO r,::!~;pol;:,ib;iity tor Ci~I}' err~)fS wl"lIe!llnay appear in ;i'formCltlon cnntc'iinecl h,~'ein :ntel retain::, thE: nghr tc. make any wirnout notice MUL­ PROMPT, MCS "0 code and i~:, 110t Sci.:::nces Corp0railon Intei ~~:o~poration LITERATURE In addition to the product line Handbooks listed below.
    [Show full text]
  • P-1935-J-Conc-Biblio
    5.0 Conclusions The intent of this document has been: (1) to provide a comprehensive overview of the important properties of traditional capability-based systems, (2) to point out the advantages and deficiencies of such systems with regard to the NCSC [TCSEC83] requirements, (3) to outline some possible approaches for the elimination of such deficiencies, and (4) to compare the properties of such systems to those of descriptor-based systems (with which the computer security community has been somewhat more familiar). Thus, this document can be used as a background document by both evaluators and designers of capability-based systems. 'In both cases, the reader should make use of the references provided in this document in order to help him understand some of its more subtle conclusions. [For the readers with special research and/or development interests in this area, an extensive bibliography is also provided as an appendix to this paper.] The research work necessary for this paper has led to the following findings. First, the notion of a "traditional" capability-based system can be defined based on a set of properties which are common to many capability-based systems. These properties are found in the areas of capability-based addressing and protection, and they support a number of general security and integrity policies. The discussion of the set of common properties has been essential to the investigation of the TCSEC impact on traditional capability systems. Without such a defmition, the impact and corresponding analysis would be questionable at best, because no general conclusions could be drawn from individual case studies.
    [Show full text]
  • Fusionpldsm Catalog AMD + Fusionpld Partners = Customer
    FusionPLDsM Catalog Advanced Design Support Tools for AMD's Programmable Logic Micro Spring 1991 Devices AMD + FusionPLD Partners = Customer Solutions. FusionPLD Catalog Design Support Tools for AMD's Programmable Logic Spring 1991 ADVANCED MICRO DEVICES TRADEMARKS AADELAY and ATGEN are trademarks of Acugen Software, Inc. ABEL, ABEL-HDL, AutoLabel, AutoLaser, PLDgrade, SmartPart, TesterLink, and Unisite, are trademarks of Data I/O Corporation PLDtest is a registered trademark of Data I/0 Corporation Adapt-A-Socket is a registered trademark of Emulation Technology, Inc. Allegro, Logic Workbench, RapidSIM, System PGA, SystemPLD, and ValidGED are trademarks of Valid Logic Systems, Inc. OnCUPL, ALLPRO, CUPL, PLPartition, SERIALPRO, and DAC-per-PIN are trademarks of Logical Devices, Inc. Am29000, Lab Pro, and MACH are trademarks of AMD AMD, PALASM, and PAL are registered trademarks of AMD Apollo is a registered trademark of Apollo Computer, Inc. a unit of, HP. Inc. DEC, VAX, and VMS are registered trademarks of Digital Equipment Corp. ULTRIX is a trademark of Digital Equipment Corp. UNIX is a trademark of AT&T GAL is a registered trademark of Lattice Semiconductor Corp. HP is a registered trademark of Hewlett-Packard, Inc. IBM PC, PC-XT, PC-AT, PC-DOS, and PS/2 are trademarks of International Business Machines Corp. IBM is a registered trademark of International Business Machines Corp. Intergraph is a registered trademark of Intergraph Corporation. LCA is a trademark of XiUnx, Inc. LOG/iC is a registered trademark of ISDAT A GmbH. Macintosh is a registered trademark of Apple Computer. MS-DOS is a trademark of Microsoft Corp. OrCAD is a registered trademark of OrCAD OrCAD/MOD, OrCADIPCB, OrCAD/PLD, OrCADNST, andOrCAD/SDTare trademarks ofOrCAD PGA Designer and PLDesigner are trademarks of Mine, Inc.
    [Show full text]
  • Oracle Rdb™ SQL Reference Manual Volume 2
    Oracle Rdb™ SQL Reference Manual Volume 2 Release 7.3.3.0 for HP OpenVMS Industry Standard 64 for Integrity Servers and OpenVMS Alpha operating systems November 2018 ® SQL Reference Manual, Volume 2 Oracle Rdb Release 7.3.3.0 for HP OpenVMS Industry Standard 64 for Integrity Servers and OpenVMS Alpha operating systems Copyright © 1987, 2018 Oracle Corporation. All rights reserved. Primary Author: Rdb Engineering and Documentation group This software and related documentation are provided under a license agreement containing restrictions on use and disclosure and are protected by intellectual property laws. Except as expressly permitted in your license agreement or allowed by law, you may not use, copy, reproduce, translate, broadcast, modify, license, transmit, distribute, exhibit, perform, publish, or display any part, in any form, or by any means. Reverse engineering, disassembly, or decompilation of this software, unless required by law for interoperability, is prohibited. The information contained herein is subject to change without notice and is not warranted to be error-free. If you find any errors, please report them to us in writing. If this is software or related documentation that is delivered to the U.S. Government or anyone licensing it on behalf of the U.S. Government, the following notice is applicable: U.S. GOVERNMENT RIGHTS Programs, software, databases, and related documentation and technical data delivered to U.S. Government customers are "commercial computer software" or "commercial technical data" pursuant to the applicable Federal Acquisition Regulation and agency-specific supplemental regulations. As such, the use, duplication, disclosure, modification, and adaptation shall be subject to the restrictions and license terms set forth in the applicable Government contract, and, to the extent applicable by the terms of the Government contract, the additional rights set forth in FAR 52.227-19, Commercial Computer Software License (December 2007).
    [Show full text]
  • Volume 41 Number 3 September 2020
    To receive the Ada User Journal, apply to Ada-Europe at: http://www.ada -europe.org/join ADA Volume 41 USER Number 3 September 2020 JOURNAL Contents Page Editorial Policy for Ada User Journal 120 Editorial 121 Quarterly News Digest 122 Conference Calendar 149 Forthcoming Events 156 Special Contribution J. Cousins “An Overview of Ada 202x” 159 Articles from the 20th International Real-Time Ada Workshop (IRTAW'2020) L. M. Pinho, S. Royuela, E. Quiñones “Real-Time Issues in the Ada Parallel Model with OpenMP” 177 J. Garrido, D. Pisonero Fuentes, J. A de la Puente, J. Zamorano “Vectorization Challenges in Digital Signal Processing” 183 Puzzle J. Barnes “The Problem of the Nested Squares” 187 In memoriam: Ian Christopher Wand 188 Ada-Europe Associate Members (National Ada Organizations) 190 Ada-Europe Sponsors Inside Back Cover Ada User Journal Volume 41, Number 3, September 2020 122 Quarterly News Digest Alejandro R. Mosteo Centro Universitario de la Defensa de Zaragoza, 50090, Zaragoza, Spain; Instituto de Investigación en Ingeniería de Aragón, Mariano Esquillor s/n, 50018, Zaragoza, Spain; email: [email protected] I ask for your indulgence for closing this New(?) Intros to Ada and preface with a project I started and Contents actively develop (in collaboration, chiefly, Spark on adacore.com with Fabien Chouteau from AdaCore): Preface by the News Editor 122 Alire (after Ada Library Repository), a From: Paul Rubin Ada in Education 122 package manager for Ada and SPARK <[email protected]> Ada-related Resources 125 has entered public beta, and debuts in this Subject: new(?) intros to Ada and Spark on Ada-related Tools 125 issue [4].
    [Show full text]
  • A Bibliography of Publications in ACM SIGOPS Operating Systems Review
    A Bibliography of Publications in ACM SIGOPS Operating Systems Review Nelson H. F. Beebe University of Utah Department of Mathematics, 110 LCB 155 S 1400 E RM 233 Salt Lake City, UT 84112-0090 USA Tel: +1 801 581 5254 FAX: +1 801 581 4148 E-mail: [email protected], [email protected], [email protected] (Internet) WWW URL: http://www.math.utah.edu/~beebe/ 07 June 2021 Version 1.49 Title word cross-reference 3 [ASR+17, GPY+17, KDS+06, MAS+06]. < [Zho16]. > [Zho16]. TM [FPG89]. ≈ [KLK17]. δ [ZLX01b]. µ [Dru92, HHLS97, LBB+91]. * [TYKZ07]. */ [TYKZ07]. *icomment [TYKZ07]. -core [ZLX01b]. -fully [FPG89]. -kernel [Dru92, LBB+91]. -kernel-based [HHLS97]. /*icomment [TYKZ07]. /evolution [Pat02a]. 0 [Woo85]. 0-932376-52-5. [Woo85]. 1 [SF80, SDV+87]. 10 [BBMT72, SHSB75]. 11 [MA79, PK75, Ros78, ZDP83]. 11/45 [HB80]. 13th [Laz92a, Laz92b]. '16 1 2 [Tsa16]. 17th [LE00]. 1981 [Wai83a]. 1982 [Had83, OSV82, Sta83, Wai83b]. 1983 [F^ea83, Had84, Had85, OST83]. 1984g [San86]. 1986 [OSV86]. 1988 [Lev88]. 1994 [Sat95]. 1st [BY08, CM13]. 2 [Als72, WCW+04]. 2.0 [KL07]. 2000 [Pas92]. 2007 [Isa08]. 2009 [Bel10]. 2012 [MvR13]. 2013 [SG14, VZ14]. 2015 [DK15]. 21364 [MSB+02]. 2L [SDH+97]. 3 [HBG+06]. 370 [San81]. 3G [JHC+11]. 3rd [PP09, Sub11, WTC09]. 4 [PCD91]. 4.0 [Vog99, Vog00]. 432 [PKW81]. 4381 [GPR87]. 45 [HB80]. 4th [BCC+94]. 5. [Woo85]. 5th [BR10, LS09, OFB16, RAVC12]. 60 [BB75]. 6000 [HO91]. 64 [ZRMH00]. 64-bit [CBHLL92, THK95]. 6th [BM17]. 736 [AD07]. 7th [Gue87]. 80 [BSUH87]. 802.11n [AHB15]. 8800 [Cla87]. 8th [CJRV15]. 9 [Gan08, PPT+93].
    [Show full text]
  • Garbage Collection
    DOLPHIN: PERSISTENT, OBJECT-ORIENTED AND NETWORKED A REPORT SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE UNIVERSITY OF STRATHCLYDE CONSISTING OF A DOCTOR OF PHILOSOPHY THESIS DISSERTATION By Gordon W. Russell February 1995 The copyright of this thesis belongs to the author under the terms of the United Kingdom Copyright Acts as qualified by University of Strathclyde Regulation . Due acknowledgement must always be made of the use of any material contained in, or derived from, this thesis. c Copyright 1995 iii Abstract This thesis addresses the problems associated with the design of a new generation of high-performance computer systems for use with object-oriented languages. The major contribution is a novel design for the utilization of object addressing and multiple stacks within RISC-style processors, and a pro- posal for object-addressed stable electronic memory capable of supporting much higher performance than contemporary designs based on the use of disk backing store. The impact of the new designs in discussed and evaluated by simulation within the context of object-oriented system design. iv Publications and Acknowledgements A number of publications have been created from this work: Four machine descriptions and critiques have been reproduced in [Russell and Cockshott, 1993a] from an early draft of chapter 3. This paper is also available as a technical report [Russell and Cockshott, 1993b]. A technical report discussing DAIS' caching strategy has been produced [Russell and Shaw, 1993a]. A cut down version of chapter 5, discussing only the cache structure and its advantages, appears in [Russell et al., 1995]. DAIS' register file is based on a dynamically-resizing shift register.
    [Show full text]
  • An Operating Systems Vade Mecum
    An Operating Systems Vade Mecum Raphael A. Finkel University of Wisconsin at Madison Prentice Hall Englewood Cliffs, New Jersey 07632 Contents iii CONTENTS PREFACE xi Chapter 1 INTRODUCTION 1 1 Philosophy of the book 1 2 The Resource Principle 3 3 Historical development 4 3.1 Open shop 4 3.2 Operator-driven shop 5 3.3 Of¯ine transput 6 3.4 Spooling systems 8 3.5 Batch multiprogramming 8 3.6 Interactive multiprogramming 11 3.7 Distributed computing 12 4 The Beauti®cation Principle 12 5 The kernel and processes 14 5.1 Context blocks 14 5.2 Process lists 17 5.3 Service calls 17 6 Virtual machines 20 7 Further reading 24 8 Exercises 25 Chapter 2 TIME MANAGEMENT 27 1 Goals, measures, and assumptions 29 2 Policies 31 2.1 First come, ®rst served (FCFS) 34 2.2 Round robin (RR) 37 2.3 Shortest process next (SPN) 39 2.4 Preemptive shortest process next (PSPN) 41 2.5 Highest penalty ratio next (HPRN) 41 2.6 Multiple-level feedback (FB) 42 2.7 Sel®sh round robin (SRR) 44 2.8 Hybrid methods 46 2.9 State-dependent priority methods 46 2.10 External priority methods 47 3 Perspective 47 3.1 Classi®cation of scheduling policies 48 3.2 Evaluating policies 49 3.3 Scheduling levels 51 3.4 Countermeasures 52 3.5 Guiding principles 52 4 Further reading 53 iv Contents 5 Exercises 54 Chapter 3 SPACE MANAGEMENT 57 1 Preliminaries 57 1.1 Swapping 57 1.2 Storage hierarchies 58 1.3 Physical and virtual store 59 1.4 Address translation 60 1.5 Sharing 62 1.6 Initial loading and execution 63 2 Fixed partitions 65 2.1 Security 67 2.2 Overlays 69 3 Single segment 70 3.1
    [Show full text]