Discusión:Mecanismos de sincronización - Historial de revisiones

Ajaest en 18:52 10 may 2011

2011-05-10T18:52:10Z

Ajaest en 18:49 10 may 2011

2011-05-10T18:49:47Z

Ajaest en 18:03 10 may 2011

2011-05-10T18:03:18Z

Ajaest en 17:47 10 may 2011

2011-05-10T17:47:43Z

JDomingo: Respuesta 1

2011-05-03T18:14:31Z

Respuesta 1

JDomingo en 18:02 3 may 2011

2011-05-03T18:02:26Z

Fcoramlop: Duda sobre Optimistas

2011-05-02T22:05:22Z

Duda sobre Optimistas

Página nueva

- A mi enteder en el fragmento de codigo de :

int compartida = 1, tmp;
retry:
tmp = compartida; /* almaceno el valor de la variable compartida en una temporal. */
tmp++; /* actualizo la varible temporal. */
if (compartida+1 != tmp) /* compruebo si la variable compartida ha sido modificada */
goto retry; /* mientras operaba con la variable temporal. */

¿no deberia en vez de modificar la variable temporal , modificar la variable compartida?

Ya que como dice al principio los dos procesos tienen el mismo codigo entonces, en ambos la variable compartida no es modificada,
se modifica la variable temporal.

Ejemplo: El proceso A empieza a ejecutarse y se queda en la linea tmp ++ por que agota su ventana de tiempo, el proceso B empieza a ejecutar, y tmb se queda en estado preparado por que agota su ventana de tiempo en la instruccion tmp ++, en este caso ambos procesos han acedido al recurso comportido y la instruccion if la cumple.

¿Que os parece?

@@ Línea 47: / Línea 47: @@
 ----
-Esto no tieme ningún sentido:
+Lo del comentario anterior es cierto excepto lo siguiente, que  no tiene sentido:
 <source lang ="c">
 int compartida = 1, tmp;
@@ Línea 58: / Línea 58: @@
 //...
 /* Modificación de variable compartida, código concurrente */
-{                                //Limitamos la existencia de la variable temporal con las llaves
          retry:                   //GOTO y etiqueta fuera sin for, si lo viera algún talibán de C...
-         int tmp = compartida;    /* almaceno el valor de la variable compartida en una temporal. */
+         tmp = compartida;        /* almaceno el valor de la variable compartida en una temporal. */
          tmp++;                   /* actualizo la varible temporal. */
          if (compartida+1 != tmp) /* compruebo si la variable compartida ha sido modificada */

@@ Línea 51: / Línea 51: @@
 int compartida = 1, tmp;
 </source>
-¿Está asignando dos valores a la misma variable? Creo que tal y como está planteado el ejemplo debería ser como sigue:
+¿Está asignando dos valores a la misma variable?
 <source lang ="c">
 int compartida = 1;              //Inicialización, puesta de manera ilustrativa pero irrelevante su valor y cuando se hace

@@ Línea 51: / Línea 51: @@
 int compartida = 1, tmp;
 </source>
-¿Está asignando dos valores a la misma variable?
+¿Está asignando dos valores a la misma variable? Creo que tal y como está planteado el ejemplo debería ser como sigue:

← Revisión anterior		Revisión del 17:47 10 may 2011
Línea 47:		Línea 47:

	----		----
		+	Esto no tieme ningún sentido:
		+	<source lang ="c">
		+	int compartida = 1, tmp;
		+	</source>
		+	¿Está asignando dos valores a la misma variable?

← Revisión anterior		Revisión del 18:14 3 may 2011
Línea 16:		Línea 16:

	¿Que os parece?		¿Que os parece?
		+
		+
		+	----
		+
		+	Ese trozo de código es incompleto a mi parecer. ¿Lo que dices es esto?
		+	<source lang="c">
		+	int compartida = 1, tmp;
		+	retry:
		+	tmp = compartida; /* almaceno el valor de la variable compartida en una temporal. */
		+	'''compartida++'''; /* actualizo la varible */
		+	if (compartida != '''tmp + 1''') /* compruebo si la variable compartida ha sido modificada */
		+	goto retry; /* mientras operaba con la variable temporal. */
		+	</source>
		+
		+	No creo que actualizar la variable compartida antes de hacer ninguna comprobación sea correcto.
		+
		+	Pienso que seria mejor actualizar el valor de la variable una vez hecha la comprobación:
		+	<source lang="c">
		+	int compartida = 1, tmp;
		+	retry:
		+	tmp = compartida; /* almaceno el valor de la variable compartida en una temporal. */
		+	tmp++; /* actualizo la varible temporal. */
		+	if (compartida+1 != tmp) /* compruebo si la variable compartida ha sido modificada */
		+	goto retry; /* mientras operaba con la variable temporal. */
		+	'''else
		+	compartida = tmp;''' /* Actualizo el valor de la variable compartida. */
		+	</source>
		+
		+	Lo más probable es que la intención de ese trozo fuese mostrar la idea principal, por eso no aparece la modificación de la variable compartida. Pero tampoco estoy seguro de esto. ¿Alguna otra opinión?
		+
		+	----

@@ Línea 1: / Línea 1: @@
 - A mi enteder en el fragmento de codigo de :
+<source lang="c">
 int compartida = 1, tmp;
 retry:
@@ Línea 7: / Línea 7: @@
          if (compartida+1 != tmp) /* compruebo si la variable compartida ha sido modificada */
              goto retry;          /* mientras operaba con la variable temporal. */
+</source>
 ¿no deberia en vez de modificar la variable temporal , modificar la variable compartida?