350 руб
Журнал «Информационно-измерительные и управляющие системы» №6 за 2014 г.
Статья в номере:
Контроль доступа к разделяемым ресурсам в многозадачных программных приложениях
Ключевые слова: многозадачные программные приложения разделяемые ресурсы корректность межзадачных интерфейсов
Авторы:
В. В. Никифоров - д.т.н., профессор, вед. науч. сотрудник, СПИИРАН. E-mail: nik@iias.spb.su
Аннотация:
Предложен подход к построению механизма доступа к разделяемым ресурсам в многозадачных программных приложениях. Применение предложенного подхода в системах с одноядерными и многоядерными процессорами обеспечивает корректность реализации структуры межзадачных связей в условиях использования методов планирования как со статическими, так и с динамическими приоритетами задач.
Страницы: 26-31
Список источников

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