The Itsy Pocket Computer Version 1.5: User's Manual

The Itsy pocket computer is a exible research platform developed at Compaq Computer Corporation's Western Research Laboratory (WRL). Its aim is to enable hardware and software research in pocket computing, including low-power hardware, power management, operating systems, wire-less networking, user interfaces, and applications. This document describes the architecture and the low-level programming model of the Itsy computer.

[1]  K. K. Ramakrishnan,et al.  Eliminating receive livelock in an interrupt-driven kernel , 1996, TOCS.

[2]  Jeffrey C. Mogul,et al.  The packer filter: an efficient mechanism for user-level network code , 1987, SOSP '87.

[3]  W. Hamburgen,et al.  Boiling binary mixtures at subatmospheric pressures , 1992, [1992 Proceedings] Intersociety Conference on Thermal Phenomena in Electronic Systems.

[4]  Russell Kao,et al.  Piecewise Linear Models for Switch-Level Simulation , 1992 .

[5]  Norman P. Jouppi,et al.  The Distribution of Instruction-Level and Machine Parallelism and Its Effect on Performance , 1999 .

[6]  Christopher A. Kent,et al.  Cache Coherence in Distributed Systems , 1999 .

[7]  Jeffrey Mogul,et al.  Spritely NFS: Implementation and Performance of Cache-Consistency Protocols , 1989 .

[8]  Joel F. Bartlett,et al.  Don’t Fidget with Widgets, Draw! , 1999 .

[9]  David W. Wall,et al.  Global register allocation at link time , 1986, SIGPLAN '86.

[10]  John K. Ousterhout,et al.  Why Aren't Operating Systems Getting Faster As Fast as Hardware? , 1990, USENIX Summer.

[11]  David W. Wall,et al.  Software Methods for System Address Tracing: Implementation and Validation , 1999 .

[12]  J. S. Fitch,et al.  A comparison of acoustic and infrared inspection techniques for die attach , 1992, [1992 Proceedings] Intersociety Conference on Thermal Phenomena in Electronic Systems.

[13]  David W. Wall,et al.  Experience with a software-defined machine architecture , 1992, TOPL.

[14]  John L. Hennessy,et al.  MTOOL: a method for detecting memory bottlenecks , 1991, SIGMETRICS '91.

[15]  Jeffrey C. Mogul,et al.  Efficient use of workstations for passive monitoring of local area networks , 1990, SIGCOMM '90.

[16]  Norman P. Jouppi,et al.  A simulation based study of TLB performance , 1992, ISCA '92.

[17]  Jeffrey C. Mogul,et al.  Network locality at the scale of processes , 1991, SIGCOMM '91.

[18]  David W. Wall,et al.  Long Address Traces from RISC Machines: Generation and Analysis , 1999, ISCA 1989.

[19]  Mark Horowitz,et al.  Piecewise linear models for Rsim , 1993, ICCAD.

[20]  Silvio Turrini,et al.  Optimal group distribution in carry-skip adders , 1989, Proceedings of 9th Symposium on Computer Arithmetic.

[21]  Jeremy Dion,et al.  Fast Printed Circuit Board Routing , 1987, 24th ACM/IEEE Design Automation Conference.

[22]  Norman P. Jouppi,et al.  Improving direct-mapped cache performance by the addition of a small fully-associative cache and prefetch buffers , 1990, [1990] Proceedings. The 17th Annual International Symposium on Computer Architecture.

[23]  Anja Feldmann,et al.  Potential benefits of delta encoding and data compression for HTTP , 1997, SIGCOMM '97.

[24]  Joel F. Bartlett,et al.  Compacting garbage collection with ambiguous roots , 1988, LIPO.

[25]  Jeffrey C. Mogul,et al.  Observing TCP dynamics in real networks , 1992, SIGCOMM '92.

[26]  W. Hamburgen,et al.  Pool boiling enhancement techniques for water at low pressure , 1991, 1991 Proceedings, Seventh IEEE Semiconductor Thermal Measurement and Management Symposium.

