| EPSRC Reference: |
GR/L74798/01 |
| Title: |
DISTRIBUTED COMMIT PROTOCOLS: INTERACTIVE SIMULATION, VERIFICATION AND BEHAVIOURAL ANALYSIS |
| Principal Investigator: |
Thanish, Dr P |
| Other Investigators: |
|
| 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 |