Esperimenti con semafori e monitor in C - Revision history

FedericoB: /* Monitor implementati con semafori */ aggiunto programma corretto

2016-11-30T08:59:49Z

Monitor implementati con semafori: aggiunto programma corretto

FedericoB: /* Monitor implementati con semafori */ Aggiunto decremento del numero di processi in una condition durante una signal.

2016-11-29T12:25:05Z

Monitor implementati con semafori: Aggiunto decremento del numero di processi in una condition durante una signal.

FedericoB: Aggiunto tentativo di implementare i monitor con i semafori

2016-11-29T09:57:20Z

Aggiunto tentativo di implementare i monitor con i semafori

FedericoB: Aggiunti semafori implementati con monitor.

2016-11-22T10:14:42Z

Aggiunti semafori implementati con monitor.

GabrieleCalarota at 19:30, 18 November 2016

2016-11-18T19:30:32Z

FedericoB: Aggiunte modifiche viste a lezione 15/11/16

2016-11-18T09:52:40Z

Aggiunte modifiche viste a lezione 15/11/16

S.G at 09:35, 18 November 2016

2016-11-18T09:35:59Z

Renzo at 11:03, 15 November 2016

2016-11-15T11:03:36Z

FedericoB: Aggiunti semafori binari implementati con counting semaphores, sistemati semafori binari implementati senza counting semaphores

2016-11-15T09:54:05Z

Aggiunti semafori binari implementati con counting semaphores, sistemati semafori binari implementati senza counting semaphores

Renzo at 08:01, 15 November 2016

2016-11-15T08:01:50Z

@@ Line 318: / Line 318: @@
 </syntaxhighlight>
 == Monitor implementati con semafori ==
---[[User:FedericoB|FedericoB]] ([[User talk:FedericoB|talk]]) 10:57, 29 November 2016 (CET) Ho provato a farlo nel seguente modo, ma non funziona. Qualche idea?
+--[[User:FedericoB|FedericoB]] ([[User talk:FedericoB|talk]]) 09:59, 30 November 2016 (CET) In [http://federico.bertani.web.cs.unibo.it/sem2mon.tar.gz questo pacchetto] trovate anche il file commentato, l'implementazione della lista di semafori e il problema bounded buffer risolto con i monitor per provare il funzionamento.
 <syntaxhighlight lang='C'>
 #include<stdio.h>
 #include "semaphore.h"
+#include "slist.h"
 struct monitor {
-     pthread_mutex_t lock;
+     semaphore lock;
-     struct urgentStack *urgent;
+     slist urgent;
 };
@@ Line 340: / Line 333: @@
 struct condition {
      monitor mon;
-     int processCount;
+     slist waitQueue;
 };
@@ Line 349: / Line 341: @@
      monitor m = malloc(sizeof(*m));
      if (m) {
-         pthread_mutex_init(&m->lock, NULL);
+         m->lock = semaphore_create(1);
          m->urgent = NULL;
+     }
@@ Line 356: / Line 348: @@
 void monitor_destroy(monitor m) {
      free(m);
+}
 void monitor_enter(monitor m) {
-     mutex_in(&m->lock);
+     semaphore_P(m->lock);
+}
 void monitor_exit(monitor m) {
-    //if there is a process in the urgent stack
+     if (m->urgent != NULL)
-     if (m->urgent != NULL) {
+         semaphore_V(slist_pop(&m->urgent));
-        //remove it from the stack and wake him up before leaving the monitor
+     else
-         semaphore_V(m->urgent->sem);
+         semaphore_V(m->lock);
+}
@@ Line 382: / Line 366: @@
      if (c) {
          c->mon = m;
-         c->sem = semaphore_create(1);
+         c->waitQueue = NULL;
+     }
      return c;
@@ Line 389: / Line 372: @@
 void condition_destroy(condition c) {
      free(c);
+}
 void condition_wait(condition c) {
-     c->processCount++;
+     semaphore sem = semaphore_create(0);
      monitor_exit(c->mon);
-     semaphore_P(c->sem);
+     semaphore_P(sem);
+}
 void condition_signal(condition c) {
-     if (c->processCount > 0) {
+     if (!slist_empty(c->waitQueue)) {
-         monitor monitor = c->mon;
+         monitor mon = c->mon;
-         struct urgentStack *top = monitor->urgent;
+         semaphore processToWakeup = slist_dequeue(&c->waitQueue);
-        struct urgentStack *new = malloc(sizeof(struct urgentStack));
+         semaphore ourSemaphore = semaphore_create(0);
-         new->sem = semaphore_create(1);
+         slist_push(&mon->urgent, ourSemaphore);
-         new->next = top;
+         semaphore_V(processToWakeup);
-        monitor->urgent = new;
+         semaphore_P(ourSemaphore);
-         semaphore_V(c->sem);
+         semaphore_destroy(ourSemaphore);
+     }
+}
 </syntaxhighlight>

@@ Line 408: / Line 408: @@
          monitor->urgent = new;
          semaphore_V(c->sem);
          semaphore_P(new->sem);
+     }
+}
 </syntaxhighlight>

@@ Line 315: / Line 315: @@
      condition_signal(s->okToP);
      monitor_exit(s->monit);
+}
 </syntaxhighlight>

@@ Line 15: / Line 15: @@
 ----
---[[User:FedericoB|FedericoB]] ([[User talk:FedericoB|talk]]) 20:51, 14 November 2016 (CET) <br>
+--[[User:FedericoB|FedericoB]] ([[User talk:FedericoB|talk]]) 11:14, 22 November 2016 (CET) <br>
 Ho aggiunto in [http://federico.bertani.web.cs.unibo.it/sm.tar.gz questo file].
 * binsemaphore.[ch] semafori binari implementati senza semafori normali
@@ Line 22: / Line 22: @@
 * dirtysemaphore.c semafori ordinari implementati con semafori binari
 * readerWriters.c soluzione del problema lettori-scrittori che abbiamo discusso [[Zibaldone | qui]]
 Nel makefile ho aggiunto:
 * il target prod_consBin e dirtyprod_consBin in cui cambia solo il tipo di semaforo binario linkato.
 * il target readerWriters e dirtyreaders_writers in cui cambia solo il tipo di semaforo ordinario linkato.
 ----
 [[User:Renzo|Renzo]] ([[User talk:Renzo|talk]]) 09:01, 15 November 2016 (CET)<br>
@@ Line 272: / Line 274: @@
      // consume value
+   }
+}
 </syntaxhighlight>

@@ Line 49: / Line 49: @@
 [[User:S.G|S.G]] ([[User talk:S.G|talk]]) 10:36, 18 November 2016 (CET)<br>
 Ho dei dubbi riguardo la seguente parte "La prima P supera la P su sem0 (che viene portato a 2) fa la V su sem1 (che ora vale 1) ed esce". La prima P viene superata, mentre la V su sem1 (verifica che la coda sia vuota, se lo è incrementa di uno il semaforo, altrimenti risveglia un processo) ha in coda alcuni processi, e quindi non dovrebbe incrementare sem1.
 == uso dei semafori ==

@@ Line 16: / Line 16: @@
 ----
 --[[User:FedericoB|FedericoB]] ([[User talk:FedericoB|talk]]) 20:51, 14 November 2016 (CET) <br>
-Ho aggiunto in [https://drive.google.com/file/d/0BzE-PtDvyCMBX3p1anYyUEJUTkU/view?usp=sharing questo file].
+Ho aggiunto in [http://federico.bertani.web.cs.unibo.it/sm.tar.gz questo file].
 * binsemaphore.[ch] semafori binari implementati senza semafori normali
 * dirtybinsemaphore.c semafori binari implementati con semafori normali
-* prod_consBin.c problema del produttore-consumatore risolto con solo un semaforo(binario).
+* prod_consBin.c problema del produttore-consumatore risolto con solo un semaforo(binario). (warning contiene useless wait)
-Nel makefile trovate sia il target prod_consBin che dirtyprod_consBin in cui cambia solo il tipo di semaforo binario linkato.
+* dirtysemaphore.c semafori ordinari implementati con semafori binari
 ----
 [[User:Renzo|Renzo]] ([[User talk:Renzo|talk]]) 09:01, 15 November 2016 (CET)<br>
@@ Line 38: / Line 42: @@
 Il primo V porta sem0 a 2 e il chiamante si ferma su sem1. Il secondo V porta sem0 a 3 e ferma anch'esso il chiamante su sem1. La prima P supera la P su sem0 (che viene portato a 2) fa la V su sem1 (che ora vale 1) ed esce. La seconda P porta sem0 a 1, sem1 a 2 ed esce. Abbiamo lasciato I due processi fermi sulla P(sem1).
 Prima o poi si sbloccheranno.... ma in questo momento nP (il numero di processi che hanno superato la P) vale 2, nV (il numero di processi che hanno superato la V) e' zero, Init era 1. quindi nV + Init - nP = 0 + 1 - 2 = -1. Ahime'! Come si risolve?
+----
 ----
 [[User:S.G|S.G]] ([[User talk:S.G|talk]]) 10:36, 18 November 2016 (CET)<br>

@@ Line 32: / Line 32: @@
 Ho sistemato creando prima i semafori binari implementati con i semafori normali. <br>
 Dopo sono riuscito a sistemare anche i semafori binari senza semafori normali. L'unico difetto è che usano 2 value invece che 1.
+----
 == uso dei semafori ==

← Older revision		Revision as of 08:01, 15 November 2016
Line 20:		Line 20:
	* prod_consBin.c problema del produttore-consumatore risolto con solo un semaforo(binario).		* prod_consBin.c problema del produttore-consumatore risolto con solo un semaforo(binario).
	Ho aggiunto un target al Makefile per prod_conBin in modo che usi lo stesso header dei semafori normali.		Ho aggiunto un target al Makefile per prod_conBin in modo che usi lo stesso header dei semafori normali.
		+	----
		+	[[User:Renzo\|Renzo]] ([[User talk:Renzo\|talk]]) 09:01, 15 November 2016 (CET)<br>
		+	attenzione: l'implementazione di FedericoB e' un ottimo punto di partenza per la discussione ma non e' corretta,
		+	Infatti non rispetta l'invariante dei semafori binari 0 <= nV + Init - nP <= 1.
		+	Poniamo infatti Init = 0, e sottoponiamo l'implementazione di Federico alla sequenza V V P V.
		+	La prima V porta il semaforo al valore 1, la seconda blocca il chiamante, la P successiva trova il semaforo a 1 quindi non e' bloccante e quindi (codice alla mano) decrementa il semaforo (s->value--) e risveglia il processo bloccato per la seconda V. Il semaforo ora vale zero. L'ultima V non e' quindi bloccante.
		+	quindi Init=0, nV=3, nP=1. (Nv + Init - Np) vale quindi 0 + 3 - 1 cioe' '''2'''. Ahi! Dov'e' l'errore?