Publications
254 results found
Harrison PG, Knottenbelt WJ, 1999, Distributed disk-based solution techniques for large Markov models, Proc 3rd Int. Conference on the Numerical Solution of Markov Chains, NSMC 99, Zaragoza
Harrison PG, Harder UKF, 1999, A queueing network model of Oracle Parallel Server, Proc. 15th UK Performance Engineering Workshop, Bristol
Field AJ, Harrison PG, 1999, Sojourn Times in a Random Queue With and Without Preemption, European Journal of Operational Research, Vol: 112, Pages: 646-653
Harrison PG, 1999, Sojourn times in the Markov modulated CPP/GE/c G-Queue, Proc 14th Int. Symp. on Computer and Information Sciences, Izmir, Turkey
Harrison PG, Rana OF, Jones AJI, 1999, Automating performance analysis of neural algorithms, Proc. 15th UK Performance Engineering Workshop, Bristol
Harrison PG, Kanani K, 1999, A Performance Model for SPADES Specifications, Performance 99, Istanbul, Turkey
Harrison PG, Knottenbelt WJ, Jmestern M, et al., 1998, Probability, Parallelism and the State Space Exploration, Proc 10th Int. Conf, Tools 98, Computer Performance Evaluation, Palma de Mallorca, Publisher: Springer Verlag, Pages: 165-179
We present a new dynamic probabilistic state exploration algorithm based on hash compaction. Our method has a low state omission probability and low memory usage that is independent of the length of the state vector. In addition, the algorithm can be easily parallelised. This combination of probability and parallelism enables us to rapidly explore state spaces that are an order of magnitude larger than those obtainable using conventional exhaustive techniques. We implement our technique on a distributed-memory parallel computer and we present results showing good speedups and scalability. Finally, we discuss suitable choices for the three hash functions upon which our algorithm is based.
Field AJ, Harrison PG, Parry J, 1998, Response times in client-server systems, 10th International Conference on Computer Performance Evaluation - Modelling Techniques and Tools (Tools 98), Publisher: SPRINGER-VERLAG BERLIN, Pages: 75-92, ISSN: 0302-9743
Field AJ, Harrison PG, Kanani K, 1998, Automatic generation of verifiable cache coherence simulation models from high-level specifications, 4th Australasian Theory Symposium (CATS 98), Publisher: SPRINGER-VERLAG SINGAPORE PTE LTD, Pages: 261-275
- Author Web Link
- Cite
- Citations: 2
Harrison PG, 1998, On the computation of normalising constants in multiclass product-form queueing networks, 12th European Simulation Multiconference (ESM 98), Publisher: SOC COMPUTER SIMULATION, Pages: 747-750
Field T, Harrison P, Kanani K, 1998, Automatic Generation of Verifiable Cache Coherence Simulation Models from High-level Specifications, Australian Computer Science Communications, Vol: 20, Pages: 261-275
Performance modelling and verification are vital steps in the development cycle of any cache coherency protocol. Two separate models are usually required to perform each analysis step and as protocols become increasingly complex each can become correspondingly unwieldy. We examine how stochastic process algebra can be used to describe cache coherency protocols in such a way as to allow both the correctness and performance of the protocol to be investigated together. We reintroduce a ...
Harrison PG, Bhabuta M, 1998, Analysis and Modelling of the ABR Rate-based Control Mechanism, Proceedings 6th Int. Conf. on Performance Modelling and Evaluation of ATM Networks, Ilkeley
Harrison PG, Knottenbelt WJ, 1998, A Scalable Distributed Algorithm for the Exploration of Very Large State graphs, Proceedings 8th Int. Parallel Computing Workshop, PCW '98, Singapore, Pages: 377-384
Harrison PG, Bhabuta M, 1998, Analysis of ATM Traffic on the London MAN, Performance Modelling and Evaluation of ATM Networks, Publisher: Chapman-Hall
Harrison PG, 1998, Response times in G-Nets, 13th International Symposium on Computer and Information Sciences (ISCIS 98), Publisher: I O S PRESS, Pages: 9-16, ISSN: 1383-7575
- Author Web Link
- Cite
- Citations: 4
Harrison PG, Parry J, 1998, The Ethernet and its modelling, 12th European Simulation Multiconference (ESM 98), Publisher: SOC COMPUTER SIMULATION, Pages: 806-813
Harrison PG, Coury S, 1997, Asymptotic Properties of Queueing Networks, IEE Proceedings~E, Computers and Digital Techniques, Vol: 144, Pages: 249-254
Coury S, Harrison PG, 1997, Waiting time distribution in a class of discrete-time cyclic service multi-queue systems, PERFORMANCE EVALUATION, Vol: 29, Pages: 223-243, ISSN: 0166-5316
- Author Web Link
- Cite
- Citations: 1
Field AJ, Harrison PG, 1997, A Stochastic Model of Cache Coherency Overhead in SCI, IEE Proceedings on Computers and Digital Techniques, Vol: 144, Pages: 175-186
We present a new analytical performance model of the IEEE P1596 Standard Coherent Interface, which is a distributed cache coherency protocol for shared memory multiprocessors. We focus upon an implementation of the protocol on a unidirectional ring architecture (the default architecture for SCI systems). We identify the possible memory and cache line states and corresponding processor actions for a memory access and derive the equilibrium line state probabilities by solving a Markov model expressed as a set of fixed point equations. The probabilities of a processor performing a particular action then follow, from which the message transmission profile for each processor is derived. These traffic equations are then fed into an M/G/1 model for the ring architecture in which the ring traffic at a node has priority over traffic originating in that node. Further analysis then leads to the mean message transmission time, and hence the mean memory access time, and processor utilisation. We illustrate the application of the model by undertaking a performance comparison of two alternative node architectures and report some numerical results for various parameterisations.\r\n
Harrison PG, Duff GZ, 1997, Systematic Systolisation, Proceedings of 7th Int. Parallel Computing Workshop, PCW '97, Australia
Field AJ, Harrison PG, 1997, Stochastic Model of Cache Coherency Overhead in SCI, IEE Proceedings Transactions on Computers and Digital Techniques, Vol: 144
Harrison PG, Bhabuta M, 1997, Analysis and Modelling of ATM Traffic Traces, Proceedings of 5th Int. Conf. on Performance Modelling and Evaluation of ATM Networks, Ilkeley
Field T, Harrison P, 1996, Modelling and validation of shared memory coherency protocols, Performance Evaluation, Vol: 27, Pages: 541-563
Field T, Harrison P, 1996, Modelling and validation of shared memory coherency protocols, Performance Evaluation, Vol: 27, Pages: 541-563
Harrison PG, Pitel E, 1996, The M/G/1 queue with negative customers, ADVANCES IN APPLIED PROBABILITY, Vol: 28, Pages: 540-566, ISSN: 0001-8678
- Author Web Link
- Cite
- Citations: 64
Harrison P, Foxon T, Garth M, 1996, Capacity planning in clientûserver systems, Distributed Systems Engineering, Vol: 3, Pages: 32-38
The proliferation of client - server systems in business continues unabated, as applications are split into local tasks run on `client' workstations and resource-intensive computations run on a `server' mainframe. The complexity of such systems requires quantitative modelling for their efficient design and reconfiguration throughout their lifetime. The tools and techniques that are needed for the effective performance management of distributed client - server systems are discussed and illustrated by a case study taken from the financial sector.
Harrison PG, Chakka R, 1996, Approximating the Departure Process in MMPP/M/1/L, Proc. 4th International Workshop on Performance Modelling and Evaluation of ATM Networks, Bradford
Harrison PG, Grant-Duff Z, 1996, Parallelism via homomorphisms, Parallel Processing Letters
Kanani K, Field AJ, Harrison PG, 1996, Performance Modelling and Verification of Cache Coherency Protocols using Stochastic Process Algebra, 4th Workshop on Process Algebras and Performance Modelling
Bennett AJ, Field AJ, Harrison PG, 1996, Modelling and Validation of Shared Memory Coherency Protocols, Proceedings of PERFORMANCE '96, International Conference on Performance Theory, Measurement and Evaluation of Computer and Communication Systems, Lausanne, IFIP WG7.3
This data is extracted from the Web of Science and reproduced under a licence from Thomson Reuters. You may not copy or re-distribute this data in whole or in part without the written consent of the Science business of Thomson Reuters.