Національний університет
“Києво-Могилянська Академія”
Мобільні агенти і обчислення
Реферат з курсу “Програмне забезпечення інтелектуальних систем”

Вступ
Мета взаємодії людського суспільства з комп'ютерами - зробити потужні програми легкими у використанні, зберігаючи їхній повний потенціал.
Новим жанром в індустрії програмного забезпечення стали програми, які можуть мігрувати від однієї машини до іншої, зберігаючи свій інтерфейс користувача і контекст виконання, зупиняти своє виконання перед міграцією і поновлювати його від того місця, де була зроблена зупинка перед міграцією, зберігаючи при цьому свій внутрішній стан під час переміщення. Такі програми не прив'язуються до одного користувача або до однієї машини, а можуть блукати вільно по мережі, надаючи сервіси користувачам, збираючи інформацію, і взаємодіяти з іншими програмами такого роду. Після переміщення, комп'ютер, на якому раніше знаходилась така програма, може припинити роботу без жодного впливу на її подальшу роботу, тобто таку програму з деяким припущенням можна називати вже не комп’ютерною, а мережною. Такий тип програм отримав назву міграційні програми (migratory applications), або мобільні агенти.
Міграція програм є корисною в контексті співробітництва, яке базується на теорії агентної взаємодії.
Наприклад:
1. Програми, які слідують за користувачем фізично: з дому на місце роботи і назад додому;
2.Програми, які обслуговують групу людей, мігруючи до комп’ютера кожного з них по черзі (щось на зразок диспетчера або секретаря);
3. Програми, які взаємодіють з людьми для задовільнення потреб певної особи (деякого фізичного агента).
Крім того, дослідження можливостей агентного підходу до програмування з недавнього часу розгорнулися в США, коли NASA (National Aeronautic Space Administration) оголосила своєю метою встановлення віртуальнюї присутності в космосі шляхом використання зондів-роботів. Справа в тому, що освоєння та дослідження космосу, а саме складність просторового довкілля вимагають таких машин, які водночас були б і механічними виконавцями команд, і водночас могли б автоматично, на далекій відстані від Землі, виконувати складні обчислення і приймати рішення в критичних ситуаціях автономно, не очікуючи команд, яка можуть просто запізнитися. Недавній зсув в фінансуванні проектів освоєння космічного простору від багатомільярдних вкладень, орієнтованих на великі екіпажі космонавтів, до дешевших, націлених на багато меншу кількість членів екіпажу, став вимагати створення космічних агрегатів, що контролюються інтелектуальними частково-незалежними об'єктами, відомими, як автономні агенти. І це природно, тому що великі дистанцій і затримки часу, які пов’язані з роботами в космосі, роблять неможливим керування роботами безпосередньо з Землі. Нові методи автономного управління зондами надають можливість подолати між іншими речами проблеми великих відстаней і часу.
Поточні дослідження встановлюють, як контролювати взаємодію між такими агентами, їхніми внутрішніми під-системами і людиною. Регульована автономія є цікавою, коли маємо справу з системами, які повинні функціонувати автономно протягом декількох років, або, наприклад, коли необхідно, щоб система сама прийняла рішення про припинення своєї діяльності без отримання інструкцій з боку оператора-людини.
В цій роботі буде описано загальні принципи функціонування мобільних агентів (мігруючих програм), а також буде розглянуто, як міграція програми може бути здійснена на рівні мови/середовища програмування.
Мобільність
Мобільні агенти знедавна стали вельми цікавою темою для обговорення в колі дослідників. Існує вже багато робіт, які досліджують потенціал цієї нової парадигми. Хоч й досі немає остаточної відповіді на питання, до чого може дійти розвиток мобільних агентів, на них покладають великі надії, а тому обсяг робіт, присвячених ним, зростає.
Поняття про мобільних агентів було встановлене в 1994, як опис обчислювального середовища, відомого, як Telescript. У цьому середовищі програми під час виконання можуть зупинити власне виконання і перемістити себе з одного комп’ютера до іншого в обчислювальній мережі, відновивши своє виконання після “прибуття” на нове місце.
В цій роботі мобільний агент буде визначений, як: програма - агент, який може автономно мігрувати з одного комп'ютера до іншого в обчислювальній мережі. В розділі, який присвячений середовищу створення міграційних програм Obliq, зроблено детальний огляд того, з чого саме складаються такі програми, а зараз спробуємо неформально дослідити, як працюють ці системи.
За своєю природою, мобільним агентам притамано поширюватися. Як такі, вони повинні функціонувати на різних платформах та операційних системах для реалізації свого потенціалу. Ця потреба виразилася в тому, що мобільних агентів створюються в таких системах, які дозволяють використовувати сценарії, або представляти код програми у вигляді байт-коду – такого набору інструкцій, який може бути проінтерпретований. Інтерпретація усуває необхідність перекомпіляції після прибуття агента на новий комп’ютер, і тільки вимагає такого середовища в цьому комп'ютері, яке здатне коректно відновити роботу агента після його прибуття. Середовище, в якому можуть функціонувати агенти, називається сервером агентів.
Ці сервери працюють на зразок спільного робочого середовища, в якому агенти всіх типів можуть обмінюватися один з одним повідомленнями. Сервери агентів надають сервіси для прибуття агентів і здійснюють управління агентами в цьому середовищі. Через сервер агент може отримати інформацію про середовище, послати запити до середовища і інших агентів та отримати повідомлення від активних в даний момент агентів та середовища. Мобільні агенти можуть взаємодіяти шляхом передачи повідомлень як безпосередньо між собою, так й скориставшись сервісами середовища. Системи мобільних агентів абсолютно відрізняються від існуючих традиційних розподілених систем, які поширені в індустрії. Ці системи можуть бути охарактерізовані, як такі, що надають сервіси для локальної взаємодії між агентами, і реалізують мобільні логіку і дані.
Ця відмінність робить мобільних агентів особливо корисними. У протилежність системам з мобільним кодом, наприклад аплетам Java, які містять послідовність команд, і фактично мають тільки мобільну логіку, або традиційним розподіленим системам, що використовують віддалений виклик процедур (RPC) і мають тільки мобільні дані, системи мобільних агентів поєднують в собі як мобільність коду, так і мобільність даних.
Переваги мобільних агентів
Переваги мобільних агентів полягають в простоті встановлення серверної бази, гнучкості сервера, а також в локальній взаємодії в реальному часу. Системи мобільних агентів реалізують підтримку клонування, постійної пам'яті агентів і групового обміну повідомленнями.
Більшість програмної логіки, яка за діючою парадігмою статичних клієнт-серверних взаємодій була інкапсульована в статичних клієнтах або серверах, в мобільних системах перенесена в агента, гарантуючи при цьому, що встановлена база сервера для систем мобільних агентів цілком проста. Все, що входить в функції сервера – це підтримка міграцій агентів і забезпечення доступу до будь-яких ресурсів в межах середовища. Це дозволяє досягти великої гнучкості в роботі сервера, тому що поступаючий агент може сам ефективно змінити поведінку сервера прибуття, як то кажуть, “на льоту”. Системи мобільних агентів розглядають сервер, як ізольовану ділянку, на якій мобільний агент може скористатися локальними ресурсами. Ці ресурси не є доступними безпосередньо через мережу, і тому для користування ними мобільний агент повинен транспортувати себе сам до ресурсу або, в більш складному випадку, “послати підлеглого”, тобто запросити в деякого спеціального агента доставку даних.
Можливо, найбільш цитована причина для відмови від мобільності полягає в тому, що в недалекому майбутньому Internet матиме достатню пропускну здатність, щоб підтримати весь трафік, і, що клієнт-серверні взаємодії через Web будуть виконуватися так саме швидко, як і взаємодії всередині єдиної машини, таким чином заперечуючи перевагу взаємодії, доступної за допомогою мобільних агентів.
Це спірна точка зору, але ми відкинемо це зараз, бо, наприклад, мережа, на яку зважають в NASA, надзвичайно величезна. Для взаємодії у космічному просторі локальна взаємодія є більш природньою, ніж віддалене керування.

