DOCSLIB.ORG

Interpretability of Configurable Software in the Biosciences

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Interpretability of Configurable Software in the Biosciences Iowa State University Capstones, Theses and Graduate Theses and Dissertations Dissertations 2020 Interpretability of configurable software in the biosciences Mikaela Cashman McDevitt Iowa State University Follow this and additional works at: https://lib.dr.iastate.edu/etd Recommended Citation McDevitt, Mikaela Cashman, "Interpretability of configurable software in the biosciences" (2020). Graduate Theses and Dissertations. 18184. https://lib.dr.iastate.edu/etd/18184 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 Graduate Theses and Dissertations by an authorized administrator of Iowa State University Digital Repository. For more information, please contact [email protected]. Interpretability of configurable software in the biosciences by Mikaela Cashman A dissertation submitted to the graduate faculty in partial fulfillment of the requirements for the degree of DOCTOR OF PHILOSOPHY Major: Computer Science Program of Study Committee: Myra B. Cohen, Major Professor James Lathrop Robyn Lutz Samik Basu Julie Dickerson The student author, whose presentation of the scholarship herein was approved by the program of study committee, is solely responsible for the content of this dissertation. The Graduate College will ensure this dissertation is globally accessible and will not permit alterations after a degree is conferred. Iowa State University Ames, Iowa 2020 Copyright © Mikaela Cashman, 2020. All rights reserved. ii DEDICATION This thesis is dedicated to my husband John and our feline children Leela and Romana. iii TABLE OF CONTENTS Page LIST OF TABLES . vi LIST OF FIGURES . xiii ACKNOWLEDGMENTS . xvi ABSTRACT . xviii CHAPTER 1. INTRODUCTION . .1 1.1 Motivation . .4 CHAPTER 2. BACKGROUND . .9 2.1 Configurability in Software . .9 2.2 Software Product Lines . 13 2.3 Bioinformatics . 15 2.4 Synthetic Biology . 16 CHAPTER 3. CONFIGURABILITY IN BIOINFORMATICS SOFTWARE . 18 3.1 Motivating Examples . 18 3.2 Case Study - Experimenting with Configurations . 20 3.2.1 Bioinformatics Programs . 21 3.2.2 Creating the Models . 23 3.2.3 Measures of Variability . 27 3.2.4 Experimental Setup . 28 3.2.5 Sampling . 29 3.3 Results . 29 3.3.1 RQ1: Failure Detection . 29 3.3.2 RQ2 (a): Functionality . 31 3.3.3 RQ2 (b): Performance . 34 3.3.4 RQ3: Sampling . 36 3.4 Discussion and Lessons Learned . 37 3.4.1 Lessons Learned . 38 3.4.2 Suggestions for Improvement . 39 3.5 Conclusions and Future Work . 40 CHAPTER 4. END USER INTERPRETABILITY FRAMEWORK . 41 4.1 Introduction . 41 4.2 Motivation . 43 iv 4.2.1 State of the Art . 43 4.2.2 Towards Interpretability . 45 4.3 Related Work . 45 4.4 ICO Framework . 46 4.4.1 Distance . 46 4.4.2 Algorithm . 47 4.4.3 ICO Implementation Details . 50 4.5 Study Methodology . 51 4.5.1 Subjects . 52 4.5.2 Configuration Models . 53 4.5.3 Handling of Enumeration Configuration Options . 56 4.5.4 Metrics . 56 4.5.5 Threats to Validity . 59 4.6 Results . 60 4.6.1 RQ1: Can we convey information to assist in choosing of configuration options based on user goals? . 60 4.6.2 RQ2: Is the information ICO provides to a user useful? . 63 4.6.3 RQ3: How does the state the art in prediction compare to ICO? . 66 4.7 Conclusion and Future Work . 70 CHAPTER 5. ORGANIC SOFTWARE PRODUCT LINES . 78 5.1 Introduction . 78 5.2 Motivating Example . 81 5.3 Related Work . 83 5.4 Organic Software Product Lines (OSPLs) . 84 5.4.1 Assets . 85 5.4.2 Domain Engineering . 86 5.4.3 Application Engineering . 86 5.5 Empirical Study . 86 5.5.1 Subject Repository . 87 5.5.2 Study Objects . 87 5.5.3 Methodology . 89 5.6 Threats to Validity . 94 5.6.1 External Validity . 94 5.6.2 Internal Validity . 95 5.6.3 Construct Validity . 95 5.7 Results . 95 5.7.1 RQ1: Does a DNA repository have functions with the characteristics of a software product line? . 95 5.7.2 RQ2: Can we build feature models representing families of products from an existing DNA Repository? . 100 5.7.3 RQ3: What type of end-to-end analysis can we provide to developers of or- ganic programs? . 105 5.7.4 RQ4: How effective is automatically reverse engineering feature models in this domain? . 110 5.8 Implications: The Future of OSPL Engineering . 117 v 5.8.1 Need for Tools Supporting SPL Evolution . 117 5.8.2 Need for SPL Constructs that Support Duplicate Features . 118 5.8.3 Need for More Scalable Reverse Engineering . 119 5.8.4 Incomplete Feature Models . 119 5.8.5 Towards a Domain Specific Language . 120 5.9 Conclusions and Future Work . 120 CHAPTER 6. CONCLUSIONS AND FUTURE WORK . 123 BIBLIOGRAPHY . 125 APPENDIX A. CONFIGURATION MODELS . 137 APPENDIX B. FRAMEWORK OUTPUT . 143 APPENDIX C. SPL CONQUEROR TOOL . 151 vi LIST OF TABLES Page Table 3.1 Case Study Subjects . 22 Table 3.2 BLAST Configuration Model . 25 Table 3.3 MEGAHIT Configuration Model . 25 Table 3.4 FBA Configuration Models . 26 Table 3.5 FBA-MFA - Errors . 30 Table 3.6 BLAST Functional Variance for Use Case 1 . 32 Table 3.7 BLAST Functional Variance for Use Case 2 . 32 Table 3.8 FBA-GUI - Functional Variance . 34 Table 3.9 FBA-MFA Sampling Results . ..
Load more

