کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4951793 1441602 2017 17 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Asynchronous synthesis techniques for coordinating autonomic managers in the cloud
ترجمه فارسی عنوان
تکنیک های سنتز ناهمزمان برای هماهنگ کردن مدیران مستقل در ابر
کلمات کلیدی
هماهنگی نامتقارن، مدیران مستقل، برنامه های کاربردی ابر توزیع شده، تکنیک های سنتز،
ترجمه چکیده
ابر رایانه اجازه می دهد تا تحویل منابع محاسباتی بر روی تقاضا بر روی اینترنت بر اساس پرداخت برای استفاده. از نقطه نظر فنی، برنامه های ابر معمولا شامل اجزای نرم افزاری متعددی است که در ماشین های مجازی از راه دور مستقر شده اند. مدیریت چنین برنامه هایی یک مشکل چالش برانگیز است زیرا مدیریت دستی برای این سیستم های توزیع شده پیچیده ای غیر واقعی نیست. بدین ترتیب، محاسبات اتواتیک یک راه حل امیدوار کننده برای نظارت و به روز رسانی این برنامه ها به صورت خودکار است. این امر از طریق خودکار سازی توابع مدیریت و استفاده از حلقه های کنترل به نام مدیران اتکایی بدست می آید. یک مدیر اتونومیک محیط را مشاهده می کند، تغییرات را تشخیص می دهد و برنامه را به صورت پویا تنظیم مجدد می کند. چندین مدیران اتکایی را می توان در یک سیستم مستقر کرد و باید تصمیم های سازگارانه بگیرد. استفاده از آنها بدون هماهنگی ممکن است منجر به ناسازگاری و شرایط خطا شود. در این مقاله ابتدا یک زبان ساده برای بیان محدودیت های هماهنگ با توجه به مجموعه ای از مدیران اتکایی ارائه می کنیم. دوم، با توجه به یک عبارت هماهنگی که با آن زبان نوشته شده است، ما تکنیک های جدید سنتز را برای تولید خودکار یک کنترلر آسامنیک پیشنهاد می کنیم. این تکنیک های سنتز در دو مرحله با موفقیت تولید یک مدل از کنترل کننده و یک شیء جاوا مربوط به این مدل کار می کنند. این کد جاوا در نهایت برای راه اندازی کنترل تولید تولید شده است. تا آنجا که به ارزیابی مربوط می شود، ما رویکرد ما را با استفاده از آن برای هماهنگ کردن برنامه های ابر در دنیای واقعی تأیید کردیم.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش مقاله
تکنیک های سنتز ناهمزمان برای هماهنگ کردن مدیران مستقل در ابر
چکیده انگلیسی
Cloud computing allows the delivery of on-demand computing resources over the Internet on a pay-for-use basis. From a technical point of view, cloud applications usually consist of several software components deployed on remote virtual machines. Managing such applications is a challenging problem because manual administration is no longer realistic for these complex distributed systems. Thus, autonomic computing is a promising solution for monitoring and updating these applications automatically. This is achieved through the automation of administration functions and the use of control loops called autonomic managers. An autonomic manager observes the environment, detects changes, and reconfigures dynamically the application. Multiple autonomic managers can be deployed in the same system and must make consistent decisions. Using them without coordination may lead to inconsistencies and error-prone situations. In this article, we first present a simple language for expressing coordination constraints given a set of autonomic managers. Second, given a coordination expression written with that language, we propose new synthesis techniques for automatically generating an asynchronous controller. These synthesis techniques work in two steps by successively generating a model of the controller and a Java object corresponding to this model. This Java code is finally used for deploying the generated controller. As far as evaluation is concerned, we validated our approach by using it for coordinating real-world cloud applications.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Science of Computer Programming - Volume 146, 15 October 2017, Pages 87-103
نویسندگان
, , ,