From 5fcfd880dd2b3c3446812f84cb770aef793d1626 Mon Sep 17 00:00:00 2001 From: s03529 Date: Thu, 3 Apr 2025 18:31:12 +0200 Subject: [PATCH] Aggiungi parte di vrabie --- slide/3/1.html | 8 ++++++-- slide/3/2.html | 6 ++++++ slide/3/3.html | 10 ++++++++++ slide/3/4.html | 10 ++++++++++ slide/3/5.html | 25 +++++++++++++++++++++++++ slide/4/3.html | 8 ++++---- slide/4/5.html | 6 +++--- style.css | 9 ++++++++- 8 files changed, 72 insertions(+), 10 deletions(-) create mode 100644 slide/3/2.html create mode 100644 slide/3/3.html create mode 100644 slide/3/4.html create mode 100644 slide/3/5.html diff --git a/slide/3/1.html b/slide/3/1.html index 583e35d..b6223fa 100644 --- a/slide/3/1.html +++ b/slide/3/1.html @@ -1,5 +1,9 @@ -Parte mancante +Le variabili di condizione -

perché quando mi mancano le parti io inizio a schizzare

+ +

1. Meccanismo per gestire l'attesa tra i vari processi

+

2. Non sono true o false, ma bensì una coda di attesa

+

3. Grazie ad esse si può sospendere un processo in modo sicuro

+ Enrico Vrabie diff --git a/slide/3/2.html b/slide/3/2.html new file mode 100644 index 0000000..30bba1e --- /dev/null +++ b/slide/3/2.html @@ -0,0 +1,6 @@ +Le operazioni delle variabili di condizione + +

wait = sospende un processo fino al suo riavvio

+

signal = fa riprendere un processo

+ +Enrico Vrabie diff --git a/slide/3/3.html b/slide/3/3.html new file mode 100644 index 0000000..a878bb4 --- /dev/null +++ b/slide/3/3.html @@ -0,0 +1,10 @@ +Funzionamento + + +

1° passo) verificare la disponibilità di una risorsa

+

2° passo) se la risorsa è occupata, il processo andrà in wait

+

3° passo) se il processo ha terminato di usare una risorsa, chiama il signal

+

4° passo) il processo riprende la sua esecuzione

+ + +Enrico Vrabie diff --git a/slide/3/4.html b/slide/3/4.html new file mode 100644 index 0000000..2e17473 --- /dev/null +++ b/slide/3/4.html @@ -0,0 +1,10 @@ +Vantaggi + +

I vari vantaggi delle variabili di condizione sono:

+ + +Enrico Vrabie diff --git a/slide/3/5.html b/slide/3/5.html new file mode 100644 index 0000000..789b08d --- /dev/null +++ b/slide/3/5.html @@ -0,0 +1,25 @@ +Un esempio di monitor + + + single resource: monitor
+ begin
+ busy: Boolean;
+ nonbusy: condition;
+ procedure acquire;
+ begin
+ if busy then nonbusy.wait;
+ busy := true
+ end;
+ procedure release;
+ begin
+ busy := false;
+ nonbusy.signal
+ end;
+ busy := false;
+ end single resource + +

busy = boolean per indicare se la risorsa è in uso

+

se la risorsa è occupata si farà acquire

+

una volta che la risorsa sarà utilizzata si farà il release

+ +Enrico Vrabie diff --git a/slide/4/3.html b/slide/4/3.html index b3ac8c9..ae7dd4a 100644 --- a/slide/4/3.html +++ b/slide/4/3.html @@ -1,10 +1,10 @@ Differenze Manuel Nichele diff --git a/slide/4/5.html b/slide/4/5.html index b403a29..8db6f73 100644 --- a/slide/4/5.html +++ b/slide/4/5.html @@ -1,9 +1,9 @@ Sintesi Manuel Nichele diff --git a/style.css b/style.css index 864810e..58af825 100644 --- a/style.css +++ b/style.css @@ -64,7 +64,7 @@ autore::before { content: "- "; } -ul, ol, codeblock { +ul, ol, codeblock, block { display: inline-block; width: auto; text-align: left; @@ -93,6 +93,13 @@ codeblock { border-radius: 1vw; } +code { + font-family: 'ubuntu-mono'; + background: #EAEAEA; + padding: 0.5vw 0.5vw 0.5vw 0.5vw; + border-radius: 0.25vw; +} + idt { width: calc(var(--dimensione-corpo) / 2 * var(--indentazione)); display: inline-block;