Prove scritte 2014 - Revision history

Acsor: /* Esercizio c.1 (da controllare) */

2020-09-13T15:28:26Z

Esercizio c.1 (da controllare)

Acsor: /* Esercizio c.1 (da controllare) */

2020-09-13T15:25:27Z

Esercizio c.1 (da controllare)

Acsor: /* Esercizio c.1 (da controllare) */

2020-09-13T13:07:48Z

Esercizio c.1 (da controllare)

Acsor: /* Esercizio c.1 (da controllare) */

2020-09-13T09:00:10Z

Esercizio c.1 (da controllare)

Acsor: Ri-svolto es. c.1 esame 03/06/2014

2020-09-13T08:59:48Z

Ri-svolto es. c.1 esame 03/06/2014

Acsor: /* Esercizio c.1 (da controllare) */

2020-09-12T15:48:40Z

Esercizio c.1 (da controllare)

Acsor: Svolto es. c.1 esame 03/06/2014

2020-09-12T15:43:59Z

Svolto es. c.1 esame 03/06/2014

Acsor: Segnato es c.1 esame 03/06/2014 come sbagliato

2020-09-12T15:19:34Z

Segnato es c.1 esame 03/06/2014 come sbagliato

Acsor: /* Esercizio c.1 (da controllare) */

2020-09-12T09:31:39Z

Esercizio c.1 (da controllare)

Acsor: Controllato es c.1 esame 16/07/2014

2020-09-12T09:30:14Z

Controllato es c.1 esame 16/07/2014

@@ Line 232: / Line 232: @@
          monitor.__init__(self)
          self.floors, self._floor = floors, None
          # self._queue[f][dir] = condition queue associated with floor f and direction dir
@@ Line 237: / Line 238: @@
              f: {d: condition(self) for d in Direction} for f in range(floors)
+         }
          self._exits = {f: 0 for f in range(floors)}
          self._can_close = condition(self)

@@ Line 199: / Line 199: @@
 Questo svolgimento è basato sulla libreria ''pysm'' ricavabile da [[Tool per semafori e monitor]].
-* Stato: '''sbagliato/in fase di correzione'''. I processi utente possono liberamente invocare exit() senza che l'ascensore sia giunto al piano desiderato. [[User:Acsor|Acsor]] ([[User talk:Acsor|talk]]) 15:07, 13 September 2020 (CEST)
+<source lang="python">
 from enum import auto, Enum
-from pysm import condition, entry, monitor
+from pysm.monitor import condition, entry, monitor
@@ Line 228: / Line 230: @@
          :param floors: number of floors.
          """
          # self._queue[f][dir] = condition queue associated with floor f and direction dir
          self._queue = {
              f: {d: condition(self) for d in Direction} for f in range(floors)
+         }
          self._exits = {f: 0 for f in range(floors)}
          self._can_close = condition(self)
      @entry
      def at_floor(self, floor, direction):
          self._queue[floor][direction].signal()
-         while self._exits[floor] > 0:
+         if self._exits[floor] > 0:
              self._can_close.wait()
      @entry
-     def enter(self, _from, to):
+     def user_enter(self, _from, to):
          direction = Direction.from_int(to - _from)
@@ Line 254: / Line 258: @@
      @entry
-     def exit(self, _from, to):
+     def user_exit(self, _from, to):
          self._exits[to] -= 1
          self._can_close.signal()
 </source>

@@ Line 198: / Line 198: @@
 === Esercizio c.1 (da controllare) ===
 Questo svolgimento è basato sulla libreria ''pysm'' ricavabile da [[Tool per semafori e monitor]].
 <source lang="python">

@@ Line 44: / Line 44: @@
          self._max_elem = size
          while diff > 0:
              self._can_write.signal()
              diff -= 1
 </source>
 === Esercizio c.2 (da controllare) ===

@@ Line 230: / Line 230: @@
          :param floors: number of floors.
          """
-         self._floor_queue = {i: condition(self) for i in range(floors)}
+        # self._queue[f][dir] = condition queue associated with floor f and direction dir
-         self._just_entered = {i: 0 for i in range(floors)}
+         self._queue = {
+            f: {d: condition(self) for d in Direction} for f in range(floors)
-        self._my_dir = {i: condition(self) for i in Direction}
+         # self._exits[k] = v if v users are waiting to get off at floor k
-         # Can the elevator close its door?
+        self._exits = {f: 0 for f in range(floors)}
          self._can_close = condition(self)
      @entry
      def at_floor(self, floor, direction):
-         self._my_dir[direction].signal()
+         self._queue[floor][direction].signal()
-         while self._just_entered[floor] > 0:
+         while self._exits[floor] > 0:
              self._can_close.wait()
@@ Line 250: / Line 250: @@
          direction = Direction.from_int(to - _from)
-         self._my_dir[direction].wait()
+         self._queue[_from][direction].wait()
-         self._my_dir[direction].signal()
+         self._queue[_from][direction].signal()
-         self._floor_queue[_from].wait()
+         self._exits[to] += 1
      @entry
      def exit(self, _from, to):
-         self._just_entered[_from] -= 1
+         self._exits[to] -= 1
          self._can_close.signal()
 </source>

@@ Line 198: / Line 198: @@
 == Esame 03/06/2014 ==
-[http://www.cs.unibo.it/~renzo/so/compiti/2014.06.03.tot.pdf 2014.06.03.tot.pdf]
+[http://www.cs.unibo.it/~renzo/so/compiti/2014.06.03.tot.pdf Testo d'esame].
 === Esercizio c.1 (sbagliato) ===

@@ Line 200: / Line 200: @@
 [http://www.cs.unibo.it/~renzo/so/compiti/2014.06.03.tot.pdf 2014.06.03.tot.pdf]
-=== Esercizio c.1 (da controllare) ===
+=== Esercizio c.1 (sbagliato) ===
 <source lang="c">
-monitor sabelev
+// numero dei piani
 #define N n
      condition ok2enter[N][2]; //piano di partenza e direzione
      condition ok2exit[N]; //piano di arrivo
-     procedure entry: void atfloor(int floor, int direction)
+     procedure entry void atfloor(int floor, int direction) {
          ok2exit[floor].signal(); //da il via al primo del piano che deve uscire
          ok2enter[floor][direction].signal(); //da il via al primo del piano che deve entrare e deve andare in questa direzione
+     }
-     procedure entry: void enter(int from, int to)
+     procedure entry void enter(int from, int to) {
+         int direction = to > from ? 0: 1;
          ok2enter[from][direction].wait(); //mi fermo in attesa che arrivi l'ascensore
@@ Line 228: / Line 225: @@
+     }
-     procedure entry: void exit(int from, int to)
+     procedure entry void exit(int from, int to) {
          ok2exit[to].signal(); //do il via ad un altro che deve uscire a questo piano come me
+     }
@@ Line 235: / Line 231: @@
+}
 </source>
 == Esame 21/02/2014 ==

← Older revision		Revision as of 09:31, 12 September 2020
Line 113:		Line 113:
	=== Esercizio c.1 (da controllare) ===		=== Esercizio c.1 (da controllare) ===

−	* Controllato in data 11:30, 12 September 2020 (CEST) dall'utente [[User:Acsor\|Acsor]] ([[User talk:Acsor\|talk]]). Ritengo sia: corretto (perché ~~fatto~~ in maniera pressappoco identica)	+	* Controllato in data 11:30, 12 September 2020 (CEST) dall'utente [[User:Acsor\|Acsor]] ([[User talk:Acsor\|talk]]). Ritengo sia: corretto (perché svolto in maniera pressappoco identica al mio)

@@ Line 112: / Line 112: @@
 === Esercizio c.1 (da controllare) ===
 <source lang="c">
-/* Monitor Bounded Buffer: (non richiesto dall'esercizio) */
+monitor BoundedBuffer {
-queue q;
+	queue<T> q;
-condition oktoread; // q.length() > 0
-condition oktowrite; // q.length() < MAX
+	// Condition: oktoread: q.length > MIN
-procedure entry type read():
+        BoundedBuffer () {
-    if (q.length() == 0) oktoread.wait(); // controllo
+            q = new queue<>();
-    retval = q.dequeue(); // cambio lo stato
+            oktoread = new condition(this);
-    // abilito coloro che possono essere abilitati dal cambiamento di stato
+            oktowrite = new condition(this);
-    oktowrite.signal()
-procedure entry void write(type elem):
+	procedure entry T read() {
-    if (q.length() >= MAX) oktowrite.wait(); //controllo
+		if (q.length <= MIN) // Controllo
-    q.enqueue(elem); // cambio lo stato
+			oktoread.wait();
-/* NOTE:
+		retval = q.dequeue(); // Cambio di stato
- * procedure entry ==> dichiarazione di funzioni (senza vedere l'implementazione
+		oktowrite.signal(); // Abilito chi vuole scrivere
-Queue Q;
+		return retval; // Qui sono sicuro perché ne ho eliminato uno prima
-// Condition: OKTOREAD: Q.Length > MIN
+	procedure entry void write (T elem) {
-// Condition: OKTOWRITE: Q.Length < MAX
+		if (q.length() >= MAX) // Controllo
-procedure entry: Type Read():
+		q.enqueue(elem); // Cambio di stato
-procedure entry: void Write(Type elem):
+		if (q.length > MIN)
+			oktoread.signal(); // Abilito chi vuole leggere
-    if (Q.Length >= MAX) OKTOWRITE.Wait() // Controllo
+}
 </source>
 === Esercizio c.2 (da controllare) ===