آقای علی اصغر صفایی روز دوشنبه 20/4/90 از رساله دکترای خود تحت عنوان پردازش پرس و جوی بلادرنگ در سیستم های مدیریت جریان داده دفاع نمود و موفق به کسب درجه خیلی خوب گردید. چکیده پایان نامه: بسیاری از دادههای ورودی سیستمهای نوین اطلاعاتی به صورت دنبالههای سریع، نامتناهی، متغیر در بازه زمان و با تواترهای غیرقابل پیشبینی دریافت میشوند. این گونه سیستمها به سیستمهای جریان داده موسوم هستند. پردازش این گونه جریانهای داده توسط سیستمهای سنتی مدیریت پایگاه داده مقدور نیست و به سیستمهای مدیریتی تحت عنوان سیستم مدیریت جریان داده نیاز است. شبکههای بیسیم حسگر، رهگیری پرندههای هوایی، حراجهای برخط اینترنتی، نظارت بر شبکه و سلامت افراد از نمونههای کاربردهای سیستمهای جریان داده هستند. اغلب کاربردهای سیستمهای جریان داده بیدرنگ است و پردازش بیدرنگ پرسوجوها را از سیستمهای مدیریت جریان داده طلب میکنند. سیستمهای مدیریت جریان داده تک پردازندهای مرسوم قادر به تأمین سرعت مورد نیاز برای پردازش بیدرنگ پرسوجوها نیستند. این رساله، معماری یک سیستم مدیریت جریان داده را در بستر یک پردازنده چندهستهای پیشنهاد مینماید. سرعت عمل پردازش پرسوجوها از طریق موازیسازی و اجرا بر روی پردازنده چندهستهای فراهم شده است. بدین منظور، گرافی منطقی متشکل ازکپیهای یکسان نقشه پرسوجو روی همه هستهها (به نام کلانگراف پرسوجو) ایجاد میشود. با تخصیص هر یک از عملگرها به یکی از هستهها (زمانبندی)، پردازش موازی پرسوجو محقق میشود. سایرنیازمندیهای بیدرنگی از قبیل زمانبندی بیدرنگ، نظارت بر تحقق مهلتها، کنترل پذیرش دادههای ورودی و مدیریت پرسوجوها از طریق تعبیه نرمافزاری سیستم متناظر در معماری پیشنهادی فراهم شدهاند. کارایی سیستم پیشنهادی از طریق مدلسازی با شبکههای پتری و نیز از طریق شبیهسازی مورد سنجش و ارزیابی قرار گرفته است. بهعلاوه، مشخصههای سیستم به صورت رسمی و در قالب اثبات قضایا درستییابی شده است. همچنین، نمونه آزمایشگاهی سیستم پیشنهادی پیادهسازی و مورد ارزیابی قرار گرفته است. نتایج ارزیابی نمونه آزمایشگاهی نشاندهنده کارایی مناسب سیستم پیشنهادی از نظر شاخصهای مهم یک سیستم مدیریت جریان دادهٔ بیدرنگ مانند نسبت از دست دادن مهلتها، تاخیر تاپلها و گذردهی سیستم، به علاوه تطبیقپذیری با تغییر در شرایط جریانهای داده ورودی میباشند. واژههای کلیدی: پردازش بیدرنگ پرسوجو، جریان داده، نقشه پرسوجو . Abstract: In many recent information systems, data are received as infinite, continuous, rapid, time-varying and unpredictable arrival rate (bursty) sequences. Such systems are known as data stream systems. Traditional DBMSs are week to process such streams and modern systems named DSMS (Data Stream Management Systems) are required. Wireless sensor networks, aerospace objects surveillance, online auction, network and healthcare monitoring are examples of data stream systems’ applications. Most of data stream applications are real-time and demand DSMS to provide them real-time processing of queries. This thesis presents architecture of a real-time DSMS over multiprocessing environments (e.g., a multicore processor). Fast processing of queries is achieved via parallelism. To do this, a logical graph composed of identical copies of query plan over all of the cores (named Query Mega Graph) is generated. By assigning each of operators in this graph to each of processor cores (scheduling) parallel processing of query is possible. Other real-time requirements, such as real-time scheduling, deadline monitoring, data admission control and query management are supported by employing desired components in the proposed system’s architecture. Performance of the proposed system is evaluated via modeling with Petri-Nets and simulation. Also, system properties are verified formally through theorems. Prototype of the proposed real-time DSMS is implemented and evaluated on a Core i7 2930 processor. Experimental results show that the proposed system has desirable performance w.r.t. important metrics for a real-time DSMS (e.g., deadline miss ratio, tuple latency and throughput) as well as adaptivity respect to system situations changes. Keywords: real-time query processing, data stream, query plan. ارائهدهنده: علی اصغر صفایی استاد راهنما: دکتر مصطفی حق جو هیات داوران: 1- دکتراحمد عبداله زاده 2-دکتر مسعود رهگذر3- دکتر محمد عبدالهی ازگمی 4- دکتر سعید پارسا 5-دکتر بهروز مینایی زمان : دوشنبه 20تیرماه 1390 ساعت 15 مکان: دانشکده مهندسی کامپیوتر- طبقه سوم- اتاق 304 از اساتید بزرگوار، دانشجویان گرامی و دیگر متخصصان و علاقه مندان که در این جلسه شرکت داشته اند تشکر می شود. دانشکده مهندسی کامپیوتر مدیریت تحصیلات تکمیلی |