یک مدل برای اطمینان از رهایی از بن بست در سیستم جبرگرا

سال انتشار: 1390
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 826

فایل این مقاله در 7 صفحه با فرمت PDF قابل دریافت می باشد

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:

شناسه ملی سند علمی:

ICEEE03_097

تاریخ نمایه سازی: 18 مهر 1390

چکیده مقاله:

ظهور پردازنده های چند هسته ای مدلهای برنامه ریزی همزمان را بوجود آوردکه اغلب برنامه ریزی های همزمان با دو شگرد اصلی بدون جبرگرایی و بن بست در ارتباطند بوسیله جبرگرایی خروجی رفتار برنامه مستقل از انتخاب های برنامه ریزی کننده و تنها به رفتار درونی وابسته است تعدادی از مدلهای همزمان رفتار جبرگرایی از طریق ارائه ساختارهایی که همزمانی اضافی را تحمیل می کنند ارائه میدهند اما استفاده نابجا و نادرست از چنین ساختارهایی منجر به مشکلاتی از قبیل بن بست می شود دراین مقاله درباره جبرگرایی و رهایی ا ز بن بستها بحث شده و طرحی از یک مدل جبر گرای بدون بن بست پیشنهاد می شود هر برنامه ای که این مدل را به کارببرد ضخامت دار شده تا خروجی شبیه ورودی داده شده را تولید کند.

کلیدواژه ها:

نویسندگان

سیدمجتبی سالاری

دانشگاه جامع علمی کاربردی یزد

محمدجواد فتاحی

دانشگاه آزاد اسلامی اشکذر

مراجع و منابع این مقاله:

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • BERRY, G., AND GONTHIER, G. The Esterel synchronous programming language: ...
  • BOCCHINO, JR., R. L., ADVE, V. S., DIG, D., ADVE, ...
  • BURNIM, J., AND SEN, K. Asserting and checking ...
  • DEVIETTI, J. LUCIA, B., CEZE, L, AND OSKIN, M. Dmp: ...
  • EDWARDS, S. A, AND TARDIEU, O. SHIM: A deterministic model ...
  • In Proceedings of the International Conference on Embedded Software (Emsoft) ...
  • HOARE, C. A. R. Commun icating sequential processes. Comm unications ...
  • JR., R. L. B., ADVE, V. S., ADVE, S. V., ...
  • KAHN, G. The semantics of a simple language for parallel ...
  • OLSZEWSKI, M., ANSEL, J., AND AM ARASINGHE, S. Kendo: efficient ...
  • SHAO, B., VA SUDEVAN, N., AND EDWARDS, S. A. rendezvous ...
  • communication _ In Proceedings of the International Conference on Embedded ...
  • THIES, W., KARCZM AREK, M., GORDON, M., MAZE, D., WONG, ...
  • _ _ N., AND EDWARDS, S. A. Static deadlock detection ...
  • In Proceedings of the International Conference on Formal Methods and ...
  • VA SUDEVAN, N., SINGH, S., AND EDWARDS, S. A. A ...
  • نمایش کامل مراجع