Edición de «Práctica Programación Concurrente (Sistemas Operativos)»

==Ejercicio 01:==

{| class="wikitable" style="text-align:center"
|
{| border="1"
!/!!Instrucciones!!Conj. Lectura!!Conj. Escritura
|-
! S1
|a = b+c||R(S1) = {b,c}||W(S1) = {a}
|-
! S2
|d = b+e||R(S2) = {b,e}||W(S2) = {d}
|-
! S3
|f = c+e||R(S3) = {c,e}||W(S3) = {f}
|-
! S4
|g = fun1[a,d,f]||R(S4) = {a,d,f}||W(S4) = {g}
|-
! S5
|f = sen[w]||R(S5) = {w}||W(S5) = {f}
|-
|}
|}

<br>Condiciones de Bernstein: R(Si) n W(Sj) = W(Si) n R(Sj) = W(Si) n W(Sj) = {} 
<br>Se pueden ejecutar concurrentemente S1 y S2, S1 y S3, S1 y S5, S2 y S5

==Ejercicio 02:[*]==
a)
<pre>
	Count5 = Count6 = 2

	s1 
	fork L3 
	fork L4 
	s2 
	jump Join5 

	L3:
	s3
	jump Join5 

	Join5:
	join Count5
	s5
	jump Join6

	L4:
	s4
	jump Join6

	Join6:
	join Count6
</pre>
b)
<pre>
	s1 
	parbegin 
		begin 
			parbegin 
				s2 
				s3 
			parend 
			s5 
		end 
		s4 
	parend 
	s6 

</pre>

==Ejercicio 03:[*]==
<br>La instruccion Join es indivisible porque debe ser atomica. Es decir, no puede ser interrumpida a la mitad. Esto es necesario ya que join mantiene una cuenta de cuantos procesos esta esperando, y si no fuera atomica, podria funcionar mal, y por ejemplo "matar" a todos los dos o mas procesos que tenian que unirse ahi. 
<br>

==Ejercicio 04:[*]==
<br>a) Me parece que es el tipo de grafos que no pueden ser representados con parbegin/parend. PREGUNTAR
<br>b) PREGUNTAR ESTO TB 
<br>
==Ejercicio 05:==
<br>a) Agarramos el grafo de antes, sacamos la flecha de S5 a S6 y ponemos una flecha de S5 a S7, de S6 a S7 y de S4 a S7...
<br>b)
<br>c)
<pre>
	Count5 = Count7 = 2

	s1
	fork L3
	fork L4
	s2
	jump Join5

	L3:
	s3
	jump Join5

	L4:
	s4
	s6
	jump Join7

	Join5:
	join Count5
	jump Join7

	Join7:
	join Count7
</pre>

==Ejercicio 06:==
a) Si no lo hice mal, es una cosa mas o menos asi:
<pre>
	S1
    ____________
   /     |      \
S2       S3     S7
  \    /       /  \
    S4       S8   S9
  /    \     |     |
S5     S6   S10    |
  \    /     \     /
    x           x
     \_________/
         S11
</pre>
b)
<pre>
s1
parbegin
	begin
		parbegin
			s2
			s3
		parend
		s4
		parbegin
			s5
			s6
		parend
		(x1)
	end

	begin
		s7
		parbegin
			begin
				s8
				s10
			end
			s9
		parend
		(x2)
	end
parend
s11
</pre>
c)

==Ejercicio 07:==

'''NOTA 1: Preguntar ejercicios del 7 al 10... Tienen pinta de entrar seguro :) '''

'''NOTA 2: PREMISAS DE DIJKSTRA:'''

1) No deben hacerse suposiciones sobre las instrucciones de máquina ni la cantidad de procesadores. Sin embargo, se supone que las instrucciones de máquina (Load, Store, Test) son ejecutadas atómicamente, o sea que si son ejecutadas simultáneamente el resultado es equivalente a su ejecución  secuencial en un orden desconocido.

2) No deben hacerse suposiciones sobre la velocidad de los procesos.

3) Cuando un proceso no está en su región crítica no debe impedir que los demás ingresen a su región crítica.

