Taula de continguts:
Definició: què vol dir Semàfor?
Un semàfor és un objecte de sincronització que controla l'accés de diversos processos a un recurs comú en un entorn de programació paral·lel. Els semàfors s’utilitzen àmpliament per controlar l’accés als fitxers i la memòria compartida. Es defineixen les tres funcionalitats bàsiques associades als semàfors, comproveu i espereu fins que esborri per configurar-lo de nou. |
Els semàfors s’utilitzen per solucionar problemes de sincronització de referència.
El concepte de semàfor va ser proposat per l’informàtic holandès Edsger Dijkstra.
Techopedia explica Semàfor
Els semàfors són valors integrals no negatius que admeten les operacions semàfor-> P () i semàfor-> V (). P és una operació atòmica que espera que un semàfor sigui positiu i després el decreixi per un, mentre que V és una operació atòmica que augmenta un semàfor per un, cosa que implica que desperta un P. P. en espera i el conjunt associat al semàfor són rutines. implementat en maquinari per coordinar seccions crítiques de baix nivell.
Els semàfors s’implementen normalment mitjançant descriptors de fitxers. Les creacions del semàfor no són atòmiques. Si dos processos intenten crear, inicialitzar i utilitzar un semàfor alhora, es crea una condició de raça. Els semàfors es creen i s’inicialitzen a un valor positiu per mostrar la disponibilitat d’un recurs a utilitzar. Els semàfors es poden implementar mitjançant interrupcions o mitjançant operacions de conjunt de proves.
Cada semàfor manté conjunts de permisos. Restringeix el nombre de fils que accedeixen als recursos. Els semàfors amb un sol permís i inicialitzats a un serveixen com a panys d’exclusió mútua. Es coneix com a tal perquè tenen només dos estats: permís disponible o permís zero disponible. Això tanca la propietat de manera que un fil no pot ser alliberat per un bloqueig que no sigui el propietari, ajudant en la recuperació del punt mort. Els semàfors s’utilitzen per a exclusions mútues on el semàfor té un valor inicial d’un, i P () i V () s’anomenen abans i després de les seccions crítiques.
