Zibaldone - Revision history

Renzo: /* RW2bis */

2017-05-16T12:32:19Z

RW2bis

GabrieleCalarota: /* == */

2016-12-15T15:54:15Z

GabrieleCalarota: /* Monitor: Ponte a senso Unico */

2016-12-15T15:53:31Z

Monitor: Ponte a senso Unico

GabrieleCalarota: /* == */

2016-12-15T15:53:02Z

GabrieleCalarota: /* Monitor: Ponte a senso Unico */

2016-12-15T15:27:17Z

Monitor: Ponte a senso Unico

GabrieleCalarota: /* Monitor: Ponte a senso Unico */

2016-12-14T17:35:11Z

Monitor: Ponte a senso Unico

AlessioV: /* Monitor: Ponte a senso Unico */

2016-12-14T13:23:39Z

Monitor: Ponte a senso Unico

AlessioV: /* Monitor: Ponte a senso Unico */

2016-12-14T13:08:31Z

Monitor: Ponte a senso Unico

AlessioV: /* Monitor: Ponte a senso Unico */

2016-12-14T13:08:04Z

Monitor: Ponte a senso Unico

AlessioV: /* Monitor: Ponte a senso Unico */

2016-12-14T13:05:53Z

Monitor: Ponte a senso Unico

← Older revision		Revision as of 12:32, 16 May 2017
Line 849:		Line 849:
	Suppongo che "un nuovo scrittore chiede di leggere" si aun refuso e sia da intendere "un nuovo lettore chiede di leggere" (altrimenti ci sono crisi di identità) e che "startofread" significhi "startread" e "startofwrite" sia "startwrite".		Suppongo che "un nuovo scrittore chiede di leggere" si aun refuso e sia da intendere "un nuovo lettore chiede di leggere" (altrimenti ci sono crisi di identità) e che "startofread" significhi "startread" e "startofwrite" sia "startwrite".
	La "startread" viene eseguita in mutua esclusione, quindi non ci puo' essere "un lettore lento che sia riuscito ad entrare" nella funione startread. Se ha superato la P(mutex) iniziale o e' bloccato sulla ok2read o e' entrato. [[User:Renzo\|Renzo]] ([[User talk:Renzo\|talk]]) 19:37, 13 November 2016 (CET)		La "startread" viene eseguita in mutua esclusione, quindi non ci puo' essere "un lettore lento che sia riuscito ad entrare" nella funione startread. Se ha superato la P(mutex) iniziale o e' bloccato sulla ok2read o e' entrato. [[User:Renzo\|Renzo]] ([[User talk:Renzo\|talk]]) 19:37, 13 November 2016 (CET)
		+
		+	=== pali ===
		+	<syntaxhighlight lang=python>
		+	#!/usr/bin/env python3
		+
		+	import threading
		+	import time
		+	import logging
		+	import random
		+	from monitor import monitor, condition, entry
		+
		+	class safeprint(monitor):
		+	def __init__(self):
		+	super().__init__()
		+
		+	@entry
		+	def print(self, args,*kwargs):
		+	print(args,*kwargs)
		+
		+	safeprint = safeprint().print
		+
		+	class polimon(monitor):
		+	vsig = [0,0,0,0,-1,4,3,2,1,0]
		+	vwait = [0,1,2,3,4,-1,0,0,0,0]
		+	def __init__(self):
		+	super().__init__()
		+	self.started=set()
		+	self.state = 0
		+	self.vcond = [condition(self) for _ in range(5)]
		+	self.printing = False
		+
		+	@entry
		+	def sync(self, i):
		+	if i not in self.started:
		+	self.started.add(i)
		+	if self.printing:
		+	self.vcond[0].wait()
		+	else:
		+	self.printing = False
		+	nextsig = polimon.vsig[self.state]
		+	if nextsig >= 0:
		+	self.vcond[nextsig].signal()
		+	self.state = (self.state + 1) % 10
		+	nextwait = polimon.vwait[self.state]
		+	if nextwait >= 0:
		+	self.vcond[nextwait].wait()
		+	self.printing = True
		+
		+	def client(poli,i):
		+	for _ in range(10):
		+	time.sleep(random.random() * 0.5)
		+	poli.sync(i)
		+	safeprint(i)
		+
		+	if __name__ == "__main__":
		+	cli=[]
		+	poli = polimon()
		+	for i in range(10):
		+	p=threading.Thread(name='cli'+str(i), target=client, args=(poli,i))
		+	p.deamon=True
		+	p=cli.append(p)
		+	for i in range(10):
		+	cli[i].start()
		+	for i in range(10):
		+	cli[i].join()
		+	</syntaxhighlight>

