Mecanismos de sincronización - Historial de revisiones

Eleayogar en 16:29 2 abr 2020

2020-04-02T16:29:31Z

Antsilgor: /* Optimistas */

2019-04-07T20:21:04Z

‎Optimistas

Antsilgor: /* Optimistas */

2019-04-06T15:45:37Z

‎Optimistas

Antsilgor: /* Optimistas */

2019-04-06T15:44:35Z

‎Optimistas

Antsilgor: /* Optimistas */

2019-04-06T15:44:08Z

‎Optimistas

Juagommat: /* Pesimistas */

2017-11-25T01:26:08Z

‎Pesimistas

Juagommat: /* Pesimista */

2017-11-25T01:25:27Z

‎Pesimista

Juagommat: /* Optimistas */

2017-11-25T01:20:49Z

‎Optimistas

Enrloport: /* Implementación del control de concurrencia pesimista */

2016-12-04T09:40:09Z

‎Implementación del control de concurrencia pesimista

Alvmanrue: /* Pesimista */

2014-12-13T18:36:21Z

‎Pesimista

← Revisión anterior		Revisión del 16:29 2 abr 2020
Línea 104:		Línea 104:


−	6.3[[Cerrojos \| Cerrojos]]	+	5.3[[Cerrojos \| Cerrojos]]

@@ Línea 49: / Línea 49: @@
 * En situaciones de coincidencia, se tiene que volver a realizar la operación, por tanto, se desperdician recursos de procesamiento.
-En base al ejemplo anterior, hay que garantizar que la operación de comprobación y actualización es '''atómica'''. Se dice que una operación es '''atómica''' cuando es indivisible, es decir, que no quedamos en una situación intermedia al ejecutar dicha operación. Los procesadores incluyen una función llamada ''Test and Set'' (TAS) que nos permite ejecutar dos órdenes de manera '''atómica'''. Al ser una instrucción máquina el procesador nos garantiza que ningún proceso va a interrumpirla, evitando así la '''condición de carrera'''.
+En base al ejemplo anterior, hay que garantizar que la operación de comprobación y actualización es '''atómica'''. Se dice que una operación es '''atómica''' cuando es indivisible, es decir, que no quedamos en una situación intermedia al ejecutar dicha operación. Los procesadores incluyen una función llamada ''Test and Set'' (TAS) que nos permite ejecutar dos órdenes de manera '''atómica'''. Al ser una instrucción máquina el procesador nos garantiza que ningún proceso va a interrumpirla, evitando así la '''condición de carrera'''. Por ejemplo en x86 tenemos la instrucción ''LOCK BTS'' (Bit Test and Set) que nos permite añadir una cadena de bits para que se ejecute de manera '''atómica'''.
 Como ventaja, este tipo de mecanismo nos ofrece un mayor grado de paralelismo, por tanto, una mayor tasa de transferencia, siempre que se emplee en una situación donde la frecuencia de concurrencia sea baja.

@@ Línea 49: / Línea 49: @@
 * En situaciones de coincidencia, se tiene que volver a realizar la operación, por tanto, se desperdician recursos de procesamiento.
-En base al ejemplo anterior, hay que garantizar que la operación de comprobación y actualización es '''atómica'''. Se dice que una operación es '''atómica''' cuando es indivisible, es decir, que no quedamos en una situación intermedia al ejecutar dicha operación. Los procesadores incluyen una función llamada ''Test and Set'' (TAS) que nos permite ejecutar dos órdenes de manera atómica. Al ser una instrucción máquina el procesador nos garantiza que ningún proceso va a interrumpirla, evitando así la condición de carrera.
+En base al ejemplo anterior, hay que garantizar que la operación de comprobación y actualización es '''atómica'''. Se dice que una operación es '''atómica''' cuando es indivisible, es decir, que no quedamos en una situación intermedia al ejecutar dicha operación. Los procesadores incluyen una función llamada ''Test and Set'' (TAS) que nos permite ejecutar dos órdenes de manera '''atómica'''. Al ser una instrucción máquina el procesador nos garantiza que ningún proceso va a interrumpirla, evitando así la '''condición de carrera'''.
 Como ventaja, este tipo de mecanismo nos ofrece un mayor grado de paralelismo, por tanto, una mayor tasa de transferencia, siempre que se emplee en una situación donde la frecuencia de concurrencia sea baja.

@@ Línea 49: / Línea 49: @@
 * En situaciones de coincidencia, se tiene que volver a realizar la operación, por tanto, se desperdician recursos de procesamiento.