Структура управління мобільного агента
Запропонована структура управління мобільними агентами полягає в тому, що кожний сервер надає простий інтерфейс для прийняття агента в своє середовище. Після входу в середовище агент стає спроможним доступитися до локальних ресурсів для виконання власної задачі.
На відміну від мобільного коду, який тільки сліпо виконується, мобільний агент може показати всі ознаки, які були в нього закладені, включаючи реактивність і навчання. Треба встановити, як узгоджується автономність і взаємодія між агентами. Якщо прибулий агент бажає скористатися простим ресурсом на комп’ютері, відповідальним за надання доступу до ресурсу покладається на сервер, і вже в його компетенції буде надання дозволу на використання ресурсу або заборона такого доступу через можливу небезпеку для інших агентів або для самого серверу. З другого боку, агент може забажати взяти завершене управління. Регламент надання таких повноважень агентам в даний момент досліджується і залишається центральним для успіху запропонованої структури керування мобільними агентами.
Мобільні обчислення – Obliq
Програмна модель створення мігруючих програм базується на засобах, які доступні в мові розподіленого сценарію Obliq.
В Obliq, довільні дані, в тому числі й процедури (код програми), можуть бути передані по мережі. Одиниця даних Obliq може бути представлена графом, при чому деякі вершини є змінними (це означає, що вони мають деякий стан, який може бути змінений присвоєнням), а інші вершини незмінні (означає, що вони не можуть бути змінені). Наприклад, текст процедури програми є незмінним і не може бути змінений, в той час, як поля в деякому об'єкті змінні через те, що цим полям взагалі можна присвоїти нові значення.
Коли граф даних передається на виконання до віддаленої процедури, або повертається від неї, будемо казати, що він передається по мережі. Зупинимось на передачі даних трохи детальніше.
Починаючись від даного кореня, граф даних копіюється від початкового сайту до машини призначення, при цьому змінні вершини не копіюються; в їхній позиції вписується посилання на місце в мережі, де вони насправді знаходяться. Наприклад, об'єкт (одна з основних структур даних) в Obliq ніколи не копіюється по мережі, замість цього на нього передається вказівник. На цей об'єкт потім можна віддалено послатися через цей самий мережевий вказівник, наприклад, віддалено викликати один з методів.
Процедури Obliq, подібно іншим даним, мають значення, яким можна маніпулювати і передавати. Значення процедури зветься припиненням, воно складається з тексту процедури та таблиці значень для глобальних змінних цієї процедури.
На відміну від механізму передачі даних по мережі, в Obliq існує примітив, який дозволяє дозволяє передати весь граф даних, як змінних, так і незмінних. Це необхідно при переміщені всього інтерфейсу користувача на інший хост. В графі даних можуть міститися дані про положення та параметри всіх вікон користувацького інтерфейсу. Після одержання такої копії графа даних, на машині, куди мігрує програма, проінтерпретувавши цей граф можна миттєво відновити зовнішній вигляд інтерфейсу користувача, “яким його залишили”.
Агент в Obliq– це такий програмний продукт, яке може “стрибнути” по мережі з одного комп’ютера на інший.
Портфель(Suitcase) – це ті дані, які агент переносить із собою при міграції з сайту на сайт. В ньому міститься “довгострокова” пам'ять агента. Це може бути список машин, які вже були відвідані, завдання, які треба виконати на кожному комп'ютері, і результати виконання цих завдань.
Бріфінг(Briefing) - дані, які агент отримує на кожній машині при вході. Може включати пораду для агента (наприклад, "дуже зайнятий тепер, спробуйте піти на інший сайт"), і будь-які дані, які описують цей сайт, як то локальна файлова система і наявні бази даних.
Сервер агента(Agent Server) - для даного сайта це програма, яка приймає код агента по мережі, виконує його і забезпечує агента локальними даними.
Команда стрибка(Hop instruction) - використовується агентами, щоб пересунутися з одної машини до наступної. Ця команда має, як параметри, сервер агента, код агента, і його Suitcase. Агент і Suitcase відсилаються до сервера агента для виконання.
Нарешті, агент – це визначений користувачем код, Suitcase та Briefcase. Всі потреби агентів в даних повинні бути задоволені тим, що знаходиться в чемодані або в параметрах Бріфінга. На кожному сайті, агент перевіряє Briefcase і чемодан, щоб з’ясувати свою наступну поведінку. Після виконання деяких завдань на одному сайті, звичайно виконується команда стрибка для пересунення до наступної машини.
Якщо агент має інтерфейс користувача, то перед стрибком виконується копіювання відповідного графу даних, зберігається в чемодані і відновлюється на новому місці.
Як вже було сказано, агент визначається кодом, Suitcase’ом та Briefcase’ом: Suitcase мандрує з агентом від сайту до сайту, в той час, як свіжий Briefcase забезпечується в кожному новому місці сервером агента. Агенти пересуваються від машини до машини за допомогою виконання команди стрибка:

