A NEW SOLUTION TO LAMPORT CONCURRENT PROGRAMMING PROBLEM USING SMALL SHARED VARIABLES

被引：26

作者：

PETERSON, GL

机构：

来源：

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 1983年 / 5卷 / 01期

关键词：

D O I：

10.1145/357195.357199

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：56 / 65

页数：10

共 13 条

[1] DATA REQUIREMENTS FOR IMPLEMENTATION OF N-PROCESS MUTUAL EXCLUSION USING A SINGLE SHARED VARIABLE [J].

BURNS, JE ;

JACKSON, P ;

LYNCH, NA ;

FISCHER, MJ ;

PETERSON, GL .

JOURNAL OF THE ACM, 1982, 29 (01) :183-205

[2]

BURNS JE, 1981, THESIS GEORGIA I TEC

[3] ADDITIONAL COMMENTS ON A PROBLEM IN CONCURRENT PROGRAMMING CONTROL [J].

DEBRUIJN, NG .

COMMUNICATIONS OF THE ACM, 1967, 10 (03) :137-&

[4] SOLUTION OF A PROBLEM IN CONCURRENT PROGRAMMING CONTROL [J].

DIJKSTRA, EW .

COMMUNICATIONS OF THE ACM, 1965, 8 (09) :569-&

[5] FURTHER COMMENTS ON DIJKSTRAS CONCURRENT PROGRAMMING CONTROL PROBLEM [J].

EISENBERG, MA ;

MCGUIRE, MR .

COMMUNICATIONS OF THE ACM, 1972, 15 (11) :999-+

[6]

KATSEFF HP, 1978, 10TH P ANN ACM S THE, P86

[7] ADDITIONAL COMMENTS ON A PROBLEM IN CONCURRENT PROGRAMMING CONTROL [J].

KNUTH, DE .

COMMUNICATIONS OF THE ACM, 1966, 9 (05) :321-&

[8] NEW SOLUTION OF DIJKSTRAS CONCURRENT PROGRAMMING PROBLEM [J].

LAMPORT, L .

COMMUNICATIONS OF THE ACM, 1974, 17 (08) :453-455

[9]

LAMPORT L, 1980, MUTUAL EXCLUSION PRO

[10]

PETERSON GL, 1977, 9TH P ACM S THEOR CO, P91

← 1 2 →