4) La decisión de qué procesos entran a una parte crítica no puede ser pospuesta indefinidamente.
Los puntos 3) y 4) evitan bloqueos mutuos.

5) Debe existir un límite al número de veces que otros procesos están habilitados a entrar a  secciones críticas después que un proceso haya hecho su pedido.

==Ejercicio 08:==
<br>
==Ejercicio 09:==
<br>
==Ejercicio 10:==
<br>
==Ejercicio 11:==
<br>a)
<br>b)
<br>
==Ejercicio 12:[*]==
<br>Porque como cambian el valor del semaforo y despues lo evalua, al haber concurrencia se pueden quedar en WAIT dos ejecuciones de P. Ver Test-And-Set 
<br>
==Ejercicio 13:==
<br>Si alguien llega al puente, y no hay nadie esperando de ninguno de los dos lados, se lo pone a cruzar. Si hay alguien cruzando o esperando, y alguien llega, esa persona espera. Cuando una persona termina de cruzar el puente, si hay alguien esperando del lado que llego, le dice che, ahora cruza vos. Y si no, mira para atras, y si del otro lado hay alguien esperando para cruzar le grita cheeeeeeeeeee cruza vooooooooosss. 
<br>
==Ejercicio 14:[*]==
<pre>
	Monitor ej14 
	var: 	bandera : condicion 

	procedure P(x) 
	begin 
		x = x-1 
		if (x<0) then 
			Wait(bandera) 
		endif 
	end 

	procedure V(x) 
	begin 
		x = x+1 
		if (x<=0) then 
			Signal(Bandera) 
		endif 
	end 

</pre>
ver pag 19 al final

==Ejercicio 15:[*]==
a)
<pre>
	E = 1; S = 0 

	procedure Productor 
	begin 
		P(E) 
		.... 
		V(S) 
	end 

	procedure Consumidor 
		begin 
		P(S) 
		.... 
		V(E) 
	end 
</pre>

b)
<pre>
	programa Productor_Consumidor;
		MAX = ......;
	monitor M;
		buffer : Array (0..MAX-1);
		in, out, n; enteros;
		buff_lleno, buff_vacío: condición;
	
	procedure Almacenar (v);
	begin
		if n = MAX then Wait (buff_vacío);
		buffer (in) = v;
		in = (in + 1) mod MAX;
		n = n + 1;
		Signal (buff_lleno)
	end;
	
	procedure Retirar (v);
	begin
		if n = 0 then Wait (buff_lleno);
		v = buffer (out);
		out = (out + 1) mod MAX;
		n = n - 1;
		Signal (buff_vacio)
	end;
	
	begin (* Cuerpo del monitor *)
		in, out, n = 0;
	end; (* fin monitor *)
	
	procedure Productor;
	begin
		v = "dato producido"
		Almacenar (v)
	end;
	
	procedure Consumidor;
	begin
		Retirar (v);
		Hacer algo con v
		end;
	
	begin Programa-Principal
	Begin;
		cobegin
			Productor;
			Consumidor
		coend
	end.
</pre>

==Ejercicio 16:[*]==
[Diego Edit: esta mal. La idea es que cuando hay alguien escribiendo no puede haber nadie leyendo. Lo hicieron en clase a este programa [Multiples Lectores, un solo escritor]. ]
<pre>
	X = 1 

	procedure Leer 
	begin 
		//leo el archivo 
	end 
	
	procedure Escribir 
	begin 
		P(X) 
		//escribo el archivo 
		V(X) 
	end 
	
	begin Prog-Principal(operacion) 
		if (operacion == "Leer") then 
			Leer 
		else 
			Escribir 
		endif 
	end 

</pre>

==Ejercicio 17:==
<br>
==Ejercicio 18:==
a)
<pre>
	// en este esquema cualquiera de los dos puede entrar primero, si entra deshabilita al otro el acceso:
	x=1
	Procedure Romanos
	Begin
		P(x)
		.....
		V(x)	
	End
	Procedure Egipcios
	Begin
		P(x)
		.....
		V(x)		
	End
	Do forever
	Parbegin
		Egipcio;Romanos
	End
