Математические модели и алгоритмы оптимального управления динамическими структурами данных
Диссертация
Этот вывод подтвердила и практика разработки, например, стековых компьютеров и RISC процессоров, где для управления стеками в двухуровневой памяти (регистры — оперативная память) использовались специальные алгоритмы, а не универсальные алгоритмы кэш-памяти. Еще один пример — алгоритмы работы с FIFO-очередями, необходимые при разработке встроенных операционных систем, управляющих потоками пакетов… Читать ещё >
Список литературы
- Абрамов В. Г., Трифонов Н. П., Трифонова Г. Н. Введение в паскаль. М.: Наука, 1988.
- Авен О. И., Коган Я. А. Управление вычислительным процессом в ЭВМ. М.: «Энергия», 1978.
- Аксенова Е. А., Волкова О. В., Лазутина А. А., Соколов А. В. Методы оптимального управления стеками в двухуровневой памяти // Труды Института прикладных математических исследований КарНЦ РАН. 2002. Вып. 3. С. 127−152.
- Аксенова Е.А., Лазутина A.A., Соколов A.B. Об оптимальном распределении памяти для стеков // Обозрение прикладной и промышленной матем. 2003 т. 10, в. 1, с. 86−87.
- Аксенова Е.А., Лазутина A.A., Соколов A.B. Об оптимальных методах представления динамических структур данных
- Аксенова Е.А., Лазутина A.A., Соколов A.B. Исследование немарковской модели управления стеком в двухуровневой памяти // Программирование, 2004, N1, с. 1−10.
- Аксенова Е.А., Соколов A.B. Об оптимальном управлении двумя FIFO очередями. Материалы VIII Международного семинара «Дискретная математика и ее приложения», с. 167−169. М.: Изд-во механико-математического факультета МГУ, 2004, 444 с.
- Аксенова Е.А., Лазутина A.A., Соколов A.B. Анализ методов представления динамических структур данных // Обозрение прикладной и промышленной математики. 2004, т.11, в.2, с. 233−234
- Аксенова Е.А., Соколов A.B. Некоторые задачи оптимального управления FIFO-очередями. Труды Второй Всероссийской научной конференции «Методы и средства обработки информации». Изд. отдел ВМК МГУ им. М. В. Ломоносова, 2005. с. 318−322.
- Ахо А., Деннинг Р., Ульман Дж. Принципы оптимального замещения страниц // Новая серия. Вып. 9. М.: Мир, 1972. С. 34−102.
- Боллапрагада В., Мэрфи К., Уайт Р. Структура операционной системы Cisco IOS // Вильяме, 2002.
- Брайант Р., О’Халларон Д. Компьютерные системы. Архитектура и программирование. БХВ-Петербург, 2005.
- Брусенцов Н. П. Миникомпьютеры. М.: Наука, 1979.
- Бурцев В. С. Тенденции развития высокопроизводительных систем и многопроцессорные вычислительные комплексы. Препринт / ИТМ и ВТ АН СССР. М., 1977.
- Вайнгартен Ф. Трансляция языков программирования. М.: Мир, 1979.
- Ван-дер-Варден Б. Л. Алгебра. М.: Наука, 1976.
- Вирт Н. Алгоритмы + структуры данных = программы. М.: Мир, 1985.
- Гоисс Д. Конструирование компиляторов для цифровых вычислительных машин. М.: Мир, 1975.
- Жоголев Е. A., Pay О. И. Принципы оптимального распределения памяти // Вычислительные методы и программирование. М.: Изд-во МГУ, 1971. С. 18−38.
- Иванов А. П., Шевяков В. С. Управление памятью в МВК ЭЛЬБРУС-1. Препринт № 3 / ИТМ и ВТ АН СССР. М., 1981.
- Ивченко Г. И. Время ожидания и связанные с ним характеристики в полиномиальной схеме // Дискретная математика. 1993. Вып. 5. № 3. С. 3−34.
- Ивченко Г. И., Иванов А. В. Разделимые статистики в обратных урновых задачах // Дискретная математика. 1995. Вып. 7. № 2. С. 103−117.
- Кемени Дж., Снелл Дж. Конечные цепи Маркова. М.: Наука, 1970.
- Кнут Д. Искусство программирования для ЭВМ. Т. 1. М.: Мир, 1976.
- Кнут Д. Искусство программирования для ЭВМ. Т. 3. М.: Вильяме, 2001.
- Колчин В. Ф., Севастьянов Б. А., Чистяков В. П. Случайные размещения. М.: Наука, 1976.
- Колчин В. Ф. Случайные отображения. М.: Наука, 1984.
- Кормен Е., Лейзерсон Ч., Ривест Р. Алгоритмькпостроение и анализ. М.:МЦНМО, 2000.
- Королев Л. Н. Структуры ЭВМ и их математическое обеспечение. М.: Наука, 1978.
- Кохонен Т. Ассоциативные запоминающие устройства. М.: Мир, 1982.
- Кутепов В. П., Пьянков В. П. Алгоритмы определения множества активных страниц (сегментов) программы, основанные на понятии динамического цикла // Программирование. 1979. № 4. С. 44−52.
- Лавров С. С., Гончарова Л. И. Автоматическая обработка данных. Хранение информации в памяти ЭВМ. М.: Наука, 1971.
- Лазутина А. А., Соколов A.B. Оптимальное управление тремя стеками в памяти одного уровня // Тезисы докладов XIV Международной конференции «Проблемы теоретической кибернетики». Изд. -во центра прикладных исследований при
- Липский В. Комбинаторика для программистов. М.: Мир, 1988.
- Мазалов В. В. Метод динамического распределения нестраничной памяти // Программирование. 1995. № 4. С. 29−32.
- Мазалов В. В., Соколов А. В. Об оптимальном динамическом распределении нестраничной памяти. Управление в динамических системах. Л., 1979. Деп. в ВИНИТИ 24.07.1979.
- Медведев Ю. И. Некоторые теоремы об асимптотическом распределении статистики х2 II Доклады АН СССР. 1970. Вып. 192. № 5. С. 987−989.
- Михновский С. Д., Шор Н. 3. Оценка минимального числа пересылок при динамическом распределении страничной памяти // Кибернетика. 1965. № 5. С. 18−21.
- Олифер Н. Маршрутизатор как он есть // Журнал сетевых решений LAN. 2001. Т. 7. № 7−8 С. 20−24.
- Поливанный И. В. Оценка размера буфера для флагового STACK/QUEUE алгоритма заполнения 4-связной области на дискретном растре // Программирование. 1998. № 3. С. 3845.
- Пратт Т. Языки программирования. М.: Мир, 1979.
- Ранделл Б. Разбиение памяти и сегментация программ // Экспресс-информация. Вычислительная техника. 1969. № 47.
- RISC: Эффективные архитектуры для СБИС-компьютеров. Электроника СБИС. Проектирование микроструктур
- Робачевский А. М. Операционная система UNIX. СПб.: BHV-Санкт-Петербург, 1998.
- Роджерс Д. Алгоритмические основы машинной графики. М.: Мир, 1989.
- Седжвик Р. Фундаментальные алгоритмы на С++. Анализ/Структуры данных/Сортировка/Поиск. Изд.-во «ДиаСофт», 2001. 688 с.
- Соколов А. В. Анализ метода динамического распределения памяти в ОС ЕС ЭВМ // Математическое обеспечение ЭВМ и систем управления. Петрозаводск, 1985. С. 28−32.
- Соколов А. В. Анализ эффективности алгоритмов динамического распределения нестраничной памяти // Труды II Меж-дунар. конф. «Развитие и применение открытых систем». Петрозаводск, 1995. С. 76−77.
- Соколов А. В. Математические модели динамического распределения памяти // Тезисы докл. I Всесоюз. науч. конф. «Вероятностные методы в дискретной математике» / КФ АН СССР. Петрозаводск, 1983. С. 28−32.
- Соколов А. В. Математические модели и алгоритмы оптимального управления динамическими структурами данных // Обозрение прикладной и промышленной математики. 2000. Т. 7. Вып. 1. С. 199−200.
- Соколов А. В. Об оптимальном управлении стековой памятью // Тезисы докл. I Всесоюз. науч. конф. «Вероятностные методы в дискретной математике» / КФ АН СССР. Петрозаводск, 1988. С. 115.
- Соколов А. В. Оптимальное динамическое распределение нестраничной виртуальной памяти: Дис.. канд. физ.-мат. наук. ЛГУ, 1981.
- Соколов А. В. Оптимизация динамических структур данных. Учебное пособие. Петрозаводск: Изд-во ПетрГУ, 1993. 58 с.
- Соколов А. В. О распределении памяти для двух стеков // Автоматизация эксперимента и обработки данных. Петрозаводск, 1980. С. 65−71.
- Соколов A.B. Оценка минимального размера памяти, необходимого для динамического распределения сегментов разных длин // Автоматизация эксперимента и обработки данных. Петрозаводск, 1980. С. 59−65.
- Соколов А. В. Оценка эффективности методов динамического распределения нестраничной памяти // Программирование. 1986. № 5. С. 65−71.
- Соколов А. В., Тарасюк А. В. Об оптимальном управлении циклическими очередями // Труды Института прикладных математических исследований КарНЦ РАН. 2001. Вып. 3. С. 190−195.
- Соколов A.B. Вероятностные модели динамических структур данных // Труды третьего Всероссийского симпозиума по
- Соколов A.B. Математические модели и алгоритмы оптимального управления динамическими структурами данных. Из.- во ПГУ. 2002 г. 215 с.
- Соколов A.B. Математические задачи теории структур данных. Карелия и РФФИ // Тезисы докладов научной конференции, посвященной 10-летию РФФИ. Петрозаводск 2002, С. 96−97.
- Соколов A.B., Тарасюк A.B. Об оптимальном управлении двумя последовательными очередями // Обозрение прикладной и промышленной матем. 2003 т. 10, в. 1, с. 223−224.
- Соколов A.B., Ислентьев Д. О., Колосов A.C. Анализ нестандартных методов представления связных списков // Труды ИПМИ КарНЦ РАН. Методы математического моделирования и информационные технологии. Выпуск 4. 2003, 188−193.
- Соколов A.B., Соломатов В. А. Анализ методов управления двумя FIFO очередями // Труды ИПМИ КарНЦ РАН. Методы математического моделирования и информационные технологии. Выпуск 5. 2004, 121−127.
- Соколов A.B., Тарасюк A.B. Об оптимальном управлении двумя FIFO-очередями на бесконечном времени. Тезисы докладов
- XIV Международной конференции «Проблемы теоретической кибернетики"// Изд.-во центра прикладных исследований при механико-математическом факультете МГУ, Москва 2005, с. 148.
- Соколов A.B., Тарасюк A.B. Об оптимальном управлении циклическими FIFO-очередями // Системы управления и информационные технологии. 2005, N3(20), с. 29−33.
- Спицер Ф. Принципы случайного блуждания. М.: Мир, 1969.
- Стоян Ю. А. Результаты оценки эффективности оптимального алгоритма замещения // Программирование. 1975. № 2. С. 17−23.
- Супервизор ОС ЕС ЭВМ. М.: Статистика, 1975.
- Танненбаум Э. Многоуровневая организация ЭВМ. М.: Мир, 1977.
- Танненбаум Э. Современные операционные системы. 2-издание. Питер, 2002.
- Феллер В. Введение в теорию вероятностей и ее приложения. М.: Мир, 1964.
- Футы К., Судзуки Н. Языки программирования и схемотехника СБИС. М.: Мир, 1988.
- Алгол 68. Методы реализации. Под. ред. Г. С. Цейтина. Издательство Ленинградского университета. Ленинград 1976.
- Цикритзис Д., Бернстайн Ф. Операционные системы. М.: Мир, 1977.
- Шилдт Г. Теория и практика С++. СПб.: BHV-Санкт-Петербург, 1996.
- Юрченко А. С. Методы динамического распределения нестраничной памяти // Управляющие системы и машины. 1978. № 5. С. 68−74.
- Яковлев Е. И. Машинная имитация. М.: Наука, 1975.
- Auiezri S. Fraenkel Paired sequential lists in a memory interval // Inform. Process Lett. 1979. № 8. P. 9−10.
- Batson A., Shy-Ming Jn., Wood D. C. Measurements of segment Size // Second Symposium on operating systems principles. October 20−22. 1969. Princeton: Princeton University, 1969. P. 25−29.
- Bays C. A. A comparison of Next-fit, First-fit and Best-fit // CACM. 1977. V. 20, № 3. P. 191−192.
- Campbell /. A. A note an optimal-fit method for dynamic allocation of storage // The Computer Journal. 1971. V. 14, № 1. P. 7−9.
- Dening P. J. The working set model for program behaviour // CACM. 1968. V. 11, № 8. P. 323−333.
- Dening P. J. Virtual Memory // Computing Surveys. 1970. V. 2, 3. P. 153−189.
- Ditzel David R., McLellan H. R. Register Allocation for Free: The С Machine Stack Cache // Proc. Symp. Archit. Support Progr. Lang. Oper. Systems. 1982. P. 48−56.
- Ertl Anton M. Stack caching for interpreters // SIGPLAN'95 Conf. Program. Lang. Des. and Implem. (PLDI). June 1995. P. 315−327.
- Flajolet P. The evolution of two stacks in bounded space and random walks in a triangle // Lec. Notes Computer Sci. 1986. Vol. 223. P. 325−340.
- Harlan D. Mills, Richard C. Linger. Data structured progamming: program design without arrays and pointers // IEEE Trans. Software Eng. 1986. V. 12, № 2. P. 192−197.
- Hasegava M., Shigei Y. High-speed top-of-stack scheme for VLSI processor: a management algorithm and its analysis // Proceedings of 12th Symposium on Computer Architecture. June. 1985. P. 48−54.
- Koopman P. Stack Computers. Ellis Horwood, 1989. URL: http://www.cs.cmu.edu/~koopman/stackcomputers/
- Leung C. H. An improved optimal-fit procedure for dynamic storage allocation // Comp. J. 1982. V. 25, № 2. P. 199−206.
- Louchard G. Random walks, heat equation and distributed algorithms / G. Louchard, R. Schott, M. Tolley, P. Zimmermann // J. Comput. Appl. Math. 1994. № 53. P. 243−274.
- Louchard G., Schott R. Probabilistic analysis of some distributed algorithms // Lect. Notes Computer Sci. 1990. № 431. P. 239 253.
- Maier R. S. Colliding Stacks: A Large Deviations Analysis // Random Structures and Algorithms. 1991. № 2. P. 379−421.
- Patterson D. A., Sequin C. H. Reduced Instruction Set VLSI Computer // Proceedings of 8th Symposium on Computer Architecture. 1980. № 6. P. 72−86.
- Sokolov A. V. On the problem of optimal stack control in two levels memory // Probabilistic methods in discrete mathematics: Proceedings of the Fourth International Petrozavodsk Conference. Utrecht, Netherlands: VSP, 1997. P. 349−351.
- Sokolov A. V. On the problem of stack control // Proceedings' of Finnish Data Processing Week. 1999. Vol. 2. Petrozavodsk: Petrozavodsk University Press. P. 95−106.
- Sokolov A. V., Lemetti A. A, On the problem of optimal stack control // Probabaiistic methods in discrete mathematics: Proceedings of the Fifth International Conference. Utrecht, Netherlands: VSP, 2001. P. 351−366.
- Sokolov A.V. Mathematical Models and Optimal Algorithms of Dynamic Data Structure Control.// Abstracts. The 3rd Moscow International Conference On Operations Research (ORM2001)(Moscow, April 4−6, 2001) p. 109−110.
- Sokolov A. V., Aksenova E.A., Lazutina A.A., Tarasyuk A.V. Mathematical models of dynamic data structure. // V international congress on mathematical modelling. Book of abstract, vol. II, JINR, Dubna 2002, P. 127
- Sokolov A.V. Optimization strategies of stack control // Proceedings of the Second Workshop on Intermediate
- Reprezentation Engineering for Virtual Machins and Inaugural Conference on the Principles and Practice of Progrmming in Java. Trinity College Dublin, PPPJ 2002/IRE 2002, June 13−14, 2002. P. 151−156.
- Sokolov A.V. // Optimization strategies of stack control. Chapter 22. In. Recent Advances in Java Technology. Theory, Application, Implementation. Intermediate Reprezentation Engineering. Computer Science Press, Trinity College Dublin 2002. P. 193−203
- Stanley T., Wedig R. A performance analysis of automatically managed top of stack buffers // Proceeding of 14th Symposuim on Computer Architecture. June. 1987. P. 272−281.
- Taivalsaari A. Implementing a Java™ Virtual Machine in the Java Programming Language. Sun microsystems 11 Technical Report Series. March. 1998.
- Tamir Y., Sequin C. Strategies of control register’s file // IEEE Trans. Comput. C-32(ll). 1983. P. 977−1037.
- URL: http://www.hackzone.ru/articles/ntbo.html
- Yao A. C. An analysis of a memory allocation scheme for implementating stacks // SIAM J. Computing. 1981. № 10. P. 398−403.