EPSRC logo

Details of Grant 

EPSRC Reference: GR/L74798/01
Title: DISTRIBUTED COMMIT PROTOCOLS: INTERACTIVE SIMULATION, VERIFICATION AND BEHAVIOURAL ANALYSIS
Principal Investigator: Thanish, Dr P
Other Investigators:
Gilmore, Professor S Pooley, Professor R
Researcher Co-Investigators:
Project Partners:
Department: Sch of Informatics
Organisation: University of Edinburgh
Scheme: Standard Research (Pre-FEC)
Starts: 01 September 1997 Ends: 31 August 2000 Value (£): 151,515
EPSRC Research Topic Classifications:
Networks & Distributed Systems
EPSRC Industrial Sector Classifications:
No relevance to Underpinning Sectors
Related Grants:
Panel History:  
Summary on Grant Application Form
In transaction processing, it is not uncommon for a 'typical' transaction to spend a thrid of its life in the commit phase, awaiting the completion of a commit protocol. These protocols ensure that the changes requested by the transaction can be made on all servers, despite processor and network failures that might occur as the protocol proceeds. As many companies move towards electronic commerce and mobile computing as their way of doing business, this proportion of time spent during the commit phase could rise dramatically. With existing protocols, an enterprise's database could even be blocked by a fault on another enterprise's database server. Using advanced techniques from interactive, discrete-event simulation and process algebra, we intend to build a simulation environment that will facilitate the behavioural analysis of distributed commit protocols under various assumptions about failure scenarios.
Key Findings
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Potential use in non-academic contexts
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Impacts
Description This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Summary
Date Materialised
Sectors submitted by the Researcher
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Project URL:  
Further Information:  
Organisation Website: http://www.ed.ac.uk