introduction
play

Introduction COMP 520: Compiler Design (4 credits) Alexander Krolik - PowerPoint PPT Presentation

Jun 19, 2023 •557 likes •932 views

COMP 520 Winter 2020 Introduction (1) Introduction COMP 520: Compiler Design (4 credits) Alexander Krolik alexander.krolik@mail.mcgill.ca MWF 10:30-11:30, TR 1100 http://www.cs.mcgill.ca/~cs520/2020/ COMP 520 Winter 2020 Introduction (2)

  1. COMP 520 Winter 2020 Introduction (1) Introduction COMP 520: Compiler Design (4 credits) Alexander Krolik alexander.krolik@mail.mcgill.ca MWF 10:30-11:30, TR 1100 http://www.cs.mcgill.ca/~cs520/2020/

  2. COMP 520 Winter 2020 Introduction (2) I’m Alex! • Current PhD student in compilers; • Undergrad & masters at McGill in computer science; • Part of McGill’s compiler research lab since 2014; – Speculative multithreading – Dependence analysis – GPU compilers • Originally took COMP 520 in Winter 2015; • Taught COMP 520 since 2017; and • Not a morning person; but definitely a winter person.

  3. COMP 520 Winter 2020 Introduction (3) GPU Compiler Research A very different target architecture ... SP SP SFU ... SM Core Core Shared Register PCI-e Memory Page Host Memory Device Memory How do we write efficient parallel programs for the GPU? Furthermore, how do we translate single-threaded CPU programs to GPU programs? My research : JIT compilation of SQL queries for GPUs

  4. COMP 520 Winter 2020 Introduction (4) Compiler Research at McGill (McLAB) Current Projects • Dynamic GPU compilation and optimization (r3d3) • Array language optimization for SQL queries (HorseIR) • Sparse matrix operations (SpMV fait maison) • JavaScript and WebAssembly Past Work • MATLAB analysis frameworks (McSAF , Tamer) • MATLAB static compilers (Mc2For, MiX10, Matjuice) • JIT compilation (McVM, Velociraptor) • Programing languages and tools (AspectMATLAB)

  5. COMP 520 Winter 2020 Introduction (5) In Memory of Professor Laurie Hendren

  6. COMP 520 Winter 2020 Introduction (6) Introduction Course Outline Compilers Overview Bootstrapping

  7. COMP 520 Winter 2020 Introduction (7) What is this class? Purpose This course is an introduction to the full pipeline of modern compilers • It covers all aspects of the compiler pipeline for modern languages (C, Python, etc.); • Explores its application to both general-purpose and domain-specific languages; and • Discusses virtual machines and runtime environments. End Goal By the end of this class you will have a working knowledge of compilers that allows you to • Effectively use compiler tools for general-purpose and domain-specific projects; and • Produce fully functional compilers for general-purpose languages.

  8. COMP 520 Winter 2020 Introduction (8) Contents Topics covered in class • Deterministic parsing: Scanners, LL/LR parsers, flex / bison tools • Semantic analysis: Abstract syntax trees, symbol tables, type checking • Virtual machines and run-time environments: JVM (stack machines), virtual register machines, garbage collection • Code generation: Resources, templates, optimizations • Special topics: GPUs, Rust/modern languages

  9. COMP 520 Winter 2020 Introduction (9) Class Information Schedule • Lectures: 3 hours/week (MWF 10:30-11:30) Prerequisites • COMP 273, COMP 302, (COMP 330), ability to read and write “large” programs • Students without COMP 330 should read the background material available at: http://www.cl.cam.ac.uk/teaching/2003/RLFA/notes.pdf Lecturer • Alexander Krolik, McConnell 234 Office Hours: Monday 5:00-6:00, Wednesday 11:30-12:30 TAs • Adrian Koretski ( adrian.koretski@mail.mcgill.ca ) McConnell 235 Office Hours: Tuesday/Thursday 14:45-15:45 • Jason Pizzuco ( jason.pizzuco@mail.mcgill.ca ) McConnell 234 Office Hours: Friday 12:00-13:00 If you have class at these times, send one of us an email to arrange another meeting time.

  10. COMP 520 Winter 2020 Introduction (10) Marking Scheme (Outdated, see next slide) Assignments • 10% for individual assignments (2 x 5%) • 10% for the JOOS peephole optimizer (group) GoLite Project • 35% for content submitted at milestones (group) • 10% for the final compiler and report (group) • Group members may be given different grades if the contributions are not reasonably equal Midterm: 10% midterm (before reading week) Final exam: 25% final exam (during exam period) • A 25% supplemental exam is offered Assignments and project milestones are due at midnight of the due date. A penalty of 10% per day late is given. Assignments will not be accepted after solutions have been circulated.

  11. COMP 520 Winter 2020 Introduction (11) Marking Scheme (New) Assignments • 10% for individual assignments (2 x 5%) • 15% for the JOOS peephole optimizer (group) GoLite Project • 30% for content submitted at milestones (group) • 25% for the final compiler and report (group) • Group members may be given different grades if the contributions are not reasonably equal Midterm: 20% midterm (before reading week) Final exam: Cancelled Assignments and project milestones are due at midnight of the due date. A penalty of 10% per day late is given. Assignments will not be accepted after solutions have been circulated.

  12. COMP 520 Winter 2020 Introduction (12) Academic Integrity • McGill University values academic integrity. Therefore all students must understand the meaning and consequences of cheating, plagiarism and other academic offences under the Code of Student Conduct and Disciplinary Procedures. https://www.mcgill.ca/students/srr/honest/ • In terms of this course, your responsibility is to ensure that all work is correctly attributed. Code without attribution must be entirely your own work. • If you use some third-party code you must have permission to use it and you must clearly indicate the source. • You may not use previous years’ solutions or grading material. • An honesty statement must be included with all assignment/project submissions. Other Required McGill Statements • In accord with McGill University’s Charter of Students’ Rights, students in this course have the right to submit in English or in French any written work that is to be graded.

  13. COMP 520 Winter 2020 Introduction (13) Course Material Textbook and online readings • Recommended Textbook, Crafting a Compiler by Fischer, Cytron and LeBlanc, available in hardcopy at the McGill Bookstore or www.amazon.ca . You can find a support web site with additional tutorial and reference information at http://www.cs.wustl.edu/~cytron/cacweb/ . There should be a copy on reserve in the library, and you may find other sources for the book. • Alternate Textbook, Modern compiler implementation in Java (2nd edition) by Appel and Palsberg. Free online version available via McGill Library (access via a McGill IP or VPN), http://mcgill.worldcat.org/title/modern-compiler-implementation-in-java/oclc/ 56796736 . • Optional but recommended background readings; and • Required for additional exercises.

  14. COMP 520 Winter 2020 Introduction (14) Course Material Slides • Detailed (and hopefully complete) explanation of the course contents; and • Available via the web site, either just before or after the lecture. Course website • http://www.cs.mcgill.ca/~cs520/2020/ • Contains links to examples, documentation and readings; and • Updated frequently with slides, due dates, and assignment specifications. Facebook group • https://www.facebook.com/groups/COMP520W2020/

  15. COMP 520 Winter 2020 Introduction (15) Course Material GitHub organization • https://github.com/comp520 • Contains examples for scanning and parsing, and assignment starter code. JOOS language and compiler • Java’s Object-Oriented Subset • Is compiled to Java bytecode; • Illustrates a fully fledged general purpose language; • Is used to teach by example and will be useful for your assignments and project; and • Has source code available on GitHub;

  16. COMP 520 Winter 2020 Introduction (16) GoLite Project Go Language • https://golang.org • Created by Rob Pike, Ken Thompson and Robert Griesemer • Google employees • Not a Google project like Gmail; open source • Initial release in 2009 • 1.0 release in 2012 Motivation • Simplify development • Built-in concurrency support • Faster compilation “Go is an open source programming language that makes it easy to build simple, reliable and efficient software." – golang.org

  17. COMP 520 Winter 2020 Introduction (17) GoLite Project Goal • Design a complete compiler for a significant, non-trivial subset of Go • Learn a compiler toolkit (C tools shown in class) • Produce any kind of output code, high-level code [C, JavaScript, Python, ...], or low-level code [assembly, LLVM, Java bytecode, ...] • Fun stuffed Gophers! GitHub and Groups • The project and Peephole Optimizer are done in groups of 2 or 3 – Undergraduates are strongly recommended to work in groups of 3 – Picking a good group is important. If your group dynamics fail, you can either work things out, or work alone for the rest of the project • We will use GitHub for the GoLite project • Start looking for your teammates! You will have to declare your group by the add/drop deadline

  18. COMP 520 Winter 2020 Introduction (18) Introduction Course Outline Compilers Overview Bootstrapping

  19. COMP 520 Winter 2020 Introduction (19) New Programming Languages per Year 130 120 110 100 90 80 70 60 50 40 30 20 10 0 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93

  20. COMP 520 Winter 2020 Introduction (20) Popular Programming Languages http://www.tiobe.com/tiobe-index/

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend

INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION

INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION

TRAINING COURSE ON SOCIAL PROTECTION & FORMALIZATION TRINIDAD AND TOBAGO MARCH 15, 2017 INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION Design of the NIS Assistance from the

547 views • 23 slides
INTRODUCTION Introduction 2/42 INTRODUCTION Alternations I am giving bread to the

INTRODUCTION Introduction 2/42 INTRODUCTION Alternations I am giving bread to the

Patterns of variation in the expression of case and agreement Andrs Brny Leiden University Centre for Linguistics 9 November 2019, BaSIS Workshop a.barany@hum.leidenuniv.nl INTRODUCTION Introduction 2/42 INTRODUCTION

1.37k views • 42 slides
Introduction Introduction Introduction Introduction Outline Motivation Failures

Introduction Introduction Introduction Introduction Outline Motivation Failures

Introduction Introduction Introduction Introduction Outline Motivation Failures Definition and concepts Process and product properties Principles SE Approaches Motivation Software and the economy The economies of

1.03k views • 49 slides
Introduction Introduction Introduction Nationwide Cause for Concern 1

Introduction Introduction Introduction Nationwide Cause for Concern 1

Introduction Introduction Introduction Nationwide Cause for Concern 1 https://www.cdc.gov/std/stats17/infographic.htm Introduction Epidemiology in Western Colorado CPHE Surveillance Data Report, May 2018 Chlamydia Epidemiology in Western

