Locking and Deadlock Detection in Distributed Data Bases
This paper descrbes two protocols for the detection of deadlocks in distributed data bases-a hierarchically organized one and a distributed one. A graph model which depicts the state of execution of all transactions in the system is used by both protocols. A cycle in this graph is a necessary and su...
Saved in:
Published in | IEEE transactions on software engineering Vol. SE-5; no. 3; pp. 195 - 202 |
---|---|
Main Authors | , |
Format | Journal Article |
Language | English |
Published |
New York
IEEE
01.05.1979
IEEE Computer Society |
Subjects | |
Online Access | Get full text |
Cover
Loading…
Abstract | This paper descrbes two protocols for the detection of deadlocks in distributed data bases-a hierarchically organized one and a distributed one. A graph model which depicts the state of execution of all transactions in the system is used by both protocols. A cycle in this graph is a necessary and sufficient condition for a deadlock to exist. Nevertheless, neither protocol requires that the global graph be built and maintained in order for deadlocks to be detected. In the case of the hierarchical protocol, the communications cost can be optimized if the topology of the hierarachy is appropriately chosen. |
---|---|
AbstractList | Deadlocks can be treated by deadlock prevention, deadlock avoidance, or deadlock detection and resolution. The requirement of deadlock prevention that all the resources be acquired at once by a transaction cannot always be satiffied in a data base environment and deadlock avoidance is not practical in distributed data bases since the necessary advance information is either absent or is distributed enough to render inefficient any attempts to avoid deadlocks. Deadlock detection can be accomplished by searching for cycles in a "state graph", but in distributed data bases, it is not always efficient to maintain a global state graph for the entire system. Two methods that solve the problem of deadlock detection in distributed data bases are: 1. a hierarchy of lock controllers that is intended to achieve better performance than a centralized approach, and 2. a distributed protocol to support reliable operation in environments subject to failures. These protocols use a graph model to depict the current state of execution of all transactions in the system, but do not require that a global graph be built and maintained. This paper descrbes two protocols for the detection of deadlocks in distributed data bases-a hierarchically organized one and a distributed one. A graph model which depicts the state of execution of all transactions in the system is used by both protocols. A cycle in this graph is a necessary and sufficient condition for a deadlock to exist. Nevertheless, neither protocol requires that the global graph be built and maintained in order for deadlocks to be detected. In the case of the hierarchical protocol, the communications cost can be optimized if the topology of the hierarachy is appropriately chosen. |
Author | Muntz, R.R. Menasce, D.A. |
Author_xml | – sequence: 1 givenname: D.A. surname: Menasce fullname: Menasce, D.A. organization: Department of Computer Science, University of California – sequence: 2 givenname: R.R. surname: Muntz fullname: Muntz, R.R. |
BookMark | eNpdkDtPwzAURi1UJNrCzMASsTClvY7j1whteUiVGCiz5TgOckmdYicD_x5XQUJiuQ_pfFdXZ4YmvvMWoWsMC4xBLndvmwWWXC4KUmKBz9AUSyJzQguYoCmAFDmlQl6gWYx7AKCc0ykS2858Ov-RaV9na6vrNu1p6K3pXecz57O1i31w1dDbROheZw862niJzhvdRnv12-fo_XGzWz3n29enl9X9NjdElH3OpADNMGMCV7SWUqQiJDBuCANbk4oyVjW0MqKBhgoNvNAVYbikYDjHlszR3Xj3GLqvwcZeHVw0tm21t90QFS9JQYuS8ETe_iP33RB8ek5hSakEIXGCliNkQhdjsI06BnfQ4VthUCePKnlUJ49q9JgSN2PCWWv_aA4FS4J_AJsfbTg |
CODEN | IESEDJ |
CitedBy_id | crossref_primary_10_1109_TSE_1983_236608 crossref_primary_10_1016_j_jpdc_2012_12_011 crossref_primary_10_1109_TC_1980_1675511 crossref_primary_10_1145_319702_319717 crossref_primary_10_1109_71_770131 crossref_primary_10_1016_0196_6774_82_90020_7 crossref_primary_10_1109_32_83914 crossref_primary_10_1145_214451_214456 crossref_primary_10_1109_12_2173 crossref_primary_10_1016_S1474_6670_17_45199_8 crossref_primary_10_1109_12_53589 crossref_primary_10_1145_6041_6074 crossref_primary_10_1145_322186_322192 crossref_primary_10_1016_S1474_6670_17_49432_8 crossref_primary_10_1109_TSE_1982_235884 crossref_primary_10_1016_0026_2714_88_90398_8 crossref_primary_10_1109_C_M_1981_220334 crossref_primary_10_1145_6513_6516 crossref_primary_10_1002_j_1538_7305_1982_tb03435_x crossref_primary_10_1016_0304_3975_87_90084_3 crossref_primary_10_1016_S0140_3664_99_00007_9 crossref_primary_10_1016_0950_5849_91_90092_P crossref_primary_10_1109_71_298209 crossref_primary_10_1145_356842_356846 crossref_primary_10_1145_356842_356845 crossref_primary_10_1145_984488_984493 crossref_primary_10_1145_357360_357365 crossref_primary_10_1016_0306_4379_90_90028_N crossref_primary_10_1145_15833_15837 crossref_primary_10_1145_858344_858348 crossref_primary_10_1109_12_30874 crossref_primary_10_1007_BF01553899 crossref_primary_10_7763_LNSE_2015_V3_205 crossref_primary_10_1109_TC_1984_1676389 crossref_primary_10_1007_s11219_017_9379_1 crossref_primary_10_1109_70_105378 crossref_primary_10_1109_TSE_2003_1214325 crossref_primary_10_15407_pp2022_01_034 crossref_primary_10_1109_TSE_1980_230491 crossref_primary_10_1145_3358221 crossref_primary_10_1016_0278_6125_94_90028_0 crossref_primary_10_1145_850752_850753 crossref_primary_10_1002_dac_2638 crossref_primary_10_1016_0165_6074_93_90171_G crossref_primary_10_4304_jnw_9_8_2211_2217 crossref_primary_10_1109_69_824601 crossref_primary_10_1109_2_43525 crossref_primary_10_1109_TCOM_1987_1096699 crossref_primary_10_1007_s13369_016_2367_0 |
Cites_doi | 10.1145/363156.363160 10.1145/356586.356588 10.1109/SWAT.1970.20 |
ContentType | Journal Article |
Copyright | Copyright Institute of Electrical and Electronics Engineers, Inc. (IEEE) May 1979 |
Copyright_xml | – notice: Copyright Institute of Electrical and Electronics Engineers, Inc. (IEEE) May 1979 |
DBID | AAYXX CITATION 3V. 7WY 7WZ 7X7 7XB 87Z 88E 88F 88I 88K 8AL 8FE 8FG 8FI 8FJ 8FK 8FL 8G5 ABJCF ABUWG AFKRA ARAPS AZQEC BENPR BEZIV BGLVJ CCPQU DWQXO FRNLG FYUFA F~G GHDGH GNUQQ GUQSH HCIFZ JQ2 K60 K6~ K7- K9. L.- L6V M0C M0N M0S M1P M1Q M2O M2P M2T M7S MBDVC P5Z P62 PQBIZ PQBZA PQEST PQQKQ PQUKI PRINS PTHSS Q9U 7SC 7SP 8FD F28 FR3 L7M L~C L~D |
DOI | 10.1109/TSE.1979.234181 |
DatabaseName | CrossRef ProQuest Central (Corporate) ABI商业信息数据库 ABI/INFORM Global (PDF only) Health & Medical Complete (ProQuest Database) ProQuest Central (purchase pre-March 2016) ABI/INFORM Collection Medical Database (Alumni Edition) Military Database (Alumni Edition) Science Database (Alumni Edition) Telecommunications (Alumni Edition) Computing Database (Alumni Edition) ProQuest SciTech Collection ProQuest Technology Collection Hospital Premium Collection Hospital Premium Collection (Alumni Edition) ProQuest Central (Alumni) (purchase pre-March 2016) ABI/INFORM Collection (Alumni Edition) Research Library (Alumni Edition) Materials Science & Engineering Database (Proquest) ProQuest Central (Alumni) ProQuest Central Advanced Technologies & Aerospace Collection ProQuest Central Essentials ProQuest Central ProQuest Business Premium Collection Technology Collection ProQuest One Community College ProQuest Central Korea Business Premium Collection (Alumni) Health Research Premium Collection ABI/INFORM Global (Corporate) Health Research Premium Collection (Alumni) ProQuest Central Student Research Library Prep SciTech Premium Collection ProQuest Computer Science Collection ProQuest Business Collection (Alumni Edition) ProQuest Business Collection Computer Science Database ProQuest Health & Medical Complete (Alumni) ABI/INFORM Professional Advanced ProQuest Engineering Collection ABI/INFORM Global Computing Database Health & Medical Collection (Alumni Edition) PML(ProQuest Medical Library) Military Database (Proquest) Research Library Science Database (ProQuest) Telecommunications Database Engineering Database Research Library (Corporate) Advanced Technologies & Aerospace Database ProQuest Advanced Technologies & Aerospace Collection One Business ProQuest One Business (Alumni) ProQuest One Academic Eastern Edition (DO NOT USE) ProQuest One Academic ProQuest One Academic UKI Edition ProQuest Central China Engineering Collection ProQuest Central Basic Computer and Information Systems Abstracts Electronics & Communications Abstracts Technology Research Database ANTE: Abstracts in New Technology & Engineering Engineering Research Database Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional |
DatabaseTitle | CrossRef ProQuest Business Collection (Alumni Edition) Research Library Prep Computer Science Database ProQuest Central Student ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Essentials ProQuest Computer Science Collection SciTech Premium Collection ProQuest Military Collection ProQuest Central China ABI/INFORM Complete ProQuest Telecommunications Health Research Premium Collection ProQuest Medical Library (Alumni) Engineering Collection Advanced Technologies & Aerospace Collection Business Premium Collection ABI/INFORM Global Engineering Database ProQuest Science Journals (Alumni Edition) ProQuest One Academic Eastern Edition ProQuest Hospital Collection ProQuest Technology Collection Health Research Premium Collection (Alumni) ProQuest Telecommunications (Alumni Edition) ProQuest Business Collection ProQuest Hospital Collection (Alumni) ProQuest Health & Medical Complete ProQuest One Academic UKI Edition ProQuest One Academic ABI/INFORM Global (Corporate) ProQuest One Business Technology Collection ProQuest Health & Medical Complete (Alumni) ProQuest Central (Alumni Edition) ProQuest One Community College Research Library (Alumni Edition) ProQuest Central ABI/INFORM Professional Advanced ProQuest Engineering Collection Health and Medicine Complete (Alumni Edition) ProQuest Central Korea ProQuest Research Library ABI/INFORM Complete (Alumni Edition) ProQuest Computing ABI/INFORM Global (Alumni Edition) ProQuest Central Basic ProQuest Science Journals ProQuest Computing (Alumni Edition) ProQuest Military Collection (Alumni Edition) ProQuest SciTech Collection Advanced Technologies & Aerospace Database ProQuest Medical Library Materials Science & Engineering Collection ProQuest One Business (Alumni) ProQuest Central (Alumni) Business Premium Collection (Alumni) Technology Research Database Computer and Information Systems Abstracts – Academic Electronics & Communications Abstracts Computer and Information Systems Abstracts Engineering Research Database Advanced Technologies Database with Aerospace ANTE: Abstracts in New Technology & Engineering Computer and Information Systems Abstracts Professional |
DatabaseTitleList | Technology Research Database ProQuest Business Collection (Alumni Edition) |
Database_xml | – sequence: 1 dbid: 8FG name: ProQuest Technology Collection url: https://search.proquest.com/technologycollection1 sourceTypes: Aggregation Database |
DeliveryMethod | fulltext_linktorsrc |
Discipline | Computer Science |
EISSN | 1939-3520 |
EndPage | 202 |
ExternalDocumentID | 1143678 10_1109_TSE_1979_234181 1702619 |
Genre | orig-research |
GroupedDBID | --Z -DZ -~X .4S .DC 0R~ 29I 3EH 3V. 4.4 5GY 5VS 6IK 7WY 7X7 85S 88E 88I 8FE 8FG 8FI 8FJ 8FL 8G5 8R4 8R5 97E 9M8 AAJGR AASAJ AAYOK ABFSI ABJCF ABPPZ ABQJQ ABUWG ABVLG ACGFO ACGOD ACIWK ACNCT ADBBV AENEX AETIX AFKRA AI. AIBXA AKJIK ALIPV ALLEH ALMA_UNASSIGNED_HOLDINGS ARAPS ARCSS ASUFR ATWAV AZQEC BEFXN BENPR BEZIV BFFAM BGLVJ BGNUA BKEBE BKOMP BPEOZ BPHCQ BVXVI CCPQU CS3 DU5 DWQXO E.L EBS EDO EJD F20 FRNLG FYUFA GNUQQ GROUPED_ABI_INFORM_COMPLETE GROUPED_ABI_INFORM_RESEARCH GUQSH HCIFZ HMCUK HZ~ H~9 I-F IBMZZ ICLAB IEDLZ IFIPE IFJZH IPLJI ITG ITH JAVBF K60 K6V K6~ K7- L6V LAI M0C M0N M1P M1Q M2O M2P M43 M7S MS~ O9- OCL OHT P2P P62 PQBIZ PQBZA PQQKQ PROAC PSQYO PTHSS Q2X RIA RIC RIE RIG RNI RNS RXW RZB S10 TAE TN5 TWZ UHB UKHRP UPT UQL VH1 WH7 XFK XOL YYP YZZ ZCG AAYXX CITATION 7XB 88K 8AL 8FK JQ2 K9. L.- M2T MBDVC PQEST PQUKI PRINS Q9U 7SC 7SP 8FD F28 FR3 L7M L~C L~D |
ID | FETCH-LOGICAL-c384t-6980a616681b5d9985d989067c360ed3b566bf5bc8f0f58a072ab361450c771e3 |
IEDL.DBID | RIE |
ISSN | 0098-5589 |
IngestDate | Fri Aug 16 09:32:14 EDT 2024 Thu Oct 10 19:55:53 EDT 2024 Fri Aug 23 04:09:25 EDT 2024 Wed Jun 26 19:28:53 EDT 2024 |
IsPeerReviewed | true |
IsScholarly | true |
Issue | 3 |
Language | English |
LinkModel | DirectLink |
MergedId | FETCHMERGED-LOGICAL-c384t-6980a616681b5d9985d989067c360ed3b566bf5bc8f0f58a072ab361450c771e3 |
Notes | ObjectType-Article-2 SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 23 |
PQID | 195590891 |
PQPubID | 21418 |
PageCount | 8 |
ParticipantIDs | proquest_miscellaneous_743252437 crossref_primary_10_1109_TSE_1979_234181 ieee_primary_1702619 proquest_journals_195590891 |
PublicationCentury | 1900 |
PublicationDate | 19790501 |
PublicationDateYYYYMMDD | 1979-05-01 |
PublicationDate_xml | – month: 05 year: 1979 text: 19790501 day: 01 |
PublicationDecade | 1970 |
PublicationPlace | New York |
PublicationPlace_xml | – name: New York |
PublicationTitle | IEEE transactions on software engineering |
PublicationTitleAbbrev | TSE |
PublicationYear | 1979 |
Publisher | IEEE IEEE Computer Society |
Publisher_xml | – name: IEEE – name: IEEE Computer Society |
References | gray (ref5) 1978 shoshani (ref2) 1970 ref1 ref3 eswaran (ref6) 1976; 19 king (ref4) 1973 |
References_xml | – year: 1973 ident: ref4 article-title: database sharingan efficient mechanism for supporting concurrent processes publication-title: Proc AFIPS Conf National Computing contributor: fullname: king – ident: ref1 doi: 10.1145/363156.363160 – ident: ref3 doi: 10.1145/356586.356588 – start-page: 394 year: 1978 ident: ref5 publication-title: Operating Systems An Advanced Course contributor: fullname: gray – start-page: 225 year: 1970 ident: ref2 article-title: sequencing tasks in multiprocess, multiple resource systems to avoid deadlocks publication-title: Proc Annu Symp Switching Automata Theory doi: 10.1109/SWAT.1970.20 contributor: fullname: shoshani – volume: 19 year: 1976 ident: ref6 article-title: the motions of consistency and predicate locks in a database system publication-title: Commun Ass Comput Mach contributor: fullname: eswaran |
SSID | ssj0005775 |
Score | 1.4035019 |
Snippet | This paper descrbes two protocols for the detection of deadlocks in distributed data bases-a hierarchically organized one and a distributed one. A graph model... Deadlocks can be treated by deadlock prevention, deadlock avoidance, or deadlock detection and resolution. The requirement of deadlock prevention that all the... |
SourceID | proquest crossref ieee |
SourceType | Aggregation Database Publisher |
StartPage | 195 |
SubjectTerms | Computer science Concurrent computing Cost function Data bases Data processing deadlock detection distributed data bases Distributed processing Graph theory Graphs Multiprocessing systems Protocol Protocols Scale models Software engineering Sufficient conditions System recovery Theory Tin Topology |
SummonAdditionalLinks | – databaseName: ProQuest Technology Collection dbid: 8FG link: http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwfV3PS8MwFA46L178NcU6lRw8eMmWtE2TnETd5hD14ga7lbRpQIRu2u7_9yVrN0TwUgoNpbyk7_te8_p9CN1AGSs18AISxVySWIeGSJtbIpm2OlZxxr2LwutbMpnFz3M-b3pzqqatss2JPlGbRe6-kQ-Yk0qjUrG75RdxplFuc7Vx0NhFe8wJ4bkfxcdP2w4PIXgrmcm5VI2yD6NqMH0f9ZkSqh9CFpfsFyh5l5U_qdnjzfgIHTREEd-vZ_YY7RTlCTpsTRhw8052kXyBjAb4g3Vp8BBmDNDpE05q32NV4o8SD504rvO1KmCErjV-AOiqTtFsPJo-Tkhjh0DySMY1SZSkOmFJAkyTGyiT4CAVoE0eJbQwUQbMLLM8y6WllktNRaizCOCX01wIVkRnqFMuyuIcYZvI0CvLUA2MIjaZYEZlOpRGR8ZqFaDbNh7pcq16kfpqgaoUQpe60KXr0AWo6-K1HSZ8VRegXhu_tHkrqnQzhwHCm6uwnN0ehS6LxapKgdCE3IkkXvx7gx7ad8-w7jy8RJ36e1VcATuos2u_Bn4Ap1m0LQ priority: 102 providerName: ProQuest |
Title | Locking and Deadlock Detection in Distributed Data Bases |
URI | https://ieeexplore.ieee.org/document/1702619 https://www.proquest.com/docview/195590891 https://search.proquest.com/docview/743252437 |
Volume | SE-5 |
hasFullText | 1 |
inHoldings | 1 |
isFullTextHit | |
isPrint | |
link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV1LT8QgEJ64evHi27g-Nhw8eLCVPihw9LGrMWqMj2RvDRSamE26xu1e_PUOtNX4OHghJIWWzADfTBm-AThEN1YotAuCJGUiSFVsAlEWZSAiVapUppr5LAq3d9nVc3o9ZuMFOP68C2Ot9cFnNnRVf5ZvpsXc_So7ibj3GHrQEzRu7mp9hXNwzjp-TMaEbGl8IipPnh6HYSS5DGPcskX0DYF8SpVf-7AHl9Eq3HbDamJKJuG81mHx_oOx8b_jXoOV1sokp820WIcFW23AapfBgbQLehPEDW6HCF5EVYZcoLoR2iZYqX2AVkVeKnLhmHVdUiyLLVStyBni3mwLnkfDp_OroM2lEBSJSOsgk4KqLMoyNFOZQR8LCyERqooko9YkGs06XTJdiJKWTCjKY6UTxG5GC84jm2zDYjWt7A6QMhOxp6WhCs2R1GgeGalVLIxKTKlkH446-eavDWVG7l0NKnNURe5UkTeq6MOmk9ZXs0ZQfdjr9JG3S2qG3ZjLzy6xE_l8imvBHXCoyk7nsxytoZg5hsXdv9-7B8vu40284j4s1m9ze4A2Ra0H0ONjjqUYXQ5g6Wx4d_8w8BPsA6veyc4 |
link.rule.ids | 315,786,790,802,12083,12792,21416,27955,27956,31752,31753,33406,33407,33777,33778,43343,43633,43838,55107 |
linkProvider | IEEE |
linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwfV3PS8MwFH7oPOjF32L9mYMHL3VJ27TJSdRNpm5DdIPdQtq0IEI3Xf3_felShwheSqGhlJfkfd9rHt8HcIFlrNDIC_ww4sKPdGB8UWSFL5gudCSjlNcuCoNh3BtHjxM-cb05c9dW2eTEOlGbaWb_kbeZlUqjQrLr2YdvTaPs4apz0FiFNau4KVqwdtsdPr8sezyShDeimZwL6bR9GJXt0Wv3islEXgWYxwX7BUu1z8qf5Fwjzv02bDqqSG4Wc7sDK3m5C1uNDQNxu3IPRB9zGiIQ0aUhHZwzxKd3vKnqLquSvJWkY-VxrbNVjiN0pcktgtd8H8b33dFdz3eGCH4WiqjyYymojlkcI9fkBgslvAiJeJOFMc1NmCI3SwueZqKgBReaJoFOQwRgTrMkYXl4AK1yWuaHQIpYBLW2DNXIKSKTJszIVAfC6NAUWnpw2cRDzRa6F6quF6hUGDplQ6cWofNgz8ZrOSyp6zoPjpv4Kbcv5upnFj0gP09xQdtTCl3m06-5QkoTcCuTePTvC85hvTca9FX_Yfh0DBv2exZ9iCfQqj6_8lPkClV65lbEN3PXuIQ |
openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Locking+and+Deadlock+Detection+in+Distributed+Data+Bases&rft.jtitle=IEEE+transactions+on+software+engineering&rft.au=Menasce%2C+D.A.&rft.au=Muntz%2C+R.R.&rft.date=1979-05-01&rft.pub=IEEE&rft.issn=0098-5589&rft.volume=SE-5&rft.issue=3&rft.spage=195&rft.epage=202&rft_id=info:doi/10.1109%2FTSE.1979.234181&rft.externalDocID=1702619 |
thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0098-5589&client=summon |
thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0098-5589&client=summon |
thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0098-5589&client=summon |