Bill Clarke - Academia.edu (original) (raw)
Papers by Bill Clarke
Lecture Notes in Computer Science, 2006
Interval arithmetic is an alternative computational paradigm that enables arithmetic operations t... more Interval arithmetic is an alternative computational paradigm that enables arithmetic operations to be performed with guarantee error bounds. In this paper interval arithmetic is used to compare the accuracy of various methods for computing the electrostatic energy for a system of point charges. A number of summation approaches that scale as O(N 2 ) are considered, as is an O(N) scaling Fast Multipole Method (FMM). Results are presented for various sizes of water cluster in which each water molecule is described using the popular TIP3P water model. For FMM a subtle balance between the dominance of either rounding or truncation errors is demonstrated Fifth International Conference on Computational Science and Applications 0-7695-2945-3/07 $25.00
13th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, 2005
Simulation is an integral tool in performance analysis, however without some knowledge of a simul... more Simulation is an integral tool in performance analysis, however without some knowledge of a simulator's underlying accuracy and limitations, the results may prove wrong or misleading. Timing validation is one aspect of development which is easy to overlook, typically due to the lack of a comparison target at the time the simulator was written. This paper discusses the design and validation of an accurate timing model for an UltraSPARC IIICu-based system. An existing functional simulator was augmented with a cycle-accurate model of the memory hierarchy of a reference system. Key features of the model include the use of a 'bridge' for the processor / memory system interface, the use of event windows between the simulated backplane and processors, implementation of pipelined transactions, and the extension of the processor run loop to support this. The modelling of the store buffer and prefetch mechanisms proved both challenging and important for the model's accuracy.
ACM International Conference Proceeding Series, 2002
In this paper we present work in progress in the development of a complete machine simulator for ... more In this paper we present work in progress in the development of a complete machine simulator for the UltraSPARC, an implementation of the SPARC V9 architecture. The complexity of the UltraSPARC ISA presents many challenges in developing a reliable and yet reasonably efficient implementation of such a simulator. Our implementation includes a heavily object-oriented design for the simulator modules and
Interval arithmetic is an alternative computational paradigm that enables arithmetic operations t... more Interval arithmetic is an alternative computational paradigm that enables arithmetic operations to be performed with guarantee error bounds. In this paper interval arithmetic is used to compare the accuracy of various methods for computing the electrostatic energy for a system of point charges. A number of summation approaches that scale as O(N 2 ) are considered, as is an O(N) scaling Fast Multipole Method (FMM). Results are presented for various sizes of water cluster in which each water molecule is described using the popular TIP3P water model. For FMM a subtle balance between the dominance of either rounding or truncation errors is demonstrated Fifth International Conference on Computational Science and Applications 0-7695-2945-3/07 $25.00
2007 IEEE International Symposium on Performance Analysis of Systems & Software, 2007
The design trend towards CMPs has made the simulation of multiprocessor systems a necessity and h... more The design trend towards CMPs has made the simulation of multiprocessor systems a necessity and has also made multiprocessor systems widely available. While a serial multiprocessor simulation necessarily imposes a linear slowdown, running such a simulation in parallel may help mitigate this effect.
37th Annual Simulation Symposium, 2004. Proceedings., 2004
In this paper we present Solemn, a new user-level simulationmode for Sparc Sulima, a SPARC V9 com... more In this paper we present Solemn, a new user-level simulationmode for Sparc Sulima, a SPARC V9 complete machinesimulator. Solemn extends Sparc Sulima allowing it tosimulate at user-level an unmodified Solaris executable: 32or 64-bit, and statically or dynamically linked. This yieldssome advantages over both complete machine simulatorsand traditional system call emulation. To do this, Solemnmanages the virtual address space and files
Australian Computer Science …, 2002
Australasian Computer Science Conference, 2007
This paper presents a novel technique for cycle- accurate simulation of the Central Processing Un... more This paper presents a novel technique for cycle- accurate simulation of the Central Processing Unit (CPU) of a modern superscalar processor, the Ultra- SPARC III Cu processor. The technique is based on adding a module to an existing fetch-decode-execute style of CPU simulator, rather than the traditional method of fully modelling the CPU microarchitec- ture. It is also suitable for
Lecture Notes in Computer Science, 2006
Interval arithmetic is an alternative computational paradigm that enables arithmetic operations t... more Interval arithmetic is an alternative computational paradigm that enables arithmetic operations to be performed with guarantee error bounds. In this paper interval arithmetic is used to compare the accuracy of various methods for computing the electrostatic energy for a system of point charges. A number of summation approaches that scale as O(N 2 ) are considered, as is an O(N) scaling Fast Multipole Method (FMM). Results are presented for various sizes of water cluster in which each water molecule is described using the popular TIP3P water model. For FMM a subtle balance between the dominance of either rounding or truncation errors is demonstrated Fifth International Conference on Computational Science and Applications 0-7695-2945-3/07 $25.00
13th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, 2005
Simulation is an integral tool in performance analysis, however without some knowledge of a simul... more Simulation is an integral tool in performance analysis, however without some knowledge of a simulator's underlying accuracy and limitations, the results may prove wrong or misleading. Timing validation is one aspect of development which is easy to overlook, typically due to the lack of a comparison target at the time the simulator was written. This paper discusses the design and validation of an accurate timing model for an UltraSPARC IIICu-based system. An existing functional simulator was augmented with a cycle-accurate model of the memory hierarchy of a reference system. Key features of the model include the use of a 'bridge' for the processor / memory system interface, the use of event windows between the simulated backplane and processors, implementation of pipelined transactions, and the extension of the processor run loop to support this. The modelling of the store buffer and prefetch mechanisms proved both challenging and important for the model's accuracy.
ACM International Conference Proceeding Series, 2002
In this paper we present work in progress in the development of a complete machine simulator for ... more In this paper we present work in progress in the development of a complete machine simulator for the UltraSPARC, an implementation of the SPARC V9 architecture. The complexity of the UltraSPARC ISA presents many challenges in developing a reliable and yet reasonably efficient implementation of such a simulator. Our implementation includes a heavily object-oriented design for the simulator modules and
Interval arithmetic is an alternative computational paradigm that enables arithmetic operations t... more Interval arithmetic is an alternative computational paradigm that enables arithmetic operations to be performed with guarantee error bounds. In this paper interval arithmetic is used to compare the accuracy of various methods for computing the electrostatic energy for a system of point charges. A number of summation approaches that scale as O(N 2 ) are considered, as is an O(N) scaling Fast Multipole Method (FMM). Results are presented for various sizes of water cluster in which each water molecule is described using the popular TIP3P water model. For FMM a subtle balance between the dominance of either rounding or truncation errors is demonstrated Fifth International Conference on Computational Science and Applications 0-7695-2945-3/07 $25.00
2007 IEEE International Symposium on Performance Analysis of Systems & Software, 2007
The design trend towards CMPs has made the simulation of multiprocessor systems a necessity and h... more The design trend towards CMPs has made the simulation of multiprocessor systems a necessity and has also made multiprocessor systems widely available. While a serial multiprocessor simulation necessarily imposes a linear slowdown, running such a simulation in parallel may help mitigate this effect.
37th Annual Simulation Symposium, 2004. Proceedings., 2004
In this paper we present Solemn, a new user-level simulationmode for Sparc Sulima, a SPARC V9 com... more In this paper we present Solemn, a new user-level simulationmode for Sparc Sulima, a SPARC V9 complete machinesimulator. Solemn extends Sparc Sulima allowing it tosimulate at user-level an unmodified Solaris executable: 32or 64-bit, and statically or dynamically linked. This yieldssome advantages over both complete machine simulatorsand traditional system call emulation. To do this, Solemnmanages the virtual address space and files
Australian Computer Science …, 2002
Australasian Computer Science Conference, 2007
This paper presents a novel technique for cycle- accurate simulation of the Central Processing Un... more This paper presents a novel technique for cycle- accurate simulation of the Central Processing Unit (CPU) of a modern superscalar processor, the Ultra- SPARC III Cu processor. The technique is based on adding a module to an existing fetch-decode-execute style of CPU simulator, rather than the traditional method of fully modelling the CPU microarchitec- ture. It is also suitable for