Dispense lezioni

• Introduzione al corso (pdf)
• Architettura dei sistemi operativi (pdf)
• Classificazione dei sitemi a processori multipli (pdf)
• Comunicazione nei sistemi operativi distribuiti (pdf)
  • Client/server
  • RPC
  • Comunicazione di gruppo
• Sincronizzazione nei sistemi operativi distribuiti (pdf)
  • Sincronizzazione dei clock
  • Determinazione dello stato globale
  • Mutua esclusione distribuita
  • Transazioni atomiche
  • Deadlock
  • Algoritmi di elezione
• Gestione dei processi nei sistemi operativi distribuiti (pdf)
• File system distribuiti (pdf)
  • File service e directory service
  • Semantica della condivisione
  • Implementazione
  • Caching
  • Caso di studio: NFS
• Memoria condivisa distribuita (pdf)
  • Approcci basati su migrazione dei dati
  • Approcci basati su replicazione dei dati
  • Meccanismi di consistenza della memoria
• Sistemi operativi real-time (pdf)
  • Introduzione
  • Scheduling in sistemi operativi real-time - task aperiodici
  • Scheduling in sistemi operativi real-time - task periodici
  • Scheduling in sistemi operativi real-time - task misti

Articoli di interesse

• Remote Procedure Call
  • Utilizzo di rpcgen (pdf)
  • Utilizzo di RPC senza rpcgen (pdf)

• Sincronizzazione dei clock

  • [Lamport 78]
    L. Lamport, "Time, Clocks and the Ordering of Events in a Distributed Systems",
    Communication of the ACM, vol. 21, n. 7, pp. 558-565, 1978.
  • [Fidge 91]
    C. Fidge, "Logical Time in Distributed Computing Systems",
    IEEE Computers, vol. 24, n. 8, pp. 28-33, 1991.
  • [Mattern 88]
    F. Mattern, "Virtual Time and Global States of Distributed Systems",
    Proc. Parallel and Distributed Algorithms Conference, pp. 215-226, 1988.
  • [Raynal&Singhal 96]
    M. Raynal, M. Singhal, "Logical Time: Capturing Causality in Distributed Systems",
    IEEE Computers, vol. 29, n. 2, pp. 49-56, 1996.
  • [Cristian 89]
    F. Cristian, "Probabilisic Clock Synchronization",
    Distributed Computing, vol.3, pp. 146-158, 1989.
  • [Gusella&Zatti 89]
    R. Gusella, S. Zatti, "The Accuracy of the Clock Synchronization Achieved by TEMPO in Berkeley UNIX 4.3BSD",
    IEEE Transactions on Sotware Engineering, vol. 15, n. 7, pp. 847-853, 1989.
  • [Chandy&Lamport 85]
    K.M. Chandy, L. Lamport, "Distributed Snapshot: Determining Global States of Distributed Systems",
    ACM Transactions of Computer Systems, vol. 3, n. 1, pp. 63-75, 1985.
  • [Ricart&Agrawala 81]
    G. Ricart, A. Agrawala, "An Optimal Algorithm for Mutual Exclusion in Computer Network",
    Communication of the ACM, vol. 21, no. 1, pp. 9-17, 1981.
  • [Garcia-Molina 82]  
    H. Garcia-Molina, "Elections in a Distributed Computer System",
    IEEE Transactions on Computers, vol. 31, n. 1, pp. 48-59, 1982.
  • [Chandy-Misra-Haas 83]
    K.M. Chandy, J. Misra, L.M. Haas, "Distributed Deadlock Detection",
    ACM Transactions on Computer Systems, vol. 1, pp. 144-156, 1983.

