Introduction to Synchronization
Proses Sinkronisasi adalah suatu permasalahan yang sering muncul dalam komputasi komputer. Biasanya masalah ini muncul dalam suatu kasus proses cooperative dimana ada suatu resource yang dibagikan dan digunakan secara paralel.
Semaphore in Operating System
Semaphore adalah sebuah mekanisme penanda yang berbentuk suatu variabel non-negative. Semaphore berfungsi untuk memberikan sinyal kepada sebuah thread sehingga tidak ada masalah dalam proses sinkronisasi.
Mutual Exclusion
Mutual Exclusion adalah sebuah properti dari proses sinkronisasi yang menyatakan bahwa tidak boleh ada dua proses yang berjalan berada pada critical section pada waktu yang diberikan.
Critical Section
Critical Section adalah sebuah potongan kode dimana variable yang dibagikan dapat diakses. di Dalam critical section hanya boleh ada satu proses yang dieksekusi dan proses lainnya harus menunggu giliran untuk dieksekusi.
Bounded Waiting Discussion
Sebuah forum yang membahas tentang Progress dan Bounded Waiting di dalam Critical Section. Bounded waiting adalah sebuah hubungan atau batas dari sejumlah proses yang diperbolehkan untuk mamasukkin critical section setelah sebuah request dibuat untuk memasukki critical section dan sebelum request tersebut dijalankan.
Deadlock
Deadlock adalah sebuah situasi dimana sebuah pasangan proses yang ditahan karena setiap proses mengandung resource dan menunggu resource lainnya yang sedang digunakan oleh proses lain.
Banker’s Algorithm
Banker’s algorithm adalah sebuah algoritma pengalokasi resource yang digunakan untuk mencegah terjadinya deadlock dengan cara melakukan simulasi pengalokasian dan perencanaan maksimum jumlah resource yang mungkin.
Starvation and Aging
Starvation adalah sebuah fenomena yang sering dikaitkan dengan priority scheduling algorithms dimana sebuah proses yang sudah siap untuk dijalankan untuk cpu harus menunggu tanpa jelas karena low priority.
Peterson’s Algorithm
Peterson’s algorith adalah sebuah algoritma yang digunakan untuk menyinkronisasi dua proses. Dengan menggunakan dua variabel, sebuah array boolean sebagai flag dan sebuah variabel integer turn.
Dining Philosophers Problem
Dining Philosophers Problem menyatakan bahwa ada 5 philosophers yang saling berbagi meja bundar dan mereka memakan dan berfikir secara alternatif.