Difference between revisions of "Prove svolte e soluzioni proposte"

From Sistemi Operativi
Jump to navigation Jump to search
 
(182 intermediate revisions by 15 users not shown)
Line 1: Line 1:
−
Questa pagina serve a raccogliere prove d'esame svolte (che possono essere utili alla preparazione) e soluzioni proposte a tali prove da sottoporre a peer-review.
+
Questa pagina raccoglie prove d'esame svolte (che possono essere utili alla preparazione) e soluzioni proposte a tali prove da sottoporre a peer-review. Chiunque prenda visione di un esercizio è pregato (per il bene collettivo) a lasciare una [https://www.mediawiki.org/wiki/Help:Signatures propria firma] con nome utente e data di visualizzazione indicando se lo svolgimento è ritenuto corretto; in caso di svolgimento scorretto è invece invitato ad apportare una correzione o a '''spiegare il perché dell'errore commesso''', lasciando come nel caso precedente il proprio nome utente e data di correzione.
  
−
== Esame 17/07/2018 ==
+
Al fine di verificare la correttezza degli esercizi di concorrenza, segnaliamo la presenza di [[Tool_per_semafori_e_monitor|strumenti di programmazione concorrente]] per i linguaggi C e Python.
−
=== Esercizio c.1 ===
 
−
<source lang="c">
 
−
/* Monitor Delirum: */
 
  
−
// Condition: Ok2Load;
+
== Prove scritte ==
−
// Condition: Ok2Pour[]; // Un elemento per Type
+
* [[Prove scritte 2023]]
−
int availableBeer[]; // Un elemento per Type
+
* [[Prove scritte 2022]]
−
Queue requests[]; // Un elemento per Type
+
* [[Prove scritte 2021]]
−
Queue pendingRequests;
+
* [[Prove scritte 2020]]
 +
* [[Prove scritte 2019]]
 +
* [[Prove scritte 2018]]
 +
* [[Prove scritte 2017]]
 +
* [[Prove scritte 2015]]
 +
* [[Prove scritte 2014]]
 +
* [[Prove scritte 2013]]
 +
* [[Prove scritte 2011]]
 +
* [[Prove scritte 2005]]
  
−
Procedure entry: void Pour(Type t, Quantity c)
+
== Prove pratiche ==
−
{
+
* [[Prove pratiche 2022]]
−
    if (c > availableBeer[t]) // Richiesta maggiore della birra disponibile
+
* [[Prove pratiche 2019]]
−
    {
+
* [[Prove pratiche 2018]]
−
        c -= availableBeer[t];
+
* [[Prove pratiche 2017]]
−
        availableBeer[t] = 0;             
+
* [[Prove pratiche 2016]]
−
        requests[t].Enqueue(c);
 
−
        if (requests[t].Length == 1) // Risveglio un magazziniere solo se è la prima richiesta di questo tipo di birra
 
−
        {
 
−
            pendingRequests.Enqueue(t);
 
−
            Ok2Load().Signal();
 
−
        }
 
−
        Ok2Pour[t].Wait();
 
−
        requests[t].Dequeue(); // Quando ho ottenuto la birra che voglio, elimino la mia richiesta
 
−
    }
 
−
    availableBeer[t] -= c;
 
−
}
 
−
 
 
−
Procedure entry: Type isEmpty()
 
−
{
 
−
    if (pendingRequests.Length == 0)
 
−
    {
 
−
        Ok2Load.Wait();
 
−
    }
 
−
    return pendingRequests.Dequeue();
 
−
}
 
−
 
 
−
Procedure entry: Loaded(Type t, Capacity c)
 
−
{
 
−
    availableBeer[t] += c;
 
−
    while (requests[t].Length > 0 && availableBeer[t] > requests[t].head())
 
−
    {
 
−
        Ok2Pour[t].Signal();
 
−
    }
 
−
 
 
−
    if (requests[t].Length > 0) // serve per evitare che a causa di un magazziniere lento si accodino cosi tante richieste che mentre si sta caricando si svuota subito il fusto
 
−
    {
 
−
        pendingRequests.Enqueue(t);
 
−
        Ok2Load.Signal();
 
−
    }
 
−
}
 
−
</source>
 
−
<br>
 
−
== Esame 16/07/2014 ==
 
−
=== Esercizio c.1 ===
 
−
<source lang="c">
 
−
/* Monitor Bounded Buffer: (non richiesto dall'esercizio) */
 
−
queue q;
 
−
condition oktoread; // q.length() > 0
 
−
condition oktowrite; // q.length() < MAX
 
