Статическое распределение памяти для операционных систем реального времени
https://doi.org/10.15514/ISPRAS-2024-36(3)-3
Аннотация
Задача повышения надежности критических операционных систем реального времени (ОСРВ) не теряет актуальности. Использование детализации требований разработчиков дает новые возможности в этом направлении при управлении памятью [9]. В статье представлен новый подход к статическому распределению памяти в ОСРВ с надёжной изоляцией по памяти. Предлагается метод построения инструмента статической раскладки памяти по формальному описанию требований разработчика на память. Формальное описание предлагается строить без привязки к платформе, а основываясь только на нуждах разрабатываемого ПО. Вводятся общие понятия, дающие возможность универсального подхода к построению инструмента статической раскладки, описана общая схема алгоритма раскладки, детализируются требования, которые необходимо учитывать при реализации каждого шага алгоритма. Описываемый подход апробирован на реальных индустриальных проектах и показал свою универсальность, адаптивность и эффективность в построении статической раскладки памяти.
Об авторе
Софья Анатольевна ЗЕЛЕНОВА
Институт системного программирования РАН
Россия
Россия
Кандидат физико-математических наук, научный сотрудник ИСП РАН. Научные интересы: алгоритмы статического распределения ресурсов, теория расписаний, операционные системы реального времени, тестирование на основе моделей, теория чисел.
Список литературы
1. Таненбаум Э., Бос Х. Современные операционные системы. СПб., Питер, 2019, 1120 с.
2. Couler J. F., Glaser E.L. Shared-access Data Processing System. Patent 3412382, November 1968.
3. И.Б. Бурдонов, А.С. Косачев, В.Н. Пономаренко. Операционные системы реального времени. Препринт ИСП РАН 14, 2006 г. http://burdonov.ru/doctor/papers_2006/
4. Operatsionnye_sistemy_realnogo_vremeni/Operatsionnye_sistemy_realnogo_vremeni.pdf
5. e500mcRM revision 3. e500mc Core Reference Manual. Freescale Semiconductor, Inc. 2013-03. 440 p. https://www.nxp.com/docs/en/reference-manual/E500MCRM.pdf [ppc500]
6. PowerPC 476FP Embedded Processor Core User’s Manual. International Business Machines Corporation. 2014-01-10. 320 p.
7. Heinrich J. MIPS R4000 Microprocessor User's Manual. Prentice-Hall, June 1993. http://groups.csail.mit.edu/cag/raw/documents/R4400_Uman_book_Ed2.pdf
8. Intel 64 and IA-32 Architectures Software Developer’s Manual Combined Volumes 3A, 3B, 3C, and 3D: System Programming Guide. 2023-09. 1536 p.
9. https://www.intel.com/content/www/us/en/developer/articles/technical/intel-sdm.html
10. Mallachiev K.M., Pakulin N.V., Khoroshilov A.V. Design and architecture of real-time operating system. Trudy ISP RAN/Proc. ISP RAS, vol. 28, issue 2, 2016, pp. 181-192. DOI: 10.15514/ISPRAS-2016-28(2)- 12.
11. Khoroshilov A.V., Cheptsov V.Y. Robust Resource Partitioning Approach for ARINC 653 RTOS [9]
Рецензия
Для цитирования:
ЗЕЛЕНОВА С.А. Статическое распределение памяти для операционных систем реального времени. Труды Института системного программирования РАН. 2024;36(3):35-48. https://doi.org/10.15514/ISPRAS-2024-36(3)-3
For citation:
ZELENOVA S.A. Static Memory Allocation for Real-Time Operating Systems. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2024;36(3):35-48. (In Russ.) https://doi.org/10.15514/ISPRAS-2024-36(3)-3
Послать статью по эл. почте 