Development of a discrete-event simulation engine with concurrent constraint programming


Tezin Türü: Yüksek Lisans

Tezin Yürütüldüğü Kurum: Orta Doğu Teknik Üniversitesi, Mühendislik Fakültesi, Bilgisayar Mühendisliği Bölümü, Türkiye

Tezin Onay Tarihi: 2001

Tezin Dili: İngilizce

Öğrenci: Gürkan Özhan

Danışman: Halit Oğuztüzün

Özet:

oz EŞZAMANLI KISIT PROGRAMLAMA İLE BÎR KESİKLİ-OLAY SİMÜLASYON MOTORU GELİŞTİRİLMESİ Özhan, Gürkan Yüksek Lisans, Bilgisayar Mühendisliği Bölümü Tez Yöneticisi: Yrd. Doç. Dr. Halit Oğuztüzün Ocak 2001, 116 sayfa Bu tez, kesikli-olay simülasyonu (KOS) ve eşzamanlı kısıt programlama (EKP) ol mak üzere, bilgisayar bilimlerinin iki farklı alanına katkı sağlamayı amaçlamaktadır. Hedefimiz, KOS ve EKP dünyalarını birbirine yaklaştıran bir çalışma ortaya koy maktır. Tezde Mozart programlama sisteminin dili olan Oz kullanılarak bir eşza manlı kesikli-olay simülasyon motoru geliştirilmiştir. Oz, gelişmiş, eşzamanlı, ağlı, gevşek-gerçek zamanlı ve reaktif uygulamalar için dizayn edilmiş, yüksek ifade yeteneğine sahip, gerçek bir çoklu-paradigma dilidir. Motor çalıştırdığı modellerden kesin olarak bağımsızdır; yani, motorun birbinin aynı eşzamanlı işçi iplikleri (simü lasyon süreçleri), eşzamanlı olay kuyruğu dışında, modele dair hiçbirşez bilmezler. Simülasyon süreçleri, içinde bulunulan zamandaki olayları olay kuyruğunun başın dan alıp, model modülünün içerisinde bulunan ve alman bu olaylara denk gelen rutinleri çağırırlar. Model kodu da sistem durumu üzerinde değişiklikler yapmak sureti ile ebeveyn olayları çalıştırır ve bunun akabinde gelecek yeni olayları döndü rür. En sonunda da işçiler bu yeni olayları düzenleyip eşzamanlı bir biçimde kuyru ğa sokarlar. Motor bağımlılık sırası bulunan aynı-zamanlı olayları halledebilme yeti sine sahiptir. Motorun diğer özgün bir özelliği ise sıfır-gecikrneli gelecek olayları kabul edip idare edebilme kabiliyetidir. Motor, üzerinde olay çizge modelleri çalıştı-nlarak test edilmiştir. Son, fakat sonuncu olmayarak, motorun çalıştırdığı model lerde istenildiği kadar çok olay çizgesi niteliği ve iptal eden olaylar bulunabilir. Anahtar Kelimeler: kesikli-olay simülasyonu, eşzamanlı simülasyon, olay çizge mo- dellemesi, öncelik sıralaması, eşzamanlı kısıt programlama, Mozart programlama sistemi, Oz programlama dili vı