Deadlock detection problem in computing systems: A simulation approach using a priority based deadlock detection algorithm
Başlık çevirisi mevcut değil.
- Tez No: 8009
- Danışmanlar: DOÇ. DR. OĞUZ TOSUN
- Tez Türü: Yüksek Lisans
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 1989
- Dil: İngilizce
- Üniversite: Boğaziçi Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Belirtilmemiş.
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 119
Özet
Bu teşde bilgisayar sistemlerindeki kilitlenme yakalama sorunu incelenmektedir. Kilitlenme modelleri ve konu hakkında yayınlanmış bazı algoritmalar tanıtılmaktadır. Daha Once düzeltilmiş“önceliğe Dayalı Bir Kilitlenme Yakalama Algoritması”açıklanmaktadır. Algoritmayı daha verimli ve doğru yapmak için bazı değişiklikler önerilmektedir. Algoritmanın son hali tek işlemcili bir sistem için benzetimlenmektedir. Değişikliklerin etkisini göstermek amacı ile, alınan sonuçlar değişiklikler yapılmadan alınan sonuçlarla karşılaştırılmaktadır. Yapılan değişikliklerle sistemin daha başarılı olduğu gözlenmektedir. Ayrıca ileride yapılacak olan benzetim çalışmaları için dağıtılmış bir sistem modeli önerilmektedir.
Özet (Çeviri)
In this thesis, the deadlock detection problem in computing systems is examined in detail. Deadlock models and some published algorithms on deadlock detection are discussed. A modified priority based algorithm is introduced and some more s modifications are offered to make the algorithm correct and more efficient The final version of the algorithm is simulated for a single-site system. To show the effects of these modifications, the simulation results obtained with modifications are compared with the results obtained without them. It is observed that after the modifications, the system performed better. For further simulation studies, a distributed system model is offered.
Benzer Tezler
- Gevşetilmiş bellek modelleri üstünde çalışan proğramlarin doğruluğunun kontrolu için durağan yöntemler
Static methods for checking correctness of programs on relaxed memory systems
İSMAİL KURU
Yüksek Lisans
İngilizce
2015
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolKoç ÜniversitesiBilgisayar Bilimleri ve Mühendisliği Ana Bilim Dalı
DOÇ. DR. SERDAR TAŞIRAN
- Dynamic data race detection in concurrent programs
Koşutzamanlı programlarda dinamik veri yarışı saptama
ÖNDER KALACI
Yüksek Lisans
İngilizce
2014
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolBoğaziçi ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
DOÇ. DR. MEHMET ALPER ŞEN
- Kilitlenme problemlerinin belirlenmesi ve çözülmesi
Deadlock detection and resolution
MUSTAFA BÜLENT MUTLUOĞLU
Yüksek Lisans
Türkçe
1999
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolYıldız Teknik ÜniversitesiBilgisayar Bilimleri Ana Bilim Dalı
DOÇ. DR. SELİM AKYOKUŞ
- Dağıtılmış veritabanı sistemlerinde eşzamanlılık kontrolü
Concurrency control in distributed database management systems
GÜRAY YILMAZ
Yüksek Lisans
Türkçe
1995
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik ÜniversitesiDOÇ.DR. NADİA ERDOĞAN
- Dağıtılmış veritabanı sistemlerinde eşzamanlılık ve eşzamanlılık kontrolü
Başlık çevirisi yok
MOGAHED A. A. RASHED
Yüksek Lisans
Türkçe
1993
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
DOÇ. DR. OYA KALIPSIZ