ProvaTeorica 2012.05.24 - Revision history

Save at 18:05, 1 June 2014

2014-06-01T18:05:38Z

Save at 18:04, 1 June 2014

2014-06-01T18:04:52Z

Save at 18:04, 1 June 2014

2014-06-01T18:04:15Z

Save at 18:03, 1 June 2014

2014-06-01T18:03:09Z

Save at 18:02, 1 June 2014

2014-06-01T18:02:41Z

Save at 18:01, 1 June 2014

2014-06-01T18:01:39Z

Save at 18:00, 1 June 2014

2014-06-01T18:00:03Z

AlexJ at 23:12, 26 March 2014

2014-03-26T23:12:33Z

MidoloM at 16:29, 26 March 2014

2014-03-26T16:29:27Z

MidoloM at 16:28, 26 March 2014

2014-03-26T16:28:28Z

@@ Line 12: / Line 12: @@
+   {
-	if ( crssing(ritorno) > = 0 || crossing(ANDATA) >= maxSantuario || waiting (RITORNO)>0 )     # per evitare deadlock
+	if ( crssing(ritorno) > = 0 || crossing(ANDATA) > maxSantuario || waiting (RITORNO)>0 )     # per evitare deadlock
 										     # deve essere maxSantuario >= maxPonte
 		waiting (ANDATA)++ ;						     # crossing(ANDATA) >= maxSantuario
@@ Line 55: / Line 55: @@
               Io penso che se al santuario recitassero tutti il rosario e confessassero molti peccati, allora si.
   DEADLOCK : se la portata del ponte era piu' grande della portata del santuario si aveva deadlock.
-            L'ho eliminato mettendo in wait se crossing(ANDATA) >= maxSantuario
+            L'ho eliminato mettendo in wait se crossing(ANDATA) > maxSantuario
 */
 save

@@ Line 50: / Line 50: @@
+}
-# Correggetemi se sbaglio.
+/* Correggetemi se sbaglio.
-# STARVATION : non l'ho individuata.
+ STARVATION : non l'ho individuata.
               Io penso che se al santuario recitassero tutti il rosario e confessassero molti peccati, allora si.
-# DEADLOCK : se la portata del ponte era piu' grande della portata del santuario si aveva deadlock.
+ DEADLOCK : se la portata del ponte era piu' grande della portata del santuario si aveva deadlock.
             L'ho eliminato mettendo in wait se crossing(ANDATA) >= maxSantuario
+*/
 save
 </syntaxhighlight>

@@ Line 50: / Line 50: @@
+}
-Correggetemi se sbaglio.
+# Correggetemi se sbaglio.
-STARVATION : non l'ho individuata.
+# STARVATION : non l'ho individuata.
               Io penso che se al santuario recitassero tutti il rosario e confessassero molti peccati, allora si.
-DEADLOCK : se la portata del ponte era piu' grande della portata del santuario si aveva deadlock.
+# DEADLOCK : se la portata del ponte era piu' grande della portata del santuario si aveva deadlock.
             L'ho eliminato mettendo in wait se crossing(ANDATA) >= maxSantuario
 <syntaxhighlight lang="C">
 monitor santuario

@@ Line 57: / Line 57: @@
             L'ho eliminato mettendo in wait se crossing(ANDATA) >= maxSantuario
 save
 <syntaxhighlight lang="C">
 monitor santuario

@@ Line 59: / Line 59: @@
 save
 </syntaxhighlight>
 <syntaxhighlight lang="C">
 monitor santuario

@@ Line 186: / Line 186: @@
 <syntaxhighlight lang="C">
-#DEFINE MAXSANTUARIO N
 monitor santuario {
@@ Line 194: / Line 194: @@
 visitatori[0]=0;
 visitatori[1]=0;
 int i=0;
 Queue q;            // coda dei visitatori in attesa
@@ Line 199: / Line 200: @@
 procedure entry entraponte(dir){
 /* se il turno è della direzione opposta o
-  i visitatori in transito sono N o
+  i visitatori in transito sono MAXPONTE o
   la coda non è vuota aspetta */
-	if(turn==(1-dir) || visitatori[dir]==N || !q.empty()){
+	if( (dir==0 && fedeli==MAXSANTUARIO ) || turn==(1-dir) || visitatori[dir]==MAXPONTE || !q.empty()){
 		q.enqueue(dir);      // inserisci in coda
 		okpassa.wait();      // aspetta
-		if( q.head()==dir && (visitatori[dir] + i) < (N - 1) ){  // questa condizione
+		if( q.head()==dir && (visitatori[dir] + i) < (MAXPONTE - 1) ){  // questa condizione
                          i++;
 			q.dequeue();		   // mi serve per far passare
-			okpassa.signal();	   // N visitatori nella direzione
+			okpassa.signal();	   // MAXPONTE visitatori nella direzione
 			}			// in attesa quando nella direzione opposta
 		i=0;	         		// i visitatori in transito erano N
@@ Line 213: / Line 214: @@
 turn=dir;           // setto il turno della direzione
 visitatori[dir]++;   //incremento visitatori in transito
+if(dir==0){fedeli++;}
+}
@@ Line 224: / Line 226: @@
 o il visitatore che esce è l'ultimo fa passare il primo in attesa
 che sarà sicuramente della direzione opposta */
+ primo = (dir == 0 && fedeli < MAXSANTUARIO) && ( q.head()==0 || visitatori[0]==0 ))
-	if (q.head()==dir || visitatori[dir]==0){
+ secondo = (dir == 1 && (q.head()==0 || visitatori[1]==0 )
                if(visitatore[dir]==0){
                  turn=2;   // ponte vuoto
@@ Line 234: / Line 238: @@
 		     //	(secondo una politica FIFO)
+		}
-−
+}

@@ Line 250: / Line 250: @@
 		if( cross != 0 || (dir == 0 && MAXSANTUARIO == fidelis)){
 			wait[dir]++;
-			oktocross[dir];
+			oktocross[dir].wait();
 			wait[dir]--;
+		}

← Older revision		Revision as of 16:28, 26 March 2014
Line 239:		Line 239:
	</syntaxhighlight>		</syntaxhighlight>
	Alessandro		Alessandro
		+
		+	<syntaxhighlight lang="C">
		+	#define ANDARA 0;
		+	#define RITORNO 1;
		+	monitor santuario{
		+	int cross;
		+	condition oktocross[2];
		+	int fidelis;
		+	entraponte(dir){
		+	if( cross != 0 \|\| (dir == 0 && MAXSANTUARIO == fidelis)){
		+	wait[dir]++;
		+	oktocross[dir];
		+	wait[dir]--;
		+	}
		+	cross++;
		+	if(dir == 0){
		+	fidelis++;
		+	if(cross < MAXPONTE && MAXSANTUARIO > fidelis){
		+	oktocross[dir].signal;
		+	}
		+	}else{
		+	fidelis--;
		+	if(cross < MAXPONTE){
		+	oktocross[dir].signal;
		+	}
		+	}
		+	}
		+	esciponte(dir){
		+	cross--;
		+	if(cross == 0 && MAXSANTUARIO == fidelis){
		+	oktocross[RITORNO].signal();
		+	}else if(cross == 0 && wait[1-dir]){
		+	oktocross[1-dir].signal();
		+	}else if(cross == 0){
		+	oktocross[dir].signal();
		+	}
		+	}
		+	}
		+	</syntaxhighlight>
		+	-Midolo