Доведення коректності паралельних програм є складною задачею, оскільки потоки виконання можуть впливати один на інший через спільні змінні або механізм повідомлень. Класичні методи типу Флойда - Хоара не застосовні у цьому випадку напряму і необхідні нові нетривіальні підходи, які враховують це ускладнення. Розроблений метод для доведення коректності програм (для визначеного спеціального класу програм - а саме серверного програмного забезпечення в архітектурі SMP як-то сервер баз даних або веб-сервер) - є предметом даної роботи. Його простота у випадку відсутності локальних даних підпрограм і застосування до класичної задачі-прикладу паралельного додавання до спільної змінної подано у роботі.

  Повний текст PDF - 126.703 Kb    Зміст випуску     Цитування публікації

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"