-En base al ejemplo anterior, hay que garantizar que la operación de comprobación y actualización es '''atómica'''. Se dice que una operación es '''atómica''' cuando es indivisible, es decir, que no quedamos en una situación intermedia al ejecutar dicha operación. Los procesadores incluyen una función llamada ''Test and Set''(TAS) que nos permite ejecutar dos órdenes de manera atómica. Al ser una instrucción máquina el procesador nos garantiza que ningún proceso va a interrumpirla, evitando así la condición de carrera.
+En base al ejemplo anterior, hay que garantizar que la operación de comprobación y actualización es '''atómica'''. Se dice que una operación es '''atómica''' cuando es indivisible, es decir, que no quedamos en una situación intermedia al ejecutar dicha operación. Los procesadores incluyen una función llamada ''Test and Set'' (TAS) que nos permite ejecutar dos órdenes de manera atómica. Al ser una instrucción máquina el procesador nos garantiza que ningún proceso va a interrumpirla, evitando así la condición de carrera.
 Como ventaja, este tipo de mecanismo nos ofrece un mayor grado de paralelismo, por tanto, una mayor tasa de transferencia, siempre que se emplee en una situación donde la frecuencia de concurrencia sea baja.

@@ Línea 49: / Línea 49: @@
 * En situaciones de coincidencia, se tiene que volver a realizar la operación, por tanto, se desperdician recursos de procesamiento.
-En base al ejemplo anterior, hay que garantizar que la operación de comprobación y actualización es '''atómica'''. Se dice que una operación es '''atómica''' cuando es indivisible, es decir, que no quedamos en una situación intermedia al ejecutar dicha operación.
+En base al ejemplo anterior, hay que garantizar que la operación de comprobación y actualización es '''atómica'''. Se dice que una operación es '''atómica''' cuando es indivisible, es decir, que no quedamos en una situación intermedia al ejecutar dicha operación. Los procesadores incluyen una función llamada ''Test and Set''(TAS) que nos permite ejecutar dos órdenes de manera atómica. Al ser una instrucción máquina el procesador nos garantiza que ningún proceso va a interrumpirla, evitando así la condición de carrera.
 Como ventaja, este tipo de mecanismo nos ofrece un mayor grado de paralelismo, por tanto, una mayor tasa de transferencia, siempre que se emplee en una situación donde la frecuencia de concurrencia sea baja.

@@ Línea 71: / Línea 71: @@
 * El protocolo de salida, en el que se vuelve a permitir el acceso al recurso compartido.
-El siguiente ejemplo muestra como se implementa el control de concurrencia pesimista para 2 hilos, h<sub>x</sub> y h<sub>y</sub>:
+El siguiente ejemplo muestra cómo se implementa el control de concurrencia pesimista para 2 hilos, h<sub>x</sub> y h<sub>y</sub>:
 <source lang="c">

@@ Línea 62: / Línea 62: @@
 * Paso 3. Compruebo si mi copia alterada coincide con el original aplicándole también el tratamiento.
-= Pesimista =
+= Pesimistas =
 Este mecanismo debe emplearse si se considera que la frecuencia de acceso al recurso compartido es alta.

@@ Línea 58: / Línea 58: @@
 Un mecanismo de sincronización optimista funciona de la siguiente manera:
-Paso 1. Realiza una copia del estado en el que está el recurso compartido.
+* Paso 1. Realiza una copia del estado en el que está el recurso compartido.
-Paso 2. Opera con esa copia.
+* Paso 2. Opera con esa copia.
-Paso 3. Compruebo si mi copia alterada coincide con el original aplicándole también el tratamiento.
+* Paso 3. Compruebo si mi copia alterada coincide con el original aplicándole también el tratamiento.
 = Pesimista =

← Revisión anterior		Revisión del 09:40 4 dic 2016
Línea 101:		Línea 101:
	while(variable==0);		while(variable==0);
	…		…
		+
		+
		+
		+	6.3[[Cerrojos \| Cerrojos]]

@@ Línea 80: / Línea 80: @@
 </source>
-Los protocolos de entrada y salida son, generalmente, operaciones costosas en términos de recursos de procesamiento pues requieren el uso de instrucciones atómicas cuyo tiempo de ejecución es alto.
+Los protocolos de entrada y salida son, generalmente, operaciones costosas en términos de recursos de procesamiento, pues requieren el uso de instrucciones atómicas cuyo tiempo de ejecución es alto.
 Por último, se podría emplear un control de concurrencia pesimista para resolver un problema que se resuelve con un control de concurrencia optimista, pero no al revés.