let rec agent =
proc(siutcase, briefcase)
(* працювати на поточному сайті *)
(* вирішити, куди піти далі *)
hop(nextSite, agent, siutcase);
(* виконати agent на nextSite з siutcase *)
end;
Як бачимо, агент являє собою процедуру, яка має два параметри. Siutcase і Briefcase – це довільні дані, в якості яких зручно використовувати об'єкти. Кожний агент відповідає за зміст чемодана, і кожний сервер агента відповідає за зміст briefcase’а. Сервери агентів є простими обчислювальними програмами-серверами, і їх головним завданням є виконання агентів і забезпечення їх відповідними інструкціями. Ще однією функцією сервера агента може бути перевірка “вірчих грамот” агента, тобто його ідентифікація.
Visual Obliq - це середовище для швидкого створення програм з інтерфейсом користувача. Воно складається з:
Інтерактивного конструктора, який дозволяє швидко створити і запрограмувати інтерфейс користувача, при чому генерація коду на Obliq відбувається автоматично.
Системи run-time підтримки, яка складається з бібліотек і мережевих сервісів.
Примусити програму мігрувати до нового сайту можна за допомогою виконання команди переміщення. Для переміщення програми на інший сайт треба виконати одну з наступних команд:
MigrateTo(Host)
MigrateToServer(ServerName, Host)
Перша команда переміщує програму до сервера агента по замовчанню під назвою VOMigrate, на машину з назвою Host. VOMigrate продовжує виконання програми з того місця, де воно було перерване, і не забезпечує агента новими інструкціями. Таке переміщення є достатнім для найпростішого переміщення програми.
Друга команда примушує агента мігрувати до визначеного сервера агента під назвою ServerNarne, на машині з назвою Host. У обох випадках сервер агента запускається користувачем, який отримав переміщеного агента.
Команда переміщення повертає значення true в тому випадку, якщо агент успішно перемістився. В іншому випадку повертається значення false. В разі успішного мігрування виконання локального екземпляру агента завершується одразу після надходження повідомлення, інтерфейс користувача і стан виконання програми знищується. У випадку невдалої спроби переміщення, агент продовжує виконуватися неначе нічого не сталося.
Сервер агента - це розширений інтерпретатор Visual Obliq, який включено в середовище розробки мобільних агентів.
Визначені користувачем сервери агента створюються за допомогою розширення сервера агента по умовчанню, щоб забезпечити агента специфічними інструкціями, наприклад, здійснити контроль доступу. Щоб бути корисним, серверу агента потрібно мати дружній до користувача інтерфейс, щоб допомогти користувачеві відслідковувати і регулювати активність міграційних програм. Наприклад, користувач міг би зумовити: "Я дозволяю працювати на цій машині тільки програмам типу X"; "Я повернусь в час Y". Визначений користувачем сервер агентів припускає ідентифікувати прибулих агентів, а також здійснювати шифрування.
Висновки
Мобільні агенти є полем дослідження, що дедалі стає ширшим. Ключовими перевагами мобільних агентів є локальна взаємодія, гнучкість сервера і взаємодія реального часу. Зараз існують декілька реалізованих систем розробки і підтримки мобільних агентів. Ведуться дослідження.
Список використаної літератури
Krishna Bharat, Luca Cardelli “Migratory Applications”
Todd Papaioannou “Mobil Agents: Are They Useful for Establishing a Virtual Presence in Space?”