</pre>

b)
<pre>
	x=1
	colaegipcios=0
	w=1-colaegipcios
	Procedure Romanos
	Begin
		P(excl)//este semaforo no se si hace falta ay que analizarlo	
		P(w)
		P(x)
		V(excl)
		.....
		P(excl)
		V(x)
		V(w)
		P(excl)
	
	End
	Procedure Egipcios
	Begin
		P(excl)
		// en esta parte incremento la cola, que hace que w sea negativo y los romanos se queden esperando
		V(colaegipcios)
		P(x)
		P(excl)
		.......
		P(excl)
		V(x)
		P(colaegipcios)
		P(excl)
	
	End
	Do forever
	Parbegin
		Egipcios
		Romanos
	End
</pre>
c)

==Ejercicio 19:[*]==
<pre>
	Monitor PeruanosLocos
	var:	HayCarretilla: Boolean
		CintaOcupada, CintaLibre : condition

	Procedure CargarCarretilla
	Begin
		If (HayCarretilla) then
			wait(CintaLibre)
		HayCarretilla = true
		Signal(CintaOcupada)
	End

	Procedure RetirarCarretilla
	Begin
		If (!HayCarretilla) then
			wait(CintaOcupada)
		HayCarretilla = false
		Signal(CintaLibre)
	End

	Begin Body
		HayCarretilla = false
	End

	End Monitor

	Procedure ObreroCargador
	Begin
		CargarCarretilla
	End

	Procedure ObreroRetirador
	Begin
		RetirarCarretilla
	End

	Begin Main
		Parbegin
			ObreroCargador
			ObreroRetirador
		Parend
	End

</pre>

==Ejercicio 20:==
<br>La b) ya que siempre uno llega primero y "espera" y el otro sigue de largo.
<br>La c) tambien, por la misma razon.

==Ejercicio 21:[*]==
<pre>
Monitor READ-WRITE
var	readers : integer
	writing : boolean
	oktoread : condition ; oktowrite : condition;

Procedure START-READ
	if writing or nonempty (oktowrite)
		wait.oktoread
	endif
	readers ++;
	signal.oktoread;
end

Procedure END_READERS
	readers - -
	if (readers = 0 )
		signal.oktowrite
	endif
end

Procedure START-WRITE
	if readers <> 0 or writing
		wait.oktowrite
	endif
	writing := TRUE
end

Procedure END-WRITE
	writing := FALSE;
	if NONEMPTY (oktoread)
		signal.oktoread
	else
		signal.oktowrite
end

Begin monitor
	readers = 0
	writing = FALSE
End

Procedure LECTOR
	while TRUE do
		START_READ;
		READ;
		END_READ;
	End
End
</pre>

==Ejercicio 22:[*]==
<br>Estoy harto de esos ejercicios que te meten enunciados al pedo!!
<br>

==Ejercicio 23:[*]==
<br>Por que estamos diciendo que se puede ejecutar en paralelo:
<br>a = b + c  y
<br>e = a / b + n * n
<br>y no es lo mismo ejecutarlas en paralelo, que en forma secuencial ya que la 2nda instruccion tiene una dependencia de datos con la primera. 
<br>
@@ Línea 1: / Línea 1: @@
-{{Back|Sistemas Operativos}}
+==Ejercicio 01:==
-===Ejercicio 1===
 {| class="wikitable" style="text-align:center"
@@ Línea 27: / Línea 25: @@
 <br>Condiciones de Bernstein: R(Si) n W(Sj) = W(Si) n R(Sj) = W(Si) n W(Sj) = {}
-<br>Se pueden ejecutar concurrentemente:
+<br>Se pueden ejecutar concurrentemente S1 y S2, S1 y S3, S1 y S5, S2 y S5
-<br>S1 y S2,
-<br>S1 y S3,
-<br>S1 y S5,
-<br>S2 y S3,
-<br>S2 y S5
-===Ejercicio 2*===
+==Ejercicio 02:[*]==
 a)
 <pre>
