![Page 1: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/1.jpg)
UNIVERSITÀ DEGLI STUDIDELLA BASILICATA
![Page 4: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/4.jpg)
•••••••
![Page 5: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/5.jpg)
© Pearson Italia S.p.A. – Silberschatz, Galvin, Gagne, Sistemi operativi
![Page 6: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/6.jpg)
© Pearson Italia S.p.A. – Silberschatz, Galvin, Gagne, Sistemi operativi
![Page 7: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/7.jpg)
© Pearson Italia S.p.A. – Silberschatz, Galvin, Gagne, Sistemi operativi
sleep()
![Page 8: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/8.jpg)
© Pearson Italia S.p.A. – Silberschatz, Galvin, Gagne, Sistemi operativi
sleep();
![Page 9: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/9.jpg)
© Pearson Italia S.p.A. – Silberschatz, Galvin, Gagne, Sistemi operativi
Problema del produttore/consumatore
con memoria limitata
Problema dei lettori-scrittori
Problema dei cinque filosofi (dining philosophers)
![Page 10: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/10.jpg)
© Pearson Italia S.p.A. – Silberschatz, Galvin, Gagne, Sistemi operativi
•
•
![Page 11: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/11.jpg)
© Pearson Italia S.p.A. – Silberschatz, Galvin, Gagne, Sistemi operativi
int n;semaphore mutex = 1;semaphore empty = n;semaphore full = 0;
![Page 12: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/12.jpg)
© Pearson Italia S.p.A. – Silberschatz, Galvin, Gagne, Sistemi operativi
![Page 13: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/13.jpg)
© Pearson Italia S.p.A. – Silberschatz, Galvin, Gagne, Sistemi operativi
![Page 14: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/14.jpg)
● …●
●●●●
![Page 15: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/15.jpg)
https://courses.engr.illinois.edu/cs241/fa2011/lectures/final/17-ClassicSynch.ppt
![Page 16: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/16.jpg)
semaphore rw_mutex = 1;semaphore mutex = 1;int read_count = 0;
![Page 17: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/17.jpg)
© Pearson Italia S.p.A. – Silberschatz, Galvin, Gagne, Sistemi operativi
![Page 18: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/18.jpg)
© Pearson Italia S.p.A. – Silberschatz, Galvin, Gagne, Sistemi operativi
![Page 19: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/19.jpg)
© Pearson Italia S.p.A. – Silberschatz, Galvin, Gagne, Sistemi operativi
![Page 20: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/20.jpg)
© Pearson Italia S.p.A. – Silberschatz, Galvin, Gagne, Sistemi operativi
![Page 21: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/21.jpg)
https://courses.engr.illinois.edu/cs241/fa2011/lectures/final/17-ClassicSynch.ppt
![Page 22: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/22.jpg)
https://courses.engr.illinois.edu/cs241/fa2011/lectures/final/17-ClassicSynch.ppt
![Page 23: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/23.jpg)
https://courses.engr.illinois.edu/cs241/fa2011/lectures/final/17-ClassicSynch.ppt
![Page 24: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/24.jpg)
© Pearson Italia S.p.A. – Silberschatz, Galvin, Gagne, Sistemi operativi
Soluzione con uso di semafori
![Page 25: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/25.jpg)
© Pearson Italia S.p.A. – Silberschatz, Galvin, Gagne, Sistemi operativi
Soluzione per mezzo di monitor
![Page 26: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/26.jpg)
© Pearson Italia S.p.A. – Silberschatz, Galvin, Gagne, Sistemi operativi
Sincronizzazione in Windows
![Page 27: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/27.jpg)
© Pearson Italia S.p.A. – Silberschatz, Galvin, Gagne, Sistemi operativi
Sincronizzazione in Windows
![Page 28: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/28.jpg)
© Pearson Italia S.p.A. – Silberschatz, Galvin, Gagne, Sistemi operativi
Sincronizzazione dei processi in Linux
![Page 29: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/29.jpg)
© Pearson Italia S.p.A. – Silberschatz, Galvin, Gagne, Sistemi operativi
Sincronizzazione dei processi in Linux
![Page 30: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/30.jpg)
© Pearson Italia S.p.A. – Silberschatz, Galvin, Gagne, Sistemi operativi
![Page 31: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/31.jpg)
© Pearson Italia S.p.A. – Silberschatz, Galvin, Gagne, Sistemi operativi
![Page 32: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/32.jpg)
© Pearson Italia S.p.A. – Silberschatz, Galvin, Gagne, Sistemi operativi
Semafori POSIX
con nome senza nome
![Page 33: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/33.jpg)
© Pearson Italia S.p.A. – Silberschatz, Galvin, Gagne, Sistemi operativi
![Page 34: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/34.jpg)
© Pearson Italia S.p.A. – Silberschatz, Galvin, Gagne, Sistemi operativi
sem_init()
sem_wait()
sem_post()
![Page 35: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/35.jpg)
© Pearson Italia S.p.A. – Silberschatz, Galvin, Gagne, Sistemi operativi
pthread_cond_tpthread_cond_init()
pthread_cond_wait()
![Page 36: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/36.jpg)
© Pearson Italia S.p.A. – Silberschatz, Galvin, Gagne, Sistemi operativi
pthread_mutex_lock(&mutex);while (a != b) pthread_cond_wait (&cond_var, &mutex);pthread_mutex_unlock(&mutex);
![Page 37: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/37.jpg)
© Pearson Italia S.p.A. – Silberschatz, Galvin, Gagne, Sistemi operativi
![Page 38: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/38.jpg)
●
●
![Page 39: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/39.jpg)
●
●
●
![Page 40: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/40.jpg)
●…
●
![Page 41: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/41.jpg)
●
![Page 42: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/42.jpg)
https://www.dis.uniroma1.it/~nardi/Didattica/CAI/matdid/GIT_SLIDES.pdf
![Page 43: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/43.jpg)
https://www.dis.uniroma1.it/~nardi/Didattica/CAI/matdid/GIT_SLIDES.pdf
![Page 44: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/44.jpg)
https://www.dis.uniroma1.it/~nardi/Didattica/CAI/matdid/GIT_SLIDES.pdf
![Page 45: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/45.jpg)
https://www.dis.uniroma1.it/~nardi/Didattica/CAI/matdid/GIT_SLIDES.pdf
![Page 46: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/46.jpg)
https://www.dis.uniroma1.it/~nardi/Didattica/CAI/matdid/GIT_SLIDES.pdf
sudo apt -get install git- core
![Page 47: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/47.jpg)
https://www.dis.uniroma1.it/~nardi/Didattica/CAI/matdid/GIT_SLIDES.pdf
git clone https://github.com/dbloisi/detectball.git
![Page 48: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/48.jpg)
https://www.dis.uniroma1.it/~nardi/Didattica/CAI/matdid/GIT_SLIDES.pdf
![Page 49: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/49.jpg)
https://www.dis.uniroma1.it/~nardi/Didattica/CAI/matdid/GIT_SLIDES.pdf
![Page 50: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/50.jpg)
https://www.dis.uniroma1.it/~nardi/Didattica/CAI/matdid/GIT_SLIDES.pdf
![Page 51: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/51.jpg)
https://www.dis.uniroma1.it/~nardi/Didattica/CAI/matdid/GIT_SLIDES.pdf
![Page 52: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/52.jpg)
https://www.dis.uniroma1.it/~nardi/Didattica/CAI/matdid/GIT_SLIDES.pdf
![Page 53: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/53.jpg)
https://www.dis.uniroma1.it/~nardi/Didattica/CAI/matdid/GIT_SLIDES.pdf
![Page 54: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/54.jpg)
https://www.dis.uniroma1.it/~nardi/Didattica/CAI/matdid/GIT_SLIDES.pdf
![Page 55: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/55.jpg)
https://www.dis.uniroma1.it/~nardi/Didattica/CAI/matdid/GIT_SLIDES.pdf
![Page 56: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/56.jpg)
https://medium.com/@stansarr/git-workflow-branches-strategy-4d29f9b2a417
![Page 57: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/57.jpg)
https://courses.engr.illinois.edu/cs241/fa2011/lectures/final/17-ClassicSynch.ppt
![Page 58: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/58.jpg)
https://courses.engr.illinois.edu/cs241/fa2011/lectures/final/17-ClassicSynch.ppt
![Page 59: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/59.jpg)
https://courses.engr.illinois.edu/cs241/fa2011/lectures/final/17-ClassicSynch.ppt
![Page 60: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/60.jpg)
https://courses.engr.illinois.edu/cs241/fa2011/lectures/final/17-ClassicSynch.ppt
![Page 61: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/61.jpg)
https://courses.engr.illinois.edu/cs241/fa2011/lectures/final/17-ClassicSynch.ppt
![Page 62: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/62.jpg)
https://courses.engr.illinois.edu/cs241/fa2011/lectures/final/17-ClassicSynch.ppt
![Page 63: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/63.jpg)
https://courses.engr.illinois.edu/cs241/fa2011/lectures/final/17-ClassicSynch.ppt
![Page 64: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/64.jpg)
https://courses.engr.illinois.edu/cs241/fa2011/lectures/final/17-ClassicSynch.ppt
![Page 65: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/65.jpg)
https://courses.engr.illinois.edu/cs241/fa2011/lectures/final/17-ClassicSynch.ppt
![Page 66: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/66.jpg)
http://www.cs.umd.edu/~hollings/cs412/s96/synch/smokers.html
![Page 67: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/67.jpg)
•
•
•
![Page 68: UNIVERSITÀ DEGLI STUDI DELLA BASILICATA - dbloisi.github.io](https://reader036.vdocuments.net/reader036/viewer/2022071303/62ccc9155f845b3d3f7b06ae/html5/thumbnails/68.jpg)
UNIVERSITÀ DEGLI STUDIDELLA BASILICATA