@@ Line 191: / Line 191: @@
-====
+== Ponte a senso unico (2) ==
 <syntaxhighlight lang=C>
 #include <stdio.h>

@@ Line 191: / Line 191: @@
-==
+====
 <syntaxhighlight lang=C>
 #include <stdio.h>

@@ Line 191: / Line 191: @@
-====
+==
 <syntaxhighlight lang=C>
 #include <stdio.h>
@@ Line 230: / Line 230: @@
 	if (curr_dir == N){
 		curr_dir = d;
+	}
 	if ((curr_dir != d) || (n_carcross >= MAX_CAR) || (waiting[1-i]>0)){
@@ Line 253: / Line 252: @@
   if (waiting[i]>0){
   	if (n_carcross == 0){
   		curr_dir = (enum dir) (1 - curr_dir);
   		condition_signal(ok2go[i]);

@@ Line 190: / Line 190: @@
 Il comando resta alla direzione che per ultima ha attraversato il bridge
 <syntaxhighlight lang=C>
 #include <stdio.h>
@@ Line 229: / Line 231: @@
 		curr_dir = d;
 		change_dir(d);
+	}
 	if ((curr_dir != d) || (n_carcross >= MAX_CAR) || (waiting[1-i]>0)){
@@ Line 252: / Line 253: @@
   if (waiting[i]>0){
   	if (n_carcross == 0){
   		change_dir(d);
   		curr_dir = (enum dir) (1 - curr_dir);
   		condition_signal(ok2go[i]);
@@ Line 260: / Line 259: @@
+  }
   else
- 	condition_signal(ok2go[1-i]);
+       If (waiting [1-i]>0)
   monitor_exit(bridge);
+}

@@ Line 189: / Line 189: @@
 L’ultima possibilità è che nessuno vuole attraversare il bridge, in questo caso nn faccio nulla.
 Il comando resta alla direzione che per ultima ha attraversato il bridge
 == Monitor: Cospirazione dei filosofi ==

@@ Line 150: / Line 150: @@
+}
 </syntaxhighlight>
 == Monitor: Cospirazione dei filosofi ==

@@ Line 1: / Line 1: @@
 == Monitor: Ponte a senso Unico ==
-Proposta di soluzione esercizio 1 esame 22/01/2014
+Proposta di soluzione: esercizio 1 esame 22/01/2014
 <syntaxhighlight lang=C>
 //

@@ Line 114: / Line 114: @@
 void *crossEW(void* arg){
      while (1) {
-         printf("waitW: %d |-|%d|->  <-|%d|-| waitE: %d  ||cossed W->E: %d crossed E->W: %d||\n", nwaiting_we, ncrossing_we, ncrossing_ew, nwaiting_ew, crossed_we, crossed_ew);
+         printf("waitW: %d |-|%d|->  <-|%d|-| waitE: %d  || crossed W->E: %d crossed E->W: %d||\n", nwaiting_we, ncrossing_we, ncrossing_ew, nwaiting_ew, crossed_we, crossed_ew);
          usleep(random() % 200000);
          bridge_enter(E);
@@ Line 124: / Line 124: @@
 void *crossWE(void* arg){
      while (1) {
-         printf("waitW: %d |-|%d|->  <-|%d|-| waitE: %d  ||cossed W->E: %d crossed E->W: %d||\n", nwaiting_we, ncrossing_we, ncrossing_ew, nwaiting_ew, crossed_we, crossed_ew);
+         printf("waitW: %d |-|%d|->  <-|%d|-| waitE: %d  || crossed W->E: %d crossed E->W: %d||\n", nwaiting_we, ncrossing_we, ncrossing_ew, nwaiting_ew, crossed_we, crossed_ew);
          usleep(random() % 200000);
          bridge_enter(W);
@@ Line 150: / Line 150: @@
+}
 </syntaxhighlight>
 == Monitor: Cospirazione dei filosofi ==