-	    Count5 = Count6 = 2
+	Count5 = Count6 = 2
+	s1
+	fork L3
+	fork L4
+	s2
+	jump Join5
+	L3:
+	s3
+	jump Join5
+	Join5:
+	join Count5
+	s5
+	jump Join6
-	    s1
+	L4:
-	    fork L1
+	s4
-	    fork L2
+	jump Join6
-	    s2
-	    goto L3
+	Join6:
-	L2: s3
+	join Count6
-	L3: join Count5
-	    s5
-	    goto L4
-	L1: s4
-        L4: join Count6
-            S6
 </pre>
 b)
@@ Línea 69: / Línea 71: @@
 </pre>
-===Ejercicio 3*===
+==Ejercicio 03:[*]==
-<br>La instrucción Join debe ser atómica ya que mantiene una cuenta de cuantos procesos esta esperando, y si no fuera atómica, podría funcionar mal, y por ejemplo "matar" a, los dos o mas procesos que tenían que unirse ahi.
+<br>La instruccion Join es indivisible porque debe ser atomica. Es decir, no puede ser interrumpida a la mitad. Esto es necesario ya que join mantiene una cuenta de cuantos procesos esta esperando, y si no fuera atomica, podria funcionar mal, y por ejemplo "matar" a todos los dos o mas procesos que tenian que unirse ahi.
-<br>
-La definición de ''' join var''' es:
 <br>
-) var - - ;
-<br>
-) if (var =! 0) then wait;
-<br>
-si justo es interrumpida después de 1) y antes de 2) y para ejecutar otro join con la misma variable. supongamos que var valia 0, y ahora se decrementa y pasa a varler -1, chau
-tu programa queda en wait para siempre.
+==Ejercicio 04:[*]==
+<br>a) Me parece que es el tipo de grafos que no pueden ser representados con parbegin/parend. PREGUNTAR
+<br>b) PREGUNTAR ESTO TB
 <br>
+==Ejercicio 05:==
-===Ejercicio 4*===
+<br>a) Agarramos el grafo de antes, sacamos la flecha de S5 a S6 y ponemos una flecha de S5 a S7, de S6 a S7 y de S4 a S7...
-<br>a) Es el tipo de grafos que no pueden ser representados con parbegin/parend, ya que no se puede dividirlo en subgrafos disjuntos concurrentes.
+<br>b)
-<br>b)
-<pre>
-	var	a,b,c,d,e,f,g,h: semaforo;
-	init(todos,0);
-	Parbegin
-		Begin S1;V(a);V(b);V(c); End
-		Begin P(a);S2;V(d);V(e); End
-		Begin P(b);S3;V(f); End
-		Begin P(c);S4;V(h); End
-		Begin P(d);P(f);S5;V(e); End
-		Begin P(g);P(h);S6:End
-	Parend
-</pre>
-===Ejercicio 5===
-<br>a) Aca lo tienen:
-<pre>
-  __S1__
- /  |   \
-S2  S3  S4
- \  /    |
-  S5    S6
-    \   /
-     S7
-</pre>
-<br>b) Se puede construir el grafo de manera "secuencial", es decir, S1-S2-S3-S5-S4-S6-S7 (Claramente no tiene el mayor grado de concurrencia posible).
-O simplemente basta con borrar algun Parbegin con su Parend correspondiente y decir que las instrucciones que habia en medio se podrian haber ejecutado concurrentemente.
 <br>c)
 <pre>
 	Count5 = Count7 = 2
-	S1
+	s1
 	fork L3
 	fork L4
-	S2
+	s2
 	jump Join5
 	L3:
-	S3
+	s3
 	jump Join5
 	L4:
-	S4
+	s4
-	S6
+	s6
 	jump Join7
 	Join5:
 	join Count5
-	S5
+	jump Join7
-        jump Join7
 	Join7:
 	join Count7
-        S7
 </pre>
-===Ejercicio 6===
+==Ejercicio 06:==
 a) Si no lo hice mal, es una cosa mas o menos asi:
 <pre>
@@ Línea 157: / Línea 121: @@
 S5     S6   S10    |
    \    /     \     /
-   (x1)       (x2)
+    x           x
       \_________/
           S11
@@ Línea 192: / Línea 156: @@
 s11
 </pre>
