Instruction-Level Reverse Execution for Debugging

Total Page:16

File Type:pdf, Size:1020Kb

Instruction-Level Reverse Execution for Debugging Instruction-level Reverse Execution for Debugging Tankut Akgul and Vincent J. Mooney III School of Electrical and Computer Engineering Georgia Institute of Technology, Atlanta, GA 30332 ftankut, [email protected] ABSTRACT Furthermore, for difficult to find bugs, this process might The ability to execute a program in reverse is advantageous have to be repeated multiple times. Even worse, for inter- for shortening debug time. This paper presents a reverse ex- mittent bugs due to rare timing behaviors, the bug might ecution methodology at the assembly instruction-level with not reappear right away when the program is restarted. low memory and time overheads. The core idea of this ap- Reverse execution provides the programmer with the abil- proach is to generate a reverse program able to undo, in ity to return to a particular previous state in program exe- almost all cases, normal forward execution of an assembly cution. By reverse execution, program re-executions can be instruction in the program being debugged. The method- localized around a bug in a program. When the programmer ology has been implemented on a PowerPC processor in a misses a bug location by over-executing a program, he/she custom made debugger. Compared to previous work { all can roll back to a point where the processor state is known of which use a variety of state saving techniques { the ex- to be correct and then re-execute from that point on without perimental results show 2.5X to 400X memory overhead re- having to restart the program. This eliminates the require- duction for the tested benchmarks. Furthermore, the results ment to re-execute unnecessary parts of the program every with the same benchmarks show an average of 4.1X to 5.7X time a bug location is missed, thus, potentially reducing the time overhead reduction. overall debugging time significantly. In this paper, a novel reverse execution methodology in Categories and Subject Descriptors software is proposed. The proposed methodology is unique in the sense that it provides reverse execution at the assem- D.2.5 [Software Engineering]: Testing and Debugging bly instruction-level granularity and yet still has reasonable General Terms memory and time overheads when the program is being exe- cuted. Note that in the rest of this paper, the word \instruc- Algorithms tion" refers to an assembly instruction. Keywords 2. BACKGROUND AND MOTIVATION Reverse code generation, reverse execution, debugging An execution of a program T on a processor P can be rep- resented by a transition among a series of states 1. INTRODUCTION S=(S0; S1; : : : ; Sn) where a state Si can be written as a com- As human beings are quite prone to making mistakes, it bination of the program counter (P Ci), memory (Mi) and is very difficult for a programmer to write an error-free pro- register (Ri) values of P . From this representation, reverse gram before testing it. For this reason, debugging is an execution of a program can be defined as follows: important and inevitable part of software development. Definition 1. Reverse Execution: Reverse execution of a pro- Locating bugs by just looking at the source code is quite gram T running on a processor P can be defined as taking pro- difficult. Consequently, a run-time interaction with the pro- cessor P from its current state Si=(P Ci; Mi; Ri) to a previous gram is very useful for debugging. Unfortunately, many of state Sj =(P Cj ; Mj ; Rj ), (0 ≤ j < i ≤ n). The closest achiev- the bugs in programs do not cause errors immediately, but able distance between Si and Sj determines the granularity of the instead show their effects much later in program execution. reverse execution. If state Sj is allowed to be as early as one in- For this reason, even the most careful programmer equipped struction before state Si, then the reverse execution is said to be at with a state of the art debugger might well miss the first oc- the instruction-level granularity. 2 currence of a bug and might have to restart the program. The simplest method for obtaining a previous state would be saving that state before it is destroyed. Saving a state during forward execution of a program introduces two over- Permission to make digital or hard copies of all or part of this work for heads: memory and time. Several approaches have been pro- personal or classroom use is granted without fee provided that copies are posed for state saving. In [3, 7], processor states are recorded not made or distributed for profit or commercial advantage and that copies periodically at certain checkpoints during forward execution bear this notice and the full citation on the first page. To copy otherwise, to of the program. Then, a previous state at a checkpoint can republish, to post on servers or to redistribute to lists, requires prior specific be recovered by restoring that state from the record. How- permission and/or a fee. PASTE'02, November 18–19, 2002, Charleston, SC, USA. ever, a previous state at an arbitrary point cannot imme- Copyright 2002 ACM 1-58113-479-7/02/0011 ...$5.00. diately be recovered, which results in a coarser granularity reverse execution. In incremental state saving [10], on the a single instruction because more than one reverse instruc- other hand, instead of recording the whole state, only the tion may need to be generated for reversing the effect of an modified parts of a state are recorded. However, if modified instruction in I. Then, the effect of the complete sequence I state space is large, memory and time overheads of incre- can be taken back by an ordered completion of the sequence 0 0 0 0 0 0 mental state saving might again exceed affordable limits. of sets I = (In; In−1; : : : ; I1) where Ik 2 I reverses the In program animation [4, 6], a virtual machine with a effect of ik 2 I . Therefore, it is sufficient to perform the reversible set of instructions is constructed. Since these following three steps to generate a reverse program T 0 for a instructions are reversible, the program can be run back- program T : wards. However, in program animation, a program can only 1. Extract the completion order of the instructions in T be interpreted, which slows down the animation consider- ably, and makes it impossible to execute the program using 2. Generate the sets of reverse instructions of the instruc- native machine instructions directly, not even in the forward tions in T direction. Moreover, since reversible instructions are usu- 3. Combine the generated sets of reverse instructions in ally constructed as stack operations, a significant amount of a way to make those sets complete in the opposite stack memory may be required in program animation. completion order of the instructions in T Another approach introduced is the source transforma- Given a program T as an input, the reverse code gen- tion approach [5]. In source transformation, the source code eration (RCG) algorithm presented in this paper generates (e.g., in C) is transformed to a reversible source code version an instruction-level reverse program T 0 for T by perform- excluding destructive statements such as direct assignments. ing the three steps mentioned. Let us call these three steps For destructive statements, state saving is applied. Conse- the RCG steps. Reverse code is generated for every proce- quently, the execution time and memory requirement of the dure/function in T separately and reverses of procedures/ transformed code are increased. Source transformation does functions are combined by a state saving approach [2]. There- not provide reverse execution at the instruction-level gran- fore, the rest of the paper focuses on the generation of the ularity, but instead at the source code (e.g., C) granularity. reverse procedures/functions. Moreover, since the original source code is transformed, the A procedure/function within a program for which a re- program being debugged is no longer the original code, but verse program will be generated is statically analyzed. This the transformed code instead. This might be a serious prob- static analysis occurs assembly instruction by assembly in- lem in real-time computing where a small change in program struction in the order the instructions are placed by the com- code can ruin the timing behavior of the code. piler (lexical order). After an instruction is analyzed, the al- Therefore, our goal is to achieve reverse execution at the gorithm goes over the RCG steps consecutively to grow the native instruction level with low memory and time over- reverse procedure/function. Some instructions within a loop heads, which will add a missing feature to state of the art are analyzed by more than one pass (at most three passes) debuggers and will also enable reverse execution of low-level over the loop body before the reverse code is generated for programs such as device drivers. those instructions. Note that this paper focuses on assembly level analysis as 3. METHODOLOGY a first step to provide reverse execution capabilities. How- In order to achieve reverse execution of a program at the ever, this research can be extended in a straightforward way instruction-level, a new term instruction-level reverse pro- to be integrated into a compiler and to connect the reverse gram is introduced as follows: assembly execution to reverse source code execution. In the following subsections, we will explain how the RCG Definition 2. Instruction-level Reverse Program: Suppose that steps are handled in the RCG algorithm. We begin with the a processor P attains the series of states S = (S0; S1; : : : ; Sn) explanation of the first RCG step in the next subsection.
Recommended publications
  • Introduction to Programming
    1 2 3 4 Computers & Data Instructions Flow Objects 5 7 8 5 Input/Output6 & Algorithms & Libraries & Pointers & Arrays Events Data Structures Languages Introduction to Programming UCSD Extension Philip J. Mercurio [email protected] 9th Edition Copyright © 2002 Philip J. Mercurio, All Rights Reserved. The purchaser of this document is hereby granted permission to print one copy of this document for their own use. Ownership of this document may not be transferred. Introduction to Programming Table of Contents Slide # Title Slide # Title 1-1 Introduction to Programming 1-49 Floating Point Numbers 1-2 Today’s Session 1-50 Floats and Doubles 1-3 Course Overview: Readings 1-51 Precision 1-4 When was the last time you gave 1-52 Real Numbers someone directions? 1-53 Text 1-5 You're Already A Programmer 1-54 ASCII Table 1-6 Languages 1-55 Latin-1 1-7 Programming a Computer 1-56 Unicode 1-8 Why C++? 1-57 Strings 1-9 Goals of this course 1-58 Numbers and Strings 1-10 What You'll Learn 1-59 Addresses 1-11 After taking this course, you can: 1-60 Representing Objects in Memory 1-12 Computers Are Stupid 1-61 Groups and Lists 1-13 Why Do Computers Appear Smart? 1-63 So Far 1-14 Fundamental Rule of Programming 1-15 Hardware & Software 2-1 Introduction to Programming 1-16 Computer Hardware 2-2 Last Session 1-17 The Processor 2-3 Today’s Session 1-18 Memory 2-4 The Processor (A Simplified Model) 1-19 What Does Memory Look Like? 2-5 Processor Registers 1-20 The Processor and Memory 2-6 Instructions 1-21 The Address Space 2-7 Processor's Environment 1-22 Devices
    [Show full text]
  • Evaluating Extensible 3D (X3D) Graphics for Use in Software Visualisation by Craig Anslow
    Evaluating Extensible 3D (X3D) Graphics For Use in Software Visualisation by Craig Anslow A thesis submitted to the Victoria University of Wellington in fulfilment of the requirements for the degree of Master of Science in Computer Science. Victoria University of Wellington 2008 Abstract 3D web software visualisation has always been expensive, special purpose, and hard to program. Most of the technologies used require large amounts of scripting, are not reliable on all platforms, are binary formats, or no longer maintained. We can make end-user web software visualisation of object-oriented programs cheap, portable, and easy by using Extensible (X3D) 3D Graphics, which is a new open standard. In this thesis we outline our experience with X3D and discuss the suitability of X3D as an output format for software visualisation. ii Acknowledgments I would first just like to say that my Mum and Dad and have been great support over the past few years in completing this degree and without them the struggle would have been much worse. Thanks to Frank for accommodating me. My weekends would not have been as much fun or balanced without my lovely dogs, Amber-Rose and Ruby-Anne. Thanks to my close friend Alex Potanin for just being Alex; interrupting me at the most opportune moment and asking me to do things when least expected. I know I can always rely on you. So thanks for letting me come and discuss my ideas and problems with you over the course of my degree. Even if the discussion always ended up talking about you, I knew you were always interested in what I had to say about you.
    [Show full text]
  • Software Engineering by for BCA 4Th Semester Sakhi Bandyopadhyay Lecture 4 Dept
    Compiled Software Engineering By For BCA 4th Semester Sakhi Bandyopadhyay Lecture 4 Dept. of Computer Science & BCA, [ Various Software Testing Approaches in Software Kharagpur College, Engineering ] Kharagpur 721305 Software testing Software testing is an investigation conducted to provide stakeholders with information about the quality of the software product or service under test. Software testing can also provide an objective, independent view of the software to allow the business to appreciate and understand the risks of software implementation. Test techniques include the process of executing a program or application with the intent of finding software bugs (errors or other defects), and verifying that the software product is fit for use. Software testing involves the execution of a software component or system component to evaluate one or more properties of interest. In general, these properties indicate the extent to which the component or system under test: meets the requirements that guided its design and development, responds correctly to all kinds of inputs, performs its functions within an acceptable time, it is sufficiently usable, can be installed and run in its intended environments, and Achieves the general result its stakeholder’s desire. As the number of possible tests for even simple software components is practically infinite, all software testing uses some strategy to select tests that are feasible for the available time and resources. As a result, software testing typically (but not exclusively) attempts to execute a program or application with the intent of finding software bugs (errors or other defects). The job of testing is an iterative process as when one bug is fixed, it can illuminate other, deeper bugs, or can even create new ones.
    [Show full text]
  • Msdnmagazine 610 Issue.Pdf
    THE MICROSOFT JOURNAL FOR DEVELOPERS JUNE 2010 VOL 25 NO 6 SOA TIPS COLUMNS Address Scalability Bottlenecks with Distributed Caching CUTTING EDGE Iqbal Khan . 24 C# 4.0, the Dynamic Keyword and COM Dino Esposito page 6 THREAD PERFORMANCE CLR INSIDE OUT Resource Contention Concurrency Profi ling in Visual Studio 2010 F# Fundamentals Maxim Goldin . 38 Luke Hoban page 16 TEST RUN CLOUD DIAGNOSTICS Generating Graphs with WPF Take Control of Logging and Tracing in Windows Azure James McCaffrey page 92 Mike Kelly . 50 BASIC INSTINCTS Multi-Targeting Visual Basic Applications in Visual Studio 2010 EXPRESS YOURSELF Spotty Bowles page 98 Encoding Videos Using Microsoft Expression Encoder 3 SDK THE WORKING PROGRAMMER Adam Miller . 62 Going NoSQL with MongoDB, Part 2 Ted Neward page 104 INPUT VALIDATION UI FRONTIERS Enforcing Complex Business Data Rules with WPF The Ins and Outs of ItemsControl Brian Noyes . 74 Charles Petzold page 109 DON’T GET ME STARTED We’re All in This Together PRACTICAL ODATA David Platt page 112 Building Rich Internet Apps with the Open Data Protocol Shayne Burgess . 82 This month at msdn.microsoft.com/magazine: SILVERLIGHT ONLINE Silverlight in an Occasionally Connected World Mark Bloodworth and Dave Brown APPFABRIC CACHE Real-World Usage and Integration Andrea Colaci Untitled-5 2 3/5/10 10:16 AM Sure, Visual Studio 2010 has a lot of great functionality— we’re excited that it’s only making our User Interface components even better! We’re here to help you go beyond what Visual Studio 2010 gives you so you can create Killer Apps quickly, easily and without breaking a sweat! Go to infragistics.com/beyondthebox today to expand your toolbox with the fastest, best-performing and most powerful UI controls available.
    [Show full text]
  • Applying Algorithm Animation Techniques for Program Tracing, Debugging, and Understanding
    Applying Algorithm Animation Techniques for Program Tracing, Debugging, and Understanding Sougata Mukherjea, .John T. Stasko Graphics, Visualization and Usability Center, College of Computing Georgia Institute of Technology Atlanta, GA 30332-0280 Abstract “software visualization” is better because it is more general, encompassing visualizations of data struc- Algorithm antmation, which presents a dynamic vi- tures, algorithms, and specific programs. In fact, soft- sualization of an algorithm or program, primartly has ware visualization research primarily has concentrated been used as a teaching aid. The highly abstract, on two different subtopics: data structure display and application-specific nature of algorithm animation re- algorithm animation. quires human design of the animation views. We spec- Data structure display systems such as Incense[13], ulate that the application-specific nature of algorithm GDBX[3], and VIPS[l 1, 17] illustrate particular data animation views could be a valuable debugging aid for structures within a program, showing both the val- sofiware developers as well. Unfortunately, zf ani- ues and interconnections of particular data elements. mation development requires time -cons urntng des~gn These systems automatically generate a view of a with a graphics package, zt wdl not be used for de- data structure when the user issues a command to bugging, where timeliness is a necessity. We have de- do so. Other systems such as Pecan[16] provide ad- veloped a system called Lens that allows programmers ditional program state views of control flow, the run- to rapxdly (m mtnutes) butld algorithm animation - time stack, and so on. Data structure display systems styie program views wtthout requiring any sophisticated main application has been for debugging and software graphzcs knowledge or codtng.
    [Show full text]
  • Ctutor Information Systems and Computer Engineering
    CTutor Tiago Alexandre Afonso Aguiar Thesis to obtain the Master of Science Degree in Information Systems and Computer Engineering Supervisor: Prof. João Nuno de Oliveira e Silva Examination Committee Chairperson: Prof. João Emílio Segurado Pavão Martins Supervisor: Prof. João Nuno de Oliveira e Silva Member of the Committee: Prof. David Manuel Martins de Matos November 2014 ii Resumo CTutor e´ uma ferramenta de visualizac¸ao˜ de programas para a linguagem C. O CTutor permite melhorar a compreensao˜ dos varios´ elementos da linguagem de programac¸ao˜ C, tais como tipos de variaveis,´ argumentos de func¸oes˜ e os seus outputs. Com isto, o CTutor pretende facilitar o processo de aprendizagem desta linguagem. Uma ferramenta de visualizac¸ao˜ de programas tambem´ e´ util´ como complemento do processo de aprendizagem de uma nova linguagem de programac¸ao.˜ Atraves´ das visualizac¸oes˜ disponibilizadas, consegue-se substituir os desenhos ou as imagens feitas em diapositivos pelos professores. No caso de C, estas imagens sao˜ normalmente usadas para explicar algoritmos de ordenac¸ao,˜ ponteiros ou estruturas. Com o CTutor, as visualizac¸oes˜ sao˜ constru´ıdas a partir do codigo-fonte,´ desenvolvido pelo estudante ou pelo professor. Este codigo-fonte´ e´ executado pelo backend do CTutor (ambiente de execuc¸ao),˜ por sua vez as visualizac¸oes˜ sao˜ mostradas no frontend (visualizador). Para alem´ de afectar os estudantes e os professores ao longo do processo de aprendizagem, o CTutor foi desenvolvido de maneira diferente das demais ferramentas de visualizac¸ao.˜ As ferramentas de visualizac¸ao˜ sao˜ compostas por um ambiente de execuc¸ao˜ e um visualizador, em que estes dois componentes estao˜ fortemente ligados, dificultando assim o desenvolvimento de novas ferramentas que reutilizem um destes componentes.
    [Show full text]
  • Copyrighted Material
    E1C01_1 03/07/2009 1 CHAPTER 1 Preparing to do a PIC Project 1.1 Introduction 1.2 Overview of PIC Microcontroller 1.3 Basics of PIC Assembly Language 1.4 Introduction to C Programming for PIC Microcontroller 1.5 MPLAB Integrated Development Environment (IDE) 1.6 Advanced Debugger Features – Stimulus 1.1 Introduction The aim of this chapter is to consider a number of issues that need to be taken into account before doing almost any microcontroller-based pro- ject. First, the reader will be introduced to a PIC (programmable interface controller) microcontroller by a brief discussion of one of the models from the PIC microcontroller family – the PIC16F627A. This model is now a common choice for low-cost PIC projects and has practically replaced the very popular PIC16F84 model. The PIC16F627A is therefore a choice for a large number of projects from this book although some other simpler and more complex models are also being used. The rest of the PIC family will be considered briefly, introducing some other models used for the projects in this book. We will then discuss the basics of two programm- ing languages commonly used to develop PIC programs in practice and throughout this book – assembly and C. This will by no means be a detailed discussionCOPYRIGHTED of those two languages; MATERIAL a separate book would be needed for that. The aim instead is to provide a short overview of the basic features of both languages and to enable readers to learn the rest of it while doing projects from the other chapters of this book.
    [Show full text]
  • Overview Testing Can Never Completely Identify All the Defects Within Software.[2] Instead, It Furnishes a Criticism Or Comparis
    Overview Testing can never completely identify all the defects within software.[2] Instead, it furnishes a criticism or comparison that compares the state and behavior of the product against oracles—principles or mechanisms by which someone might recognize a problem. These oracles may include (but are not limited to) specifications, contracts,[3] comparable products, past versions of the same product, inferences about intended or expected purpose, user or customer expectations, relevant standards, applicable laws, or other criteria. Every software product has a target audience. For example, the audience for video game software is completely different from banking software. Therefore, when an organization develops or otherwise invests in a software product, it can assess whether the software product will be acceptable to its end users, its target audience, its purchasers, and other stakeholders. Software testing is the process of attempting to make this assessment. A study conducted by NIST in 2002 reports that software bugs cost the U.S. economy $59.5 billion annually. More than a third of this cost could be avoided if better software testing was performed.[4] [edit]History The separation of debugging from testing was initially introduced by Glenford J. Myers in 1979.[5] Although his attention was on breakage testing ("a successful test is one that finds a bug"[5][6]) it illustrated the desire of the software engineering community to separate fundamental development activities, such as debugging, from that of verification. Dave Gelperin and William C. Hetzel classified in 1988 the phases and goals in software testing in the following stages:[7] . Until 1956 - Debugging oriented[8] .
    [Show full text]
  • A Low-Effort Animated Data Structure Visualization Creation System
    A Low-Effort Animated Data Structure Visualization Creation System by Larry A Barowski A dissertation submitted to the Graduate Faculty of Auburn University in partial fulfillment of the requirements for the Degree of Doctor of Philosophy Auburn, Alabama August 2, 2014 Keywords: visualization, data structure, jGRASP Approved by James H. Cross II, Chair, Professor of Computer Science and Software Engineering Richard O. Chapman, Associate Professor of Computer Science and Software Engineering T. Dean Hendrix, Associate Professor of Computer Science and Software Engineering Abstract Algorithm animations and high level data structure visualizations are not widely used, in part because producing them is difficult and time consuming. Algorithm animation and data structure visualization systems attempt to minimize this effort, but none has made the process as simple as it could be. The purpose of the system described in this work, the jGRASP Visualization System, is to allow the creation and use of dynamic data structure visualizations from working source code with minimal effort. Ideally, the only work required to create an animated visualization should be selecting values from a program running in debug mode in an IDE, selecting the way each value will be displayed from a list of available choices, and physically arranging the display elements. This has been achieved for arbitrary implementations of common data structures in Java. This dissertation begins by discussing existing work on the usefulness of algorithm animation and data structure visualization for algorithm and code understanding, and existing work on systems with similar organization, features, and construction to the one described here. The jGRASP Visualization System is described in detail from the user's perspective.
    [Show full text]
  • MPICH2 Windows Development Guide∗ Version 1.1.1P1 Mathematics and Computer Science Division Argonne National Laboratory
    MPICH2 Windows Development Guide∗ Version 1.1.1p1 Mathematics and Computer Science Division Argonne National Laboratory David Ashton Jayesh Krishna August 6, 2009 ∗This work was supported by the Mathematical, Information, and Computational Sci- ences Division subprogram of the Office of Advanced Scientific Computing Research, Sci- DAC Program, Office of Science, U.S. Department of Energy, under Contract DE-AC02- 06CH11357. 1 Contents 1 Introduction 1 2 Build machine 1 3 Test machine 1 4 Software 1 4.1 Packages .............................. 1 5 Building MPICH2 2 5.1 Visual Studio automated 32bit build .............. 3 5.1.1 Automated build from the source distribution . 4 5.1.2 Building without Fortran ................ 4 5.2 Platform SDK builds ....................... 5 6 Distributing MPICH2 builds 6 7 Testing MPICH2 7 7.1 Testing from scratch ....................... 7 7.2 Testing a built mpich2 directory ................ 7 7.3 Testing an existing installation ................. 8 8 Development issues 8 9 Runtime environment 8 9.1 User credentials .......................... 9 9.2 MPICH2 channel selection .................... 9 9.3 MPI apps with GUI ....................... 10 i 9.4 Security .............................. 11 9.5 Firewalls .............................. 13 9.6 MPIEXEC options ........................ 13 9.7 SMPD process manager options . 20 9.8 Debugging jobs by starting them manually . 23 9.9 Environment variables ...................... 24 9.10 Compiling ............................. 29 9.10.1 Visual Studio 6.0 ..................... 29 9.10.2 Visual Studio 2005 .................... 30 9.10.3 Cygwin gcc ........................ 31 9.11 Performance Analysis ...................... 31 9.11.1 Tracing MPI calls using the MPIEXEC Wrapper . 32 9.11.2 Tracing MPI calls from the command line . 33 9.11.3 Customizing logfiles ..................
    [Show full text]
  • View the Dynamic Interactions of the Parallel Components of a Distributed Application to Simplify Performance Monitoring and Debugging
    University of Alberta Program Design and Animation in the Enterprise Parallel Programming Environment by Greg Lobe Duane Szafron Jonathan Schaeffer Technical Report TR 93-04 March 1993 Program Design and Animation in the Enterprise Parallel Programming Environment Greg Lobe Duane Szafron Jonathan Schaeffer Department of Computing Science, University of Alberta, Edmonton, Alberta, CANADA T6G 2H1 {greg, duane, jonathan}@cs.ualberta.ca ABSTRACT The Enterprise programming environment supports the development of applications that run concurrently on a network of workstations. This paper describes the object-oriented components of Enterprise, implemented in Smalltalk-80, and their seamless integration with the procedural components, implemented in C. The object-oriented user-interface supports a new anthropomorphic model for parallel computation that eliminates much of the perceived complexity of parallel programs. The object-oriented animation component implements a new animation architecture that supports synchronous and asynchronous events. This allows a user to view the dynamic interactions of the parallel components of a distributed application to simplify performance monitoring and debugging. The Enterprise experience highlights the strengths of object-oriented methodologies both for expressing user models and for implementing related components. Keywords: Object-oriented, Smalltalk, programming environment, user-interface, animation, distributed computing - 1 - Enterprise Technical Report TR93-04 1. Introduction This paper describes how object-oriented techniques were used to design and implement components of the Enterprise programming environment. Enterprise supports the development of distributed applications, written in the C programming language, that run on a network of workstations. Enterprise is a good example of an embedded application where object-oriented and traditional code co-exist.
    [Show full text]
  • Vivio – a System for Creating Interactive Reversible E-Learning Animations for the WWW
    Vivio – A System for Creating Interactive Reversible E-Learning Animations for the WWW Dr. Jeremy Jones Dept. Computer Science, Trinity College, Dublin 2, Ireland [email protected] Abstract animations shouldn't be passive, always following the same fixed path. They should be interactive, responding to user Vivio is a system that makes it easier to create actions, so as to encourage explorative self-directed interactive reversible 2D vector based e-learning learning. animations for the WWW. Vivio animations describe how the properties of graphical objects change as function of The objective of this work is to make it easier to create time or as the result of external events. Since Vivio high quality E-learning animations for the WWW. This is animations follow the execution of a program, they can achieved by providing a programming model with an respond to user input and are, consequently, not limited to appropriate level of abstraction and by providing a runtime preset animation sequences. Vivio animations are compiled that handles much of the low-level detail such as repainting into a compact intermediate code which is normally the screen efficiently and playing animations backwards. A executed by the Vivio player hosted in a web page. A key second objective is to make detailed performance feature of the Vivio player is that it can play Vivio measurements to test how well the animations run on animations smoothly, in both forward and reverse standard PC hardware (i.e. that typically used by students). directions. 2. Related Work 1. Introduction Most of the animations developed with Vivio could be A 2D animation is often the best way to illustrate a best described as concept animations [1] rather than complex idea.
    [Show full text]