Capítulo 2 The art of multiprocessor programming

1. Explique a detalle por qué la propiedad de quietud tiene la propiedad de composición.
Primero mencionamos algunas definiciones:

* Method call: es el intervalo que inicia con una invocacióny termina con una respuesta. En hilos concurrentes pueden encimarse, mientras que con un solo hilo son siempre secuenciales.
= Invocación: q.enq(x)
Respuesta: q: void (regresa void)= Invocación: q.deq(4)
Respuesta: q:4 (regresa 4)

* Principio 3.3.1. Llamadas de método (method calls) deben parecer que ocurren en un orden secuencial uno a la vez. Por ejemplo, lasecuencia r.write(-4) > r.write(1) -> r.read(-4) es incorrecta, ya al leer esperaríamos el resultado -4 o 1, pero no una mezcla de los dos.

* Un objeto es quieto si no tiene llamadas a métodospendientes
Quieto:

No quieto:

* Principio 3.3.2 Llamadas de método separadas por periodos de quietud deben parecer hacer efecto en su orden de tiempo real.
Ej:
Aquí el thread A encolacon el objeto q a x, pero se traslapa con el thread B encolando a y con el mismo objeto. Después un thread C encola z con el mismo objeto. Las líneas rojas representan tiempo de quietud ya que es unintervalo de tiempo donde no hay hilos traslapados. Por la concurrencia, no podemos saber quién quedó en la cabeza de la cola, si x o y, pero sí podemos estar seguros de que z quedó después de ambosdebido al periodo de quietud.
P
Juntos los principios 3.3.1 y 3.3.2 definen la consistencia de quietud. Básicamente dice que en cuanto un objeto se vuelve quieto, entonces la ejecución hasta ese puntoes equivalente a alguna ejecución secuencial de las llamadas de métodos completadas.
Con nuestro ejemplo anterior, tenemos dos posibles ejecuciones secuenciales en cuanto tenemos el tiempo de quietudy el objeto q se vuelve quieto:
1) A encola x, B encola y, C encola z.
2) B encola y, A encola x, C encola z.

* La propiedad P es composicional si, cuando cada objeto en el sistema...