ارائه یک مدلسازی صوری ازمساله بن بست درسیستم های هم روند
Publish place: 2nd Lahijan National Conference on Software Engeering
Publish Year: 1391
Type: Conference paper
Language: Persian
View: 1,568
This Paper With 8 Page And PDF Format Ready To Download
- Certificate
- I'm the author of the paper
Export:
Document National Code:
LNCSE02_019
Index date: 24 February 2013
ارائه یک مدلسازی صوری ازمساله بن بست درسیستم های هم روند abstract
از انجایی که سیستم های همروند ترکیبی از چندین واحد اجرایی هستند بروز مسائل مهمی همچون بن بست و بن باز دور ازانتظار نخواهدبود یکی از روشهای ممکن برای همگام سازی عملیات پردازه ها درمحیطهای همروند استفاده ازپروتکل های قفل گذاری است ازطرف دیگرا ستفاده بیش ازیک قفل درسیستم منجر به بروز مشکلاتی از قبیل عدم پیشرفت سیستم خواهد شد بطوریکه بروز مساله بن بست یکی از علل عدم پیشرفت برای سیستم شناخته شدها ست عامل همروندی درسیستم های همروند اهمیت و حساسیت بالای یرا ایجاد خواهد کرد بنابراین اطمینان یافتن ازصحت عملکرد این سیستم ها توسط روشهای استاندارد صوری امری ضروری شمرده خواهد شد تا از اهمان ابتدا هرگونه ابهام و نقض درساخت و تولید چنین سیستم هایی برطرف شوند هدف نهایی این مقاله یک مدلسازی صوری ازیکی ازجنبه های اصلی سیستم های همروند یعنی مساله بن بست است که این توصیف تنها با استفاده از یک نمادگذاری یعنی زبان توصیف صوری Z ارایه میشود.
ارائه یک مدلسازی صوری ازمساله بن بست درسیستم های هم روند Keywords:
ارائه یک مدلسازی صوری ازمساله بن بست درسیستم های هم روند authors
سیده سارا شریفی راد
کارشناس ارشد مهندسی نرم افزار
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :