IMPLEMENTATION OF RESILIENT, ATOMIC DATA-TYPES

被引：40

作者：

WEIHL, W

LISKOV, B

机构：

来源：

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 1985年 / 7卷 / 02期

关键词：

D O I：

10.1145/3318.3319

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：244 / 269

页数：26

共 31 条

[1]

BERNSTEIN P, 1982, AUG ACM S PRINC DIST, P209

[2]

BERNSTEIN PA, 1981, 5TH P BERK WORKSH DI, P71

[3] A FORMAL MODEL OF ATOMICITY IN ASYNCHRONOUS SYSTEMS [J].

BEST, E ;

RANDELL, B .

[4]

DAHL O, 1970, PUBLICATION NORWEG S, V22

[5] DATA-PROCESSING SPHERES OF CONTROL [J].

DAVIES, CT .

[6]

DAVIES CT, 1973, 1973 P ACM NAT C ATL, P136

[7] CONCURRENT SEARCH AND INSERTION IN 2-3 TREES [J].

ELLIS, CS .

[8] NOTIONS OF CONSISTENCY AND PREDICATE LOCKS IN A DATABASE SYSTEM [J].

ESWARAN, KP ;

GRAY, JN ;

LORIE, RA ;

TRAIGER, IL .

[9]

GIFFORD DK, 1979, 7TH P S OP SYST PRIN, P150

[10]

Gray Jim, 1978, LECT NOTES COMPUTER, V60, P393