Optimalisasi Sinkronisasi Proses: Analisis Efektivitas Semaphore, Mutex, dan Monitor
DOI:
https://doi.org/10.53697/jkomitek.v5i1.2595Keywords:
Mutual Exclusion, Mutex, Monitor, Sinkronisasi Proses, SemaphoreAbstract
Penelitian ini bertujuan untuk menganalisis dan membandingkan efektivitas tiga mekanisme sinkronisasi dalam sistem operasi yaitu semaphore, mutex, dan monitor dalam mencegah race condition serta menjaga integritas data. Metode yang digunakan adalah studi pustaka dengan pendekatan kualitatif deskriptif komparatif. Data dikumpulkan dari literatur ilmiah yang relevan dalam lima tahun terakhir dan dianalisis menggunakan teknik analisis isi. Penilaian dilakukan berdasarkan aspek kemudahan implementasi, efektivitas dalam menjaga konsistensi, risiko deadlock dan starvation, serta kesesuaian terhadap konteks sistem operasi. Hasil penelitian menunjukkan bahwa monitor paling stabil dan mudah digunakan dalam sistem yang kompleks, mutex unggul dalam efisiensi pada sistem dengan latensi rendah, sementara semaphore memberikan fleksibilitas lebih tinggi tetapi lebih rentan terhadap kesalahan logika. Simpulan dari penelitian ini adalah bahwa tidak ada mekanisme yang paling unggul secara mutlak, sehingga pemilihan mekanisme sinkronisasi harus disesuaikan dengan kebutuhan teknis, karakteristik sistem, dan konteks implementasi. Temuan ini memberikan panduan konseptual bagi pengembang dalam memilih strategi sinkronisasi yang tepat untuk meningkatkan keandalan dan efisiensi sistem operasi.
References
Apsiswanto, U., & Muharni, S. (2022). Sistem Operasi. Literasi Nusantara Abadi.
Bovet, D. P., & Cesati, M. (2006). Understanding the Linux Kernel (3rd ed.). O’Reilly Media.
Bueso, D. (2015). Scalability Techniques for Practical Synchronization Primitives. Communications of the ACM, 58(1), 66–74. https://doi.org/10.1145/2687882
Chan, D. Y. C., & Woelfel, P. (2021). Tight Lower Bound for the RMR Complexity of Recoverable Mutual Exclusion. Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing, 533–543. https://doi.org/10.1145/3465084.3467938
Chaturvedi, A., Daymude, J. J., & Richa, A. W. (2025). On the Runtime of Local Mutual Exclusion for Anonymous Dynamic Networks. Computing and Augmented Intelligence, 1–16. https://doi.org/10.4230/LIPIcs.SAND.2025.15
Dhoked, S., & Mittal, N. (2022). Adaptive and Fair Transformation for Recoverable Mutual Exclusion. IEEE International Conference on Program Comprehension, 2022-March, 36–47.
Ehis, A. T. (2024). Analysis of Multi-Threading and Cache Memory Latency Masking on Processor Performance Using Thread Synchronization Technique. Brazilian Journal of Science, 3(1), 159–174. https://doi.org/10.14295/bjs.v3i1.458
Fajar, A., Dhika, D. S., & Febriansyah, R. P. (2022). Strategi penanganan Deadlock yang Efektif dalam Sistem Operasi Berbasis Windows: Pencegahan Deadlock, Identifikasi Faktor Penyebab, dan Dampak dari Deadlock. SINTESIA: Jurnal Sistem Dan Teknologi Informasi Indonesia, 2(1), 6–11.
Goetz, B., Peierls, T., Bloch, J., Bowbeer, J., Holmes, D., & Lea, D. (2009). Java concurrency in practice. Pearson Education.
Hansen, P. B. (1973). Operating System Principles. Prentice-Hall.
Jayanti, P., Jayanti, S., & Joshi, A. (2023). Constant RMR Recoverable Mutex under System-wide Crashes. https://doi.org/10.48550/arXiv.2302.00748
Kode, O., & Oyemade, T. (2024). Analysis of Synchronization Mechanism in Operating Systems. IEEE International Conference on Program Comprehension.
Nigro, L., & Cicirelli, F. (2024a). Correctness Verification of Mutual Exclusion Algorithms by Model Checking. Modelling, 5(3), 694–719. https://doi.org/10.3390/modelling5030037
Nigro, L., & Cicirelli, F. (2024b). Property Assessment of Peterson’s Mutual Exclusion Algorithms. Applied Computing and Intelligence, 4(1), 66–92. https://doi.org/10.3934/aci.2024005
Nigro, L., & Cicirelli, F. (2025). Proving Properties of Dekker’s Algorithm for Mutual Exclusion of N Processes. Algorithms, 18(4), 1–19. https://doi.org/10.3390/a18040226
Oracle. (n.d.). Semaphore.
Prasetiyo, S. M., Gustiawan, R., Farhat, & Albani, F. R. (2024). Penanganan Deadlock Yang Optimal Dalam Sistem Operasi Windows: Pencegahan, Identifikasi Penyebab, Dan Konsekuensi Deadlock. BIIKMA : Buletin Ilmiah Ilmu Komputer Dan Multimedia, 2(1), 60–64. https://jurnalmahasiswa.com/index.php/biikma/article/view/1030/691
Ratna, S. (2023). Sistem Operasi. Yayasan Kita Menulis.
Raynal, M., & Taubenfeld, G. (2022). A visit to mutual exclusion in seven dates. Theoretical Computer Science, 919, 47–65. https://doi.org/10.1016/j.tcs.2022.03.030
Sakthivel, & Sreeja. (2024). Synchronization Techniques in Real-Time Operating Systems: Implementation and Evaluation on Arduino with FreeRTOS. IJARCCE: International Journal of Advanced Research in Computer and Communication Engineering, 13(2), 279–284. https://doi.org/10.17148/IJARCCE.2024.13246
Shakor, M. Y. (2021). Scheduling and Synchronization Algorithms in Operating System: A Survey. Journal of Studies in Science and Engineering, 1(2), 1–16. https://doi.org/10.53898/josse2021121
Silberschatz, A., Galvin, P. B., & Gagne, G. (2018). Operating system concepts (10th edition). John Wiley & Sons.
Stallings, W. (2018). Operating Systems: Internals and Design Principles (9th Edition). Pearson Education.
Suveetha, Sree Dharshni V, Akhyara, Sujithra, & Chitra. (2020). A Theory of Synchronisation using Semophores. International Journal of Advances in Engineering and Management (IJAEM, 2(9), 256–263. https://doi.org/10.35629/5252-0209256263
Syakur, M. A. (2020). Buku Ajar Teknik Informatika: Sistem Operasi. Media Nusa Creative.
Tanenbaum, A. S., & Bos, H. (2015). Modern Operating Syatems (4th Edition). Pearson.
Turck, F. De. (2022). Methodology for Simulation-based Comparison of Algorithms for Distributed Mutual Exclusion. Ghent, 1–5. https://doi.org/10.48550/arXiv.2211.01747
Wang, Y., Gao, F., Wang, L., Yu, T., Zhao, J., & Li, X. (2022). Automatic Detection, Validation, and Repair of Race Conditions in Interrupt-Driven Embedded Software. IEEE Trans. Softw. Eng., 48(1), 346–363. https://doi.org/10.1109/TSE.2020.2989171
Yu, Z., Gu, J., Wu, Z., Liu, N., & Guo, J. (2023). HTLL: Latency-Aware Scalable Blocking Mutex. IEEE Transactions on Parallel & Distributed Systems, 36(03), 471–486. https://doi.org/10.1109/TPDS.2025.3526859
Downloads
Published
How to Cite
Issue
Section
License
Copyright (c) 2025 Almira Rahma Fadhila, Alvyn Hadrian Nugraha, Cynthia Hasna Mazaya, Mochammad Syahrul Ramadhan, Jajang Kusnendar
This work is licensed under a Creative Commons Attribution 4.0 International License.
