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

Publish Year: 1390
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 831

This Paper With 7 Page And PDF Format Ready To Download

  • Certificate
  • من نویسنده این مقاله هستم

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

لینک ثابت به این Paper:

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

ICEEE03_097

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

Abstract:

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

Authors

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

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

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

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

مراجع و منابع این Paper:

لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :
  • 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 ...
  • نمایش کامل مراجع