DOCSLIB.ORG

Oberon for .NET Jürg Gutknecht, ETH Zürich, PDC 2001

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Oberon for .NET Jürg Gutknecht, ETH Zürich, PDC 2001 Oberon for .NET Jürg Gutknecht, ETH Zürich, PDC 2001 Project 7/7+ Launched and Sponsored by Microsoft Research http://www.oberon.ethz.ch/oberon.net/ The Pascal Family: History of ETH Programming Languages 1960 Algol: Procedures & principle of locality, structured programming 1970 Pascal: Data structures, p-code, algorithms & data structures 1980 Modula-2: Modules, interfaces, Lilith & m-code, programming-in-the-large 1990 Oberon: data type extension, object- oriented-programming 2000 Active Oberon for .NET new object model, interoperability, component programming The Pascal Family: History of ETH Programming Languages 1960 Algol: Procedures & principle of locality, structured programming 1970 Pascal: Data structures, p-code, algorithms & data structures 1980 Modula-2: Modules, interfaces, Lilith & m-code, programming-in-the-large 1990 Oberon: data type extension, object- oriented-programming 2000 Active Oberon for .NET new object model, interoperability, component programming The Pascal Family: History of ETH Programming Languages 1960 Algol: Procedures & principle of locality, structured programming 1970 Pascal: Data structures, p-code, algorithms & data structures 1980 Modula-2: Modules, interfaces, Lilith & m-code, programming-in-the-large 1990 Oberon: data type extension, object- oriented-programming 2000 Active Oberon for .NET new object model, interoperability, component programming Project Opportunities for ETH Use .NET as implementation platform Offer academic language to wide audience Explore language interoperability Provide Pascal-line teaching alternative Use .NET as a teaching subject Interoperability framework Compiler/runtime technology Use .NET as language research platform Experiment with new paradigms & models Project Opportunities for ETH Use .NET as implementation platform Offer academic language to wide audience Explore language interoperability Provide Pascal-line teaching alternative Use .NET as a teaching subject Interoperability framework Compiler/runtime technology Use .NET as language research platform Experiment with new paradigms & models Project OpportunitiesIn use at ETH for ETH from WS 2001/2 Use .NET as implementation platform Offer academic language to wide audience Explore language interoperability Provide Pascal-line teaching alternative Use .NET as a teaching subject Interoperability framework Compiler/runtime technology Use .NET as language research platform Experiment with new paradigms & models Project Opportunities for ETH Use .NET as implementation platform Offer academic language to wide audience Explore language interoperability Provide Pascal-line teaching alternative Use .NET as a teaching subject Interoperability framework Compiler/runtime technology Use .NET as language research platform Experiment with new paradigms & models Active Oberon The New Object Model Modules Conceptual combination of namespace and system-managed object Active Objects Conceptual integration of behavior into (sharable) objects Definitions Abstract interface/class aggregates Active Oberon The New Object Model Modules Conceptual combination of namespace and system-managed object Active Objects Conceptual integration of behavior into (sharable) objects Definitions Abstract interface/class aggregates Sample Module MODULE RandomNumbers; VAR z: LONGINT; (*global variable*) PROCEDURE Next*(): REAL; Interface CONST a = 16807; m = 2147483647; q = m DIV a; r = m MOD a; VAR g: LONGINT; BEGIN Implementation g := a*(z MOD q) - r*(z DIV q); IF g > 0 THEN z := g ELSE z := g + m END; RETURN z*(1.0/m) (*value*) END Next; BEGIN z := 31459 END RandomNumbers. Initialization Active Oberon The New Object Model Modules Conceptual combination of namespace and system-managedProvide powe robjectful Active Objectssystem structuring tool Conceptual integration of behavior into (sharable) objects Definitions Abstract interface/class aggregates Active Oberon The New Object Model Modules Conceptual combination of namespace and system-managed object Active Objects Conceptual integration of behavior into (sharable) objects Definitions Abstract interface/class aggregates Sample Active Object Sprite = OBJECT VAR shape: Figure; X, Y, nextX, nextY: REAL; PROCEDURE Step (VAR X, Y: INTEGER); BEGIN ... Law of movement END Step; PROCEDURE NEW (s: Figure; x, y: INTEGER); BEGIN Initialization shape := s; X := x; Y := y; Draw(shape, X, Y) END NEW; Behavior run as BEGIN { ACTIVE } separate thread LOOP Step(nextX, nextY); Erase(shape, X, Y); X := newX; Y := newY; Draw(shape, X, Y) END END Sprite; The New Computing Model active establishing c y y object access s AWAIT c shared y y y resource z s is access s s blocked call y z´s z x thread s s s active x´s object thread x Active Oberon The New Object Model Modules Conceptual combination of namespace and system-managed object Active Objects Conceptual integration of behavior into (sharable) objects Definitions Express the „new computing model“ Abstract interface/class aggregates Active Oberon The New Object Model Modules Conceptual combination of namespace and system-managed object Active Objects Conceptual integration of behavior into (sharable) objects Definitions Abstract interface/class aggregates Design Patterns Co nt aine Client Interface r Client Truck Delegation Truck le hic this! Ve Container Vehicle Client Helper class Base class Interface this? Delegation Truck Vehicle Container or this? Helper class Base class Active Oberon The New Object Model Modules Conceptual combination of namespace and system-managed object Active Objects Conceptual integration of behavior into (sharable) objects Definitions Abstract interface/class aggregates Unify principles of abstraction .NET Compiler A Research Platform Mapping Active Oberon → .NET Mapping statements Mapping object model Modules Active Objects Definitions Interfacing with .NET Based on Reflection & Reflection Emit API Based on parse Tree API .NET Compiler A Research Platform Mapping Active Oberon → .NET Mapping statements Mapping object model Modules Active Objects Definitions Interfacing with .NET Based on Reflection & Reflection Emit API Based on parse Tree API assembly M M A PE X sealed class module version Y lock class static constructor M sealed class for module initialization .NET Compiler A Research Platform Mapping Active Oberon → .NET Mapping statements Mapping object model Modules Active Objects Definitions Interfacing with .NET Based on Reflection & Reflection Emit API Based on parse Tree API .NET Compiler A Research Platform Mapping Active Oberon → .NET Mapping statements Mapping object model Modules Active Objects Definitions Interfacing with .NET Based on Reflection & Reflection Emit API Based on parse Tree API DEFINITION D; VAR x: T; PROCEDURE f (y: T); Active VAR z: T; BEGIN x := y ; z := x Oberon END f; PROCEDURE { ABSTRACT } g(): T; END D; TYPE A = OBJECT IMPLEMENTS D; C# PROCEDURE g (y: T) IMPLEMENTS D.g; VAR z: T; BEGINpublic z := x; interface x := y ID { END g; int x { get; set; } END A; void f(int y); /* implemented by SD.f */ void g(int y); } public class SD { public static void f(D me, int y) { int z; me.x = y; z = me.x; } } sealed class A: ID { int D_x; public void g(int y) { int z; z = x; x = y; } public void f(int y) { SD.f(this, y); } /* delegation */ public int x { get { return D_x; } set { D_x = value; }}} .NET Compiler A Research Platform Mapping Active Oberon → .NET Mapping statements Mapping object model Modules Active Objects Definitions Interfacing with .NET Based on Reflection & Reflection Emit API Based on parse Tree API .NET Compiler A Research Platform Mapping Active Oberon → .NET Mapping statements Mapping object model Modules Active Objects Definitions Interfacing with .NET Based on Reflection & Reflection Emit API Based on parse Tree API .NET as Compiler Research Platform New compiler technology Active Oberon Comprehensive compiler parse tree API Active Oberon source code MSIL code Serialization factored out .NET Compiler A Research Platform Mapping Active Oberon → .NET Mapping statements Mapping object model Modules Active Objects Definitions Interfacing with .NET Based on Reflection & Reflection Emit API Based on parse Tree API.
Load more