977 views • 39 slides
DAQ introduction Purpose of this talk : (1) Introduction for those who have not been in every

DAQ introduction Purpose of this talk : (1) Introduction for those who have not been in every

DAQ introduction Purpose of this talk : (1) Introduction for those who have not been in every meeting (2) Some ideas of diagrams for section 7.1 (Introduction) of TP. Giles Barr 25 Jan 2018, Pembroke College On DUNE, the reality is there is a

474 views • 10 slides
INTRODUCTION cf. Schneider, Chapter 1 INTRODUCTION THEY ARE OUT TO GET YOU INTRODUCTION WHAT

INTRODUCTION cf. Schneider, Chapter 1 INTRODUCTION THEY ARE OUT TO GET YOU INTRODUCTION WHAT

ADVANCED COMPUTER SECURITY INTRODUCTION cf. Schneider, Chapter 1 INTRODUCTION THEY ARE OUT TO GET YOU INTRODUCTION WHAT IS SECURITY? A systems security policies describe What the system is supposed to do Store and provide access

479 views • 16 slides
Overview Introduction to SMIL Introduction to W3C and XML Introduction to SMIL

Overview Introduction to SMIL Introduction to W3C and XML Introduction to SMIL

Overview Introduction to SMIL Introduction to W3C and XML Introduction to SMIL Writing a SMIL file Adding Media Objects Martin Halvey Clipping media files January 2008 Timing and Synchronising Layout World Wide