-c) S1, S7, S8 (porque son los unicos de los que depende S10)
+c)
+==Ejercicio 07:==
+'''NOTA 1: Preguntar ejercicios del 7 al 10... Tienen pinta de entrar seguro :) '''
-===Ejercicio 7===
+'''NOTA 2: PREMISAS DE DIJKSTRA:'''
-<pre>
+) No deben hacerse suposiciones sobre las instrucciones de máquina ni la cantidad de procesadores. Sin embargo, se supone que las instrucciones de máquina (Load, Store, Test) son ejecutadas atómicamente, o sea que si son ejecutadas simultáneamente el resultado es equivalente a su ejecución  secuencial en un orden desconocido.
-(NOTA PARA EJS 7-11)
-PREMISAS DE DIJKSTRA:
-) No deben hacerse suposiciones sobre las instrucciones de máquina ni la cantidad de </br>procesadores. Sin embargo, se supone que las instrucciones de máquina (Load, Store,  Test) son ejecutadas atómicamente, o sea que si son ejecutadas simultáneamente el </br>resultado es equivalente a su ejecución  secuencial en un orden desconocido.
 ) No deben hacerse suposiciones sobre la velocidad de los procesos.
@@ Línea 208: / Línea 172: @@
 ) La decisión de qué procesos entran a una parte crítica no puede ser pospuesta indefinidamente.
 Los puntos 3) y 4) evitan bloqueos mutuos.
-) Debe existir un límite al número de veces que otros procesos están habilitados a entrar a secciones críticas</br> después que un proceso haya hecho su pedido.
-</pre>
-Similar al Alg. 2, no se asegura que un solo proceso este en la zona critica, ej:
+) Debe existir un límite al número de veces que otros procesos están habilitados a entrar a  secciones críticas después que un proceso haya hecho su pedido.
-<br> T0 Tarea1 encuentra C2 = 1,<br>  T1 Tarea2 encuentra C1 = 1,<br>  T2 Tarea2 pone C2 = 0,<br>  T3 Tarea1 pone C1 = 0
-===Ejercicio 8===
+==Ejercicio 08:==
-Similar al Alg. 3, no cumple 4) ya que ambos procesos pueden quedar en espera indefinida, ej:
+<br>
-<br> T0 Tarea1 encuentra C1 = 0,<br>  T1 Tarea2 encuentra C2 = 0
+==Ejercicio 09:==
+<br>
-===Ejercicio 9===
+==Ejercicio 10:==
-Similar al Alg. 4, no cumple 4) ya que ambos procesos pueden quedar en espera indefinida (por el while)
+<br>
+==Ejercicio 11:==
-===Ejercicio 10===
-<br> No cumple 4), ya que si no hace el while suficientemente rapido siempre entra el proceso i en vez de j.
-===Ejercicio 11===
-Creo que podrian ser asi (cualquier cosa corrijan):
 <br>a)
-<pre>
+<br>b)
-	Procedure Pi
-	Do
-		key = T;
-		while(key)
-			Swap(lock, key);
-		seccion critica
-		lock = F;
-		seccion no critica
-	End
-	Begin	Main
-		lock = F;
-		Parbegin
-			P0;P1;...;Pn
-		Parend
-	End
-</pre>
 <br>
-<br>b)
+==Ejercicio 12:[*]==
-<pre>
-	Procedure Pi
-	Do
-		while(TestAndSet(lock));
-		seccion critica
-		lock = F;
-		seccion no critica
-	End
-	Begin	Main
-		lock = F;
-		Parbegin
-			P0;P1;...;Pn
-		Parend
-	End
-</pre>
-===Ejercicio 12*===
 <br>Porque como cambian el valor del semaforo y despues lo evalua, al haber concurrencia se pueden quedar en WAIT dos ejecuciones de P. Ver Test-And-Set
 <br>
