Cierre de exclusión mutua

En ciencias de la computación, los cierres de exclusión mutua, candados o mutex son un mecanismo de sincronización que limita el acceso a un recurso compartido por varios procesos o hilos en un ambiente de ejecución concurrente, permitiendo así la exclusión mutua.

Cuando un elemento es compartido por más de un hilo, pueden ocurrir condiciones de carrera si el mismo no es protegido adecuadamente. El mecanismo más simple para la protección es el cierre o cerrojo. En general cuando debe protegerse un conjunto de elementos, se le asocia un cerrojo. Cada proceso/hilo para tener acceso a un elemento del conjunto, deberá bloquear, con lo que se convierte en su dueño. Esa es la única forma de ganar acceso. Al terminar de usarlo, el dueño debe desbloquear, para permitir que otro proceso/hilo pueda tomarlo a su vez. Es posible que mientras un proceso/hilo esté accediendo a un recurso (siendo por lo tanto dueño del cerrojo), otro proceso/hilo intente acceder. Esta acción debe esperar hasta que el cerrojo se encuentre libre, para garantizar la exclusión mutua. El proceso/hilo solicitante queda entonces en espera o pasa a estado de bloqueo según el algoritmo implementado. Cuando el dueño del cerrojo lo desbloquea puede tomarlo alguno de los procesos/hilos que esperaban.

Este mecanismo se puede ver en un ejemplo de la vida real. Supongamos un baño público, donde solo puede entrar una persona a la vez. Una vez dentro, se emplea un cierre para evitar que entren otras personas. Si otra persona pretende usar el baño cuando está ocupado, deberá quedar esperando a que la persona que entró anteriormente termine. Si más personas llegaran, formarían una cola (del tipo FIFO) y esperarían su turno. En informática, el programador no debe asumir este tipo de comportamiento en la cola de espera.

El cerrojo, usado de esta manera, forma una sección crítica en cada proceso/hilo, desde que es tomado hasta que se libera. En el ejemplo del baño, dentro de la sección crítica se encuentran las funciones que se realizan generalmente dentro de este tipo de instalaciones sanitarias. Como garantizan la exclusión mutua, muchas veces se los denomina mutex (por mutual exclusion).

En general hay un número de restricciones sobre los cerrojos, aunque no son las mismas en todos los sistemas. Estas son:

  • Sólo el dueño de un cerrojo puede desbloquearlo
  • La readquisición de un cerrojo no está permitida

Algo muy importante es que todos los procesos/hilos deben utilizar el mismo protocolo para bloquear y desbloquear los cerrojos en el acceso a los recursos, ya que si mientras dos procesos/hilos utilizan el cerrojo de forma correcta, existe otro que simplemente accede a los datos protegidos, no se garantiza la exclusión mutua y pueden darse condiciones de carrera y errores en los resultados.

Primitivas y uso

Las funciones de los cerrojos en general son tres: init(), lock() y unlock(). El cerrojo se inicializa con la función init(). Luego cada proceso/hilo debe llamar a la función lock() antes de acceder a los datos protegidos por el cierre. Al finalizar su sección crítica, el dueño del cerrojo debe desbloquearlo mediante la función unlock().

Bloqueos en bases de datos

Los sistemas gestores de bases de datos suelen utilizar bloqueos para evitar problemas de concurrencia y, en ocasiones, garantizar la serializabilidad de las transacciones. Para hacerlo adecuadamente, los mecanismos de bloqueo suelen implementar protocolos como el bloqueo de dos fases y utilizar registros transaccionales (logs) como apoyo.


Read other articles:

