라이브니스

동시성 컴퓨팅에서 라이브니스란, 시스템에서 동시에 실행되는 구성 요소("프로세스")가 임계 영역(여러 프로세스에 의해 동시에 실행될 수 없는 프로그램의 일부분)으로 "교대로 전환"해야 한다는 사실에도 불구하고 시스템이 진행되도록 하는 동시성 시스템 속성의 한 집합을 나타낸다.[1] 라이브니스 보장은 운영 체제와 분산 시스템에 있어 중요한 속성이다. [2]

라이브니스 속성은 실행 종료 이후 어떤 시점에 "좋은" 이벤트가 이론 상 일어날 수 있기 때문에 분산 시스템의 유한 실행 내에서 위반될 수 없다. 결과의 무결성은 라이브니스 프로퍼티의 한 예이다.[3] 모든 속성들은 안전성과 라이브니스 속성의 교차점으로 표현될 수 있다.[4]

라이브니스의 형태

여러 형태의 라이브니스가 인정된다. 다음 내용들은 일부 상호 배제 (mutex) 장치에 의해 보호되는, 임계 영역을 갖는 멀티프로세스 시스템의 용어로 정의된다. 모든 프로세스는 mutex를 올바르게 사용할 것으로 가정된다(과정은 임계 영역 실행 종료로 정의된다).

  • 약하긴 하지만, 교착 상태로부터 자유로운 것이 라이브니스의 한 형태이다. 어떤 상호 배제 장치에 의해 보호되는, 멀티 프로세스와 단일 임계 영역이 존재하는 시스템을 가정해보라. 프로세스 그룹이 특정 시점에 임계 영역에 대한 액세스를 위해 경쟁할 때, 일부 프로세스가 결국 이후 시점에 때에 맞춰 진행한다면, 그러한 시스템은 교착 상태로부터 자유롭다고 말할 수 있다. 해당 프로세스는 앞서 언급한 그룹에 속할 필요는 없다(그 프로세스는 이전 시점이든 또는 이후 시점이든 액세스를 얻었을 수도 있다).[5]
  • 기아 상태 (또는"유한 바이패스")로부터 자유로운 것은 교착 상태보다 더 강력한 라이브니스 보장이다. 임계 영역에 대한 액세스에 대해 경쟁하는 모든 프로세스가 결국 진행될 것임을 확실히 한다. 기아 상태로부터 자유로운 모든 시스템은 교착 상태로부터도 자유롭다.[5]
  • 바운드 바이패스에 대한 요구 사항은 여전히 더 강력한다. 즉, n 개의 프로세스가 임계 영역에 대한 액세스를 위해 결정하고 있을 경우, 각각의 프로세스는 어떤 함수 f에 대해 다른 프로세스에 비해 최대 f(n) 회까지 우회한 후 진행된다.[5]

관련 사항

  • 넌블로킹 알고리즘

참조 문헌

  1. ↑ Lamport, L. (1977). “Proving the Correctness of Multiprocess Programs”. 《IEEE Transactions on Software Engineering》 (2): 125–143. doi:10.1109/TSE.1977.229904. 
  2. ↑ Luís Rodrigues, Christian Cachin; Rachid Guerraoui (2010). 《Introduction to reliable and secure distributed programming》 2.판. Berlin: Springer Berlin. 22–24쪽. ISBN 978-3-642-15259-7. 
  3. ↑ Bailis, P.; Ghodsi, A. (2013). “Eventual Consistency Today: Limitations, Extensions, and Beyond”. 《Queue》 11 (3): 20. doi:10.1145/2460276.2462076. 
  4. ↑ Alpern, B.; Schneider, F. B. (1987). “Recognizing safety and liveness”. 《Distributed Computing》 2 (3): 117. doi:10.1007/BF01782772. 
  5. ↑ 가 나 다 Raynal, Michel (2012). 《Concurrent Programming: Algorithms, Principles, and Foundations》. Springer Science & Business Media. 10–11쪽. ISBN 3642320279. 
이 글은 컴퓨터 과학에 관한 토막글입니다. 여러분의 지식으로 알차게 문서를 완성해 갑시다.

Read other articles:

Alaudagasse (U-Bahn Wina)

AlaudagasseLokasiFavoritenWinaAustriaJalurOperasi layanan Stasiun sebelumnya   U-Bahn Wina   Stasiun berikutnya Neulaamenuju Oberlaa Jalur U1Altes Landgutmenuju Leopoldau Sunting kotak info • L • BBantuan penggunaan templat ini Alaudagasse adalah stasiun metro yang terletak di Jalur U1 pada U-Bahn Wina.[1] Stasiun ini terletak di distrik Favoriten dan dibuka secara resmi pada 2 September 2017. Referensi ^ Line U1 Leopoldau - Oberlaa. The Vienna Metro. Diakses t...

 

Daftar topik teori grup

