بترکه چشم حسود    

جستجوی پیشرفته مقالات

     عنوان:

نماد اعتماد الکترونیکی

لیست مقالات ترجمه شده

سایر مقالات

امروز
دیروز
هفته جاری
هفته گذشته
ماه جاری
ماه گذشته
بازدید کل
12956
36285
97890
16404402
489334
496149
16878469

آی‌پی شما: 54.89.24.147
امروز: پنج شنبه، 09 فروردين 1403 شمسی ساعت به وقت گرینویچ: 11:01:02

توجه                           توجه

تمامی مقالات ترجمه شده در قالب فایل ورد (Word)  ارائه می‌شوند.



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

لینک دانلود فایل خریداری شده، بلافاصله بعد از پرداخت آنلاین فعال می‌شود.

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



قیمت: 200000 ریال

  دسته‌بندی: مقالات معماری کامپیوتر

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.

 

pdfدانلود رایگان مقاله انگلیسی                  1.15 MB

 

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

 

تعداد صفحات مقاله انگلیسی: 20 صفحه
تعداد صفحات مقاله فارسی: 24 صفحه
نوع فایل: ورد

اضافه کردن نظر