Konsep Mutual Eksklusi

Mutual exclusion merupakan kondisi dimana terdapat sekumpulan proses yang hanya salah satu proses yang mengakses sumber daya tertentu atau melakukan fungsi tertentu pada saat tertentu. Keberadaan mutual exclusion ini berfungsi untuk mencegah penggunaan secara bersamaan resource tertentu (contohnya variabel global) oleh potongan kode program yang disebut critical section.

Mutual exclusion ini dapat ditimbulkan akibat adanya interaksi antara proses-proses yang berjalan. Dengan adanya interaksi proses yang memungkinkan adanya kompetisi antar proses, konsep bagi-pakai maupun cooperative antar proses maka kemungkinan terjadinya critical section akan terjadi.

Untuk mengatasi hal tersebut maka dibuatlah sebuah sistem manajemen proses mutual exclusion. Mutual exclusion pertama kali diungkapkan oleh Edsger Djikstra pada tahun 1965. Sejak saat itu banyak solusi yang ditawarkan untuk mengatasi adanya mutual exclusion.

Konsep Mutual Exclusion

Untuk menjelaskan bagaimana konsep mutual exclusion. Maka akan diambil sebuah contoh kejadian. Anggap sebuah perintah didalam code merubah sebagian dari data selama beberapa penjalanan program, ketika thread lain yang mungkin dipicu oleh event yang tidak diperkirakan mulai dieksekusi. Jika pada saat yang bersamaan thread kedua ini membaca dari potongan data yang sama, sedangkan data tersebut dalam proses yang sedang akan ditulisi, maka kondisi ini adalah kondisi yang tidak konsisten dan tidak dapat diperkirakan. Jika thread kedua mencoba meng-overwrite data tersebut, akan mengakibatkan keadaan yang tidak dapat ditangani (unresolveable state). Shared data diatas yang sedang diakses oleh critical sections bagaimanapun juga harus dilindungi, jadi proses lain yang membaca dari atau menulis ke dalam potongan data harus dikeluarkan dari pengeksekusian.

Jadi konsep utama dari mutual exclusion adalah bagaimana melakukan manipulasi dan membuat kebijakan tentang bagaimana tata cara pengaksesan critical section oleh proses satu dengan yang lain yang mengakses secara simultan. Mutual exclusion baik yang terjadi pada proses uniprocessing, multiprocessing maupun sistem yang cooperative, solusi yang harus dilakukan bagaimana pengontrolan akses ke sumberdaya.

Persyaratan mutual exclusion adalah sebagai berikut,

1. Mutual exclusion harus dilaksanakan : diantara sejumlah proses yang memiliki bagian kritis bagi sumber daya yang sama atau objek bagi pakai, pada suatu saat tertentu hanya sebuah proses yang diizinkan memasuki daerah kritisnya.

2. Suatu proses yang berhenti di dalam bagian kritisnya tidak boleh menganggu proses lainnya.

3. Suatu proses yang memerlukan akses ke bagian kritis tidak boleh di-delay-kan dalam waktu yang tidak tertentu.

4. Apabila di dalam bagian kritis tidak ada proses,proses yang ingin masuk ke dalam bagian kritisnya harus diizinkan masuk tanpa delay.

5. Tidak ada asumsi dibuat tentang kecepatan proses relative atau jumlah prosesor.

6. Suatu proses berada pada di dalam bagian kritisnya dalam waktu tertentu saja.

Terdapat beberapa cara untuk memenuhi persyaratan mutual exclusion , yakni dengan pendekatan software, pendekatan mesin (instruksi-instruksi mesin special purpose) dan feature-feature dukungan sistem operasi.

Mutual Exclusion secara Software

Pendekatan yang dilakukan secara software ini mengamsumsikan mutual exclusion elementer pada tingkat akses memori. Dengan kata lain, akses simultan ke lokasi yang sama dalam memori diserialkan oleh beberapa memori arbiter,walaupun urutan pemberian akses tidak ditentukan terlebih dahulu. Dan tidak diasumsikan adanya dukungan pada tingkat hardware, sistem operasi atau bahasa pemrograman.

1 Algoritma Dekker