-===Ejercicio 13===
+==Ejercicio 13:==
 <br>Si alguien llega al puente, y no hay nadie esperando de ninguno de los dos lados, se lo pone a cruzar. Si hay alguien cruzando o esperando, y alguien llega, esa persona espera. Cuando una persona termina de cruzar el puente, si hay alguien esperando del lado que llego, le dice che, ahora cruza vos. Y si no, mira para atras, y si del otro lado hay alguien esperando para cruzar le grita cheeeeeeeeeee cruza vooooooooosss.
-<br> Solucion de Andy:
+<br>
-<pre>
+==Ejercicio 14:[*]==
-x=1, y=0, gentelado1=gentelado2=0
-Proc CruzarLado1
-P(exc)
-	P(X)
-	gentelado1++
-V(exc)
-cruzar
-P(exc)
-	gentelado1--
-	if (gentelado2>0 || gentelado1==0)
-		V(Y)
-	else
-		V(X)
-	endif
-V(exc)
-Proc CruzarLado2
-P(exc)
-	P(Y)
-	gentelado2++
-V(exc)
-cruzar
-P(exc)
-	gentelado2--
-	if (gentelado1>0 || gentelado2==0)
-		V(X)
-	else
-		V(Y)
-	endif
-V(exc)
-</pre>
-===Ejercicio 14*===
 <pre>
 	Monitor ej14
@@ Línea 327: / Línea 213: @@
 </pre>
-(Ver pag 19 al final)
+ver pag 19 al final
-===Ejercicio 15*===
+==Ejercicio 15:[*]==
 a)
 <pre>
@@ Línea 353: / Línea 239: @@
 	programa Productor_Consumidor;
 		MAX = ......;
+	monitor M;
-	Monitor M;
+		buffer : Array (0..MAX-1);
-	var:	buffer : Array (0..MAX-1);
 		in, out, n; enteros;
 		buff_lleno, buff_vacío: condición;
@@ Línea 402: / Línea 287: @@
 </pre>
-===Ejercicio 16*===
+==Ejercicio 16:[*]==
-La idea es que cuando hay alguien escribiendo no puede haber nadie leyendo. (Multiples Lectores, un solo escritor)
+[Diego Edit: esta mal. La idea es que cuando hay alguien escribiendo no puede haber nadie leyendo. Lo hicieron en clase a este programa [Multiples Lectores, un solo escritor]. ]
 <pre>
-	Escr = 1
+	X = 1
 	procedure Leer
 	begin
-		P(X)
-		CantLectores++
-		if (CantLectores == 1) then P(Escr)
-		V(X)
 		//leo el archivo
-		P(X)
-		CantLectores--
-		if (CantLectores == 0) then V(Escr)
-		V(X)
 	end
 	procedure Escribir
 	begin
-		P(Escr)
+		P(X)
 		//escribo el archivo
-		V(Escr)
+		V(X)
 	end
@@ Línea 437: / Línea 314: @@
 </pre>
-===Ejercicio 17===
+==Ejercicio 17:==
-<br> (Hay que darle prioridad a un solo lado del puente)
+<br>
-<pre>
+==Ejercicio 18:==
-x = 1, sentido = izq, autosizq  = ?, autosder = ?
-Proc Cruzar
-if (sentido == izq)
-	if (autosizq > 0)
-		P(x)
-		cruzar
-		V(x)
-		P(exc)
-		if (--autosizq == 0)
-			sentido = der
-		V(exc)
-	else
-		sentido = der
-		actualiza(autos)
-	endif
-elseif (sentido == der)
-	if (autosder > 0)
-		P(x)
-		cruzar
-		V(x)
-		P(exc)
-		if (--autosder == 0)
-			sentido = izq
-		V(exc)
-	else
-		sentido = izq
-		actualiza(autos)
-	endif
-endif
-</pre>
-===Ejercicio 18===
 a)
 <pre>
@@ Línea 501: / Línea 346: @@
 	Procedure Romanos
 	Begin
-		P(excl)//este semaforo no se si hace falta, hay que analizarlo
+		P(excl)//este semaforo no se si hace falta ay que analizarlo
 		P(w)
 		P(x)
@@ Línea 530: / Línea 375: @@
 		Egipcios
 		Romanos
