Prova teorica 2017.05.29 - Revision history

Save: /* Soluzione di Mida */

2017-07-13T09:19:57Z

Soluzione di Mida

Save: /* Esercizio c.1 */

2017-07-13T09:19:07Z

Esercizio c.1

Save: /* Soluzione di Save */

2017-07-13T07:15:29Z

Soluzione di Save

FedericoB: /* Esercizio g.2 */ aggiunte risposte domande 1, 3 e 4

2017-06-18T20:12:20Z

Esercizio g.2: aggiunte risposte domande 1, 3 e 4

Stefano.zaniboni: /* Soluzione di Save */

2017-06-16T16:25:11Z

Soluzione di Save

Stefano.zaniboni: /* Soluzione di Stefano Zaniboni */

2017-06-16T09:48:57Z

Soluzione di Stefano Zaniboni

Stefano.zaniboni: /* Soluzione di Stefano Zaniboni */

2017-06-16T09:47:46Z

Soluzione di Stefano Zaniboni

Stefano.zaniboni: /* Esercizio c.2 */

2017-06-16T09:47:04Z

Esercizio c.2

FedericoB: /* Esercizio g.1 */ Aggiunta convalida soluzione es g.2

2017-06-16T08:17:10Z

Esercizio g.1: Aggiunta convalida soluzione es g.2

FedericoB: Aggiunto link al compito ora che il prof ha caricato il pdf

2017-06-15T20:26:38Z

Aggiunto link al compito ora che il prof ha caricato il pdf

← Older revision		Revision as of 09:19, 13 July 2017
Line 61:		Line 61:


−		+	qualcuno cortesemente può dirmi se può andar bene?
	</syntaxhighlight>		</syntaxhighlight>