387 views • 14 slides
14 Introduction Introduction Bad guys can put malware into Example: hosts

14 Introduction Introduction Bad guys can put malware into Example: hosts

Introduction Introduction source Encapsulation ISO/OSI reference model message M application segment H t H t M transport network datagram H n H n H t M presentation: allow applications to frame link H l H n H t M interpret

583 views • 4 slides
Previous Lecture Introduction to SMIL 2 Introduction to W3C and XML Introduction to SMIL

Previous Lecture Introduction to SMIL 2 Introduction to W3C and XML Introduction to SMIL

Previous Lecture Introduction to SMIL 2 Introduction to W3C and XML Introduction to SMIL Writing a SMIL file Adding Media Objects Martin Halvey Clipping media files January 2008 Timing and Synchronising Layout

322 views • 8 slides
Lecture 1 Andreas Habegger Introduction Zynq Introduction Zynq Introduction Zynq PS vs. PL

Lecture 1 Andreas Habegger Introduction Zynq Introduction Zynq Introduction Zynq PS vs. PL

Introduction Zynq Lecture 1 Andreas Habegger Introduction Zynq Introduction Zynq Introduction Zynq PS vs. PL Processing System Processor Peripherals Data Buses AXI Bus Conclusion BTE5380 - Embedded Systems Octobre 2014 Andreas Habegger

1.81k views • 30 slides
2018.06 01 SMILE5 Introduction S E 5 02 Alpha Cloud M I L 03 Company Introduction 04

2018.06 01 SMILE5 Introduction S E 5 02 Alpha Cloud M I L 03 Company Introduction 04

2018.06 01 SMILE5 Introduction S E 5 02 Alpha Cloud M I L 03 Company Introduction 04 Project References S E 5 PART.1 SMILE5 Introduction M I L Introduction STORION-SMILE5 Residential Energy Storage System Inverter 5kW Output Input

1.06k views • 25 slides
Introduction to CICS Course introduction Course introduction What is CICS? What is an

Introduction to CICS Course introduction Course introduction What is CICS? What is an

Introduction to CICS Course introduction Course introduction What is CICS? What is an application server? Why use an application server? Course introduction Services provided by CICS How CICS applications are defined Scaling CICS to meet

1.84k views • 146 slides
Network Visualization Introduction Presented by Shahed Introduction Introduction Basic

Network Visualization Introduction Presented by Shahed Introduction Introduction Basic

Network Visualization Introduction Presented by Shahed Introduction Introduction Basic building blocks Node Links (relationship between nodes) Spatial information Network data

584 views • 9 slides
Introduction Introduction (1) Main argument of the paper: universities are not only

Introduction Introduction (1) Main argument of the paper: universities are not only

Le jugement des pairs comme outil de management des universits Peer-review as a management tool Christine Musselin (CSO, Sciences Po et CNRS) Avril 2013, Lirrsistible ascension du capitalisme acadmique Introduction Introduction (1)

590 views • 28 slides
Introduction Introduction to storage and to storage and filesystems filesystems Introduction

Introduction Introduction to storage and to storage and filesystems filesystems Introduction

Moreno Baricevic Gilberto Daz Axel Kohlmeyer Stefano Cozzini ULA ICTP CNR-IOM DEMOCRITOS Merida, VENEZUELA Trieste, ITALY Trieste, ITALY Introduction Introduction to storage and to storage and filesystems filesystems Introduction

1.19k views • 51 slides
JABLOTRON JA-100 introduction November 2011 Introduction Todays goals First introduction of

JABLOTRON JA-100 introduction November 2011 Introduction Todays goals First introduction of

JABLOTRON JA-100 introduction November 2011 Introduction Todays goals First introduction of the brand new JA-100 alarm system Visions Basic architecture System components Setting Help us with final validations You are the FIRST ones

