دانلود فایل با شمار فاکتور

لطفا شماره فاکتور خود را درج نمایید


عنوان محصول: مروری بر پشتیبانی برای ارتباطات ساخت یافته در مدل های کنترل همزمانی

دسته‌بندی: مقالات ترجمه شده رشته کامپیوتر
تاریخ انتشار: جمعه 14 آبان 1395
توضیحات مختصر: دو مدل استاندارد حافظه اشتراکی و انتقال پیام، استفاده شده برای ارتباطات در برنامه های همزمان، برای مدت زمان بسیاری مورد بحث و تمرکز بین محققان بوده است. هم اکنون، ما اعتقاد داریم که مشکل اصلی در بحث مورد نظر، نباید در مورد انتخاب یکی از این دو مدل باشد، بلکه باید نحوه اطمینان از ساخت ارتباطات باشد ...
مروری بر پشتیبانی برای ارتباطات ساخت یافته در مدل های کنترل همزمانی مروری بر پشتیبانی برای ارتباطات ساخت یافته در مدل های کنترل همزمانی


قیمت قیمت : 20000 تومان
1095 بازدید
کد مقاله: TTC- 1- 93
نوع فایل : docx
Journal: Elsevier 2014,

A survey of support for structured communication in concurrency control models
Abstract
The two standard models used for communication in concurrent programs, shared memory and message passing, have been the focus of much debate for a long time. Still, we believe the main issue at stake should not be the choice between these models, but rather how to ensure that communication is structured, i.e., it occurs only in syntactically restricted code regions. In this survey, we explore concurrency control models and evaluate how their characteristics contribute positively or negatively to the support for structured communication. We focus the evaluation on three properties: reasonability, which is the main property we are interested in and determines how easily programmers can reason about a concurrent program’s execution; performance, which determines whether there are any distinct features which can prevent or facilitate efficient implementations; and composability, which determines whether a model offers constructs that can be used as building blocks for coarser-grained, or higher-level, concurrency abstractions.
Keywords: Concurrency; Communication; Survey; Model; Structured

چکیده
دو مدل استاندارد حافظه اشتراکی و انتقال پیام، استفاده شده برای ارتباطات در برنامه های همزمان، برای مدت زمان بسیاری مورد بحث و تمرکز بین محققان بوده است. هم اکنون، ما اعتقاد داریم که مشکل اصلی در بحث مورد نظر، نباید در مورد انتخاب یکی از این دو مدل باشد، بلکه باید نحوه اطمینان از ساخت ارتباطات باشد یعنی، تنها در مناطقی با کد محدود شده از نظر نحوی رخ می دهند. در این مقاله، ما مدل های کنترل همزمانی را توضیح می¬دهیم و چگونگی تاثیر مثبت و یا منفی مشخصه های آنها در پشتیبانی از ارتباطات ساخت یافته را ارزیابی می کنیم. در این مقاله ما بر روی ارزیابی سه مشخصه تمرکز میکنیم: معقولیت، که بعنوان ویژگی اصلی مورد توجه ما، در تعیین اینکه چگونه یک برنامه نویس میتواند به سادگی در مورد اجرای برنامه همزمان (متقارن) استدلال کند. کارایی، این مشخصه تعیین میکند که آیا یک ویژگی متمایزی وجود دارد که بتواند از پیاده سازی کار آمد جلوگیری کند و یا آنرا آسان و ساده سازد. قابلیت ساخت، که این مشخصه تعیین می کند که آیا ساختار عرضه شده توسط مدل می¬تواند برای ساخت بلوک¬ها در تجریدهای همزمانی سطح بالا و سطح پایین مورد استفاده قرار گیرد.
کلمات کلیدی: همزمانی، ارتباطات، بررسی، مدل، ساختیافته

تعداد صفحات انگلیسی تعداد صفحات انگلیسی:20 صفحه
تعداد صفحات فارسی تعداد صفحات فـارسـی:22 صفحه

تماس با پشتیبانی فروشگاه ترجمه‌های تخصصی

نام و نام خانوادگی*
پست الکترونیکی*
موضوع پیام*
متن پیام*
اطلاعات تماس با فروشگاه ترجمه‌های تخصصی


فروشگاه ترجمه‌های تخصصی
پست الکترونیک :info@ttsell.ir
پست الکترونیک :mailttsell@gmail.com
شماره تلفن تماس:09355907190
کانال تلگرام : t.me/ttsell

  • آدرس: تبریز، خیابان  خاقانی، پاساژ خاقانی، پلاک 119
  • تلفن  تماس: 09355907190
  • تلفن  ثابت : 35250068-041
  •  Mailttsellاین آدرس ایمیل توسط spambots حفاظت می شود. برای دیدن شما نیاز به جاوا اسکریپت دارید : آدرس  ایمیل
  • @ttsell:آدرس تلگرام
فروشگاه ترجمه‌های تخصصی از  سال  1387شروع به کار نموده است  و تا کنون بیش از ده هزار ترجمه در رشته ها و زمینه های مختلف توسط متخصصین این مرکز انجام  شده  است.
Scroll to top