−
 
 
−
procedure entry type read():
 
−
    if (q.length() == 0) oktoread.wait(); // controllo
 
−
    retval = q.dequeue(); // cambio lo stato
 
−
    // abilito coloro che possono essere abilitati dal cambiamento di stato
 
−
    oktowrite.signal()
 
−
    return retval;
 
−
 
 
−
procedure entry void write(type elem):
 
−
    if (q.length() >= MAX) oktowrite.wait(); //controllo
 
−
    q.enqueue(elem); // cambio lo stato
 
−
    oktoread.signal(); // abilito chi può essere abilitato
 
−
 
 
−
/* NOTE:
 
−
* procedure entry ==> dichiarazione di funzioni (senza vedere l'implementazione
 
−
* dall'esterno)
 
−
*/
 
−
</source>
 
−
<br>
 
−
<source lang="c">
 
−
/* Min-Max Monitor Bounded Buffer: */
 
−
 
 
−
Queue Q;
 
−
 
 
−
// Condition: OKTOREAD: Q.Length > MIN
 
−
// Condition: OKTOWRITE: Q.Length < MAX
 
−
 
 
−
procedure entry: Type Read():
 
−
{
 
−
    if (Q.Length <= MIN) OKTOREAD.Wait(); // Controllo
 
−
    retval = Q.Dequeue(); // Cambio di stato
 
−
    OKTOWRITE.Signal(); // Abilito chi vuole scrivere
 
−
    return retval; // Qui sono sicuro perchè ne ho eliminato uno prima
 
−
}
 
−
 
 
−
procedure entry: void Write(Type elem):
 
−
{
 
−
    if (Q.Length >= MAX) OKTOWRITE.Wait() // Controllo
 
−
    Q.Enqueue(elem); // Cambio di stato
 
−
    if (Q.Length > MIN) OKTOREAD.Signal(); // Abilito chi vuole leggere
 
−
}
 
−
</source>
 
−
<br>
 
−
=== Esercizio c.2 ===
 
−
<source lang="c">
 
−
Semaphore mutex = 1;
 
−
 
 
−
struct Elem
 
−
{
 
−
    Semaphore s;
 
−
    int counter;
 
−
}
 
−
 
 
−
struct Elem V[]; // Vettore a dimensione variabile. I nuovi elementi sono initializzati a s = 0, counter = 0.
 
−
 
 
−
void RendezVouz(int n)
 
−
{
 
−
    mutex.P(); // Blocco, decremento di 1 (il processo si blocca se il semaforo vale 0)
 
−
    V[n].counter++;
 
−
    if (V[n].counter < n)
 
−
    {
 
−
        mutex.V(); // Rilascia, incrementa di 1
 
−
        V[n].s.P();
 
−
    }
 
−
    V[n].counter--;
 
−
    if (V[n].counter > 0)
 
−
        V[n].s.V();
 
−
    else
 
−
        mutex.V();     
 
−
}
 
−
</source>
 
−
<br>
 
−
 
 
−
=== Esercizio g.1 ===
 
−
<nowiki>
 
−
    0241302 ==> soluzione corretta
 
−
(0)2  2200
 
−
(1)3  1111
 
−
(2)4  4442
 
−
(3)0  0333
 
−
 
 
−
    2 3 4 0 1 2 3 4  0  1  2  3 ==> soluzione proposta, non corretta perchè non è la stringa più corta
 
−
2          1 1 1 1  0  0  0  0
 
−
3          3 2 2 2  2  1  1  1
 
−
4          4 4 3 3  3  3  2  2
 
−
0          0 0 0 4  4  4  4  3
 
−
</nowiki>
 

Latest revision as of 15:49, 17 May 2023

Questa pagina raccoglie prove d'esame svolte (che possono essere utili alla preparazione) e soluzioni proposte a tali prove da sottoporre a peer-review. Chiunque prenda visione di un esercizio è pregato (per il bene collettivo) a lasciare una propria firma con nome utente e data di visualizzazione indicando se lo svolgimento è ritenuto corretto; in caso di svolgimento scorretto è invece invitato ad apportare una correzione o a spiegare il perché dell'errore commesso, lasciando come nel caso precedente il proprio nome utente e data di correzione.

Al fine di verificare la correttezza degli esercizi di concorrenza, segnaliamo la presenza di strumenti di programmazione concorrente per i linguaggi C e Python.

Prove scritte

Prove pratiche

Retrieved from "https://so.v2.cs.unibo.it/wiki/index.php?title=Prove_svolte_e_soluzioni_proposte&oldid=2988"