-	End
-</pre>
-Esta es otra forma (Cortesia Papa Noel)
-<pre>
-	CantEgipcios = 0
-	Procedure Romanos
-		If (CantEgipcios > 0) then P(X)
-		....
-		V(X)
-	End
-	Procedure Egipcios
-		CantEgipcios++
-		If (CantEgipcios > 0) then P(X)
-		P(Y)
-		....
-		V(Y)
-		CantEgipcios--
-		If (CantEgipcios == 0) then V(X)
 	End
 </pre>
 c)
-===Ejercicio 19*===
+==Ejercicio 19:[*]==
 <pre>
 	Monitor PeruanosLocos
@@ Línea 601: / Línea 426: @@
 </pre>
-===Ejercicio 20===
+==Ejercicio 20:==
 <br>La b) ya que siempre uno llega primero y "espera" y el otro sigue de largo.
 <br>La c) tambien, por la misma razon.
-===Ejercicio 21*===
+==Ejercicio 21:[*]==
 <pre>
-	Monitor Lectores-Escritores
+Monitor READ-WRITE
-	var	lectores : integer
+var	readers : integer
-		escribiendo : boolean
+	writing : boolean
-		sePuedeLeer, sePuedeEscribir : condition;
+	oktoread : condition ; oktowrite : condition;
-	Procedure Inicio_Lectores
+Procedure START-READ
-		if (escribiendo or novacio (sePuedeEscribir))
+	if writing or nonempty (oktowrite)
-			wait(sePuedeLeer)
+		wait.oktoread
-		endif
+	endif
-		lectores ++;
+	readers ++;
-		signal(sePuedeLeer);
+	signal.oktoread;
-	end
+end
-	Procedure Fin_Lectores
-		lectores - -
-		if (lectores = 0 )
-			signal(sePuedeEscribir);
-		endif
-	end
-	Procedure Inicio_Escritores
-		if (lectores <> 0 or escribiendo)
-			wait(sePuedeEscribir)
-		endif
-		escribiendo := TRUE
-	end
-	Procedure Fin_Escritores
-		escribiendo := FALSE;
-		if (novacio (sePuedeLeer))
-			signal(sePuedeLeer)
-		else
-			signal(sePuedeEscribir)
-	end
-	Begin Monitor
-		lectores = 0
-		escribiendo = FALSE
-	End
-	Procedure LECTOR
-		Do Forever
-			Inicio_Lectores;
-			//Leer
-			Fin_Lectores;
-		End
-	End
-</pre>
-===Ejercicio 22*===
+Procedure END_READERS
-<pre>
+	readers - -
-	Monitor SuperTormino
+	if (readers = 0 )
+		signal.oktowrite
+	endif
+end
-	Var:	ocupado :boolean;
+Procedure START-WRITE
-		no_ocupado :condition;
+	if readers <> 0 or writing
+		wait.oktowrite
+	endif
+	writing := TRUE
+end
-	Procedure	Cliente
+Procedure END-WRITE
-	Begin
+	writing := FALSE;
-		if ocupado then wait(no_ocupado);
+	if NONEMPTY (oktoread)
-		ocupado = V;
+		signal.oktoread
-	End
+	else
+		signal.oktowrite
+end
-	Procedure	Balanza
+Begin monitor
-	Begin
+	readers = 0
-		ocupado = F;
+	writing = FALSE
-		pesar
+End
-		signal(no_ocupado);
-	End
-	Begin Monitor
+Procedure LECTOR
-		ocupado = F;
+	while TRUE do
+		START_READ;
+		READ;
+		END_READ;
 	End
+End
 </pre>
-===Ejercicio 23*===
+==Ejercicio 22:[*]==
-<br>Porque estamos diciendo que se puede ejecutar en paralelo:
+<br>Estoy harto de esos ejercicios que te meten enunciados al pedo!!
+<br>
+==Ejercicio 23:[*]==
+<br>Por que estamos diciendo que se puede ejecutar en paralelo:
 <br>a = b + c  y
 <br>e = a / b + n * n
 <br>y no es lo mismo ejecutarlas en paralelo, que en forma secuencial ya que la 2nda instruccion tiene una dependencia de datos con la primera.
 <br>
-[[Category:Prácticas]]