Simulation Models in C++ using the Psim3 Simulation Package acomm.cpp – A model with asynchronous communication of processes using system mailbox. batch.cpp - A model of a Simple Batch Operating System. No multiprogramming. batchmio.cpp - A simulation model of a Batch System with multiprogramming, using CPU & DISK bursts. batchmiog.cpp - A simulation model of a Batch System with multiprogramming using CPU & DISK bursts. The model uses a simple GUI for input paramemeters implemented with OpenGL and GLUI/GLUT (GlutMaster). batmfcfs.cpp - A simulation model of a Batch System with multiprogramming, no I/O processing. First Come First Served (FCFS) scheduling. batmsjf.cpp - A simulation model of a Batch System with multiprogramming, no I/O processing. Shortest Job First (SJF) scheduling. batmrr.cpp - A simulation model of a batch system with multiprogramming. no I/O processing. Round Robin scheduling. batmsrt.cpp - A simulation model of a Batch System with multiprogramming, no I/O processing. Shortest Remaining Time First (SRTF) scheduling. consprod.cpp - A simulation model for the consumer-producer synchronization problem, using binary and counting semaphores. consprodm.cpp - A model of the Consumer-producer (Bounded Buffer) synchronization Problem. This model uses a monitor with two condition variables (empty and full). philos1.cpp - A model of the Five Philosophers synchronization/deadlock problem This model illustrates the occurrence of deadlocks. Philos2.cpp - A model of the Five Philosophers problem. Informal attempt to deadlock solution. This model sometimes deadlocks. philoshw.cpp - A model of the Five Philosophers problem. Solution: Deadlock prevention by disallowing the hold and wait condition. philoscw.cpp - A model of the Five Philosophers problem. Solution: Use of a critical section disallowing the circular Wait condition. reawrite.cpp - A C++ model of Concurrent Readers/Writers problem. This model uses two binary semaphores. reawriterp.cpp - A C++ model of Concurrent Readers/Writers problem. This model uses two binary semaphores and assigns higher priority to writers. scomm.cpp - A model of Synchronous process communication (direct communication). IPC synchronous communication in C++/Psim3. fifopgrep.cpp - This model implements First In First Out (FIFO) page replacement algorithm. lrupgrep.cpp - This model implements the Least Recently Used Page (LRU) page replacement algorithm. optpgrep.cpp - This model implements Optimal page replacement algorithm. wspgrep.cpp - This model implements Working Set (dynamic) page replacement algorithm. dsfcfs.cpp - A simulation model of Disk scheduling using FCFS discipline with moving-head disk. dssstf.cpp - A simulation model of Disk scheduling using Shortest-Seek-Time-First (SSTF) discipline with moving-head disk.