Имитационное моделирование для анализа выполнимости приложений реального времени


https://doi.org/10.18255/1818-1015-2016-6-673-687

Полный текст:


Аннотация

Описывается развиваемый авторами подход к проверке выполнимости многозадачных приложений реального времени в различных сочетаниях дисциплины планирования и протокола доступа к разделяемым общим информационным ресурсам при исполнении данного приложения на многоядерной вычислительной платформе. Структура приложения задается в виде простого формализованного профиля, состоящего из сегментов трех видов, и описывающего доступ задач приложения к разделяемым информационным ресурсам; для каждого сегмента дается оценка необходимого ему объема вычислительного ресурса процессора. В основе данного подхода лежит введенное авторами понятие плотности программного приложения, которое характеризует потенциальную эффективность использования вычислительного ресурса приложением с определенным профилем. Значение эффективности определяется путем оценки выполнимости приложения с заданным профилем в зависимости от производительности процессора. Практическим инструментом для такой оценки служит разработанная авторами программа имитационного моделирования, обеспечивающая более точные, по сравнению с известными аналитическими методами, оценки. Приводится архитектура этого инструмента и общие сведения по его двум разнородным реализациям, а также представленные графиками результаты проведенных с их помощью экспериментов на ряде эталонных примеров, включая конфигурации Лю-Лейланда многозадачного приложения реального времени, вместе с их анализом и объяснением. Предложенный подход позволяет находить и выбирать оптимальное сочетание дисциплины планирования и протокола доступа для многозадачного приложения с заданным профилем.


Об авторах

С. Н. Баранов
Университет ИТМО
Россия

д-р. физ.-мат. наук, проф., СПИИРАН, Кронверкский пр., 49, г. Санкт-Петербург, 197101 Россия



В. В. Никифоров
SPIIRAS
Россия

д-р. тех. наук, проф., СПИИРАН, 14-я линия 39, г. Санкт-Петербург, 199178 Россия



Список литературы

1. Liu C., Layland J., “Scheduling Algorithms for Multiprocessing in a Hard Real-Time Environment”, Journal of the ACM, 20:1 (1973), 46–61.

2. Andersson B., Baruah S., Jonsson J., “Static-Priority Scheduling on Multiprocessors”, Proc. 22nd IEEE Real-Time Systems Symposium, 2001, 193–202.

3. Laplante P.A., Real-Time Systems Design and Analysis, John Wiley & Sons, Inc., 2004.

4. Baker T., “Multiprocessors EDF and Deadline Monotonic Schedulability Analysis”, Proc. 24th IEEE Real-Time Systems Symposium, 2003, 120–129.

5. Andersson B., “Global Static-Priority Preemptive Multiprocessor Scheduling with Utilization Bound 38%”, Proc. 12th International Conference on Principles of Distributed Systems, 2008, 73–88.

6. Baranov S.N., “Real-Time Multi-Task Simulation in Forth”, Proc. 18th Conf. FRUCT Association, 2016, 21–26.

7. Baranov S.N., Nikiforov V.V., “Application Density and Feasibility Checking in Real-Time Systems”, System Informatics, 2016, № 7, 1–9.

8. Baranov S.N., Nikiforov V.V., “Density of Multi-Task Real-Time Applications”, Proc. 17th Conf. FRUCT Association, 2015, 9–15.

9. Никифоров В.В., Программа ОЭКПП для оценки эффективности конфигураций программных приложений, Свидетельство о государственной регистрации программы для ЭВМ №2016618872 от 9 августа 2016 (RU), 2016, http://www1.fips.ru/wps/portal/Registers/

10. Баранов С.Н., Программа RTMT для имитационного моделирования исполнения многозадачных приложений, Свидетельство о государственной регистрации программы для ЭВМ №2016613095 от 16 марта 2016 (RU), 2016, http://www1.fips.ru/wps/portal/Registers/

11. Forth 200x, 2016, http://www.forth200x.org/forth200x.html.


Дополнительные файлы

Для цитирования: Баранов С.Н., Никифоров В.В. Имитационное моделирование для анализа выполнимости приложений реального времени. Моделирование и анализ информационных систем. 2016;23(6):673-687. https://doi.org/10.18255/1818-1015-2016-6-673-687

For citation: Baranov S.N., Nikiforov V.V. Analysis of Real-Time Applications Feasibility through Simulation. Modeling and Analysis of Information Systems. 2016;23(6):673-687. (In Russ.) https://doi.org/10.18255/1818-1015-2016-6-673-687

Просмотров: 334

Обратные ссылки

  • Обратные ссылки не определены.


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)