Semáforos - Historial de revisiones

Eleayogar en 16:30 2 abr 2020

2020-04-02T16:30:50Z

Pneira en 09:01 2 abr 2018

2018-04-02T09:01:01Z

Juagommat: /* Granularidad */

2017-11-25T14:34:53Z

‎Granularidad

Juagommat: /* Semáforos */

2017-11-25T14:26:36Z

‎Semáforos

Enrloport: /* Granularidad */

2016-12-04T09:44:57Z

‎Granularidad

Davbotcab: He añadido los : faltantes en el if de up

2014-12-06T11:39:13Z

He añadido los : faltantes en el if de up

Pneira: Deshecha la edición 2588 de Rafgomgal1 (disc.) impreciso

2013-02-14T12:16:50Z

Deshecha la edición 2588 de Rafgomgal1 (disc.) impreciso

Pneira: Deshecha la edición 2589 de Rafgomgal1 (disc.) impreciso

2013-02-14T12:16:34Z

Deshecha la edición 2589 de Rafgomgal1 (disc.) impreciso

Dandelea en 15:00 19 ene 2013

2013-01-19T15:00:47Z

Pneira: Revertidos los cambios de Dandelea (disc.) a la última edición de Rafgomgal1

2013-01-18T18:07:58Z

Revertidos los cambios de Dandelea (disc.) a la última edición de Rafgomgal1

← Revisión anterior		Revisión del 16:30 2 abr 2020
Línea 92:		Línea 92:


−	6.6[[Monitores \| Monitores]]	+	5.6[[Monitores \| Monitores]]

@@ Línea 10: / Línea 10: @@
 * Un contador, que siempre vale >= 0.
-* Una lista de procesos(lista formada por el PCB de cada proceso), inicialmente vacía.
+* Una cola de procesos inicialmente vacía.
 Y disponen de dos operaciones básicas que pasamos a describir en pseudocódigo:
@@ Línea 18: / Línea 18: @@
+{
         si s.contador == 0:
-               añade proceso a s.lista
+               añade proceso a s.cola_procesos
                proceso a estado bloqueado
         sino:
@@ Línea 30: / Línea 30: @@
 up(semáforo s)
+{
-        si hay procesos en s.lista:
+        si hay procesos en s.cola_procesos:
-               retira proceso de s.lista
+               retira proceso de s.cola_procesos
                proceso a estado preparado
         sino:
@@ Línea 38: / Línea 38: @@
 </source>
-Nótese que una operación ''up'' sobre un semáforo en el que hay procesos en su lista resulta en que se retire uno de los procesos (el que más tiempo lleva en la lista), realizando éste la transición a estado preparado. Es un error frecuente pensar que una operación ''up'' resulte en que el proceso retirado de la lista pase a estado activo. Recuerde que las transiciones de estado activo a preparado y viceversa son siempre controladas por el planificador del sistema operativo.
+Nótese que una operación ''up'' sobre un semáforo en el que hay procesos en su cola resulta en que se retire uno de los procesos (el primero de la cola, es decir, el que lleva más tiempo en la cola), realizando éste la transición a estado preparado. Es un error frecuente pensar que una operación ''up'' resulte en que el proceso retirado de la cola pase a estado activo. Recuerde que las transiciones de estado activo a preparado y viceversa son siempre controladas por el planificador del sistema operativo.
 Además, se disponen de un constructor y un destructor que permiten la creación y la liberación de un semáforo.

@@ Línea 88: / Línea 88: @@
 === Granularidad ===
 Número de recursos controlados por cada semáforo. Hay de dos tipos:
-* Granularidad fina: Un recurso por semáforo. Hay un mayor grado de paralelismo, lo que puede mejorar la rapidez de ejecución de la protección. Aunque a mayor número de semáforos existe una mayor probabilidad de que se de un interbloqueo entre semáforos, que no sería una mejora de lo que intentamos evitar.
+* Granularidad fina: Un recurso por semáforo. Hay un mayor grado de paralelismo, lo que puede mejorar la rapidez de ejecución de la protección. Aunque a mayor número de semáforos existe una mayor probabilidad de que se dé un interbloqueo entre semáforos, que no sería una mejora de lo que intentamos evitar.
 * Granularidad gruesa: Un semáforo para todos los recursos. Caso totalmente inverso al anterior: Ahora al tener un semáforo no se produce interbloqueo entre ellos, aunque los tiempos de ejecución son excesivamente largos.
 .6[[Monitores | Monitores]]

@@ Línea 25: / Línea 25: @@
 </source>
-Nótese que siempre que queramos forzar una transición de un proceso a estado bloqueado, tenemos que hacer que dicho proceso realice una operación ''down'' sobre un semáforo cuyo contador vale cero.
+Nótese que siempre que queramos forzar una transición de un proceso ha estado bloqueado, tenemos que hacer que dicho proceso realice una operación ''down'' sobre un semáforo cuyo contador vale cero.
 <source lang="c">

← Revisión anterior		Revisión del 09:44 4 dic 2016
Línea 90:		Línea 90:
	* Granularidad fina: Un recurso por semáforo. Hay un mayor grado de paralelismo, lo que puede mejorar la rapidez de ejecución de la protección. Aunque a mayor número de semáforos existe una mayor probabilidad de que se de un interbloqueo entre semáforos, que no sería una mejora de lo que intentamos evitar.		* Granularidad fina: Un recurso por semáforo. Hay un mayor grado de paralelismo, lo que puede mejorar la rapidez de ejecución de la protección. Aunque a mayor número de semáforos existe una mayor probabilidad de que se de un interbloqueo entre semáforos, que no sería una mejora de lo que intentamos evitar.
	* Granularidad gruesa: Un semáforo para todos los recursos. Caso totalmente inverso al anterior: Ahora al tener un semáforo no se produce interbloqueo entre ellos, aunque los tiempos de ejecución son excesivamente largos.		* Granularidad gruesa: Un semáforo para todos los recursos. Caso totalmente inverso al anterior: Ahora al tener un semáforo no se produce interbloqueo entre ellos, aunque los tiempos de ejecución son excesivamente largos.
		+
		+
		+	6.6[[Monitores \| Monitores]]

← Revisión anterior		Revisión del 15:00 19 ene 2013
Línea 87:		Línea 87:

	Debido a estos inconvenientes, se desarrollaron los [[Monitores\|monitores]].		Debido a estos inconvenientes, se desarrollaron los [[Monitores\|monitores]].
		+
		+	=== Granularidad ===
		+	Número de recursos controlados por cada semáforo. Hay de dos tipos:
		+	* Granularidad fina: Un recurso por semáforo. Hay un mayor grado de paralelismo, lo que puede mejorar la rapidez de ejecución de la protección. Aunque a mayor número de semáforos existe una mayor probabilidad de que se de un interbloqueo entre semáforos, que no sería una mejora de lo que intentamos evitar.
		+	* Granularidad gruesa: Un semáforo para todos los recursos. Caso totalmente inverso al anterior: Ahora al tener un semáforo no se produce interbloqueo entre ellos, aunque los tiempos de ejecución son excesivamente largos.

@@ Línea 7: / Línea 7: @@
 Los semáforos son un mecanismo de sincronización de procesos inventados por [http://es.wikipedia.org/wiki/Edsger_Dijkstra Edsger Dijkstra] en 1965. Los semáforos permiten al programador '''asistir al planificador del sistema operativo en su toma de decisiones''' de manera que permiten sincronizar la ejecución de dos o más procesos. A diferencia de los [[cerrojos]], los semáforos nos ofrecen un mecanismo de espera no ocupada.
-Los semáforos son un tipo abstracto de datos que están compuestos por dos atributos:
+Los semáforos son un tipo de datos que están compuestos por dos atributos:
 * Un contador, que siempre vale >= 0.
@@ Línea 13: / Línea 13: @@
 Y disponen de dos operaciones básicas que pasamos a describir en pseudocódigo:
 <source lang="c">
@@ Línea 68: / Línea 65: @@
         a.up();
+}
 </source>
@@ Línea 92: / Línea 87: @@
 Debido a estos inconvenientes, se desarrollaron los [[Monitores|monitores]].