Dewan Perwakilan Rakyat RIPeriode 2019–2024 2014–2019 ← → 2024–2029 Gedung DPR/MPR (2008) Periode: 1 Oktober 2019 – 30 September 2024 Ketua: {{{ketua}}} Wakil Ketua: {{{wakil_ketua}}} Jumlah Anggota: 575 orang Fraksi:   PDI-P (128)   Golkar (85)   Gerindra (78)   NasDem (59)   PKB (58)   Demokrat (54)   PKS (50)   PAN (44)   PPP (19) Dewan Perwakilan Rakyat Republik Indonesia periode 2019–2024 (disingkat DPR RI periode 2019...

 

Yogi BearTokoh The Yogi Bear ShowPenampilanperdanaYogi Bear's Big Break (1958)PenciptaWilliam HannaJoseph BarberaEd BenedictPemeranDaws Butler (1958 - 1988)Greg Burson (1988 - 1994)Jeff Bergman (komersial 1990an)Stephen Worth (Boo Boo Runs Wild, Boo Boo and the Man)Dan Aykroyd (film)InformasiSpesiesBeruangJenis kelaminLaki-lakiKerabatBoo-Boo Bear (sahabat)Ranger Smith (rival/teman)Cindy Bear (pacar) Poster Yogi Bear Yogi Bear adalah sebuah karakter kartun keluarga yang muncul pada sejumlah bu...

 

Artikel ini sebatang kara, artinya tidak ada artikel lain yang memiliki pranala balik ke halaman ini.Bantulah menambah pranala ke artikel ini dari artikel yang berhubungan atau coba peralatan pencari pranala.Tag ini diberikan pada Maret 2016. SMK PGRI 20 JakartaInformasiDidirikan31 Juli 1984JenisSwastaAkreditasiA (Sangat Baik)Kepala SekolahCicuk Pujo Haryanto, S.Pd.Jurusan atau peminatanTeknik Otomotif, Teknik ListrikRentang kelasX-XIIKurikulumKurikulum Tingkat Satuan Pendidikan dan Kuri...

Kerak samudera terbentuk di punggungan samudera, sedangkan litosfer disubduksi kembali ke astenosfer di palung. Palung Samudra adalah cekungan topografi dasar laut dengan lebar relatif sempit, namun dari ujung ke ujung sangat panjang. Objek Oseanografi ini merupakan bagian terdalam dari dasar laut. Palung samudera memiliki ciri morfologi khas dari batas lempeng konvergen, di mana lempeng litosfer bergerak ke arah satu sama lain dengan kecepatan yang bervariasi dari beberapa milimeter hingga l...

 

Penyuntingan Artikel oleh pengguna baru atau anonim untuk saat ini tidak diizinkan.Lihat kebijakan pelindungan dan log pelindungan untuk informasi selengkapnya. Jika Anda tidak dapat menyunting Artikel ini dan Anda ingin melakukannya, Anda dapat memohon permintaan penyuntingan, diskusikan perubahan yang ingin dilakukan di halaman pembicaraan, memohon untuk melepaskan pelindungan, masuk, atau buatlah sebuah akun. Untuk kegunaan lain, lihat BN.BN ChannelNama sebelumnyaBNTV (2019–2022)Jen...

 

United States historic placeWyoming Village Historic DistrictU.S. National Register of Historic PlacesU.S. Historic district Wood River InnShow map of Rhode IslandShow map of the United StatesLocationRoughly bounded by RI 138, RI 3, Old Nooseneck Hill Rd., Bridge and Prospect Sts., Richmond, Rhode IslandCoordinates41°30′57″N 71°42′12″W / 41.51583°N 71.70333°W / 41.51583; -71.70333Architectural styleGreek Revival, Late Victorian, FederalNRHP refer...

Australian virologist (1899–1985) Sir Macfarlane BurnetOM AK KBE FRS FAA FRSNZBornFrank Macfarlane Burnet(1899-09-03)3 September 1899Traralgon, Victoria, AustraliaDied31 August 1985(1985-08-31) (aged 85)Port Fairy, Victoria, AustraliaAlma materUniversity of MelbourneUniversity of LondonKnown forAcquired immune toleranceParentsFrank Burnet (father)Hadassah Burnet (née Mackay) (mother)AwardsRoyal Medal (1947)Albert Lasker Award (1952)James Cook Medal (1954)...

 

1981 studio album by Melba MooreWhat a Woman NeedsStudio album by Melba MooreReleasedOctober 12, 1981Length46:59LabelEMI AmericaProducer Ted Currier Kashif Gene McFadden John Whitehead Melba Moore chronology Closer(1980) What a Woman Needs(1981) The Other Side of the Rainbow(1982) What a Woman Needs is the eleventh studio album by American singer Melba Moore. It was released by EMI America Records on October 12, 1981. Her debut project with the label, it reached number 46 US Top R&...

 

Ini adalah nama Korea; marganya adalah Hwang. Hwang In-yeopInyeop untuk Marie Clarie pada April 2021LahirHwang In-yeop19 Januari 1991 (umur 33)Seoul, Korea SelatanNama lainHwang In-youpPekerjaanPemeranPeragawanTahun aktif2014–sekarangAgenKeyEastDikenal atasThe Tale of Nokdu 18 Again True Beauty Hwang In-youp, (Hangul: 황인엽; Hanja: 黃寅燁; juga dieja Hwang In-yeop;[a] lahir 19 Januari 1991) adalah seorang pemeran dan peragawan asal Korea S...

Questa voce o sezione sull'argomento Competizioni calcistiche non è ancora formattata secondo gli standard. Commento: La pagina è tutta da correggere secondo il nuovo modello di voce presente nella pagina Wikipedia:Modello di voce/Stagione di una divisione di un campionato di calcio. Inserire:*Squadre partecipanti*Le classifiche con legenda e colori per i campionati dilettantistici*Eventuali calendari come da modello. Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Seg...

 

Nehemia 12Kitab Ezra (Kitab Ezra-Nehemia) (memuat Kitab Ezra dan Nehemia) lengkap pada Kodeks Leningrad, dibuat tahun 1008.KitabKitab NehemiaKategoriNevi'imBagian Alkitab KristenPerjanjian LamaUrutan dalamKitab Kristen16← pasal 11 pasal 13 → Nehemia 12 (disingkat Neh 12) adalah bagian dari Kitab Nehemia dalam Alkitab Ibrani dan Perjanjian Lama di Alkitab Kristen. Memuat riwayat juru minuman raja Persia, Artahsasta, dan bupati di tanah Yehuda, Nehemia bin Hakhalya. Dalam Alkitab Ib...

 

American author For the Australian novelist and critic, see James Bradley (Australian writer). James Bradley (2003) James Bradley (born May 4, 1954) is an American author from Antigo, Wisconsin,[1] specializing in historical nonfiction chronicling the Pacific theatre of World War II. His father, John Bradley, was involved in the first raising of the American flag on Mount Suribachi during the Battle of Iwo Jima in 1945.[2] Biography This section is empty. You can help by addin...

The Holtermann CollectionMayne Street Gulgong, 1872, by American & Australasian Photographic Company.Housed atState Library of New South WalesSize (no. of items)3500+ photogrpahic negatives and albumen printsFunded byGovernment of New South WalesWebsitehttps://www.sl.nsw.gov.au/ The Holtermann Collection is the name given to a collection of over 3,500 glass-plate negatives and albumen prints, many of which depict life in New South Wales goldfield towns.[1] It also includes numero...

 

Postal system in the United Kingdom This article is about the UK postal system before 1970. For its subsequent history and current operation, see Royal Mail and Post Office Ltd. For other uses, see General Post Office (disambiguation). General Post OfficeRoyal Arms of HM GovernmentAgency overviewFormed31 July 1635 (1635-07-31) (public service)29 December 1660 (1660-12-29) (Post Office Act 1660)Dissolved1 October 1969 (1969-10-01)Superseding agencyP...

 

Pour les articles homonymes, voir Thacker. Charles P. ThackerCharles P. Thacker en 2008.BiographieNaissance 26 février 1943PasadenaDécès 12 juin 2017 (à 74 ans)Palo AltoNationalité américaineFormation Université de Californie à BerkeleyActivités Informaticien, inventeur, ingénieurAutres informationsA travaillé pour Palo Alto Research CenterDigital Equipment CorporationMembre de Académie américaine des arts et des sciencesAcadémie nationale d'ingénierie des États-UnisAsso...

Natural history museum in Washington, D.C. This article is about the museum in Washington, D.C. For the museum in New York City, see American Museum of Natural History. For national museums in other countries, see National Museum of Natural History (disambiguation). NMNH redirects here. For other uses, see NMNH (disambiguation). National Museum of Natural HistoryView of the main facade from Madison DriveEstablished1910; 114 years ago (1910)LocationNational Mall in Washington...

 

Disapproval towards the Israeli government Protesters in Dar es Salaam opposing the Gaza War in 2009 State of Israel Geography Land of Israel DistrictsCitiesTransportation Mediterranean SeaRed Sea Dead SeaSea of Galilee JerusalemTel AvivHaifa History Jewish history (timeline) ZionismAliyahTheodor Herzl Balfour DeclarationBritish Mandate UN Partition Plan for Palestine Independence Declaration Austerity Conflicts Arab–Israeli conflictIsraeli–Palestinian conflictIran–Israel proxy conflict...

 

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

This article includes a list of general references, but it lacks sufficient corresponding inline citations. Please help to improve this article by introducing more precise citations. (February 2012) (Learn how and when to remove this message) 1st Continental Light Dragoons1st Legionary CorpsActive1776–1783Allegiance Continental CongressTypeDragoonSize6 troopsPart ofContinental ArmyNickname(s)Bland's HorseColorsbrown coats with green facings, after 1781 blue coats with red facingsEngag...

 

2015 edition of the FIFA Women's World Cup 2015 FIFA Women's World CupCoupe du monde féminine de la FIFA 2015Tournament detailsHost countryCanadaDates6 June – 5 JulyTeams24 (from 6 confederations)Venue(s)6 (in 6 host cities)Final positionsChampions United States (3rd title)Runners-up JapanThird place EnglandFourth place GermanyTournament statisticsMatches played52Goals scored146 (2.81 per match)Attendance1,353,506 (26,029 per match)Top scorer(s)...