Concurrency Control Protocol for Broadcast-based Transaction Processing and Correctness Proof

Yan Huang, Yann Hang Lee

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Scopus citations

Abstract

Observing that it is impractical to use traditional methods to control concurrency for transaction processing in broadcast-based asymmetric communication environment, this paper introduces a concurrency control protocol designed for broadcast-based transaction processing called STUBcast (Server Timestamp and Update Broadcast Supported Concurrency). It then focuses on the correctness proof of STUBcast on supporting two new proposed correctness criteria, Single Serializability and Local Serializability, which are weaker than global serializability but are practical in broadcast environment.

Original languageEnglish (US)
Title of host publication14th International Conference on Parallel and Distributed Computing Systems 2001, PDCS 2001
EditorsEdwin Sha
PublisherInternational Society for Computers and Their Applications (ISCA)
Pages130-135
Number of pages6
ISBN (Electronic)9781618395740
StatePublished - 2001
Externally publishedYes
Event14th International Conference on Parallel and Distributed Computing Systems, PDCS 2001 - Richardson, United States
Duration: Aug 8 2001Aug 10 2001

Publication series

Name14th International Conference on Parallel and Distributed Computing Systems 2001, PDCS 2001

Conference

Conference14th International Conference on Parallel and Distributed Computing Systems, PDCS 2001
Country/TerritoryUnited States
CityRichardson
Period8/8/018/10/01

Keywords

  • asymmetric communication
  • concurrency control
  • data broadcast
  • transaction processing

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Hardware and Architecture
  • Software

Fingerprint

Dive into the research topics of 'Concurrency Control Protocol for Broadcast-based Transaction Processing and Correctness Proof'. Together they form a unique fingerprint.

Cite this