Abstrak

Dalam tulisan ini, kami membahas algoritma distributed mutual exclusion yang berbasis Sistem Korum pada jaringan komputer. Sistem terdistribusi, G = (V, E), adalah sebuah sistem yang terdiri dari himpunan proses-proses (atau simpul atau komputer) yang independen, V, dan saling berkoordinasi dengan cara pengiriman pesan (message passing) pada sebuah jaringan komunikasi, E. Masalah mutual exclusion muncul ketika proses-proses yang terdapat dalam sebuah system terdistribusi bersaing untuk mengakses sumber daya yang dapat dipakai bersama (share resource) dengan cara yang tidak teratur. Permasalahannya adalah bagaimana membuat sinkronisasi yang aman dan efisien sedemikian hingga hanya ada satu proses yang diijinkan untuk menggunakan/mengakses sumber daya (share resource) tersebut pada suatu waktu. Ada beberapa algoritma yang dapat digunakan sebagai alternatife untuk menyelesaikan masalah mutual exclusion. Salah satunya adalah dengan sistem korum. Pada dasarnya, algoritma ini adalah penyederhanaan dari algoritma Lamport terutama dalam hal kompleksitas pesan yang didistribusi. Pada algoritma Lamport, jumlah pesan yang dikirim antar proses/komputer sebanding dengan jumlah proses yang ada dalam sistem, |V|. Untuk mengatasi masalah ini, digunakan pendekatan sistem Korum agar komunikasi antar proses/komputer hanya pada suatu kelompok kecil (subset) simpul atau proses, S Í V, sehingga jumlah pesan dapat dikurangi, |S| ≤ |V|.