MODEL KOMPUTASI TERDISTRIBUSI MENGGUNAKAN OTOMATA INPUT/OUTPUT UNTUK MASALAH DISTRIBUTED LEADER ELECTION
| Main Author: | PAELO, ELVINA |
|---|---|
| Format: | Article |
| Terbitan: |
, 2015
|
| Subjects: | |
| Online Access: |
http://repository.unhas.ac.id/handle/123456789/14668 |
Daftar Isi:
- Setiap sistem terdistribusi memerlukan suatu protokol untuk dapat mengkoordinasikan aktivitas pada setiap proses dalam sistem. Protokol ini bekerja atas sebuah algoritma yang dikenal sebagai algoritma terdistribusi. Algoritma terdistribusi dapat ditentukan berdasarkan masalah yang ingin diselesaikan dalam sistem. Distributed leader election merupakan masalah utama yang ditemukan pada sistem terdistribusi dan banyak algoritma yang telah diusulkan untuk dapat menyelesaikan masalah tersebut. Namun, memodelkan algoritma tersebut pada sistem terdistribusi adalah hal yang tidak mudah. Oleh karena itu, dalam penelitian ini diperkenalkan model otomata input/output sebagai model matematika yang digunakan pada algoritma terdistribusi asinkron. Kemudian model otomata input/output ini diimplementasikan pada masalah distributed leader election menghasilkan sebuah model yang disebut algoritma AsynchLCR. Selanjutnya, dibuktikan secara formal bahwa model tersebut dapat menyelesaikan masalah distributed leader election.