like to express my appreciation to my thesis committee, especially to my adviser, Forest Baskett,... more like to express my appreciation to my thesis committee, especially to my adviser, Forest Baskett, for his patient guidance and to Jeffry Barth for his helpful and encouraging remarks and for unknowingly starting me on this project by a presentation of his own work in this area. I would also like to thank Bernard Peuto for his cheerful criticism and prodding.
Digest of Papers. COMPCON Spring 89. Thirty-Fourth IEEE Computer Society International Conference: Intellectual Leverage
The XDOS binary code conversion system takes the binary images of programs that were written to r... more The XDOS binary code conversion system takes the binary images of programs that were written to run on the IBM PC and converts them into programs that will run on a number of different computers that use the Unix operating system. The author discusses the use of automatic and human-aided conversion techniques, the techniques used to analyze programs, optimizations that
Traitement machine, pour la traduction de programmes en langage machine binaire en un autre langage machine binaire
On a mis au point un traitement machine dans lequel un premier programme dans un language machine... more On a mis au point un traitement machine dans lequel un premier programme dans un language machine binaire est traduit dans un second programme dans un autre langage machine binaire. Le traitement consiste a desassembler le premier programme binaire (120), a analyser le premier programme afin de produire des donnees d'analyse de flux globales (124) et a utiliser ces donnees pour achever le desassemblage. Ce traitement utilise les donnees d'analyse de flux globales afin de creer le second programme (140), qui est une version en langage machine binaire traduite du premier programme.
Dissertation An abstract model of block-structured programs is de-veloped and used to prove that ... more Dissertation An abstract model of block-structured programs is de-veloped and used to prove that the methods given yield ap-proximations which are safe for use in program optimization and, for certain side effects, are at least as precise as those given by any previous method. The implementation of these methods is discussed in general and a particular implementation for the programming language PASCAL is described. Finally, the results of an _-empirical study of side effects and aliases in a collection of PASCAL programs are presented.- i-j?-ACKNOWLEDGEMENTS I would like to express my appreciation to my thesis committee, especially to my adviser, Forest Baskett, for his patient guidance and to Jeffry Barth for his helpful and encouraging remarks and for unknowingly starting me on this project by a presentation of his own work in this area. I would also like to thank Bernard Peuto for his cheerful criticism and prodding. Most of this work was supported by the United States Departmen...
Transmeta's Crusoe microprocessor is a full, systemlevel implementation of the x86 architect... more Transmeta's Crusoe microprocessor is a full, systemlevel implementation of the x86 architecture, comprising a native VLIW microprocessor with a software layer, the Code Morphing Software (CMS), that combines an interpreter, dynamic binary translator, optimizer, and runtime system. In its general structure, CMS resembles other binary translation systems described in the literature, but it is unique in several respects. The wide range of PC workloads that CMS must handle gracefully in real-life operation, plus the need for full system-level x86 compatibility, expose several issues that have received little or no attention in previous literature, such as exceptions and interrupts, I/O, DMA, and self-modifying code. In this paper we discuss some of the challenges raised by these issues, and present the techniques developed in Crusoe and CMS to meet those challenges. The key to these solutions is the Crusoe paradigm of aggressive speculation, recovery to a consistent x86 state using...
The Transmeta Code Morphing Software: Using Speculation, Recovery, and Adaptive Retranslation to Address Real-Life Challenges
Transmeta's Crusoe microprocessor is a full, systemlevel implementation of the x86 architect... more Transmeta's Crusoe microprocessor is a full, systemlevel implementation of the x86 architecture, comprising a native VLIW microprocessor with a software layer, the Code Morphing Software (CMS), that combines an interpreter, dynamic binary translator, optimizer, and runtime system. In its general structure, CMS resembles other binary translation systems described in the literature, but it is unique in several respects. The wide range of PC workloads that CMS must handle gracefully in real-life operation, plus the need for full system-level x86 compatibility, expose several issues that have received little or no attention in previous literature, such as exceptions and interrupts, I/O, DMA, and self-modifying code. In this paper we discuss some of the challenges raised by these issues, and present the techniques developed in Crusoe and CMS to meet those challenges. The key to these solutions is the Crusoe paradigm of aggressive speculation, recovery to a consistent x86 state using...
Method and apparatus for displaying with a zoom effect on a computer terminal
THE INVENTION CONCERNS A DISPLAY SYSTEM, ESPECIALLY FOR A LAPTOP WITH A SMALL SCREEN, DESIGNED TO... more THE INVENTION CONCERNS A DISPLAY SYSTEM, ESPECIALLY FOR A LAPTOP WITH A SMALL SCREEN, DESIGNED TO ENABLE USER TO PRODUCE A DOCUMENT TOO BIG TO BE ABLE TO BE DISPLAYED IN FULL SCREEN . THIS SYSTEM INCLUDES MEANS TO SEE CLEARLY ON SCREEN 17 PART OF THE DOCUMENT AND CUSTOM USER, REDUCED IMAGE 51 REPRESENTATIVE IN A FORM COMPRESSED ILLEGIBLE, THE FORM AND CONTOUR INFORMATION DOCUMENT THAT SURROUND PART WHICH DISPLAYED rEADABLE REPRESENTATION IMAGE IS sURROUNDED BY REDUCED SLIDER FRAME 53. THE SYSTEM COMPRISES OTHER WAYS TO MOVE THE SLIDE SHOW THEN, IN A rEADABLE FORM THE NEW PART FRAMED UNDER THE CONTROL OF USER.
Transmeta's Crusoe microprocessor is a full, system-level implementation of the x86 architect... more Transmeta's Crusoe microprocessor is a full, system-level implementation of the x86 architecture, comprising a native VLIW microprocessor with a software layer, the Code Morphing Software (CMS), that combines an interpreter, dynamic binary translator, optimizer, and runtime system. In its general structure, CMS resembles other binary translation systems described in the literature, but it is unique in several respects. The wide range of PC workloads that CMS must handle gracefully in real-life operation, plus the need for full system-level x86 compatibility, expose several issues that have received little or no attention in previous literature, such as exceptions and interrupts, I/O, DMA, and self-modifying code. In this paper we discuss some of the challenges raised by these issues, and present the techniques developed in Crusoe and CMS to meet those challenges. The key to these solutions is the Crusoe paradigm of aggressive speculation, recovery to a consistent x86 state using...
The presence of procedures and procedure calls in a programming language can give rise to various... more The presence of procedures and procedure calls in a programming language can give rise to various kinds of side effects. Calling a procedure can cause unexpected references and modifications to variables (variable side effects) and non-obvious transfers of control (exit side effects). In addition procedure calls and parameter passing mechanisms can cause several different variable names to refer to the same location thus making them aliases. This in turn causes all of these variables to be accessed whenever one of the variables is modified or referenced. Determining the aliases of variables and the exit and variable side effects of procedure calls is important for a number of purposes including the generation of optimized code for high level languages. This paper presents a method of determining exit and variable side effects and gives an algorithm for determining the aliases of variables. The principal advantage over previous methods is that only one pass over a program is used to ...
Checking for instruction invariance to execute previously obtained translation code by comparing instruction to a copy stored when write operation to the memory portion occur
Switching to original modifiable instruction copy comparison check to validate prior translation when translated sub-area protection exception slows down operation
like to express my appreciation to my thesis committee, especially to my adviser, Forest Baskett,... more like to express my appreciation to my thesis committee, especially to my adviser, Forest Baskett, for his patient guidance and to Jeffry Barth for his helpful and encouraging remarks and for unknowingly starting me on this project by a presentation of his own work in this area. I would also like to thank Bernard Peuto for his cheerful criticism and prodding.
Digest of Papers. COMPCON Spring 89. Thirty-Fourth IEEE Computer Society International Conference: Intellectual Leverage
The XDOS binary code conversion system takes the binary images of programs that were written to r... more The XDOS binary code conversion system takes the binary images of programs that were written to run on the IBM PC and converts them into programs that will run on a number of different computers that use the Unix operating system. The author discusses the use of automatic and human-aided conversion techniques, the techniques used to analyze programs, optimizations that
Traitement machine, pour la traduction de programmes en langage machine binaire en un autre langage machine binaire
On a mis au point un traitement machine dans lequel un premier programme dans un language machine... more On a mis au point un traitement machine dans lequel un premier programme dans un language machine binaire est traduit dans un second programme dans un autre langage machine binaire. Le traitement consiste a desassembler le premier programme binaire (120), a analyser le premier programme afin de produire des donnees d'analyse de flux globales (124) et a utiliser ces donnees pour achever le desassemblage. Ce traitement utilise les donnees d'analyse de flux globales afin de creer le second programme (140), qui est une version en langage machine binaire traduite du premier programme.
Dissertation An abstract model of block-structured programs is de-veloped and used to prove that ... more Dissertation An abstract model of block-structured programs is de-veloped and used to prove that the methods given yield ap-proximations which are safe for use in program optimization and, for certain side effects, are at least as precise as those given by any previous method. The implementation of these methods is discussed in general and a particular implementation for the programming language PASCAL is described. Finally, the results of an _-empirical study of side effects and aliases in a collection of PASCAL programs are presented.- i-j?-ACKNOWLEDGEMENTS I would like to express my appreciation to my thesis committee, especially to my adviser, Forest Baskett, for his patient guidance and to Jeffry Barth for his helpful and encouraging remarks and for unknowingly starting me on this project by a presentation of his own work in this area. I would also like to thank Bernard Peuto for his cheerful criticism and prodding. Most of this work was supported by the United States Departmen...
Transmeta's Crusoe microprocessor is a full, systemlevel implementation of the x86 architect... more Transmeta's Crusoe microprocessor is a full, systemlevel implementation of the x86 architecture, comprising a native VLIW microprocessor with a software layer, the Code Morphing Software (CMS), that combines an interpreter, dynamic binary translator, optimizer, and runtime system. In its general structure, CMS resembles other binary translation systems described in the literature, but it is unique in several respects. The wide range of PC workloads that CMS must handle gracefully in real-life operation, plus the need for full system-level x86 compatibility, expose several issues that have received little or no attention in previous literature, such as exceptions and interrupts, I/O, DMA, and self-modifying code. In this paper we discuss some of the challenges raised by these issues, and present the techniques developed in Crusoe and CMS to meet those challenges. The key to these solutions is the Crusoe paradigm of aggressive speculation, recovery to a consistent x86 state using...
The Transmeta Code Morphing Software: Using Speculation, Recovery, and Adaptive Retranslation to Address Real-Life Challenges
Transmeta's Crusoe microprocessor is a full, systemlevel implementation of the x86 architect... more Transmeta's Crusoe microprocessor is a full, systemlevel implementation of the x86 architecture, comprising a native VLIW microprocessor with a software layer, the Code Morphing Software (CMS), that combines an interpreter, dynamic binary translator, optimizer, and runtime system. In its general structure, CMS resembles other binary translation systems described in the literature, but it is unique in several respects. The wide range of PC workloads that CMS must handle gracefully in real-life operation, plus the need for full system-level x86 compatibility, expose several issues that have received little or no attention in previous literature, such as exceptions and interrupts, I/O, DMA, and self-modifying code. In this paper we discuss some of the challenges raised by these issues, and present the techniques developed in Crusoe and CMS to meet those challenges. The key to these solutions is the Crusoe paradigm of aggressive speculation, recovery to a consistent x86 state using...
Method and apparatus for displaying with a zoom effect on a computer terminal
THE INVENTION CONCERNS A DISPLAY SYSTEM, ESPECIALLY FOR A LAPTOP WITH A SMALL SCREEN, DESIGNED TO... more THE INVENTION CONCERNS A DISPLAY SYSTEM, ESPECIALLY FOR A LAPTOP WITH A SMALL SCREEN, DESIGNED TO ENABLE USER TO PRODUCE A DOCUMENT TOO BIG TO BE ABLE TO BE DISPLAYED IN FULL SCREEN . THIS SYSTEM INCLUDES MEANS TO SEE CLEARLY ON SCREEN 17 PART OF THE DOCUMENT AND CUSTOM USER, REDUCED IMAGE 51 REPRESENTATIVE IN A FORM COMPRESSED ILLEGIBLE, THE FORM AND CONTOUR INFORMATION DOCUMENT THAT SURROUND PART WHICH DISPLAYED rEADABLE REPRESENTATION IMAGE IS sURROUNDED BY REDUCED SLIDER FRAME 53. THE SYSTEM COMPRISES OTHER WAYS TO MOVE THE SLIDE SHOW THEN, IN A rEADABLE FORM THE NEW PART FRAMED UNDER THE CONTROL OF USER.
Transmeta's Crusoe microprocessor is a full, system-level implementation of the x86 architect... more Transmeta's Crusoe microprocessor is a full, system-level implementation of the x86 architecture, comprising a native VLIW microprocessor with a software layer, the Code Morphing Software (CMS), that combines an interpreter, dynamic binary translator, optimizer, and runtime system. In its general structure, CMS resembles other binary translation systems described in the literature, but it is unique in several respects. The wide range of PC workloads that CMS must handle gracefully in real-life operation, plus the need for full system-level x86 compatibility, expose several issues that have received little or no attention in previous literature, such as exceptions and interrupts, I/O, DMA, and self-modifying code. In this paper we discuss some of the challenges raised by these issues, and present the techniques developed in Crusoe and CMS to meet those challenges. The key to these solutions is the Crusoe paradigm of aggressive speculation, recovery to a consistent x86 state using...
The presence of procedures and procedure calls in a programming language can give rise to various... more The presence of procedures and procedure calls in a programming language can give rise to various kinds of side effects. Calling a procedure can cause unexpected references and modifications to variables (variable side effects) and non-obvious transfers of control (exit side effects). In addition procedure calls and parameter passing mechanisms can cause several different variable names to refer to the same location thus making them aliases. This in turn causes all of these variables to be accessed whenever one of the variables is modified or referenced. Determining the aliases of variables and the exit and variable side effects of procedure calls is important for a number of purposes including the generation of optimized code for high level languages. This paper presents a method of determining exit and variable side effects and gives an algorithm for determining the aliases of variables. The principal advantage over previous methods is that only one pass over a program is used to ...
Checking for instruction invariance to execute previously obtained translation code by comparing instruction to a copy stored when write operation to the memory portion occur
Switching to original modifiable instruction copy comparison check to validate prior translation when translated sub-area protection exception slows down operation
Uploads
Papers by John Banning