Algoritma ini dirancang oleh ahli matematika Belanda bernama Dekker. Algoritma ini menjabarkan mutual exclusion bagi dua proses. Solusi yang dikembangkan oleh algoritma ini dilakukan secara bertahap. Kelebihan dari algoritma ini adalah mampu menjelaskan bug-bug yang paling sering dijumpai di dalam pembuatan program-program konkuren.

Didalam algoritma ini terdapat beberapa usaha yang dilakukan untuk melakukan mutual exclusion pada dua proses.

1.1 Usaha Pertama

Mekanisme yang paling umum digunakan adalah Constrain. Mekanisme yang paling umum digunakan adalah Constrain. Yakni hanya mengizinkan satu akses ke lokasi memori pada suatu saat tertentu.

Cara yang dilakukan adalah dengan membuat satu variabel bebas (int turn = 0). Sebuah proses (P0 atau P1), yang menginginkan untuk mengeksekusi bagian kritisnya harus memeriksa isi dari turn. Jika nilai turn sama dengan jumlah dari proses, maka proses dapat melanjutkan ke bagian kritis. Jika tidak maka proses tersebut menunggu untuk dapat mengeksekusi waktu krisisnya, atau yang dinamakan busywaiting. Busywaiting adalah proses menunggu untuk mengeksekusi namun terus melakukan pemeriksaan terhadap nilai dari turn.

Usaha pertama ini telah mampu memenuhi persayaratan mutual exclusion, namun memiliki dua kekurangan mendasar. Pertama, proses-proses harus diawasi dengan ketat dalam bergantian penggunaan bagian-bagian kritisnya. Jadi kecepatan ekseskusi ditentukan oleh kecepatan proses yang lebih lambat yang dimiliki oleh kedua proses. Apabila P0 mengkases bagian kritisnya 1 kali dalam satu jam, sedangkan P1 mengakses 1000 kali dalam satu jam. Maka P0 akan dipaksa menerima kelajuan dari P1. Masalah yang lebih serius terjadi apabila ada saru proses yang mengalami kegagalan, proses yang lain akan terblokir semua.

Jadi usaha tersebut walaupun sudah dikatakan mampu melakukan teknik penstrukturan yang berguna, namun belum mampu mendukung pengolahan konkuren. Usaha pertama ini biasanya dikenal dengan nama coroutine.

1.2 Usaha Kedua

Usaha kedua ini dilakukan untuk memenuhi syarat agar proses dapat memeriksa keadaan proses yang lain. Jadi ketika sebuah proses musnah, proses yang lain masih bisa mengeksekusi ke bagian kritisnya.

Untuk itu dibuat variabel global bagi pakai Flag[0] dan Flag[1]. Flag[0] berhubungan dengan P0 dan Flag[1] berhubungan dengan P1. Ilustrasinya, ketika proses P1 akan memasukki bagian kritis maka ia memeriksa Flag [0] miliki P0. Jika Flag[0] bernilai false maka P1 akan mengeksusi bagian kritisnya dan mengeset Flag[1] menjadi bernilai true. Setelah selesai mengeksekusi, maka Flag[1] diset kembali menjadi nilai false.

Dengan pendekatan seperti ini maka apabila sebuah proses mengalami kegagalan di luar bagian kritis, proses lain tidak akan terblokir. Proses akan dapat masuk kebagian kritisnya sesering mungkin yang ia mau karena status flag selalu bernilai false, namun ketika proses gagal ketika berada di bagian kritisnya maka proses akan terblokkir selamanya.

Namun proses ini memiliki tingkat sulisi yang lebih buruk dari usaha pertama. Hal ini dikarenakan usaha kedua tidak mampu menjamin adanya mutual exclusion. Dengan sistem pendekatan seperti di atas maka akan terjadi kemungkinan kedua proses berada pada bagian kritisnya secara bersamaan. Dan ini akan menjadi deadlock.

1.3 Usaha Ketiga

Usaha ketiga ini dilakukan untuk menyempurnakan kelemahan yang dimiliki oleh usaha kedua. Dalam usaha kedua bila proses rusak pada bagian diluar kritisnya maka proses lain masih dapat mengakses bagian kritisnya. Namun ketika proses terhenti di bagian kritisnya, maka proses akan terblokir selamanya.

