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

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

     عنوان:

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

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

سایر مقالات

امروز
دیروز
هفته جاری
هفته گذشته
ماه جاری
ماه گذشته
بازدید کل
8666
23099
116699
16404402
508143
496149
16897278

آی‌پی شما: 54.208.168.232
امروز: جمعه، 10 فروردين 1403 شمسی ساعت به وقت گرینویچ: 12:01:59

توجه                           توجه

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


       دسته‌بندی: مقالات معماری کامپیوتر       فروش: 1 بازدید: 8591
مروری بر پشتیبانی برای ارتباطات ساخت یافته در مدل های کنترل همزمانی
    قیمت محصول: 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 صفحه
نوع فایل: ورد


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