Struktur aljabar → Teori grupTeori grup Gagasan dasar Subgrup Subgrup normal Grup hasil bagi darab langsung semi-darab langsung Homomorfisme grup kernel bayangan jumlah langsung karangan bunga sederhana hingga takhingga kontinu multiplikatif aditif siklik Abel dihedral nilpoten terselesaikan aksi Glosarium teori grup Daftar topik teori grup Grup hingga Klasifikasi grup sederhana hingga siklik bergantian tipe Lie sporadik Teorema Cauchy Teorema Lagrange Teorema Sylow Teorema Hall grup-p Grup...

 

Daftar perguruan tinggi swasta di Jambi

Berikut adalah Daftar perguruan tinggi swasta di Jambi, yang pembinaannya berada di bawah Kementerian Pendidikan dan Kebudayaan Republik Indonesia dan Perguruan Tinggi Swasta Keagamaan, yang pembinaannya berada di bawah Kementerian Agama. Daftar ini tidak termasuk Perguruan Tinggi Kedinasan yang pembinaannya berada dibawah masing-masing kementerian/lembaga. Universitas Batanghari Universitas Universitas Merangin Universitas Nurdin Hamzah Universitas Dinamika Bangsa (kampus Kota Baru) Universi...

Bündnerfleisch

Swiss air-dried meat BündnerfleischAlternative namesBindenfleisch, Grisons Meat, Viande des GrisonsPlace of originSwitzerlandRegion or stateGraubündenMain ingredientsDried meat (beef)Ingredients generally usedonion, herbs, white wine  Media: Bündnerfleisch Bündnerfleisch, also known as Bindenfleisch, Grisons Meat or Viande des Grisons, is an air-dried meat that is produced in the canton of Graubünden, Switzerland. Production The main ingredient is beef, taken from the anima...

 

Todd Smola

American politician This biography of a living person needs additional citations for verification. Please help by adding reliable sources. Contentious material about living persons that is unsourced or poorly sourced must be removed immediately from the article and its talk page, especially if potentially libelous.Find sources: Todd Smola – news · newspapers · books · scholar · JSTOR (September 2021) (Learn how and when to remove this template message)...

 

Pietro Ceccaroni

Pietro Ceccaroni Nazionalità  Italia Altezza 187 cm Peso 73 kg Calcio Ruolo Difensore Squadra  Palermo Carriera Giovanili  Spezia Squadre di club1 2013-2015 Spezia1 (0)2015-2016→  SPAL22 (0)2016-2018 Spezia29 (0)[1]2018-2019→  Padova16 (0)2019-2023 Venezia122 (7)[2]2023→  Lecce2 (0)2023- Palermo27 (2) Nazionale 2013-2014 Italia U-194 (0)2014-2016 Italia U-205 (0) 1 I due numeri indicano le presenze e le reti segnate, pe...

Galatama 1982–1983

Galatama IIIMusim1982-83Tanggal28 Agustus 1982 s/d 28 Mei 1983JuaraNiac MitraJumlah pertandingan420Jumlah gol481 (1,15 per pertandingan)Pencetak golterbanyak Dede Sulaiman (27 gol)(Indonesia Muda)← 1980-82 1983-84 → Galatama 1982–83 atau juga disebut Galatama III adalah musim ketiga Galatama. Pada musim ini, untuk pertama kalinya Galatama memberlakukan sistem promosi degradasi dengan pembagian divisi atau strata liga yaitu Divisi I dan Divisi II. Divisi I diisi oleh 15 tim yang ber...

 

Весна (картина Боттичелли)

У этого термина существуют и другие значения, см. Весна (значения). Сандро Боттичелли Весна. 1482 итал. La Primaveraангл. La Primavera[1] Доска, темпера. 203 × 314 см Галерея Уффици, Флоренция (инв. 8360)  Медиафайлы на Викискладе «Весна» (итал. Primavera) — картина Санд�...

 

Ayurveda

Alternative medicine with roots in India Dhanvantari, an avatar of Vishnu, is the Hindu god associated with ayurveda. This article is part of a series onAlternative medicine General information Alternative medicine History Terminology Alternative veterinary medicine Quackery (health fraud) Rise of modern medicine Pseudoscience Antiscience Skepticism Scientific Therapeutic nihilism Fringe medicine and science Acupressure Acupuncture Alkaline diet Anthroposophic medicine Apitherapy Applied kine...

Monarchy in Newfoundland and Labrador

Function of the Canadian monarchy in Newfoundland and Labrador King in Right of Newfoundland and LabradorProvincialCoat of arms of Newfoundland and LabradorIncumbentCharles IIIKing of Newfoundland and Labradorsince 8 September 2022 DetailsStyleHis MajestyFirst monarchGeorge VIFormation31 March 1949 By the arrangements of the Canadian federation, the Canadian monarchy operates in Newfoundland and Labrador as the core of the province's Westminster-style parliamentary democracy.[1] ...

 

约翰斯顿环礁

此條目可参照英語維基百科相應條目来扩充。 (2021年5月6日)若您熟悉来源语言和主题，请协助参考外语维基百科扩充条目。请勿直接提交机械翻译，也不要翻译不可靠、低品质内容。依版权协议，译文需在编辑摘要注明来源，或于讨论页顶部标记{{Translated page}}标签。 约翰斯顿环礁Kalama Atoll 美國本土外小島嶼 Johnston Atoll 旗幟颂歌：《星條旗》The Star-Spangled Banner約翰斯頓環礁�...

 