• Allocazione e migrazione dei processi

  • [Eager 86]
    D.L. Eager, E.D. Lazowska, J. Zahorjan, "Adaptive Load Sharing in Homogeneous Distributed Systems",
    IEEE Transactions on Software Engineering, vol. 12, pp. 662-675, 1986.
  • [Mutka&Livny 87]
    M.W. Mutka, M. Livny, "Scheduling Remote Processor Capacity in a Workstation-Processor Bank Network",
    IEEE Proc. of Intenational Conference on Distributed Computing Systems, pp. 2-9, 1987.
  • [Milojicic&al 96]
    D. Milojicic, F. Douglis, Y. Paindaveine, R. Wheeler, S. Zhou, "Process Migration",
    ACM Computing Surveys, vol. 32, n. 3, pp. 241-299, 1996.
  • [Artsy&Finkel 89]
    Y. Artsy, R. Finkel, "Designing a process migration facility: The Charlotte experience",
    IEEE Computer, vol. 22, n. 9, pp. 47-56, 1989.
  • [Wisconsin]
    University of Wisconsin, "Condor: High Throughput Computing", http://www.cs.wisc.edu/condor/.

• File system distribuiti

  • [Satyanarayanan 81]
    M. Satyanarayanan, "A Study of File Sizes and Functional Lifetimes",
    ACM Proc. of Symposium on Operating Systems Principles, pp. 96-108, 1981.
  • [Gifford 79]
    D.K. Gifford. , "Weigthed Voting for Replicated Data",
    ACM Proc. of Symposium on Operating Systems Principles, pp. 150-162, 1979.

• Memoria condivisa distribuita  

  • [Li 86]
    K. Li, "Shared Virtual Memory on Loosely Coupled Multiprocessors",
    Ph.D. Thesis, Yale University, 1986.
  • [Li 89]
    K. Li, P. Hudak, "Memory Coherence in Shared Virtual Memory",
    ACM Transactions on Computer Systems, vol. 7, pp. 321-359, 1989.
  • [Lamport 79]
    L. Lamport, "How to Make a Multiprocessor Computer that Correctly Executes Multiprocessor Programs",
    IEEE Transactions on Computer, vol. C-29,n. 9,  pp. 690-691, 1979.
  • [Hutto&Ahamad 90]
    P.Hutto, M.Ahamad, "Slow Memory: Weakening Consistency to Enhance Concurrency in Distributed Shared Memories",
    Proc. of IEEE International Conference on Distributed Computing Systems,  pp. 302-311, 1990.
  • [Dubois 88]
    M. Dubois, C. Scheurich, F. Briggs, "Synchronization, Coherence, and Event Ordering in Multiprocessors",
    IEEE Computers, vol. 21, n. 2, pp. 9-21, 1988.

• Sistemi operativi real-time   

  • [Sha 90]
    L. Sha, R. Rajkumar, J.P. Lehoczky, "Priority inheritance protocol: an approach to real-time synchronization",
    IEEE Transactions on Computer, vol. 39, n. 9, pp. 1175-1185, 1990.
  • [Graham 76]
    R.L. Graham, "Bounds on the performance of scheduling algorithms",
    Computer and Job Scheduling Theory, John Wiley and sons, pp. 165-227, 1976.
  • [Graham 79]
    R.L. Graham, E.L. Lawer, J.K. Lenstra, A.H.G. Rinnooy Kan, "Optimization and approximation in deterministic sequencing and scheduling theory: a survey",
    Annals of Discrete Mathematics, vol. 5, 1979.
  • [Jackson 55]
    J.R. Jackson, "Scheduling a production line to minimize maximum tardiness",
    Management Science Research Project 43, University of California, Los Angeles, 1955.
  • [Horn 74]
    W. Horn, "Some simple scheduling algorithms",
    Naval Research Logistics Quaterly, vol. 21, 1974.
  • [Lawler 73]
    E.L. Lawler, "Optimal sequencing of a single machine subject to precedence constraints",
    Managements Science, vol. 19, 1973.
  • [Chetto et al. 90]
    H. Chetto, M. Silly, T. Bouchentouf, "Dynamic scheduling of real-time tasks under precedence constraints",
    Journal of Real-Time Systems, vol. 2, 1990.
  • [Liu&Layland 73]
    C.L. Liu, J.W. Layland, "Scheduling algorithms for multiprogramming in a hard-real-time environment",
    Journal of the ACM, vol. 20, n. 1, 1973.
  • Definizione di cyclic executive mode