Un Système De Programmation Scheme Pour Micro-Contrôleur

Total Page:16

File Type:pdf, Size:1020Kb

Un Système De Programmation Scheme Pour Micro-Contrôleur Universite de Montreal Un systeme de programmation Scheme p our microcontroleur par Danny Dube Departement dinformatique et de recherche operationnelle Faculte des arts et sciences Memoire presente a la Faculte des etudes superieures en vue de lobtention du grade de Matre es sciences M Sc en informatique Avril c Danny Dube Page didentication du jury Universite de Montreal Faculte des etudes superieures Ce memoire intitule Un systeme de programmation Scheme p our microcontroleur presente par Danny Dube a ete evalue par un jury comp ose des p ersonnes suivantes Yoshua Bengio president du jury Francois Ma jor Marc Feeley directeur de matrise Memoire accepte le er ao ut Sommaire Notre travail vise a etudier les dierents asp ects relies a un systeme de programmation Scheme compact Le but principal consiste a montrer quon p eut faire une implantation suf samment compacte p our p ouvoir fonctionner sur un microcontroleur Les buts secondaires consistent a trouver ou developper un gestionnaire memoire automatique GC temps reel im plantable de facon compacte ainsi que de choisir des techniques p ortables Les dierents asp ects que nous etudions sont la representation des donnees principalement en ce qui concerne le typage les symboles les continuations et les environnements lexicaux plusieurs techniques de GC temps reel et la recherche dune technique originale le developpement dun mo dele dexecution tres compact utilisant la compilation A priori il ne semble pas evident datteindre lob jectif principal Plusieurs systemes Scheme compacts existent deja et aucun de ceuxci ne p eut se plier aux contraintes severes imp osees par un microcontroleur La contrainte ma jeure imp osee par un microcontroleur est la p etitesse de lespace memoire TABLE DES MATIERES Table des matieres Introduction Ob jectifs Motivation Problematique Methodologie Description precise de lob jectif Type de machine cible Survol de Scheme Scheme sur microcontroleur Continuations Denition Acces aux continuations en Scheme Exemple dutilisation des continuations Impact sur linterprete Traitement des app els terminaux Denition dapp el terminal Implantation correcte Impact sur linterprete Gestion memoire TABLE DES MATIERES Denition Interet de la denition Traitement derreurs Question decacite Representation des ob jets Representation des types Representation uniforme Representation taggee Les autres representations Nos choix dimplantation Les symboles Contenant directement le nom Numerotation des symboles Les continuations Pile Fermetures Structures de donnees ad hoc Nos choix dimplantation Les environnements Listes dasso ciation Listes Blo cs de liaison chanes Blo cs de liaison avec display Representation plate Nos choix dimplantation Recherche dun GC adequat TABLE DES MATIERES Limp ortance deviter la fragmentation Les dicultes liees aux GC temps reel Lincoherence des donnees Les mutations faites par lapplication Les grands ob jets Reglage de la vitesse du GC Les dierentes appro ches Regroup ement en zones ou en pages GC a deux semiespaces GC a un seul espace La version blo quante de notre technique de GC Disp osition du tas Declenchement du GC Description de lalgorithme La technique temps reel Les barrieres en lecture et en ecriture Lalgorithme du GC Synchronisation du GC avec lapplication Trois ameliorations Le calcul du ratio utilise par linterprete Compilation vers du co deo ctets Ap ercu du systeme Le systeme entier Le compilateur Reduction des formes syntaxiques derivees Les formes de base TABLE DES MATIERES Les reductions proprement dites Transformation en arbres de syntaxe Selection des fonctions de la librairie References globales La librairie Extraction des fonctions requises Traitement des constantes litterales Decoupage des constantes Co dage des constantes Reconstruction des constantes Lo calisation des variables Valeur initiale des variables globales Valeur initiale Utilite des valeurs initiales Co dage des valeurs initiales Substitution des fonctions app elees Pro duction du co deo ctets Organisation globale du co deo ctets Compilation des formes syntaxiques Linearisation et resolution des references La machine virtuelle et le co deo ctets La premiere machine virtuelle Les registres Comp ortement general Operandes courts et longs Operande facultatif TABLE DES MATIERES Le jeu dinstructions Compilation des dierentes formes Constantes .
Recommended publications
  • Published with the Approbation of the Board of Trustees
    JOHNS HOPKINS UNIVERSITY CIRCULARS Published with the approbation of the Board of Trustees VOL. V.—No. 46.] BALTIMORE, JANUARY, 1886. [PRICE, 10 CENTS. RECENT PUBLICATIONS. Photograph of the Normal Solar Spectrum. Made Reproduction in Phototype of a Syriac Manuscript by PROFESSOR H. A. ROWLAND. (Baltimore, Johns Hopkins University, 1886). (Williams MS.) with the Antilegomena Epistles. Edited by IsAAC H. HALL. (Baltimore, Johns Hopkins University, 1886). [Froma letter to Science, New York, December 18, 1885]. The photographic map of the spectrum, upon which Professor Rowland [Froman article by I. H. Hall in the Journal of the Society of Biblical Literature and has expended so much hard work during the past three years, is nearly Exegesis for 1885, with additions]. ready for publication. The map is issued in a series of seven plates, cover- In September last (1884) I announced in The Independent the discovery ing the region from wave-length 3100 to 5790. Each plate is three feet of a manuscript of the Acts and Epistles, among which occur also the long and one foot wide, and contains two strips of the spectrum, except Epistles that were antilegomena among the Syrians; namely the Second plate No. 2, which contains three. Most of the plates are on a scalethree Epistle of Peter, the Second and Third Epistles of John, and the Epistle of times that of Angstrdm’s map, and in definition are more than equal to any Jude, in the version usually printed with our Peshitto New Testaments. It map yet published, at least to wave-length 5325. The 1474 line is widely is well known that the printed copies of these Epistles in that version all double, as also are b rest upon one manuscriptonly, in the Bodleian Library at Oxford, England, 3 and b4, while E may be recognized as double by the from which they were first published by Edward Pococke (Leyden, Elzevirs) expert.
    [Show full text]
  • Central Islip Union Free School District and Central Islip Teachers Association (2005)
    NYS PERB Contract Collection – Metadata Header This contract is provided by the Martin P. Catherwood Library, ILR School, Cornell University. The information provided is for noncommercial educational use only. Some variations from the original paper document may have occurred during the digitization process, and some appendices or tables may be absent. Subsequent changes, revisions, and corrections may apply to this document. For more information about the PERB Contract Collection, see http://digitalcommons.ilr.cornell.edu/perbcontracts/ Or contact us: Catherwood Library, Ives Hall, Cornell University, Ithaca, NY 14853 607-254-5370 [email protected] Contract Database Metadata Elements Title: Central Islip Union Free School District and Central Islip Teachers Association (2005) Employer Name: Central Islip Union Free School District Union: Central Islip Teachers Association Effective Date: 07/01/05 Expiration Date: 06/30/15 PERB ID Number: 4733 Unit Size: Number of Pages: 142 For additional research information and assistance, please visit the Research page of the Catherwood website - http://www.ilr.cornell.edu/library/research/ For additional information on the ILR School - http://www.ilr.cornell.edu/ CENTRAL,ISLIP ···TEACHERS·Xs§'6e!ATION TABLE OF CONTENTS ARTICLE Preamble 1 I Recognition 2 II Negotiation Procedure '" . 4 III Teacher Association & Board Rights 6 IV Grievance Procedure '" '" 10 V Teacher-Administration Liaison 15 VI Salaries , 16 VII Teaching Hours and Teaching Load................... ...18 VIII Class Size , 22 IX Specialists
    [Show full text]
  • Implementing Concurrency Abstractions for Programming Multi-Core Embedded Systems in Scheme
    Faculty of Engineering Implementing Concurrency Abstractions for Programming Multi-Core Embedded Systems in Scheme Graduation thesis submitted in partial fulfillment of the requirements for the degree of Master of Engineering: Applied Computer Science Ruben Vandamme Promotor: Prof. Dr. Wolfgang De Meuter Advisors: Dr. Coen De Roover Christophe Scholliers 2010 Faculteit Ingenieurswetenschappen Implementing Concurrency Abstractions for Programming Multi-Core Embedded Systems in Scheme Eindwerk ingediend voor het behalen van de graad van Master in de Ingenieurswetenschappen: Toegepaste Computerwetenschappen Ruben Vandamme Promotor: Prof. Dr. Wolfgang De Meuter Begeleiders: Dr. Coen De Roover Christophe Scholliers 2010 Acknowledgements This thesis would not have been possible without the support of various people. First, I would like to thank Professor Wolfgang De Meuter for promoting this thesis. In particular I would like to thank my advisors Christophe and Coen for their extensive and essential support throughout the year. Without their effort, this thesis would not have been what it is today. I thank my parents for making all this possible and for supporting me during my education at the Vrije Universiteit Brussel and during previous educations. And I cannot forget to thank Jennifer for her indispensable support during this undertaking. 1 Abstract This dissertation presents a study of the limitations and problems related to the prevalent way embedded systems handle signals from the outside world. Such signals are frequently handled using either polling or interrupts. Polling software will continually check whether a signal needs handling. In interrupt- driven embedded systems, on the other hand, the CPU will generate an asynchronous signal when an event from the outside arrives.
    [Show full text]
  • Section E.2.3 Hesiod Name Service by Stephen P
    PROJECT ATHENA TECHNICAL PLAN Section E.2.3 Hesiod Name Service by Stephen P. Dyer and Felix S. Hsu Hesiod: 8th century B.C. Greek farmer and poet. His Theogony was the first work that systematically recorded the names of the gods and the myths surrounding them. Status This document describes the technical plan for Hesiod, the Athena Name Service. As of this writing, the initial implementation of the Hesiod name resolution library has been integrated into several production network applications (remote disk, remote file, printer service, login service, and post office service) in anticipation of campus-wide deployment in Fall, 1987. 1. Purpose Hesiod, the Athena name server, provides access to services in a distributed environment, allowing centralized administration of information via the Athena Service Management System (SMS) or other sources of authoritative information. More specifically, it replaces databases which heretofore have had to be duplicated on each workstation and timesharing machine (rvdtab, clustertab, printcap, services) and is a flexible mechanism to provide new information to services as the need arises. It also allows subsidiary organizational entities under Athena to manage their own information. The Athena Name Server is NOT the Athena SMS, although it may obtain much of its information from the SMS. In brief, it provides a content-addressible memory where certain strings can be mapped to others depending on the type of query made. The name server has no knowledge about the data it stores, meaning that queries and responses are simple key/content interactions; ad-hoc, generalized queries are not supported. 2.Scope The Hesiod name service is logically distinct from the Internet name service which provides host name and internet address lookup, as well as other information related to mail handling.
    [Show full text]
  • A SUMMARY of CHALLENGES on ADDRESSING HUMAN TRAFFICKING for 5 LABOUR EXPLOITATION in the AGRICULTURAL SECTOR in the OSCE REGION Foreword and Acknowledgments
    Office of the Special Representative and Co-ordinator for Combating Trafficking in Human Beings A Summary of Challenges on Addressing Human Trafficking for Labour Exploitation in the Agricultural Sector in the OSCE Region OCCASIONAL PAPER SERIES NO.3 SERIES NO.3 OCCASIONAL PAPER Background paper for the Alliance against Trafficking in Persons Conference: Technical Seminar on Trafficking for Labour Exploitation Focusing on the Agricultural Sector Vienna, 27 and 28 April 2009 Organization for Security and Co-operation in Europe ISBN: 978-92-9234-428-3 Published by the OSCE Office of the Special Representative and Co-ordinator for Combating Trafficking in Human Beings Wallnerstr. 6, 1010 Vienna, Austria Tel: + 43 1 51436 6256 Fax: + 43 1 51436 6299 email: [email protected] Internet: www.osce.org/cthb © OSCE/ Office of the Special Representative and Co-ordinator for Combating Trafficking in Human Beings ”All rights reserved. The contents of this publication may be freely used and copied for educational and other non- commercial purposes, provided that any such reproduction is accompanied by an acknowledgement of the OSCE/ Office of the Special Representative and Co-ordinator for Combating Trafficking in Human Beings as the source.“ Office of the Special Representative and Co-ordinator for Combating Trafficking in Human Beings A Summary of Challenges on Addressing Human Trafficking for Labour Exploitation in the Agricultural Sector in the OSCE Region Background paper for the Alliance against Trafficking in Persons Conference: Technical Seminar on Trafficking for Labour Exploitation Focusing on the Agricultural Sector Vienna, 27 and 28 April 2009 Table of contents FOREWORD AND ACKNOWLEDGMENTS ...........................................
    [Show full text]
  • Aubrey Jaffer This Manual Is for SCM (Version 5F3, February 2020), an Implementation of the Algorithmic Language Scheme
    SCM Scheme Implementation Version 5f3 Aubrey Jaffer This manual is for SCM (version 5f3, February 2020), an implementation of the algorithmic language Scheme. Copyright c 1990-2007 Free Software Foundation, Inc. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.3 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the section entitled \GNU Free Documentation License." i Table of Contents 1 Overview ::::::::::::::::::::::::::::::::::::::::: 1 1.1 Features :::::::::::::::::::::::::::::::::::::::::::::::::::::::: 1 1.2 Authors :::::::::::::::::::::::::::::::::::::::::::::::::::::::: 1 1.3 Copyright :::::::::::::::::::::::::::::::::::::::::::::::::::::: 2 1.3.1 The SCM License :::::::::::::::::::::::::::::::::::::::::: 2 1.3.2 SIOD copyright :::::::::::::::::::::::::::::::::::::::::::: 2 1.3.3 GNU Free Documentation License ::::::::::::::::::::::::: 3 1.4 Bibliography :::::::::::::::::::::::::::::::::::::::::::::::::: 10 2 Installing SCM ::::::::::::::::::::::::::::::::: 12 2.1 Distributions :::::::::::::::::::::::::::::::::::::::::::::::::: 12 2.2 GNU configure and make :::::::::::::::::::::::::::::::::::::: 12 2.2.1 Making scmlit :::::::::::::::::::::::::::::::::::::::::::: 13 2.2.2 Makefile targets :::::::::::::::::::::::::::::::::::::::::: 14 2.3 Building SCM ::::::::::::::::::::::::::::::::::::::::::::::::: 15 2.3.1 Invoking Build::::::::::::::::::::::::::::::::::::::::::::
    [Show full text]
  • 1 Introduction
    C7|Lisp Programming Russell Bradford 1 Introduction This course is about Lisp. Or rather this course is about how to program in Lisp. The distinction is a great one: Lisp, as a language to use, to program with, to learn, is one of the simplest of all languages. There is no difficult syntax, and every piece of code or data is treated in exactly the same way, with only very few (but important) exceptions. On the other hand, some of the hardest language semantic questions can be posed and written using Lisp, involving subtle or complex ideas, readily adapting to accommodate every new fad and paradigm. We shall concentrate on the programming aspect, and perhaps give the merest hint of the semantic under- pinning. 1.1 What is Lisp? The name \Lisp" means \List Processor." The basic object that we manipulate is the list. A list is an ordered collection of objects, each of which may be other lists, or things which are not lists, called \atoms." An atom is any object that does not have a list structure. Thus (the cat sat (on the) mat) is a list of 5 objects, the 4th being a list of 2 objects. The symbols the, cat, etc., are atoms. Here is another example of a list ((one 1) (two 2) (three 3)) which associates a symbol with a numeral (each of which are atoms). Lists come in all shapes and sizes, for example (((x 10) 2) ((x 5) ((y 2) 1) 1) ((x 2) 3) 2) is a more complicated list, which some people like to think of as a representation for the polynomial 2x10 + (y2 + 1)x5 + 3x2 + 2.
    [Show full text]
  • A GUIDE for the SMALL-SCALE FISHERY ADMINISTRATOR: Information from the Harvest Sector
    A GUIDE FOR THE SMALL-SCALE FISHERY ADMINISTRATOR: Information From The Harvest Sector . ........... " , ., .... ,. :>,' - o . .. DAVID STEVENSON RICHARD POLLNAC PHILIP LOGAN ICMRD International Center for Marine Resource Development 1982 University of Rhode Island, Kingston, Rhode Island A GUIDE FOR THE SMALL-SCALE FISHERY ADMINISTRATOR: Information From The Harvest Sector DAVID STEVENSON RICHARD POLLNAC PHILIP LOGAN ICMRD 81/82.005 ItWDati..u Cate fr Marine Re ouze Developmen 1982 Unlvers of Rhode I d, Kinston, Rhode Isand ACKNOWLEDGEMENIS We would like to express our appreciation to Sandra Prata for endless typing and retyping of the original manuscript, to Laura Borasio for her patience with the extensive changes in the final manuscript, to Nan Garrett for the computer generated figures, and to our colleaguesi W. Kotberg and J. Johnson for their early contribu­ tions to this guide. Finally we would like to express our appreciation to our colleagues who work in fishery development in Panama, Costs Rica, El Salvador, and Guatemala, countries in which the authors have refined their ideas conceming data needs for fisheries development. While this guide was financed by USAID (Grant No. AID/DSAN-G-0173) the find. ings and conclusions are solely those ofthe authors. PREFACE actually collecting the data, and rec­ This guide was prepared as a general collect, for individuals in devel- ognizing what constitutes data, and 4) the resource document level of specificity in identifying data which oping countries who either require or are to another. information will be valid from one fishery responsible for providing authors' experience, fishery for making policy decisions In the which is used office personnel are more likely to be trained which affect small-scale fisheries.
    [Show full text]
  • Bid Submissions Show
    Book 37 Page 554 a!= April 23, 2019 PUBLIC HEARiNG RELATING TO PLANNING AND ZONING Judge Alex Barnett opened the Public Hearing and Ed Holmes president of EHI Consultants has been retained by P&Z to update the comprehensive plan of 2012. Mr. Holmes stated that this a vision of where the county wants to be in the next 20 years. Judge Barnett adjourned the Public hearing. April 23, 2019 The Harrison County Fiscal Court met pursuant to adjournment with County Judge Alex Barnett present and presiding with Justices of the Peace present. Squire Stan Lemons, Squire Chris Winkle, Squire Brad Marshall Absent, Squire Scott Herrington, Squire Sam Pierce, Squire Brad Yearsley, Squire Dwayne Florence, Squire AI Stakelin. The pledge of allegiance to the flag was led by Squire Florence. ORDERED Approval of the minutes of April 9, 2019 meeting as amended to include Public Hearing for LGEA and Road Aid Funds. ORDERED Approval to open bids for grass and arm mowing of the county roadways. Price and SG)=PI Mowing was the only bid submitted at a. rate of 512,000 for all county roads per mowing. The court referred the bid to the road committee to check for qualifications. April 23, 2019 PRICE AND SON MOWING Will mow all county roads in Harrison county for the amount of 12,000.00. Chad Price 8594730354 ORDERED Approval to open bids for E-Waste Stabilization and Disposal. David Duttlinger with Bluegrass ADD came before the court to explain the process of disposal. The court received three bids: Pecco from Nicholsaville, Ky - Kuusakoski from Peoria, IL- Chase Environmental from Louisville, Ky.
    [Show full text]
  • Scwm: an Extensible Constraint-Enabled Window Manager
    Scwm: An Extensible Constraint-Enabled Window Manager Greg J. Badros Jeffrey Nichols InfoSpace.com School of Computer Science, HCI Institute 2801 Alaskan Way, Suite 200 Carnegie Mellon University, 5000 Forbes Avenue Seattle, WA 98121, USA Pittsburgh, PA 15213, USA [email protected] [email protected] Alan Borning Dept. of Computer Science and Engineering University of Washington, Box 352350 Seattle, WA 98195-2350, USA [email protected] ABSTRACT Using C to implement a highly-interactive application We desired a platform for researching advanced win- also complicates extensibility and customizability. To dow layout paradigms including the use of constraints. add a new feature, the user likely must write C code, Typical window management systems are written en- recompile, relink, and restart the application before tirely in C or C++, complicating extensibility and pro- changes are finally available for testing and use. This grammability. Because no existing window manager was development cycle is especially problematic for software well-suited to our goal, we developed the Scwm window such as a window manager that generally is expected to manager. In Scwm, only the core window-management run for weeks at a time. Additionally, maintaining all primitives are written in C while the rest of the package the features that any user desires would result in terrible is implemented in its Guile/Scheme extension language. code bloat. This architecture, first seen in Emacs, enables program- An increasingly popular solution to these problems is ming substantial new features in Scheme and provides a the use of a scripting language on top of a core system solid infrastructure for constraint-based window layout that defines new domain-specific primitives.
    [Show full text]
  • The Isaiah Passages in the Book of Mormon: a Non-Aligned Text
    Brigham Young University BYU ScholarsArchive Theses and Dissertations 2001 The Isaiah Passages in the Book of Mormon: A Non-Aligned Text Carol F. Ellertson Brigham Young University - Provo Follow this and additional works at: https://scholarsarchive.byu.edu/etd Part of the Biblical Studies Commons, and the Mormon Studies Commons BYU ScholarsArchive Citation Ellertson, Carol F., "The Isaiah Passages in the Book of Mormon: A Non-Aligned Text" (2001). Theses and Dissertations. 4663. https://scholarsarchive.byu.edu/etd/4663 This Thesis is brought to you for free and open access by BYU ScholarsArchive. It has been accepted for inclusion in Theses and Dissertations by an authorized administrator of BYU ScholarsArchive. For more information, please contact [email protected], [email protected]. THE ISAIAH PASSAGES IN THE BOOK OF MORMON A NON ALIGNED TEXT by carol F elleilellertsoneilertsonEliertsonentsonernson A thesis submitted to the faculty of brigham young university in partial fulfillment ofthe requirements for the degree of master ofarts the david M kennedy center brigham young university august 2001 copyright 0 2001 carol F ellertson all rights reserved BRIGHAM YOUNG university GRADUATE COMMITTEE APPROVAL of a thesis submitted by carol frogley ellertson this thesis has been read by each member ofthe following graduate committee and by majority vote has been found to be satisfactory j3njsnjan adraar J am date 3mdonald W parry chair XL n p 1 Dtad J 2212&j2oap6pa ada2da 5tw6o b kabk4b datetjd stephiabinb ricks 25 4 W L date paul
    [Show full text]
  • Food Security and Livelihoods Under a Changing Climate in Mozambique PREPARING for the FUTURE
    Food security and livelihoods under a changing climate in Mozambique PREPARING FOR THE FUTURE March 2021 Acknowledgements The report is made possible by the financial support of the German Government to the World Food Programme (WFP) in Mozambique. The WFP leveraged its global strategic partnership with the the Met Office, the UK’s national meteorological service (Met Office) to continue the joint mission to build evidence of the impacts of climate change on society and to encourage adaptation actions. This work was led by Daniela Cuellar Vargas, Programme Officer in WFP Mozambique, and Katy Richardson, Senior Applied Climate Scientist in Met Office. Further support was received by Kirsty Lewis, Nyree Pinder and Edward Pope from the Met Office. From WFP, additional support was received from Dr Tania Osejo and Dr Rogerio Bonifacio at the global level and at the country level from Nicolas Babu, Marta Guivambo, and Domingos Reane. This work was supported by the National Disasters Management Institute (INGC) in Mozambique, who helped facilitate the multi- stakeholder dialogue, with additional support from the National Meteorology Institute (INAM), Ministry of Agriculture and Rural Development (MADER), Ministry of Land and Environment (MTA), and the Secretary of Food Security and Nutrition (SETSAN). Contents Executive summary 3 1. Introduction 5 2. Climate, food security and livelihoods in Mozambique 7 2.1. Mozambique climate overview 8 2.2. Food security and livelihoods in Mozambique 11 3. Defining the baseline climate and food security in Mozambique 16 3.1. Livelihood and climate zoning: defining climate zones A, B and C 17 3.2. Climate sensitivities of main livelihoods in Mozambique 19 3.3.
    [Show full text]