Ilustrasi yang dilakukan menggunakan sudut pandang P0. Ketika P0 akan mengeksekusi bagian kritisnya maka akan mengeset flag [0] bernilai true agar proses P1 tidak dapat mengakses bagian kritisnya ketika P0 sedang memasukki bagian kritisnya. Hal ini telah mampu memenuhi syarat mutual exclusion.

Namun dengan mengeset nilai flagnya menjadi true sebelum mengeksekusi bagian kritisnya, maka hal ini akan menimbulkan masalah baru. Yakni ketika kedua proses pada saat yang bersamaan mengeset flag masing-masing menjadi true sebelum mengerjakan bagian kritisnya, maka kedua proses mengira proses lain sedang berada di bagian kritis. Kejadian ini merupakan deadlock.

1.4 Usaha Keempat

Usaha keempat ini menjamin adanya mutual exclusion. Usaha keempat ini mengatur sedemikian rupa supaya setiap proses tidak masuk ke bagian kritis. Kondisi ini dikenal dengan nama livestock.

Skenario ini tidak dapat diterima karena, hanya dapat dijelaskan dan tidak dapat dipertahankan untuk suatu waktu yang lama.

1.5 Solusi yang Benar

Pendekatan dengan flag array masih belum cukup untuk mengatasi masalah “mutual courtesy”. Untuk itu perlu membuat urutan aktivitas kedua proses, hal ini dapat diatasi dengan menggunakan variabel turn pada pendekatan pertama. Variabel turn ini akan mengindikasikan proses mana yang mempunyai hak memasuki daerah kritisnya.

Solusi ini dapat dijelaskan sebagai berikut. Ketika P0 ingin memasukki daerah kritisnya, P0 menyetel flagnya ke true. Kemudian P0 memeriksa flag P1. Apabila flagnya false, P0 dapat dengan segera memasukki bagian kritisnya, jika tidak, P0 memeriksa dengan turn. Jika ditemukan bahwa turn = 0, kemudian mengetahui bahwa akan kembali untuk memaksakan dan secara periodic memeriksa P1 flag. P1 akan dalam beberapa titik memeriksa bahwa akan kembali ke pemeriksaan kembali dan men-set flag false, membolehkan P0 untuk dilanjutkan. Setelah P0 telah digunakan dalam bagian kritis, akan men-set flag ke false untuk membebaskan bagian kritis dan men-set turn ke 1 untuk mentransfer hak untuk memaksakan ke P1.

2 Algoritma Peterson

Algoritma dekker menyeleseikan masalah mutual exclusion namun menggunakan program yang agak rumit dan sulit dipahami serta kebenarannya sangat sulit dibuktikan. Peterson telah memberikan solusi yang singkat dan baik sekali. Sesuai dengan solusi yang ditawarkan, flag variabel array global digunakan untuk mengindikasikan bahwa posisi setiap proses dalam kaitannya dengan mutual exclusion, dan variabel turn digunakan untuk memecah konflik yang simultan.

Untuk lebih jelasnya seperti berikut, Apabila P0 menyetel flag[0] ke true , P1 tidak bisa masuk ke bagian kritis. Apabila P1 telah masuk ke bagian kritis, flag[1] menjadi true dan P0 tidak dapat masuk kebagian kritis. Sebaliknya mutual blocking dicegah dicegah dengan memanfaatkan variabel turn.

Untuk lebih jelasnya dapat dilihat pada kemungkinan yang akan terjadi sebagai berikut :

1. P1 tidak berminat memasukki bagian kritisnya. Hal ini tidak mungkin terjadi karena P1 mengimplikasikan flag[1] = false.

2. P1 sedang menunggu bagian kritisnya. Tidak dapat terjadi karena jika turn = 1 maka P1 dapat memasukki bagian kritisnya.

3. P1 Sedang menggunakan bagian kritisnya dan memonopoli. Hal ini tidak terjadi karena karena P1 memiliki kewajiban member kesempatan kepada P0 dengan cara men-set turn menjadi 0.

Algoritma ini mampu menjelaskan mutual exclusion secara lebih mudah. Dan algoritma ini mampu dengan mudah untuk degenerate untuk sistem n-proses.