1.69k views • 111 slides
Compiling Techniques Lecture 1: Introduction Christophe Dubach 19 September 2017 Christophe

Compiling Techniques Lecture 1: Introduction Christophe Dubach 19 September 2017 Christophe

How is the course structured? What is a compiler? Why studying compilers? Compiling Techniques Lecture 1: Introduction Christophe Dubach 19 September 2017 Christophe Dubach Compiling Techniques How is the course structured? What is a

655 views • 18 slides
Unit Testing in Ruby SWEN-250 Personal Software Engineering Testing, 1 2 3 4,

Unit Testing in Ruby SWEN-250 Personal Software Engineering Testing, 1 2 3 4,

Unit Testing in Ruby SWEN-250 Personal Software Engineering Testing, 1 2 3 4, Testing What Does a Unit Test Test? The term unit predates the O -O era. Unit natural abstraction unit of an O -O system: class

992 views • 15 slides
RAIC: Architecting Dependable Systems Through Redundancy and Just-In-Time Testing For The ICSE

RAIC: Architecting Dependable Systems Through Redundancy and Just-In-Time Testing For The ICSE

RAIC: Architecting Dependable Systems Through Redundancy and Just-In-Time Testing For The ICSE 2002 Workshop on Architecting Dependable Systems Orlando, Florida, USA Chang Liu, Debra J. Richardson Information And Computer Science University

840 views • 24 slides
VHDL Test benches How to simulate VHDL code Use a simulation tool like e.g. ModelSim

VHDL Test benches How to simulate VHDL code Use a simulation tool like e.g. ModelSim

VHDL Test benches How to simulate VHDL code Use a simulation tool like e.g. ModelSim Test bench to apply stimuli/test inputs to the VHDL code Visual inspection through graphical output (waveform) Self checking test

1.1k views • 24 slides
Compiler Writing Qing Yi class web site: www.cs.utsa.edu/ ~qingyi/cs4713 cs4713 1 A little

Compiler Writing Qing Yi class web site: www.cs.utsa.edu/ ~qingyi/cs4713 cs4713 1 A little

Compiler Writing Qing Yi class web site: www.cs.utsa.edu/ ~qingyi/cs4713 cs4713 1 A little about myself Qing Yi Ph.D. Rice University, USA. Assistant Professor, Department of Computer Science Office: SB 4.01.30 Phone :

632 views • 26 slides
301AA - Advanced Programming Lecturer: Andrea Corradini andrea@di.unipi.it

301AA - Advanced Programming Lecturer: Andrea Corradini andrea@di.unipi.it

301AA - Advanced Programming Lecturer: Andrea Corradini andrea@di.unipi.it http://pages.di.unipi.it/corradini/ AP-24 : RUST The RUST programming language Brief history Overview of main concepts Avoiding Aliases + Mutable Ownership

1.14k views • 56 slides
Source-to-Source Compilation via Submodules ELS, 910 May 2016 Hasu, Flatt (BLDL, PLT)

Source-to-Source Compilation via Submodules ELS, 910 May 2016 Hasu, Flatt (BLDL, PLT)

Source-to-Source Compilation via Submodules ELS, 910 May 2016 Hasu, Flatt (BLDL, PLT) Source-to-Source Compilation via Submodules Tero Hasu 1 Matthew Flatt 2 1 BLDL and University of Bergen 2 PLT and University of Utah Racket specificity

586 views • 23 slides
True separate compilation of Java classes Davide Ancona, Giovanni Lagorio, Elena Zucca DISI -

True separate compilation of Java classes Davide Ancona, Giovanni Lagorio, Elena Zucca DISI -

True separate compilation of Java classes Davide Ancona, Giovanni Lagorio, Elena Zucca DISI - University of Genova, Italy APPSEM-II Workshop - Nottingham This talk is based on True Separate Compilation of Java Classes [in PPDP02] and

489 views • 14 slides

More recommend