Recommended publications
  • ETH Eidgenossische Technische Hochschule Zurich H.Eberle
    ETH Eidgenossische lnstitut Technische fur lnformatik Hochschule ZUrich H.Eberle Hardware Description of the Workstation Ceres 11nuar 1987 ,70 70 . 61 .10 ETH Eidgenossische lnstitut Technische fur lnformatik Hochschule Zurich Eidrg. ~hn. ZI!rich lrricrm!!~!~:.~~lb;i::1H1a-k ETH~Zentrum CH..oo92 Zurich H.Eberle Hardware Description of the Workstation Ceres EidQ. lechn. He:ch'?~h'Jle Zilr\J::;!-: lnforme::!':.uib~iuthek El'l I-lei ili rn 11 CH-8002 ZOrtch gl,4-,23 Address of the author: lnstitut fiJr lnformatik ETH-Zentrum CH-8092 Zurich I Switzerland © 1987 lnstitut tor lnformatik, ETH Zurich 1 Hardware Description of the Workstation Ceres H.Eberle Abstract Ceres is a single-user computer based on the 32-bit microprocessor NS32000. The processor is oriented to the use of high-level languages. The hardware design concentrates on simplicity and modularity. The key features are the arbitrated memory bus and the high resolution bitmapped graphics display which promotes the attractivity of a programming workstation. This paper documents the hardware of the Ceres computer. 2 Contents 1 Introduction 3 2 Hardware Structure 4 2.1 Processor 4 2.2 Primary Memory 4 2.3 Secondary Memory 4 2.4 Input/Output Devices 4 3 Hardware Implementation 6 3.1 Processor Board 6 3.1.1 Processor 6 3.1.2 Memory Bus Arbiter 9 3.1.3 Boot ROM and Standard Input/Output Devices 12 3.2 Memory Board 15 3.3 Display Controller Board 18 3.3.1 Display Memory 18 3.3.2 Display Refresh Controller 19 3.4 Disk Controller Board 23 3.5 Motherboard 23 4 Hardware Extensions 24 References 26 Appendices A Circuit Diagrams 28 A.1 Processor Board 28 A.2 Memory Board 35 A.3 Display Controller Board 37 B PAL Design Specifications 42 c Interface Connectors 47 C.1 Processor Board 47 C.2 Display Controller Board 48 C.3 Motherboard 48 3 1 Introduction Todays working tools of a software engineer at the lnstitut fUr lnformatik of ETH ZOrich are the programming language Modula-2 [1] and the workstation computer Lilith [2].
    [Show full text]
  • Niklaus Wirth—A Pioneer of Computer Science 1
    Niklaus Wirth—A Pioneer of Computer Science 1 Niklaus Wirth — a Pioneer of Computer Science Gustav Pomberger, Hanspeter Mössenböck, Peter Rechenberg Johannes Kepler University of Linz [email protected], [email protected], [email protected] Abstract Niklaus Wirth is one of the most influential scientists of the early computer age. His ideas and especially his programming languages have shaped gen- erations of programmers worldwide. This paper tries to acknowledge the scientific achievements of Niklaus Wirth and to honor him as a person. A small part of the paper is also devoted to Wirth's influence on computer sci- ence at the Johannes Kepler University of Linz. 1 Introduction Ask computer specialists anywhere—be it in Europe or America, in Asia or Australia—who the most important computer scientists in the world are, and you can bet that the name Niklaus Wirth will be on every list. Ask programming language experts about the person with the greatest influence on the development of programming languages, and they would agree on Niklaus Wirth. Ask students, teachers and computer hobbyists about the most important programming lan- guages, and you can be sure that even today Pascal will be on every list. Finally, examine the literature of computer science in the elite circle of books with the greatest number of copies printed, the widest distribution, and the most transla- tions, and you will find books by Niklaus Wirth, especially the prominent book on Pascal. These few examples show that professor Niklaus Wirth is one of the world's leading computer scientists.
    [Show full text]
  • System Construction
    System Construction Autumn Semester 2017 ETH Zürich Felix Friedrich 1 Goals . Competence in building custom system software from scratch . Understanding of „how it really works“ behind the scenes across all levels . Knowledge of the approach of fully managed lean systems A lot of this course is about detail. A lot of this course is about bare metal programming. 2 Course Concept . Discussing elaborated case studies . In theory (lectures) . and practice (hands-on lab) . Learning by example vs. presenting topics 3 Prerequisite . Knowledge corresponding to lectures Systems Programming and/or Operating Systems . Do you know what a stack-frame is? . Do you know how an interrupt works? . Do you know the concept of virtual memory? . Good reference for recapitulation: Computer Systems – A Programmer's Perspective 4 Links . SVN repository https://svn.inf.ethz.ch/svn/lecturers/vorlesungen/trunk/syscon/2017/shared . Links on the course homepage http://lec.inf.ethz.ch/syscon 5 Background: Co-Design @ ETH Languages (Pascal Family) +MathOberon Active Modula Oberon ActiveOberon Cells Oberon07 Zonnon Operating / Runtime Systems Medos Oberon Aos A2 SoC HeliOs Minos LockFree Kernel Hardware x86 / IA64/ ARM TRM Lilith Ceres Emulations on (FPGA) Unix / Linux RISC (FPGA) 1980 1990 2000 2010 6 Course Overview Part1: Contemporary Hardware Case Study 1. Minos: Embedded System . Safety-critical and fault-tolerant monitoring system . Originally invented for autopilot system for helicopters . Topics: ARM Architecture, Cross-Development, Object Files and Module Loading, Basic OS Core Tasks (IRQs, MMUs etc.), Minimal Single-Core OS: Scheduling, Device Drivers, Compilation and Runtime Support. With hands-on lab on Raspberry Pi (2) 7 Course Overview Part1: Contemporary Hardware Case Study 2.
    [Show full text]
  • A Modula-2 Oriented Operating System for the Personal Computer Lilith
    Diss. ETH No. 7346 Medos-2: A Modula-2 Oriented Operating System for the Personal Computer Lilith A dissertation submitted to the SWISS FEDERAL INSTITUTE OF TECHNOLOGY ZURICH for the degree of Doctor of Technical Sciences presented by SVEND ERIK KNUDSEN Dipl. Phys. ETH born October 19,1947 citizen of Thalwil (Zurich) accepted to the recommendation of Prof. Dr. N. Wirth, examiner Prof. Dr. C.A. Zehnder, co-examiner Zurich 1983 C 1983 by Svend Erik Knudsen, Grundsteinstr. 2, CH-8804 Au/ZH Preface In the fall of 1977, Prof. N. Wirth started an integrated hardware and software project aiming at the construction of a modern personal computer, a highly desirable tool for the creative software engineer. The principal parts of the so-called Lilith project were the design of the programming language Modula-2 and the construction of a multipass compiler for it, the design of a suitable machine architecture for the execution of compiled programs, the design and construction of a computer capable of efficiently interpreting the defined machine architecture and equipped with the desired peripheral devices, the design and the implementation of the single-user operating system Medos-2, the development of modern text and graphic editors taking full advantage of the computer's capabilities, and the development of a whole range of utility programs and library modules supporting the preparation of documents and the development of programs. After successful prototyping a series of 20 computers was built. During the first year of the project, I was mainly involved in the programming language part of the project.
    [Show full text]
  • Project Oberon the Design of an Operating System and Compiler
    1 Niklaus Wirth Jürg Gutknecht Project Oberon The Design of an Operating System and Compiler Edition 2005 2 Project Oberon Preface This book presents the results of Project Oberon, namely an entire software environment for a modern workstation. The project was undertaken by the authors in the years 1986-89, and its primary goal was to design and implement an entire system from scratch, and to structure it in such a way that it can be described, explained, and understood as a whole. In order to become confronted with all aspects, problems, design decisions and details, the authors not only conceived but also programmed the entire system described in this book, and more. Although there exist numerous books explaining principles and structures of operating systems, there is a lack of descriptions of systems actually implemented and used. We wished not only to give advice on how a system might be built, but to demonstrate how one was built. Program listings therefore play a key role in this text, because they alone contain the ultimate explanations. The choice of a suitable formalism therefore assumed great importance, and we designed the language Oberon as not only an effective vehicle for implementation, but also as a publication medium for algorithms in the spirit in which Algol 60 had been created three decades ago. Because of its structure, the language Oberon is equally well suited to exhibit global, modular structures of programmed systems. In spite of the small number of man-years spent on realizing the Oberon System, and in spite of its compactness letting its description fit a single book, it is not an academic toy, but rather a versatile workstation system that has found many satisfied and even enthusiastic users in academia and industry.
    [Show full text]
  • Implementation of a Modula 2 Subset Compiler Supporting a 'C' Language Interface Using Commonly Available UNIX Tools Raymond Shear F
    Rochester Institute of Technology RIT Scholar Works Theses Thesis/Dissertation Collections 1989 Implementation of a Modula 2 subset compiler supporting a 'C' language interface using commonly available UNIX tools Raymond Shear F. Follow this and additional works at: http://scholarworks.rit.edu/theses Recommended Citation Shear, Raymond F., "Implementation of a Modula 2 subset compiler supporting a 'C' language interface using commonly available UNIX tools" (1989). Thesis. Rochester Institute of Technology. Accessed from This Thesis is brought to you for free and open access by the Thesis/Dissertation Collections at RIT Scholar Works. It has been accepted for inclusion in Theses by an authorized administrator of RIT Scholar Works. For more information, please contact [email protected]. Rochester Institute of Technology School of Computer Science And Technology Implementation of A Modula 2 Subset Compiler Supporting a 'C' Language Interface Using Commonly Available UNIX Tools by Raymond F. Shear, Jr. A thesis, submitted to The Faculty of the School of Computer Science and Technology, in partial fulfillment of the requirements for the degree of Master of Science in Computer Science. Approved by: Professor Peter Lutz11//1/" Profes""or Andrew KltC:t/t7/IJ<i /71f(Y \"r Pri5tessor Peter Anderson I April 2, 1989 Implementation of a Modula 2 Subset Compiler Supporting a 'C' Language Interface Using Commonly Available UNIX Tools I Raymond F. Shear, Jr. hereby grant permission to Wallace Memorial Library, of RIT, to reproduce my thesis in whole or in part. Any reproduction will not be for commercial use or profit. Raymond F. Shear April 19, 1989 ACKNOWLEDGEMENTS This document represents not just the efforts of its author but the intellectual, emotional and spiritual support of a great number of people over the duration of the thesis project and the educational experiences which have lead up to it.
    [Show full text]
  • Wirth Transcript Final
    A. M. Turing Award Oral History Interview with Niklaus Wirth by Elena Trichina ETH, Zürich, Switzerland March 13, 2018 Trichina: My name is Elena Trichina. It is my honor to interview Professor Niklaus Wirth for the Turing Award Winners Project of the Association for Computing Machinery, the ACM. The Turing Award, sometimes referred to as “the Nobel Prize of computing,” is given annually for major contributions of lasting importance in computing. Professor Wirth received his award in 1984 in recognition of his outstanding work in developing a sequence of programming languages – Euler, Algol-W, Pascal, Modula. The hallmarks of Wirth’s languages are their simplicity, economy of design, and high-level engineering. We will talk about it and many other things later today in the interview that takes place on the 13th of March, 2018, in the Swiss Federal Institute of Technology. So we start. Ready? Guten Tag, Niklaus. Gruetzi. Wirth: Добрый ден, Елена Василевна Здравствуи [Good morning, Elena. Hello. – ed.] Trichina: Well, although your command of Russian is sufficient, my command of Swiss German is a little bit rudimentary. Shall we continue in one of the languages where we both feel comfortable? What would it be? French? English? Wirth: Oh, I think English is better for me. Yes, yes. Trichina: Okay. It’s probably better for the audience. [laughs] Wirth: Okay. True. Trichina: Okay. We continue in English. Here in front of me there is a list of the most important days in your life. You were born in February 1934 in Winterthur, which is a sort of middle-size industrial town in Switzerland.
    [Show full text]
  • System Construction
    System Construction Autumn Semester 2015 Felix Friedrich 1 Goals . Competence in building custom system software from scratch . Understanding of „how it really works“ behind the scenes across all levels . Knowledge of the approach of fully managed lean systems A lot of this course is about detail. A lot of this course is about bare metal programming. 2 Course Concept . Discussing elaborated case studies . In theory (lectures) . and practice (hands-on lab) . Learning by example vs. presenting topics 3 Prerequisite . Knowledge corresponding to lectures Systems Programming and/or Operating Systems . Do you know what a stack-frame is? . Do you know how an interrupt works? . Do you know the concept of virtual memory? . Good reference for recapitulation: Computer Systems – A Programmer's Perspective 4 Links . SVN repository https://svn.inf.ethz.ch/svn/lecturers/vorlesungen/trunk/syscon/2015/shared . Links on the course homepage http://lec.inf.ethz.ch/syscon/2015 5 Background: Co-Design @ ETH Languages (Pascal Family) +MathOberon Active Modula Oberon ActiveOberon Cells Oberon07 Zonnon Operating / Runtime Systems Medos Oberon Aos A2 SoC HeliOs Minos LockFree Kernel Hardware x86 / IA64/ ARM TRM Lilith Ceres Emulations on (FPGA) Unix / Linux RISC (FPGA) 1980 1990 2000 2010 6 Course Overview Part1: Contemporary Hardware Case Study 1. Minos: Embedded System . Safety-critical and fault-tolerant monitoring system . Originally invented for autopilot system for helicopters . Topics: ARM Architecture, Cross-Development, Object Files and Module Loading, Basic OS Core Tasks (IRQs, MMUs etc.), Minimal Single-Core OS: Scheduling, Device Drivers, Compilation and Runtime Support. new Now with hands-on lab on Raspberry Pi (2) 7 Course Overview Part1: Contemporary Hardware Case Study 2.
    [Show full text]
  • Oberon = Education + Innovation, Hong Kong Baptist University, 2016-11-30 1
    F.V.Tkachov, Oberon = Education + innovation, Hong Kong Baptist University, 2016-11-30 1 HONG KONG BAPTIST UNIVERSITY FACULTY OF SCIENCE Department of Computer Science Colloquium 2016 Series Oberon = Education + Innovation Dr. Fyodor Tkachov Leading researcher, Russian Academy of Sciences Date: November 30, 2016 (Wednesday) Time: 2:30 - 3:30 pm Venue: SCT909, Cha Chi Ming Science Tower, Ho Sin Hang Campus Abstract The Project Oberon by Niklaus Wirth (Turing Award, 1984) and Jurg Gutknecht (ETH, Zurich) summarizes the essence of programming in a minimalistic language and IDE that are in a stunning contrast with mainstream tools in regard of size, robustness, flexibility and smooth workflow. Oberon has been influencing the IT industry (Java, C#, Golang ...) and proves to be a perfect backbone for systematic programming education encompassing students of ages 12 (introduction) to 20+ (software architecture, compiler construction etc.). It also proves to be a great tool (even a silver bullet in a number of cases) for various projects that are cost sensitive OR require a stringent quality of software OR are immune to the pressures of IT mainstream OR cannot push the costs of the mainstream complexity on to unsavvy customers, as in application areas such as: drones, nuclear power stations, various industrial automation, theoretical and experimental scientific research, teaching programming to 12-year old kids ... The talk is based on the diverse experiences accumulated by the participants of the educational project Informatika-21 since the
    [Show full text]
  • Tech-Savvy Girls
    Tech-SavvyTech-Savvy EducatingEducating GirlsGirls inin thethe NewNew ComputerComputer AgeAge aauw Educational foundation Commission on Technology, Gender, and Teacher Education TECH-SAVVYTECH-SAVVY Educating Girls in the New Computer Age By the AAUW Educational Foundation Commission on Technology, Gender, and Teacher Education This report was made possible, in part, by the generous contribution of Margaret Strauss Kramer. Special thanks to the Northern Palm Beach Branch of AAUW. Published by the American Association of University Women Educational Foundation 1111 Sixteenth Street N.W. Washington, DC 20036 202/728-7602 Fax: 202/872-1425 TDD: 202/785-7777 [email protected] www.aauw.org Copyright 2000 American Association of University Women Educational Foundation All rights reserved Printed in the United States First printing: April 2000 Cover design by Sabrina Meyers Layout by Vann Dailly Library of Congress Card Number: 00-100922 ISBN 1879922231 Cover photos: The Concord Consortium; Jeff Leaf; Judy Rolfe TABLE OF CONTENTS Foreword............................................................................................................v Executive Summary............................................................................................vii INTRODUCTION FROM THE COMMISSION: Dual Visions ...................................................................................................... 1 Chapter 1: “WE CAN, BUT I DON’T WANT TO”: Girls’ Perspectives on the Computer Culture.....................................................
    [Show full text]
  • System Construction
    System Construction Autumn Semester 2016 ETH Zürich Felix Friedrich 1 Goals . Competence in building custom system software from scratch . Understanding of „how it really works“ behind the scenes across all levels . Knowledge of the approach of fully managed lean systems A lot of this course is about detail. A lot of this course is about bare metal programming. 2 Course Concept . Discussing elaborated case studies . In theory (lectures) . and practice (hands-on lab) . Learning by example vs. presenting topics 3 Prerequisite . Knowledge corresponding to lectures Systems Programming and/or Operating Systems . Do you know what a stack-frame is? . Do you know how an interrupt works? . Do you know the concept of virtual memory? . Good reference for recapitulation: Computer Systems – A Programmer's Perspective 4 Links . SVN repository https://svn.inf.ethz.ch/svn/lecturers/vorlesungen/trunk/syscon/2016/shared . Links on the course homepage http://lec.inf.ethz.ch/syscon/2016 5 Background: Co-Design @ ETH Languages (Pascal Family) +MathOberon Active Modula Oberon ActiveOberon Cells Oberon07 Zonnon Operating / Runtime Systems Medos Oberon Aos A2 SoC HeliOs Minos LockFree Kernel Hardware x86 / IA64/ ARM TRM Lilith Ceres Emulations on (FPGA) Unix / Linux RISC (FPGA) 1980 1990 2000 2010 6 Course Overview Part1: Contemporary Hardware Case Study 1. Minos: Embedded System . Safety-critical and fault-tolerant monitoring system . Originally invented for autopilot system for helicopters . Topics: ARM Architecture, Cross-Development, Object Files and Module Loading, Basic OS Core Tasks (IRQs, MMUs etc.), Minimal Single-Core OS: Scheduling, Device Drivers, Compilation and Runtime Support. With hands-on lab on Raspberry Pi (2) 7 Course Overview Part1: Contemporary Hardware Case Study 2.
    [Show full text]
  • The Extent of Empirical Evidence That Could Inform Evidence-Based Design of Programming Languages
    JYVÄSKYLÄ LICENTIATE THESES IN COMPUTING 18 Antti-Juhani Kaijanaho The Extent of Empirical Evidence that Could Inform Evidence-Based Design of Programming Languages A Systematic Mapping Study JYVÄSKYLÄ LICENTIATE THESES IN COMPUTING 18 Antti-Juhani Kaijanaho The Extent of Empirical Evidence that Could Inform Evidence-Based Design of Programming Languages A Systematic Mapping Study UNIVERSITY OF JYVÄSKYLÄ JYVÄSKYLÄ 2014 The Extent of Empirical Evidence that Could Inform Evidence-Based Design of Programming Languages A Systematic Mapping Study JYVÄSKYLÄ LICENTIATE THESES IN COMPUTING 18 Antti-Juhani Kaijanaho The Extent of Empirical Evidence that Could Inform Evidence-Based Design of Programming Languages A Systematic Mapping Study UNIVERSITY OF JYVÄSKYLÄ JYVÄSKYLÄ 2014 Editor Timo Männikkö Department of Mathematical Information Technology, University of Jyväskylä URN:ISBN:978-951-39-5791-9 ISBN 978-951-39-5791-9 (PDF) ISBN 978-951-39-5790-2 (nid.) ISSN 1795-9713 Copyright © 2014, by University of Jyväskylä Jyväskylä University Printing House, Jyväskylä 2014 GLENDOWER. I can call spirits from the vasty deep. HOTSPUR. Why, so can I, or so can any man; But will they come when you do call for them? — William Shakespeare’s Henry IV Part 1 (III.1) ABSTRACT Kaijanaho, Antti-Juhani The extent of empirical evidence that could inform evidence-based design of pro- gramming languages. A systematic mapping study. Jyväskylä: University of Jyväskylä, 2014, 243 p. (Jyväskylä Licentiate Theses in Computing, ISSN 1795-9713; 18) ISBN 978-951-39-5790-2 (nid.) ISBN 978-951-39-5791-9 (PDF) Finnish summary Background: Programming language design is not usually informed by empirical studies.
    [Show full text]