[27]  David W. Wall,et al.  Speculative Execution and Instruction-Level Parallelism , 1999 .

[28]  Scott McFarling,et al.  Procedure merging with instruction caches , 1991, PLDI '91.

[29]  P. Boyle.  Electrical Evaluation Of The BIPS-0 Package , 1999 .

[30]  K. Gharachodoo,et al.  Memory consistency models for shared memory multiprocessors , 1996 .

[31]  Jeffrey C. Mogul,et al.  The case for persistent-connection HTTP , 1995, SIGCOMM '95.

[32]  W. R. Hamburgen,et al.  Precise robotic paste dot dispensing , 1989, Proceedings., 39th Electronic Components Conference.

[33]  Amitabh Srivastava,et al.  Analysis Tools , 2019, Public Transportation Systems.

[34]  David W. Wall,et al.  Predicting program behavior using real or estimated profiles , 2004, SIGP.

[35]  Don Stark,et al.  Analysis of power supply networks in VLSI circuits , 1991 .

[36]  Jeremy Dion,et al.  Contour: a tile-based gridless router , 1995 .

[37]  Robert N. Mayo,et al.  Boolean matching for full-custom ECL gates , 1993, ICCAD '93.

[38]  Brad Calder,et al.  Efficient procedure mapping using cache line coloring , 1997, PLDI '97.

[39]  Norman P. Jouppi,et al.  Register file design considerations in dynamically scheduled processors , 1996, Proceedings. Second International Symposium on High-Performance Computer Architecture.

[40]  Jeffrey C. Mogul,et al.  Network Behavior of a Busy Web Server and its Clients , 1999 .

[41]  John Fitch,et al.  A One-Dimensional Thermal Model for the VAX 9000 Multi Chip Units , 1990 .

[42]  Norman P. Jouppi,et al.  How useful are non-blocking loads, stream buffers and speculative execution in multiple issue processors? , 1995, Proceedings of 1995 1st IEEE Symposium on High Performance Computer Architecture.

[43]  Silvio Turrini.  Optimizations and Placement with the Genetic Workbench , 1999 .

[44]  P. Chow,et al.  Memory-system Design Considerations For Dynamically-scheduled Processors , 1997, Conference Proceedings. The 24th Annual International Symposium on Computer Architecture.

[45]  Joel F. Bartlett,et al.  Ramonamap—an example of graphical groupware , 1994, UIST '94.

[46]  Jeffrey C. Mogul,et al.  Simple and Flexible Datagram Access Controls for UNIX-based Gateways , 1999 .

[47]  David W. Wall,et al.  Limits of instruction-level parallelism , 1991, ASPLOS IV.

[48]  Kourosh Gharachorloo,et al.  Shasta: a low overhead, software-only approach for supporting fine-grain shared memory , 1996, ASPLOS VII.

[49]  Norman P. Jouppi.  Reducing Compulsory and Capacity Misses , 1999 .

[50]  Deborah Estrin,et al.  Visa Protocols for Controlling Inter-Organizational Datagram Flow : Extended Description , 1989 .

[51]  Jeffrey C. Mogul,et al.  The experimental literature of the internet: an annotated bibliography , 1989, CCRV.

[52]  Norman P. Jouppi,et al.  Tradeoffs in two-level on-chip caching , 1994, ISCA '94.

[53]  Jeffrey C. Mogul,et al.  Performance Implications of Multiple Pointer Sizes , 1995, USENIX.

[54]  Jeffrey C. Mogul,et al.  The effect of context switches on cache performance , 1991, ASPLOS IV.

[55]  Norman P. Jouppi,et al.  WRL Research Report 93/5: An Enhanced Access and Cycle Time Model for On-chip Caches , 1994 .

[56]  G. May Yip.  Incremental, Generational Mostly-Copying Garbage Collection in Uncooperative Environments , 1999 .

[57]  Paul John Asente,et al.  Editing graphical objects using procedural representations , 1988 .

[58]  Scott McFarling.  Cache replacement with dynamic exclusion , 1992, ISCA '92.

[59]  Kourosh Gharachorloo,et al.  Fine-grain software distributed shared memory on SMP clusters , 1998, Proceedings 1998 Fourth International Symposium on High-Performance Computer Architecture.

[60]  Ramsey W. Haddad.  Drip: A Schematic Drawing Interpreter , 1999 .

[61]  Norman P. Jouppi,et al.  Available instruction-level parallelism for superscalar and superpipelined machines , 1989, ASPLOS III.

[62]  David W. Wall,et al.  Link-Time Code Modification , 1989 .

[63]  N. P. Jouppi,et al.  A 20-MIPS sustained 32-bit CMOS microprocessor with high ratio of sustained to peak performance , 1989 .

[64]  David W. Wall,et al.  Link-time optimization of address calculation on a 64-bit architecture , 1994, PLDI '94.

[65]  David W. Wall,et al.  The Mahler experience: using an intermediate language as the machine description , 1987, International Conference on Architectural Support for Programming Languages and Operating Systems.

[66]  N. P. Jouppi.  Architectural and organizational tradeoffs in the design of the MultiTitan CPU , 1989, ISCA '89.

[67]  Dean M. Tullsen,et al.  Simultaneous multithreading: a platform for next-generation processors , 1997, IEEE Micro.

[68]  Kourosh Gharachorloo,et al.  Design and performance of the Shasta distributed shared memory protocol , 1997, ICS '97.

[69]  Joel F. Bartlett,et al.  Experience with a wireless world wide web client , 1995, Digest of Papers. COMPCON'95. Technologies for the Information Superhighway.

[70]  K. J. Richardson.  Component Characterization for I / O Cache Designs , 1995 .

[71]  Norman P. Jouppi,et al.  Complexity/performance tradeoffs with non-blocking loads , 1994, ISCA '94.

[72]  Joel McCormack,et al.  Writing fast X servers for dumb color frame buffers , 1990, Softw. Pract. Exp..

[73]  Sarita V. Adve,et al.  Shared Memory Consistency Models: A Tutorial , 1996, Computer.

[74]  David W. Wall,et al.  Systems for Late Code Modification , 1991, Code Generation.

[75]  Jeffrey C. Mogul,et al.  Operating systems support for busy Internet servers , 1995, Proceedings 5th Workshop on Hot Topics in Operating Systems (HotOS-V).

[76]  Norman P. Jouppi,et al.  Circuit and Process Directions for Low-Voltage Swing Submicron BiCMOS , 1999 .

[77]  Jeffrey C. Mogul,et al.  Measured capacity of an Ethernet: myths and reality , 1988, CCRV.

[78]  S. McFarling.  Combining Branch Predictors , 1993 .

[79]  Norman P. Jouppi,et al.  Improving direct-mapped cache performance by the addition of a small fully-associative cache and pre , 1990, ISCA 1990.

[80]  N. P. Jouppi,et al.  Integration and packaging plateaus of processor performance , 1989, Proceedings 1989 IEEE International Conference on Computer Design: VLSI in Computers and Processors.

[81]  Michael N. Nelson,et al.  Virtual Memory vs. The File System , 1999 .

[82]  Van P. Carey,et al.  Pool Boiling on Small Heat Dissipating Elements in Water at Subatmospheric Pressure , 1999 .

[83]  Joel F. Bartlett,et al.  Mostly-Copying Garbage Collection Picks Up Generations and C++ , 1999 .

[84]  J. Mogul,et al.  Characterization of Organic Illumination Systems , 1989 .

[85]  Joel F. Bartlett,et al.  Transparent Controls for Interactive Graphics , 1999 .

[86]  David W. Wall,et al.  A practical system fljr intermodule code optimization at link-time , 1993 .

[87]  B. K. Reid,et al.  The USENET cookbook—an experiment in electronic , 1989 .

[88]  William R. Hamburgen,et al.  Optimal Finned Heat Sinks , 1986 .

[89]  Amitabh Srivastava,et al.  Unreachable procedures in object-oriented programming , 1992, LOPL.