Новотитаровское сельское поселение

Сельское поселение России (МО 2-го уровня)Новотитаровское сельское поселение Флаг[d] Герб 45°14′09″ с. ш. 38°58′16″ в. д.HGЯO Страна  Россия Субъект РФ Краснодарский край Район Динской Включает 4 населённых пункта Адм. центр Новотитаровская Глава сельского пос�...

Nankai Broadcasting

Nankai BroadcastingNama dagangNankai Broadcasting Co., Ltd.Nama asli南海放送株式会社Nama latinNankaihōsō kabushikigaishaJenisKabushiki gaishaIndustriPenyiaran Televisi dan RadioDidirikan28 September 1953; 70 tahun lalu (1953-09-28)Kantorpusat1-1-1 Honmachi, Ehime, Prefektur Ehime, JepangTokohkunciKoji Onishi (Presiden dan Direktur Representatif)Situs webwww.rnb.co.jpCatatan kaki / referensiData didapatkan dari Profil Perusahannya Nankai Broadcasting Co., Ltd (南海放送�...

 

Claudia Gravy

Claudia Gravy nel 2018 Claudia Gravy, all'anagrafe Marie-Claude Perin (Boma, 12 maggio 1945), è un'attrice spagnola. Indice 1 Biografia 2 Filmografia parziale 2.1 Cinema 2.2 Televisione 3 Note 4 Bibliografia 5 Altri progetti 6 Collegamenti esterni Biografia Claudia Gray, nata nel Congo Belga, nel 1965 si trasferisce a Madrid e debutta al cinema con l'adattamento di Fernando Fernán Gómez dell'opera di Miguel Mihura, Ninette y un señor de Murcia. Nel decennio successivo è diventata un volt...

 

اتفاقية دايتون

  لاستعمالِ كلمةِ دايتون معنًى آخرَ في السياقِ الفلسطينيِّ، طالع كيث دايتون. اتفاقية دايتون للسلام اتفاقية الإطار العام للسلام في البوسنة والهرسك الجالسون من اليسار إلى اليمين: سلوبودان ميلوسيفيتش، علي عزت بيغوفيتش، فرانيو تودجمان وقعوا بالأحرف الأولى اتفاقيات سلا...

Gaddafi Stadium

Cricket ground in Lahore, Pakistan For the hockey stadium, see National Hockey Stadium, Lahore. Gaddafi StadiumPanorama of the stadium in 2015Ground informationLocationLahore, Punjab, PakistanCoordinates31°30′48″N 74°20′0″E / 31.51333°N 74.33333°E / 31.51333; 74.33333Establishment 27,000 62,645 (record attendance during the 1996 Cricket World Cup Final) OwnerPakistan Cricket BoardTenantsPakistan national cricket teamCentral Punjab cricket teamLahore Qalanda...

 

Bronx Community Board 4

Community District in New York, United StatesBronx Community District 4 Bronx Community Board 4Community DistrictLocation in The BronxCountry United StatesState New YorkCity New York CityBorough The BronxNeighborhoods list ConcourseHighbridgeMount Eden, Bronx Government • TypeCommunity board • BodyBronx Community Board 4 • ChairpersonKathleen Saunders • District ManagerPaul A. PhilipsArea • Total2.0 sq mi (5 ...

 

Axiom Space

Private American aerospace company Axiom Space, Inc.Company typePrivate incorporated companyIndustryAerospaceFounded2016; 8 years ago (2016)FounderMichael T. SuffrediniKam Ghaffarian[1]HeadquartersHouston, TexasUnited StatesKey peopleMichael T. Suffredini (CEO)Kam Ghaffarian (Executive Chairman)Rob Meyerson (Director)Amir Blachman (CBO)Brent W. Jett JrCharles BoldenChristian MaenderMatt OndlerMichael Lopez-AlegriaPeggy WhitsonKoichi WakataServicesHuman spaceflightIn-...

Thebes, Greece

City in Boeotia, Greece Thebans redirects here. For the inhabitants of the ancient Egyptian city, see Thebes, Egypt. Municipality in GreeceThebes ΘήβαMunicipalityView of Thebes.ThebesLocation within the region Coordinates: 38°19′15″N 23°19′04″E / 38.32083°N 23.31778°E / 38.32083; 23.31778CountryGreeceAdministrative regionCentral GreeceRegional unitBoeotiaArea • Municipality830.112 km2 (320.508 sq mi) • Municipal un...

 

Union communiste libertaire

Political party in France Union communiste libertaire LeaderCollective leadershipFounded10 June 2019IdeologyAnarcho-communismAnarcha-feminismAnti-racismSocial ecologyPolitical positionFar-leftInternational affiliationAnarkismo.netColoursRed, BlackWebsiteunioncommunistelibertaire.orgPolitics of FrancePolitical partiesElections The Union communiste libertaire (UCL, English: Libertarian Communist Union) is a French platformist federation, established in 2019 from the merging of Alternat...