Escrow Serializability and Reconciliation in Mobile Computing using Semantic Properties
Fritz L. Laux, Tim Lessner · 2009
Transaction processing is of growing importance for mo-bile computing. Booking tickets, flight reservation, banking, ePayment, and booking holiday arrangements are just a few examples for mobile transactions. Due to temporarily disconnected situations the synchronisation and consistent transaction processing are key issues. Serializability is a too strong criteria for correctness when the semantics of a transaction is known. We introduce a transaction model that allows higher concurrency for a certain class of transactions defined by its semantic. The transaction results are ”escrow serializable ” and the synchronisation mechanism is non-blocking. The model copes with many mobile scenarios and is able to improve existing synchronization approaches through an automatic replay approach, whereas transaction migration or transactional composition in mobile interac-tion is not considered. Rather we provide an optimistic transaction model residing at middleware layer. Experimen-tal implementation showed higher concurrency, transaction throughput, and less resources used than common locking or optimistic protocols. 1.