← Older revision		Revision as of 09:19, 13 July 2017
Line 2:		Line 2:

	==Esercizio c.1==		==Esercizio c.1==
		+	===Soluzione di Mida===
		+	<syntaxhighlight lang="C">
		+
		+	Monitor rb()
		+	{
		+
		+	condition oktorun, oktochiama
		+	int c, punteggio[2], nstudentiP, arrivati
		+	int i = [1,2,3,4]
		+
		+	procedure entry nuovaPartita ()
		+	{
		+	punteggio[A] = punteggio [B] = c = arrivati = 0;
		+
		+	}
		+
		+	procedure entry chiama( n )
		+
		+	{
		+	int k = random(i);
		+	c = k;
		+	if ( nstudentiP < 2 * MAX )
		+	oktochiama(n).wait();
		+	for(j=0 ; j<k ; k++)
		+	n inrange(0, MAX-1);
		+	oktorun(n).signal();
		+	return Punteggio
		+
		+	}
		+
		+	procedure entry pronto (sq, n)
		+
		+	{
		+	if(max(punteggio) == 10;
		+	return 1
		+
		+	nstudentiP ++;
		+	if ( nstudentiP >= 2*MAX )
		+	oktochiama(n).signal();
		+	oktorun(n).wait();
		+	arrivati(sq)++;
		+	else return 0
		+
		+	}
		+
		+	procedure entry allabandiera ( sq, n)
		+
		+	{
		+	if ( arrivati(sq) == C )
		+	punteggio[sq]++;
		+	else punteggio[1-sq]++;
		+
		+	}
		+	}
		+
		+
		+
		+
		+
		+
		+	</syntaxhighlight>

	===Soluzione di Stefano Zaniboni===		===Soluzione di Stefano Zaniboni===

← Older revision		Revision as of 07:15, 13 July 2017
Line 3:		Line 3:
	==Esercizio c.1==		==Esercizio c.1==

−	~~===Soluzione di Save===~~
−
−	~~se qualcuno può correggermi o confermare il rispetto delle regole concorrenziali, mi fa un grande piacere.~~
−	~~saluti~~
−
−	~~<syntaxhighlight lang="C">~~
−	~~Monitor rubaBandiera () {~~
−
−	~~condition oktochiama, oktopunteggio, oktopronto;~~
−
−	~~listnum [] = [1,2,3,4]~~
−	~~numeri[]~~
−	~~numeriChiamati[0...MAX-1]~~
−	~~studentiPronti = True;~~
−
−	~~punteggio [A] = 0;~~
−	~~punteggio [B] = 0;~~
−
−	~~procedure entry gioco() {~~
−
−
−	~~n=random(listnum);~~
−	~~numeri(n)=random(numeriChiamati);~~
−
−	~~if( studentiPronti == false)~~
−
−	~~oktochiama(numeri).wait() ;~~
−
−
−	~~studentiPronti(numeri) = false ;~~
−	~~oktopunteggio.signal();~~
−	}
−	~~procedure entry studente () {~~
−
−	~~while(studentiPronti(numeri))~~
−
−	~~oktochiama(numeri).signal();~~
−	}
−
−
−	~~procedure entry chiama () {~~
−
−	~~print(punteggio[A] ":" punteggio[B]);~~
−	~~if (studentiPronti(numeri))~~
−
−	~~oktopunteggio.wait()~~
−
−	~~if (allabadiera(A))~~
−	~~punteggio[A] ++;~~
−	~~else punteggio [B]++;~~
−	~~print(punteggio[A] ":" punteggio[B]);~~
−	~~studentiPronti(numeri) = true~~
−
−	~~pronto();~~
−
−	~~procedure entry pronto() {~~
−
−	~~if(punteggio[A] \|\| punteggio[B] < 10)~~
−
−	~~return 0;~~
−	~~else return 1;~~
−	}}
−
−
−	~~</syntaxhighlight>~~
−	Secondo devi utilizzare il nome corretto per le procedure entry, cioè mancano nuovapartita e allabandiera, che non hai definito. Con i corretti parametri. --[[User:FedericoB\|FedericoB]] ([[User talk:FedericoB\|talk]]) 18:45, 15 June 2017 (CEST)
	===Soluzione di Stefano Zaniboni===		===Soluzione di Stefano Zaniboni===

@@ Line 211: / Line 211: @@
 ==Esercizio g.2==
-#'''Un i-node di un file system tipo ext2 per un errore viene riportato un numero di link maggiore del reale. Cosa può succedere se si continua ad usare il file system? (perchè?) E se il numero di link errato fosse il contrario inferiore al reale cosa potrebbe succedere? (perchè?)
+#'''Un i-node di un file system tipo ext2 per un errore viene riportato un numero di link maggiore del reale. Cosa può succedere se si continua ad usare il file system? (perchè?) E se il numero di link errato fosse il contrario inferiore al reale cosa potrebbe succedere? (perchè?) ''' <br> Che quando i reali link al i-node verrano eliminati e il numero decrementato questo non raggiungerà mai zero e lo spazio non verrà rilasciato. Se invece il numero di link è inferiore al reale può succedere che con solo l'eliminazione di pochi link al inode l'area del file venga segnata come libera perchè il sistema operativo pensa che l'inode non sia più utilizzato.
 #'''Perchè è necessario usare spinlock in sistemi multiprocessore per implementare kernel di tipo simmetrico (SMP)?''' <br>Perchè la semplice disabilitazione degli interrupt non sarebbe sufficiente in caso di parallelismo reale a prevenire l'accesso a memoria condivisa in concorrenza. Bisogna perciò utilizzare strumenti come gli spinlock che grazie a istruzioni atomiche, per esempio la test-and-set, bloccano l'esecuzione di un processo fino al verificarsi di una condizione. Per evitare il busy wait si possono usare gli spinlock solo per rendere atomiche le istruzioni P e V di un semaforo in modo che la maggior parte del tempo di attesa per entrare in una sezione critica un processo lo passi in stato di wait invece che consumare inutilmente cicli di CPU.
-#'''Perchè nei sistemi reali l'algoritmo di rimpiazzamento second chance (orologio) viene preferito a LRU sebbene il primo non sia a stack e il secondo sì?
+#'''Perchè nei sistemi reali l'algoritmo di rimpiazzamento second chance (orologio) viene preferito a LRU sebbene il primo non sia a stack e il secondo sì?''' <br> perchè la gestione dei timestamp richiesti da LRU è costosa nella MMU.
-#'''Perchè revocare un'autorizzazione espressa come capability è più difficile che revocare lo stesso diritto quando espresso come access control list?'''
+#'''Perchè revocare un'autorizzazione espressa come capability è più difficile che revocare lo stesso diritto quando espresso come access control list?''' <br> Perchè le capability sono salvate al interno dello spazio di memoria di ciascun processo mentre le access control list sono legate al file.

@@ Line 69: / Line 69: @@
 </syntaxhighlight>
 Secondo devi utilizzare il nome corretto per le procedure entry, cioè mancano nuovapartita e allabandiera, che non hai definito. Con i corretti parametri. --[[User:FedericoB|FedericoB]] ([[User talk:FedericoB|talk]]) 18:45, 15 June 2017 (CEST)
 ==Esercizio c.2==

@@ Line 96: / Line 96: @@
 process l+f{
-         set_proc_lost_and_found(getpid())
+         dset_lost_n_found(getpid())
          while(true){
                 {snd, dst, m} = dmsgrecv()

@@ Line 75: / Line 75: @@
 <syntaxhighlight lang="C">
 /*
-sia dato un servizio di message passing asincrono distratto. Questo servizio si comporta come un servizio di message passing asincrono ma talvolta dimentica la destinazione. E’ però possibile indicare un processo come “ufficio messaggi smarriti” al quale verranno recapitati tutti i messaggi per i quali il servizio distratto ha dimenticato la destinazione.
+sia dato un servizio di message passing asincrono distratto. Questo servizio si comporta come un servizio di message passing asincrono ma talvolta dimentica la destinazione.
 Void dmsgsend(pid_t dest, msg_t msg); //si comporta come amsgsend ma può dimenticare la desticazione
@@ Line 81: / Line 82: @@
 void dset_lost_n_found(pid_t pid); //indica il processo per i messaggi smarriti.
-Usando il servizio “distratto” e un processo “ufficio messaggi smarriti”, implementare un servizio di message passing standard (senza la selezione del mittente in ricezione, la amsgrecv riceve da qualsiasi mittente).
+Usando il servizio “distratto” e un processo “ufficio messaggi smarriti”,
 */

← Older revision		Revision as of 09:47, 16 June 2017
Line 71:		Line 71:

	==Esercizio c.2==		==Esercizio c.2==
		+
		+	===Soluzione di Stefano Zaniboni===
		+	<syntaxhighlight lang="C">
		+	/*
		+	sia dato un servizio di message passing asincrono distratto. Questo servizio si comporta come un servizio di message passing asincrono ma talvolta dimentica la destinazione. E’ però possibile indicare un processo come “ufficio messaggi smarriti” al quale verranno recapitati tutti i messaggi per i quali il servizio distratto ha dimenticato la destinazione.
		+
		+	Void dmsgsend(pid_t dest, msg_t msg); //si comporta come amsgsend ma può dimenticare la desticazione
		+	msg_t dmsgrecv() //si comporta come amsgrecv(*)
		+	void dset_lost_n_found(pid_t pid); //indica il processo per i messaggi smarriti.
		+
		+	Usando il servizio “distratto” e un processo “ufficio messaggi smarriti”, implementare un servizio di message passing standard (senza la selezione del mittente in ricezione, la amsgrecv riceve da qualsiasi mittente).
		+	*/
		+
		+	void asend(pid_t dest, msg_t msg){
		+	dmsgsend(dest,{getpid(), dest, msg})
		+	}
		+
		+	msg_t arecv(pid_t sender){
		+	{snd, dst, m} = dmsgrecv()
		+	return m
		+	}
		+
		+	process l+f{
		+	set_proc_lost_and_found(getpid())
		+	while(true){
		+	{snd, dst, m} = dmsgrecv()
		+	if dst != getpid(){
		+	asend(dst, {snd, dst, m})
		+	}
		+	}
		+	}
		+
		+	</syntaxhighlight>

	==Esercizio g.1==		==Esercizio g.1==

@@ Line 73: / Line 73: @@
 ==Esercizio g.1==
-#'''Soluzione di GiovanniF
+===Soluzione di GiovanniF===
 min = lifo 1234123124123124...
 lifo = lru 123124123124123124...
 ==Esercizio g.2==

← Older revision		Revision as of 20:26, 15 June 2017
Line 1:		Line 1:
−	[~~[Media~~:~~20170529~~.~~jpg \|~~ link al compito]]	+	[http://www.cs.unibo.it/~renzo/so/compiti/2017.05.29.tot.pdf link al compito]
−
−	Ho caricato questa foto del compito intanto che non è ancora disponibile il pdf. Quando sarà disponibile sostituire con il link al pdf. --[[User:FedericoB\|FedericoB]] ([[User talk:FedericoB\|talk]]) 11:41, 15 June 2017 (CEST)

	==Esercizio c.1==		==Esercizio c.1==