THE IMPACT OF RECOVERY ON CONCURRENCY-CONTROL

被引:6
作者
WEIHL, WE
机构
[1] MIT Laboratory for Computer Science, Cambridge MA 02139
基金
美国国家科学基金会;
关键词
D O I
10.1016/0022-0000(93)90023-P
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
It is widely recognized by practitioners that concurrency control and recovery for transaction systems interact in subtle ways. In most theoretical work, however, concurrency control and recovery are treated as separate, largely independent problems. In this paper we investigate the interactions between concurrency control and recovery. We consider two general recovery methods for abstract data types, update-in-place and deferred-update. While each requires operations to conflict if they do not “commute,” the two recovery methods require subtly different notions of commutativity. We give a precise characterization of the conflict relations that work with each recovery method and show that each permits conflict relations that the other does not. Thus, the two recovery methods place incomparable constraints on concurrency control. Our analysis applies to arbitrary abstract data types, including those with operations that may be partial or non-deterministic. © 1993 Academic Press, Inc.
引用
收藏
页码:157 / 184
页数:28
相关论文
共 32 条
[1]  
ALLCHIN J, 1983, THESIS GEORGIA I TEC
[2]  
ALLCHIN JE, GITICS8323 TECHN REP
[3]  
BEERI C, 1983, 2ND P ACM S PRINC DI, P45
[4]  
BERNHEIM A, 1983, CANCER GENET CYTOGEN, V9, P223
[5]  
BERNSTEIN PA, 1981, ACM COMPUT SURV, V13, P185
[6]   NOTIONS OF CONSISTENCY AND PREDICATE LOCKS IN A DATABASE SYSTEM [J].
ESWARAN, KP ;
GRAY, JN ;
LORIE, RA ;
TRAIGER, IL .
COMMUNICATIONS OF THE ACM, 1976, 19 (11) :624-633
[7]  
GRAY J, 1978, LECTURE NOTES COMPUT, V60
[8]   A THEORY OF RELIABILITY IN DATABASE-SYSTEMS [J].
HADZILACOS, V .
JOURNAL OF THE ACM, 1988, 35 (01) :121-145
[9]   LOCKING PRIMITIVES IN A DATABASE SYSTEM [J].
KORTH, HF .
JOURNAL OF THE ACM, 1983, 30 (01) :55-79
[10]   ON OPTIMISTIC METHODS FOR CONCURRENCY-CONTROL [J].
KUNG, HT ;
ROBINSON, JT .
ACM TRANSACTIONS ON DATABASE SYSTEMS, 1981, 6 (02) :213-226