Design Simulation Queue Cake Shop With Lamport's Bakery Algorithm
DOI:
https://doi.org/10.54209/infosains.v11i2.40Keywords:
Lamport's Bakery Algorithm, Concurrency, Mutual exclusionAbstract
Mutual exclusion is one of the mechanisms that can be used to solve concurrency problems in the operating system. In the operating system, there are resources that cannot be shared at the same time, such as printers. These kinds of resources are called critical resources. Programs that use critical resources are called entering critical regions/sections. Programmers cannot rely on the operating system to understand and enforce these limits. The mutual exclusion settlement process was submitted by several experts. One of them is Lamport with a method known as Lamport's Bakery Algorithm. The work process of Lamport's Bakery Algorithm starts from the buyer entering the store and receiving the sequence number. If there is a waiter who is idle (not being / will serve other buyers), then the buyer directly asks for service from the waiter. If not, then the buyer sits in the buyer's waiting area and waits until his turn. Shoppers who have finished being served out of the store and waiters who are idle serve the lowest numbered buyers who are waiting at the waiting place of the buyer
Downloads
References
M. Tawil, “Pembelajaran Berbasis Simulasi Komputer untuk Meningkatkan Keterampilan Berpikir Kreatif Mahasiswa,” J. Ilmu Pendidik., vol. 20, no. 1, 2014.
V. Dyseryn, R. Van Glabbeek, and P. Höfner, “Analysing mutual exclusion using process algebra with signals,” in Electronic Proceedings in Theoretical Computer Science, EPTCS, 2017, vol. 255, doi: 10.4204/EPTCS.255.2.
J. Susetyo and S. R. Nasution, “ANALISIS SISTEM ANTRIAN MULTIPLE CHANNEL UNTUK KAPASITAS TERBATAS,” J. Ilm. Tek. Ind., vol. 5, no. 3, 2018, doi: 10.24912/jitiuntar.v5i3.2107.
H. Oktaviyanty, K. Dwidayati, and A. Agoestanto, “Optimasi Sistem Antrian pada Pelayanan Servis Sepeda Motor Berdasarkan Model Tingkat Aspirasi Studi Kasus Bengkel Ahass Handayani Motor (1706) Semarang,” UNNES J. Math., vol. 7, no. 2, 2018.
S. Nakano and T. Tsuchiya, “Method and case study of model checking concurrent systems that use unbounded timestamps,” 2017, doi: 10.1109/PRDC.2017.50.
J. Aranda, I. Zabalza, E. Llera-Sastresa, S. Scarpellini, and A. Alcalde, “Building energy assessment and computer simulation applied to social housing in Spain,” Buildings, vol. 8, no. 1, 2018, doi: 10.3390/buildings8010011.
Y. Li, X. Zhang, T. Qiu, J. Zeng, and P. Hu, “A Distributed TDMA Scheduling Algorithm Based on Exponential Backoff Rule and Energy-Topology Factor in Internet of Things,” IEEE Access, vol. 5, 2017, doi: 10.1109/ACCESS.2017.2758340.
L. Serlina, “Analisis Sistem Antrian Pelanggan Bank Rakyat Indonesia (Bri) Cabang Bandar Lampung Menggunakan Model Antrian Multi Channel-Single Phase,” 2018.
A. Purba and I. Taufik, “Penerapan Sistem Antrian Registrasi dengan Metode Multi Channel-Multi Phase,” J. Teknol. dan Ilmu Komput. Prima, vol. 1, no. 2, 2018, doi: 10.34012/jutikomp.v1i2.244.
S. V. Lyulin et al., “Computer Simulation of Asphaltenes,” Pet. Chem., vol. 58, no. 12, 2018, doi: 10.1134/S0965544118120149.