Recommended publications
  • Introduction to Computer Systems 15-213/18-243, Spring 2009 1St
    M4-L3: Executables CSE351, Winter 2021 Executables CSE 351 Winter 2021 Instructor: Teaching Assistants: Mark Wyse Kyrie Dowling Catherine Guevara Ian Hsiao Jim Limprasert Armin Magness Allie Pfleger Cosmo Wang Ronald Widjaja http://xkcd.com/1790/ M4-L3: Executables CSE351, Winter 2021 Administrivia ❖ Lab 2 due Monday (2/8) ❖ hw12 due Friday ❖ hw13 due next Wednesday (2/10) ▪ Based on the next two lectures, longer than normal ❖ Remember: HW and readings due before lecture, at 11am PST on due date 2 M4-L3: Executables CSE351, Winter 2021 Roadmap C: Java: Memory & data car *c = malloc(sizeof(car)); Car c = new Car(); Integers & floats c->miles = 100; c.setMiles(100); x86 assembly c->gals = 17; c.setGals(17); Procedures & stacks float mpg = get_mpg(c); float mpg = Executables free(c); c.getMPG(); Arrays & structs Memory & caches Assembly get_mpg: Processes pushq %rbp language: movq %rsp, %rbp Virtual memory ... Memory allocation popq %rbp Java vs. C ret OS: Machine 0111010000011000 100011010000010000000010 code: 1000100111000010 110000011111101000011111 Computer system: 3 M4-L3: Executables CSE351, Winter 2021 Reading Review ❖ Terminology: ▪ CALL: compiler, assembler, linker, loader ▪ Object file: symbol table, relocation table ▪ Disassembly ▪ Multidimensional arrays, row-major ordering ▪ Multilevel arrays ❖ Questions from the Reading? ▪ also post to Ed post! 4 M4-L3: Executables CSE351, Winter 2021 Building an Executable from a C File ❖ Code in files p1.c p2.c ❖ Compile with command: gcc -Og p1.c p2.c -o p ▪ Put resulting machine code in
    [Show full text]
  • TI-89 / TI-92 Plus Tip List 10.0
    TI-89 / TI-92 Plus Tip List 10.0 Compiled by Doug Burkett, [email protected] Created 12 aug 99, revised 20 July 2002 Copyright 1999-2002 Doug Burkett. All rights reserved. Dedicated to my wife, Janet Katherine Scholz Burkett, who cheerfully tolerates all this silliness... Important! Neither I, Doug Burkett, nor any of the contributors to this tip list are responsible in any way for any damage of any kind that you or anyone else may incur from using the information in this tip list. These tips are provided for educational purposes only. The contributors and I believe that all information is accurate and reliable, but we make no expressed or implied warrantee or guarantee to that effect. Some tips may involve hardware or software modifications to the calculator that may void the manufacturer's warrantee. This document is a collection of useful tips and hints relating to the TI-89 and TI-92 Plus calculators. The tips come from user experience and many other sources, and apply to all facets of calculator operation and programming. The tip list has grown to include reference material, humor and oddities, so perhaps the name Tip List, is no longer appropriate, but it stands for now. The tip list is not a buglist, a wishlist or a FAQ. I maintain a wishlist, and good FAQs are available. While a FAQ is, by definition, frequently asked questions, this list instead describes useful techniques which may be 'infrequently asked'. These are sophisticated calculators and some features are not obvious. All users have different skills, and what is obvious to some is not obvious to all.
    [Show full text]
  • Glossary This Section Defines Some Terms I Use in the Tips. Some Definitions May Seem Obvious to English-Speaking Us
    Appendix C: Glossary This section defines some terms I use in the tips. Some definitions may seem obvious to English-speaking users, but the calculator community is thoroughly international. The glossary incorporates (with permission) many entries from Ray Kremer's Graphing Calculator glossary. @1...@255 Represents an arbitrary constant, where distinct constants are distinguished by the numbers 1, 2 and so on, appended to the @ symbol. The constant may not be an integer; see @n1 below for comparison. Arbitrary constants may occur in solutions returned by zeros(). The first arbitrary constant created is called @1. Subsequent constants are numbered from 2 to 255. The suffix resets to 1 when you use ClrHome. @n1...@n255 Represents an arbitrary integer, where distinct integers are distinguished by the numbers 1, 2 and so on, appended to the @n. Arbitrary integers may occur in the solutions to some equations, for example, in the expression @n1 + 7, @n1 may be replaced by any integer. The first arbitrary integer which is created is called @n1. Subsequent integers are numbered from 2 to 255. After the 255th integer is created, numbering continues with @n0. You may use [F6] Clean Up 2:NewProb to reset arbitrary integers to @n1. 2D Acronym for 'two dimensional'. Refers to the calculator graphing mode in which functions one independent variable are plotted, for example, y=f(x) 3D Acronym for 'three dimensional'. Refers to the calculator graphing mode in which functions of two independent variables can be plotted, for example, z = f(x,y). 68K, 68000 Refers to the microprocessor used in the TI-89 / TI-92 Plus, which is a Motorola MC68000.
    [Show full text]
  • The Design and Implementation of Gnu Compiler Generation Framework
    The Design and Implementation of Gnu Compiler Generation Framework Uday Khedker GCC Resource Center, Department of Computer Science and Engineering, Indian Institute of Technology, Bombay January 2010 CS 715 GCC CGF: Outline 1/52 Outline • GCC: The Great Compiler Challenge • Meeting the GCC Challenge: CS 715 • Configuration and Building Uday Khedker GRC, IIT Bombay Part 1 GCC ≡ The Great Compiler Challenge CS 715 GCC CGF: GCC ≡ The Great Compiler Challenge 2/52 The Gnu Tool Chain Source Program gcc Target Program Uday Khedker GRC, IIT Bombay CS 715 GCC CGF: GCC ≡ The Great Compiler Challenge 2/52 The Gnu Tool Chain Source Program cc1 cpp gcc Target Program Uday Khedker GRC, IIT Bombay CS 715 GCC CGF: GCC ≡ The Great Compiler Challenge 2/52 The Gnu Tool Chain Source Program cc1 cpp gcc Target Program Uday Khedker GRC, IIT Bombay CS 715 GCC CGF: GCC ≡ The Great Compiler Challenge 2/52 The Gnu Tool Chain Source Program cc1 cpp gcc as Target Program Uday Khedker GRC, IIT Bombay CS 715 GCC CGF: GCC ≡ The Great Compiler Challenge 2/52 The Gnu Tool Chain Source Program cc1 cpp gcc as ld Target Program Uday Khedker GRC, IIT Bombay CS 715 GCC CGF: GCC ≡ The Great Compiler Challenge 2/52 The Gnu Tool Chain Source Program cc1 cpp gcc as glibc/newlib ld Target Program Uday Khedker GRC, IIT Bombay CS 715 GCC CGF: GCC ≡ The Great Compiler Challenge 2/52 The Gnu Tool Chain Source Program cc1 cpp gcc as GCC glibc/newlib ld Target Program Uday Khedker GRC, IIT Bombay CS 715 GCC CGF: GCC ≡ The Great Compiler Challenge 3/52 Why is Understanding GCC Difficult? Some of the obvious reasons: • Comprehensiveness GCC is a production quality framework in terms of completeness and practical usefulness • Open development model Could lead to heterogeneity.
    [Show full text]
  • Procedures & Executables
    L13: Procedures & Executables CSE410, Winter 2017 Procedures & Executables CSE 410 Winter 2017 Instructor: Teaching Assistants: Justin Hsia Kathryn Chan, Kevin Bi, Ryan Wong, Waylon Huang, Xinyu Sui Gmail will block JavaScript attachments, a common source of malware Starting Feb. 13, Google will no longer allow JavaScript attachments on its Gmail service, killing one of the main methods of malware distribution over the past two years. JavaScript files can be executed directly on Windows thanks to a system component called the Windows Script Host (WSH). The JavaScript files, which are typically obfuscated, can serve as downloaders for other malware and have been especially preferred by ransomware pushers. • http://www.pcworld.com/article/3162038/security/gmail‐will‐ block‐javascript‐attachments‐a‐common‐source‐of‐malware.html L13: Procedures & Executables CSE410, Winter 2017 Administrivia Homework 3 due next Thursday (2/9) Lab 2 due in two Mondays (2/13) Lab 1 grading . Make sure your code compilers properly on VM/klaatu Midterm next Friday (2/10) in lecture . Make a cheat sheet! – two‐sided letter page, handwritten . Check Piazza this week for announcements Midterm review session . 5‐7pm on Tuesday (2/7) in BAG 261 2 L13: Procedures & Executables CSE410, Winter 2017 Procedures Stack Structure Calling Conventions . Passing control . Passing data . Managing local data Register Saving Conventions Illustration of Recursion 3 L13: Procedures & Executables CSE410, Winter 2017 Register Saving Conventions When procedure yoo calls who: . yoo is the caller . who is the callee Can registers be used for temporary storage? yoo: who: • • • • • • movq $15213, %rdx subq $18213, %rdx call who ? • • • addq %rdx, %rax ret • • • ret .
    [Show full text]
  • Build Linux Kernel with Open64
    Build Linux kernel with Open64 Qing Zhu1, Tao Wang2, Gang Yu1, Kun Ling2, Jian-xin Lai1 1Unix System Lab, Hewlett-Packard Company 2 State Key Laboratory of Computer Architecture, Institute of Computing Technology 1{qing.zhu2, yu.gang, jianxin.lai}@hp.com, 2{wangtao2010, lingkun}@ict.ac.cn Abstract architectures are principal and popular in IT industry, proving Open64 is an open source, optimizing compiler. The goal of the the success on these two platforms will impress more people on compiler is to be an alternative back-end of GCC. To improve Open64. Open64’s code quality, enhance GCC-compatibility and attrac- • Provide a good research platform to improve the kernel’s per- t more users to the Open64 community, it is important to build formance by advanced optimizations. Especially, to enable I- significant applications like Linux kernel with Open64. This paper PA/IPO (Inter-Procedure Analysis and Optimization) on kernel describes the work of building and running up Linux kernel with build, show how much performance improvement that IPA/IPO Open64. As an experience report, the general build, triage approach will give us on standard system software like operating system and tackling method for commonly issues on building kernel with kernel. non-gnu are discussed. Now, the officially maintained open64.net trunk on x8664 target and the Loongcc[1] branch on MIPS64 target In this paper, we make a summary of general practices in ker- have all successfully built up and run the Linux kernel. nel building process on different architectures. These approaches and experience may help other targets to conduct kernel building Keywords Open64, Linux kernel, Loongcc, X86-64, MIPS-64, and build other Open64 support platforms effectively.
    [Show full text]
  • Executables & Buffer Overflows
    L15: Executables & Buffer Overflows CSE351, Winter 2019 Executables & Buffer Overflows CSE 351 Winter 2019 Instructors: Teaching Assistants: Max Willsey Britt Henderson Daniel Snitkovsky Luis Ceze Lukas Joswiak Luis Vega Josie Lee Kory Watson Wei Lin Ivy Yu http://xkcd.com/1353/ L15: Executables & Buffer Overflows CSE351, Winter 2019 Administrivia v Mid-quarter survey due tomorrow (2/14) v Homework 3 due Friday (2/15) v Lab 3 releasing today, due next Friday (2/22) v Midterm tomorrow (2/14) § Will be posted in the morning § Due 11:59PM same day § See Piazza for rules • course material • collaboration 2 L15: Executables & Buffer Overflows CSE351, Winter 2019 Assembly Programmer’s View CPU Addresses Memory %rax %r8 %rip %rbx %r9 Stack %rcx %r10 Data %rdx %r11 %rsi %r12 CF ZF %rdi %r13 %rsp %r14 Instructions Dynamic Data SF OF %rbp %r15 (Heap) Static Data v Programmer-visible state § PC: the Program Counter (%rip in x86-64) Literals • Address of next instruction Instructions § Named registers • Together in “register file” v Memory • Heavily used program data § Byte-addressable array § Condition codes § Code and user data • Store status information about most recent § Includes the Stack (for arithmetic operation supporting procedures) • Used for conditional branching 3 L15: Executables & Buffer Overflows CSE351, Winter 2019 Roadmap C: Java: Memory & data car *c = malloc(sizeof(car)); Car c = new Car(); Integers & floats c->miles = 100; c.setMiles(100); x86 assembly c->gals = 17; c.setGals(17); Procedures & stacks float mpg = get_mpg(c); float mpg = Executables free(c); c.getMPG(); Arrays & structs Memory & caches Assembly get_mpg: Processes pushq %rbp language: movq %rsp, %rbp Virtual memory ..
    [Show full text]
  • The C Build Process
    Conduite de Projet Cours 5 — The C build process Stefano Zacchiroli [email protected] Laboratoire IRIF, Université Paris Diderot 2018–2019 URL https://upsilon.cc/zack/teaching/1819/cproj/ Copyright © 2012–2019 Stefano Zacchiroli License Creative Commons Attribution-ShareAlike 4.0 International License https://creativecommons.org/licenses/by-sa/4.0/ Stefano Zacchiroli (Paris Diderot) Build 2018–2019 1 / 37 Outline 1 The build process 2 The C preprocessor 3 The GNU Compiler Collection (GCC) Stefano Zacchiroli (Paris Diderot) Build 2018–2019 2 / 37 Outline 1 The build process 2 The C preprocessor 3 The GNU Compiler Collection (GCC) Stefano Zacchiroli (Paris Diderot) Build 2018–2019 3 / 37 Compiler Definition (compiler) A compiler is a computer program that transforms source code (written in some source language) into another computer language called target language. usually, but not always, the source language is a programming language that humans (programmers) are able to understand ñ e.g., C, Java, OCaml, Scala, Python, Ruby, F#, Matlab, . usually, but not always, the target language is object code that can be executed by a hardware platform ñ e.g., x86-32, x86-64, ARM7, powerpc, etc. (native compilers) ñ e.g., JVM bytecode, Python bytecode, etc. (bytecode compilers) Intuition A compiler is a translator from one language to another. Stefano Zacchiroli (Paris Diderot) Build 2018–2019 4 / 37 An interpreter is an all-in-one computer program that compiles and execute source code on-the-fly. Pro/con: 3 higher portability 7 higher startup time source-code distribution Interpreter (digression) Question What is an interpreter then? Stefano Zacchiroli (Paris Diderot) Build 2018–2019 5 / 37 Interpreter (digression) Question What is an interpreter then? An interpreter is an all-in-one computer program that compiles and execute source code on-the-fly.
    [Show full text]
  • GRAPHING CALCULATOR a Graphing Calculator (Also Graphics
    GRAPHING CALCULATOR A graphing calculator (also graphics / graphic calculator) typically refers to a class of handheld calculators that are capable of plotting graphs, solving simultaneous equations, and performing numerous other tasks with variables. Most popular graphing calculators are alsoprogrammable, allowing the user to create customized programs, typically for scientific/engineering and education applications. Due to their large displays intended for graphing, they can also accommodate several lines of text and calculations at a time. Some of the more recent graphing calculators are capable of color output, and also feature animated and interactive drawing of math plots (2D and 3D), other figures such as animated Geometry theorems, preparation of documents which can include these plots and drawings, etc. This is giving the new graphing calculators a presence even in high school courses where they were formerly disallowed. Some calculator manufacturers also offer computer software for emulating and working with handheld graphing calculators. Many graphing calculators can be attached to devices like electronic thermometers, pH gauges, weather instruments, decibel and light meters, accelerometers, and other sensors and therefore function as data loggers, as well as WiFi or other communication modules for monitoring, polling and interaction with the teacher. Student laboratory exercises with data from such devices enhances learning of math, especially statistics and mechanics. Since graphing calculators are usually readily user-programmable, such calculators are also widely used for gaming purposes, with a sizable body of user-created game software on most popular platforms. Even though handheld gaming devices fall in a similar price range, graphing calculators offer superior math programming capability for math based games.
    [Show full text]
  • The Gnu Compiler Collection (GCC)
    The Gnu Compiler Collection (GCC) COMP 3002 Outline • History • Capabilities • Design – Parsing – Intermediate representations – Code generation • Additional tools 2 Sometimes a few of the users try to hold total power over all the rest. For example, in 1984, a few users at the MIT AI lab decided to seize power by changing the operator password on the Twenex system and keeping it secret from everyone else. (I was able to thwart this coup and give power back to the users by patching the kernel, but I wouldn't know how to do that in Unix.) However, occasionally the rulers do tell someone. Under the usual `su' mechanism, once someone learns the root password who sympathizes with the ordinary users, he or she can tell the rest. The "wheel group" feature would make this impossible, and thus cement the power of the rulers. I'm on the side of the masses, not that of the rulers. If you are used to supporting the bosses and sysadmins in whatever they do, you might find this idea strange at first. 3 History • The Free Software Foundation – Non-profit corporation – Founded in 1985 by Richard Stallman (RMS) – Initially founded to support the GNU Project • GNU Project – Goal: to develop “a sufficient body of free software […] to get along without any software that is not free.” – GNU Operating System • First released in 1992 with a Linux kernel • Debian GNU/Hurd (available in unstable) – Recent developments: GNOME and Gnash – Needed development tools to get started 4 RMS xkcd.com 5 Ancient History • Richard Stallman started GCC (1985) – Extended an
    [Show full text]
  • Procedures & Executables
    L13: Procedures & Executables CSE410, Winter 2017 Procedures & Executables CSE 410 Winter 2017 Instructor: Teaching Assistants: Justin Hsia Kathryn Chan, Kevin Bi, Ryan Wong, Waylon Huang, Xinyu Sui L13: Procedures & Executables CSE410, Winter 2017 Administrivia Homework 3 due next Thursday (2/9) Lab 2 due in two Mondays (2/13) Lab 1 grading . Make sure your code compilers properly on VM/klaatu Midterm next Friday (2/10) in lecture . Make a cheat sheet! – two‐sided letter page, handwritten . Check Piazza this week for announcements Midterm review session . 5‐7pm on Tuesday (2/7) in BAG 261 2 L13: Procedures & Executables CSE410, Winter 2017 Procedures Stack Structure Calling Conventions . Passing control . Passing data . Managing local data Register Saving Conventions Illustration of Recursion 3 L13: Procedures & Executables CSE410, Winter 2017 Register Saving Conventions When procedure yoo calls who: . yoo is the caller . who is the callee Can registers be used for temporary storage? yoo: who: • • • • • • movq $15213, %rdx subq $18213, %rdx call who ? • • • addq %rdx, %rax ret • • • ret . No! Contents of register %rdx overwritten by who! . This could be trouble – something should be done. Either: • Caller should save %rdx before the call (and restore it after the call) • Callee should save %rdx before using it (and restore it before returning) 4 L13: Procedures & Executables CSE410, Winter 2017 Register Saving Conventions “Caller‐saved” registers . It is the caller’s responsibility to save any important data in these registers before calling another procedure (i.e. the callee can freely change data in these registers) . Caller saves values in its stack frame before calling Callee, then restores values after the call “Callee‐saved” registers .
    [Show full text]
  • CS 715: the Design and Implementation of Gnu Compiler Generation Framework
    CS 715: The Design and Implementation of Gnu Compiler Generation Framework Uday Khedker (www.cse.iitb.ac.in/˜uday) GCC Resource Center, Department of Computer Science and Engineering, Indian Institute of Technology, Bombay January 2012 CS 715 Gnu Compiler Collection: Outline 1/50 Outline • An Overview of Compilation Introduction, compilation sequence, compilation models • GCC: The Great Compiler Challenge Difficulties in understanding GCC • Meeting the GCC Challenge: CS 715 The course plan Uday Khedker GRC, IIT Bombay Part 1 Introduction to Compilation CS 715 Gnu Compiler Collection: Introduction to Compilation 2/50 Binding Nothing is known except the problem No.of unbound objects Time Uday Khedker GRC, IIT Bombay CS 715 Gnu Compiler Collection: Introduction to Compilation 2/50 Binding Overall strategy, algorithm, data structures etc. No.of unbound objects Conceptualisation Time Uday Khedker GRC, IIT Bombay CS 715 Gnu Compiler Collection: Introduction to Compilation 2/50 Binding Functions, variables, their types etc. No.of unbound objects Conceptualisation Coding Time Uday Khedker GRC, IIT Bombay CS 715 Gnu Compiler Collection: Introduction to Compilation 2/50 Binding No.of Machine instructions, registers etc. unbound objects Conceptualisation Coding Compiling Time Uday Khedker GRC, IIT Bombay CS 715 Gnu Compiler Collection: Introduction to Compilation 2/50 Binding No.of unbound objects Addresses of functions, external data etc. Conceptualisation Coding Compiling Linking Time Uday Khedker GRC, IIT Bombay CS 715 Gnu Compiler Collection: Introduction
    [Show full text]