Контроль доступа к разделяемым ресурсам в многозадачных программных приложениях
- 1 д.т.н., профессор, вед. науч. сотрудник, СПИИРАН
Ключевые слова:
многозадачные программные приложенияразделяемые ресурсыкорректность межзадачных интерфейсов
Аннотация
Предложен подход к построению механизма доступа к разделяемым ресурсам в многозадачных программных приложениях. Применение предложенного подхода в системах с одноядерными и многоядерными процессорами обеспечивает корректность реализации структуры межзадачных связей в условиях использования методов планирования как со статическими, так и с динамическими приоритетами задач.
Для цитирования
Никифоров В.В. Контроль доступа к разделяемым ресурсам в многозадачных программных приложениях // Информационно-измерительные и управляющие системы. 2014. № 6. С. 26–31.
Список источников
- Никифоров В.В., Павлов В.А. Структурные модели для анализа многозадачных программных систем // Информационно-измерительные и управляющие системы. 2011. № 9. С. 19-29.
- Baker T. Multiprocessors EDF and Deadline Monotonic Schedulability Analysis // In Proceedings of 24 IEEE Real-Time Systems Symposium. 2003. Р. 120-129.
- Никифоров В.В. Выполнимость приложений реального времени на многоядерных процессорах // Труды СПИИРАН. 2009. Вып 8. С. 255-284.
- Davis R.I., Burns A. FPZL Schedulability Analysis // 17th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'11). 2011. Р. 245-256.
- Никифоров В.В., Шкиртиль В.И. Маршрутные сети - графический формализм представления структуры программных приложений реального времени // Труды СПИИРАН. 2013. Вып.2(14). С. 7-28.
- Никифоров В.В., Данилов М.В. Статическая обработка спецификаций программных систем реального времени // Программные продукты и системы.2000.№ 4. С. 13-19.
- Никифоров В.В., Шкиртиль В.И. Цепное блокирование взаимосвязанных задач в системах на многоядерных процессорах // Информационно-измерительные и управляющие системы. 2013. № 9. С. 17-21.