OS202
Race Condition
Race Condition merupakan kondisi yang tidak diinginkan yang terjadi saat sistem mencoba untuk
melakukan 2 atau lebih operasi di waktu yang sama, tetapi karena sifat alami dari sistem, operasi
tersebut harus dilakukan dengan sekuens yang tepat untuk bisa berjalan secara tepat.
Critical Section
Critical section merupakan bagian dari program yang mencoba untuk mengakses shared resources.
Semaphores
Semaphores merupakan variabel integer yang digunakan untuk menyelesaikan masalah critical section dengan menggunakan
2 atomic operation, wait dan signal yang digunakan untuk sikronisasi proses.
Deadlock
Deadlock terjadi saat sebuah proses atau thread masuk ke state waiting karena resource yang diminta oleh sistem sedah ditahan
oleh proses lain yang menunggu, yang akhirnya menjadi menunggu resource yang lain yang ditahan oleh proses lain yang menunggu.
Spinlock
Spinlock merupakan sebuah lock yang menyebabkan sebuah thread mencoba untuk mendapat lock tersebut dengan
cara menunggu di sebuah loop selagi mengecek secara berulang apakah locknya tersedia.
Bounded Buffer Problem
Bounded buffer problem merupakan contoh dari akses bersama ke suatu shared resources dengan cara membiarkan berbagai producers dan consumers
berbagi satu buffer.
Transactional Memory
Transactional memory merupakan usaha untuk mensederhanakan concurrent programming dengan membolehkan sekelompok instruksi load and store untuk
dieksekusi secara atomik.
Safe State
Safe state terjadi jika sistem dapat mengalokasikan resources yang diminta oleh semua proses tanpa terjadinya deadlock.
Claim Edge
Claim edge menunjukkan bahwa sebuah proses pi mungkin akan meminta resource rj di waktu yang akan mendatang.
Livelock
Livelock terjadi saat 2 atau lebih proses mengulangi interaksi yang sama secara berkelanjutan dalam merespon dari perubahan di proses yang lain tanpa melakukan pekerjaan yang berguna