Konsep Process Synchronization dibuat untuk mengatasi masalah yang kemungkinan akan terjadi ketika menjalankan beberapa processes. Synchronization bertugas untuk mengkoordinasikan eksekusi dari processes dimana tidak ada dua processes mempunyai akses ke shared-data dan resources yang sama. Konsep ini diperlukan pada sistem multi-process ketika beberapa processes sedang berjalan bersamaan, dan ada lebih dari satu processes mencoba untuk mengakses shared data atau resource yang sama dalam waktu yang bersamaan. Di website ini dibahas bagaimana cara kerja konsep Synchronization, masalah yang ditimbulkan seperti Critical Section Problem, dan solusinya.
Ketika 2 processes membutuhkan akses ke shared data yang sama pada waktu bersamaan, bagaimana caranya mereka tidak memanipulasi data dalam waktu yang sama. Biasanya masalah ini diselesaikan oleh hardware. Tetapi ada suatu algoritma bernama Dekker’s Algorithm yang dapat menangani hal ini tanpa resource dari hardware. Masalah ini dijelaskan dalam video animasi 3D yang interaktif dan mudah dimengerti.
Algoritma ini digunakan untuk snychronize dua processes. Menggunakan dua variabel, boolean array flag dengan size 2 dan sebuah int turn untuk menyelesaikannya. Process yang satu melakukan busy waiting sampai process yang lain telah menyelesaikan bagian critical section-nya.
Video yang menjelaskan algoritma Peterson dengan analogi yang mudah dipahami yaitu dengan menggambarkan processes sebagai mobil-mobil yang akan memasuki area persimpangan (critical section), dan lampu lalu lintas yang bertugas untuk mengkoordinasikan apakah sebuah mobil dapat masuk critical section atau tidak. Video yang lumayan singkat tetapi informasi yang ada didalamnya sangat padat dan detail.
Pada tahun 1965, Dijkstra merumuskan metode yang baru dalam mengatur concurrent processes dengan menggunakan nilai dari suatu variable integer untuk synchronize dalam menjalankan beberapa processes. Variabel tersebut dinamakan Semaphore. Semaphore adalah variable yang berisi satu non-negatif integer yang mengatur operasi wait dan signal .
Di dalam video ini, Konsep Semaphore dianalogikan sebagai polisi yang menjaga suatu cafe. Ketika cafe penuh, polisi akan melakukan wait() sehingga tidak ada process lain yang bisa masuk. Ketika salah satu pelanggan (process) didalam cafe telah selesai, polisi akan mengirim signal() dan process telah mengantri bisa masuk ke cafe.
Deadlock adalah situasi yang terjadi dimana process memasuki ‘waiting state’ karena waiting process yang lain sedang menggunakan resource yang dibutuhkan.Di website ini dijelaskan contoh dari deadlock, apa yang dimaksud dengan circular wait, deadlock detection, deadlock prevention, advantages dan disadvantages dari deadlock.
Sebuah video yang membahas tentang Deadlock dan Starvation. Konsep deadlock dan starvation dikemas dengan contoh dan skenario yang lucu. Watch this because ‘fun’ is rare in OS imo.
Seperti yang diketahui, deadlock muncul karena 4 kondisi antara lain mutual exclusion, hold and wait, no preemption, dan circular wait. Deadlock bisa dicegah dengan cara melenyapkan 4 kondisi diatas. Terdapat masing-masing cara dalam melenyapkan keempat kondisi tersebut. Sedangkan untuk menghindari deadlock, bisa digunakan algoritma bernama Banker’s Algorithm. Algoritma ini melakukan tes pada semua request yang dibuat oleh processess untuk resources-nya, dan mengecek safe-state. Jika berada pada safe-state maka request diterima sedangkan jika berada pada no-safe-state maka request tidak diterima.
Salah satu tugas dari W07 yaitu mengirim data dari VBox ke os211.vlsm.org. scp dapat dilakukan dengan cara menambahkan ssh key pada sintaks scp.