Petri Net Modelling of Concurrency Control in Distributed Database System

Djoko Haryono

Informasi Dasar

213090012
005.1
Karya Ilmiah - Thesis (S2) - Reference

ABSTRAKSI: Masa transaksi dapat dibagi menjadi dua tahap: tahap eksekusi dan tahap committing. Tahap eksekusi, transaksi akan mengkases data melaui suatu mekanisme kontrol konkurensi, sementara itu pada tahap committing, suatu protocol commit akan dieksekusi untuk memastikan property atomicity. Suatu transaksi yang meminta suatu lock dapat di blok oleh transaksi lain yang sedang ada di tahap committing untuk waktu yang lama karena penundaan waktu dalam menyelesaikan prosedur commit. Adanya penundaan waktu yang lama oleh suatu transaksi dalam menyelesaikan tahap committing membuat kontrol konkurensi menunggu hingga transaki menyelesaikan tahap committing. Dalam penelitian ini akan memodifikasi agar kontrol konkurensi dapat memberikan lock yang sedang di pegang oleh transaksi lain yang dalam proses penyelesaian fase committing. Kontrol konkurensi akan dimodelka menggunakan Petri Net. Hasil simulasi telah menunjukan peningkatan throughput untuk commit oleh suatu transaksi, tetepi isu mengenai adanya abort dari suatu transaksi mempunyai dampak yang signifikan terhapap kontrol konkurensi, simulasi telah menujukan adanya peningkatan abort dari suatu transaksi.Kata Kunci : Sistem Basis Data Terdistribusi, Kontrol Konkurensi, Protokol Commit, Petri Net, GSPNABSTRACT: The life time of transaction is divided into two stages: executing stage and committing stage. At the executing stage, transaction access data through a concurrency control, while at the committing stage, a commit protocol is executed to ensure failure atomicity. A transaction that requests a lock can be blocked by a committing transaction for a long time due to a long delay in completing the committing procedure. The potential long delay in transaction commitment makes concurrency control wait until transaction finish the committing stage. This study will modify concurrency control, the modified of concurrency control allows give the locks that are still on hold by another transaction in their completion of committing stage. In modeling the concurrency control, Petri Net is used. The simulation has show increase the commit throughput of transaction, but the issue of abort transaction has significant impact to modified concurrency control, the simulation has show increase the abort throughput of transaction.Keyword: Distributed Database Systems, Concurrency Control, Commit Protocol, Petri Net, GSPN

Subjek

SOFTWARE ENGINEERING
 

Katalog

Petri Net Modelling of Concurrency Control in Distributed Database System
 
 
Indonesia

Sirkulasi

Rp. 0
Rp. 0
Tidak

Pengarang

Djoko Haryono
Perorangan
Jimmy Tirtawangsa, Bayu Erfianto
 

Penerbit

Universitas Telkom
Bandung
2012

Koleksi

Kompetensi

 

Download / Flippingbook

 

Ulasan

Belum ada ulasan yang diberikan
anda harus sign-in untuk memberikan ulasan ke katalog ini