Cerrojos - Historial de revisiones

Eleayogar en 16:30 2 abr 2020

2020-04-02T16:30:10Z

2019-04-06T17:39:01Z

‎Cerrojos mediante instrucciones atómicas

2019-04-06T17:38:31Z

‎Cerrojos mediante instrucciones atómicas

2019-04-02T16:39:28Z

‎Ejemplo de implementación

2019-04-02T16:35:09Z

‎Ejemplo de implementación

2016-12-04T09:43:00Z

‎Cerrojos mediante instrucciones atómicas

2014-12-13T18:40:08Z

‎Ejemplo de implementación

2011-12-02T01:05:50Z

‎Ejemplo de implementación: Aclaración sobre la inicialización de cerrojo

2011-11-15T20:23:08Z

corrección de la explicación del ejemplo de implementación de cerrojo

2011-11-11T10:08:21Z

‎Ejemplo de implementación: cero ahora significa libre

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


−	6.4[[Ejercicio_de_concurrencia_de_procesos \| Ejercicio de concurrencia de procesos]]	+	5.4[[Ejercicio_de_concurrencia_de_procesos \| Ejercicio de concurrencia de procesos]]

−	6.5[[Semáforos \| Semáforos]]	+	5.5[[Semáforos \| Semáforos]]

@@ Línea 36: / Línea 36: @@
 </source>
-El método lock comprueba mediante __sync_locktest_and_set(&cerrojo,1) el valor del cerrojo: si es 0, cambia el valor del cerrojo a 1 y devuelve 0, por tanto, se sale del while y entra en sección crítica; si es 1, devuelve 1 y continúa comprobando el valor, por tanto, no entra en la '''sección crítica''' hasta que cambie el valor del cerrojo.
+El método lock comprueba mediante __sync_locktest_and_set(&cerrojo,1) el valor del cerrojo: si es 0, cambia el valor del cerrojo a 1 y devuelve 0, por tanto, se sale del while y entra en sección crítica; si es 1, devuelve 1 y continúa comprobando el valor, por tanto, no entra en la sección crítica hasta que cambie el valor del cerrojo.
 El método unlock, mediante _sync_lock_release(&cerrojo), cambia el valor del cerrojo a 0.

@@ Línea 36: / Línea 36: @@
 </source>
-El método lock comprueba mediante __sync_locktest_and_set(&cerrojo,1) el valor del cerrojo: si es 0, cambia el valor del cerrojo a 1 y devuelve 0, por tanto, se sale del while y entra en sección crítica; si es 1, devuelve 1 y continúa comprobando el valor, por tanto, no entra en situación crítica hasta que cambie el valor del cerrojo.
+El método lock comprueba mediante __sync_locktest_and_set(&cerrojo,1) el valor del cerrojo: si es 0, cambia el valor del cerrojo a 1 y devuelve 0, por tanto, se sale del while y entra en sección crítica; si es 1, devuelve 1 y continúa comprobando el valor, por tanto, no entra en la '''sección crítica''' hasta que cambie el valor del cerrojo.
 El método unlock, mediante _sync_lock_release(&cerrojo), cambia el valor del cerrojo a 0.

@@ Línea 8: / Línea 8: @@
                           Del while en adelante, ya es código perteneciente a los hilos en ejecución. */
-while(cerrojo == 0);  // Protocolo de
+while(cerrojo == 1);  // Protocolo de
 cerrojo = 1;          // entrada

@@ Línea 8: / Línea 8: @@
                           Del while en adelante, ya es código perteneciente a los hilos en ejecución. */
-while(cerrojo == 1);  // Protocolo de
+while(cerrojo == 0);  // Protocolo de
 cerrojo = 1;          // entrada

← Revisión anterior		Revisión del 09:43 4 dic 2016
Línea 42:		Línea 42:
	* http://gcc.gnu.org/onlinedocs/gcc-4.1.2/gcc/Atomic-Builtins.html		* http://gcc.gnu.org/onlinedocs/gcc-4.1.2/gcc/Atomic-Builtins.html
	* http://stackoverflow.com/questions/1383363/is-my-spin-lock-implementation-correct-and-optimal		* http://stackoverflow.com/questions/1383363/is-my-spin-lock-implementation-correct-and-optimal
		+
		+
		+
		+	6.4[[Ejercicio_de_concurrencia_de_procesos \| Ejercicio de concurrencia de procesos]]
		+
		+	6.5[[Semáforos \| Semáforos]]

@@ Línea 16: / Línea 16: @@
 </source>
-Sin embargo, esto es problemático: Supongamos que tenemos únicamente un proceso con dos hilos (Hx y Hy) y el planificador retire al hilo Hx justo antes de ejecutarse la instrucción ''cerrojo = 1;''. El hilo Hy ejecuta su código, entra en la sección crítica (Esto puede ocurrir ya que cerrojo sigue a 0) y el planificador le retira el uso del procesador dentro de ésta. A continuación, se le vuelve a asignar el procesador a Hx.
+Sin embargo, esto es problemático: Supongamos que tenemos únicamente un proceso con dos hilos (Hx y Hy) y el planificador retira el hilo Hx justo antes de ejecutarse la instrucción ''cerrojo = 1;''. El hilo Hy ejecuta su código, entra en la sección crítica (Esto puede ocurrir ya que cerrojo sigue a 0) y el planificador le retira el uso del procesador dentro de ésta. A continuación, se le vuelve a asignar el procesador a Hx.
 De esta forma, tenemos a dos hilos ejecutando código de la sección crítica. Para evitar este problema, debemos implementar los protocolos de entrada y salida de forma que se ejecuten en una sola instrucción, con lo cual o el planificador retira el uso del procesador antes de esta instrucción, o sino lo retira después de haberla ejecutado.

@@ Línea 5: / Línea 5: @@
 <source lang="c">
 int cerrojo = 0;      /* Inicializamos la variable cerrojo. Esto sería sólo válido para
-                          hilos, ya que los procesos no comparten espacio de memoria */
+                          hilos, ya que los procesos no comparten espacio de memoria. La variable se inicializa FUERA de los hilos.
 while(cerrojo == 1);  // Protocolo de