From de9e1319699a3fcd4b5e49c1ba43530dd6173cea Mon Sep 17 00:00:00 2001 From: s03529 Date: Thu, 3 Apr 2025 16:10:46 +0200 Subject: [PATCH] pre aggiunta parte del doc --- slide/1/1.html | 12 ++++++------ slide/5/1.html | 42 ++++++++++++++++++++++++++++++++++++++++++ style.css | 4 ++-- 3 files changed, 50 insertions(+), 8 deletions(-) create mode 100644 slide/5/1.html diff --git a/slide/1/1.html b/slide/1/1.html index 4f5fe8e..0f7ca22 100644 --- a/slide/1/1.html +++ b/slide/1/1.html @@ -1,9 +1,9 @@

I monitor

- -

Pietro Tessarolo

-

Enrico Vrabie

-

Manuel Nichele

-

Lorenzo Viola

-
+
diff --git a/slide/5/1.html b/slide/5/1.html new file mode 100644 index 0000000..b98d290 --- /dev/null +++ b/slide/5/1.html @@ -0,0 +1,42 @@ + + + + readers and writers: monitor
+ begin readercount : integer;
+ busy: Boolean;
+ OKtoread, OKtowrite:condition;
+
+ procedure startread;
+ begin
+ if busy V OKtowrite.queue then OKtoread.wait;
+ readercount := readercount + 1;
+ OKtoread.signal;
+ // Quando un lettore può iniziare, tutti possono
+ end startread;
+
+ procedure endread;
+ begin
+ readercount := readercount -- 1 ;
+ if readercount = 0 then OKtowrite.signal
+ end endread;
+
+ procedure startwrite;
+ begin
+ if readercount != 0 V busy then OKtowrite.wait
+ busy := true
+ end startwrite;
+
+ procedure endwrite;
+ begin
+ busy := false;
+ if OKtoread.queue then OKtoread.signal
+ else OKtowrite.signal
+ end endwrite;
+
+ readercount := 0;
+ busy := false;
+ end readers and writers;
+
+
+
+Lorenzo Viola diff --git a/style.css b/style.css index 9482d55..864810e 100644 --- a/style.css +++ b/style.css @@ -13,7 +13,7 @@ } :root { - --dimensone-titolo: 5vw; + --dimensone-titolo: 4vw; --dimensione-corpo: 2vw; --dimensione-autore: 2vw; @@ -78,7 +78,7 @@ li { small { - font-size: 2vw; + font-size: 1.25vw; } small p {