Toggle Main Menu Toggle Search

Open Access padlockePrints

Analysis of a transaction system with checkpointing, failures, and rollback

Lookup NU author(s): Emeritus Professor Isi Mitrani

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Abstract

We consider a system where transactions are processed by a single server subject to faults and recovery. A checkpoint is attempted after a fixed number of transactions have been completed, and takes some time to establish. The occurrence of a fault causes a rollback to the last checkpoint, after which all intervening transactions are reprocessed. The system is modelled by a two-dimensional Markov process with one unbounded variable (the number of transactions in the queue), and one bounded variable (the number of transactions processed since the last checkpoint). The joint steady-state distribution of the process, and hence the performance measures of interest, is found by two different methods: generating functions and spectral expansion. The problem of determining the optimal checkpointing parameter is considered.


Publication metadata

Author(s): Kumar L, Misra M, Mitrani I

Editor(s): Field, A.J., Harrison, P.G., Bradley, J., Harder, U.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Computer Performance Evaluation: 12th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation (TOOLS)

Year of Conference: 2002

Pages: 279-288

ISSN: 0302-9743 (print) 1611-3349 (online)

Publisher: Springer

URL: http://dx.doi.org/10.1007/3-540-46029-2_21

DOI: 10.1007/3-540-46029-2_21

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783540435396


Share