Простийпошук |
Розширенийпошук |
Покажчики
|
Професійний пошук |
Рубрикатор НБУВ |
Розподілений пошук |
Бази даних
Наукова періодика України - результати пошуку
Книжкові видання та компакт-дискиЖурнали та продовжувані виданняАвтореферати дисертаційРеферативна база данихНаукова періодика УкраїниТематичний навігаторАвторитетний файл імен осіб
 |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Повнотекстовий пошук
| Знайдено в інших БД: | Реферативна база даних (1) |
Список видань за алфавітом назв: Авторський покажчик Покажчик назв публікацій  |
Пошуковий запит: (<.>AT=Панченко Еквівалентність двох систем паралельного$<.>) | |||
|
Загальна кількість знайдених документів : 1 |
|||
| 1. | 
Панченко Т. В. Еквівалентність двох систем паралельного виконання [Електронний ресурс] / Т. В. Панченко, Sunmade Fabunmi // Проблеми програмування. - 2018. - № 2-3. - С. 93-98. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2018_2-3_12 Досліджено метод доведення властивостей паралельних програм, що виконуються багатоекземплярно в режимі почергового покрокового переключення і взаємодіють через спільну пам'ять. Розглянуто 2 системи паралельного виконання програм та наведено обгрунтування взаємної виразності двох цих підходів. Один - з фіксованою, але параметричною, кількістю паралельно виконуваних програм. Другий - реалізує модель породження (start) і приєднання після зупинки (join) паралельних програм (також називається multithreading). Введено відповідні 2 базові функції та задано їх семантику. Також наведено семантику інших функцій стосовно паралельного виконання, управління ресурсами та синхронізації доступу. Наведено теорему щодо (функціональної) еквівалентності двох систем та її обгрунтування. Програма в даному випадку розглядається як функція над даними. Стверджується, що для довільної програми в одній з систем паралелізму можна побудувати відповідну їй програму з іншій системі, яка повертає той самий результат (тобто є функціонально еквівалентною). Тільки продуктивні програми розглядаються тут у контексті взаємної виразності, оскільки у протилежному випадку вони "зависають" і не повертають жодного результату, отже є за межами нашого розгляду. Одержаний результат надає змогу звести роботу у більш складній (за будовою) системі з динамічним породженням екземплярів до більш простої (для доведень) системи з параметричною кількістю однакових програм, виконуваних у паралель. Визначено також питання для подальших досліджень у цьому напрямку. | ||
Попередній перегляд: 
Реферативна БД
 |
| Відділ інформаційно-комунікаційних технологій |
 Пам`ятка користувача |