Математическая модель наложенного управления ресурсами вида "потоки ввода-вывода" в операционных системах тема диссертации и автореферата по ВАК РФ 05.13.18, кандидат физико-математических наук Кобец, Алексей Леонидович

• Кобец, Алексей Леонидович
• кандидат физико-математических наук
• 2007

Оглавление диссертации кандидат физико-математических наук Кобец, Алексей Леонидович

ОГЛАВЛЕНИЕ.

ВВЕДЕНИЕ.

Актуальность темы.

Цель работы, объект и предмет исследования.

Методы исследования.

Научная новизна.

Практическая значимость.

Апробация и реализация результатов работы.

Положения, выносимые на защиту.

ГЛАВА 1 ОБЗОР СУЩЕСТВУЮЩИХ МОДЕЛЕЙ УПРАВЛЕНИЯ РЕСУРСАМИ

1.1 First Come First Served (FCFS/FIFO/LIFO) алгоритм.

1.2 Shortest Seek Time First (SSTF) алгоритм.

1.3 Elevator (SCAN, C-SCAN, LOOK, C-LOOK) алгоритм.

1.3.1 SCAN алгоритм.

1.3.2 Cyclical SCAN (C-SCAN) алгоритм.

1.3.3 LOOK алгоритм.

1.3.4 Cyclical LOOK (C-LOOK) алгоритм.

1.4 Earliest Deadline First (EDF) алгоритм.

1.5 Least Slack Time First (LSF) алгоритм.

1.6 Priority SCAN (P-SCAN) алгоритм.

1.7 Feasible deadline SCAN (FD-SCAN) алгоритм.

1.8 Feasible deadline EDF (FD-EDF) алгоритм.

1.9 SCAN-EDF алгоритм.

1.10 Shortest Seek and Earliest Deadline by Ordering (Value) (SSEDO и SSEDV) алгоритмы.

1.10.1 SSEDO алгоритм.

1.10.2 SSEDV алгоритм.

1.11 Rate-Monotonic (RM) алгоритм.

1.12 Пропорциональное планирование.

1.12.1 Weighted Fair Queuing (WFQ) алгоритм.

1.12.2 Fair CPU Scheduler алгоритм.

1.12.3 Расширенный SFQ (P-SFQ) алгоритм.

1.13 Пропорциональное планирование на основе вектора ошибки.

1.14 Другие планировщики.

1.15 Комбинированное планирование.

ВЫВОДЫ ПО ГЛАВЕ 1.

ГЛАВА 2 МАТЕМАТИЧЕСКАЯ МОДЕЛЬ НАЛОЖЕННОГО УПРАВЛЕНИЯ.

2.1 Постановка задачи.

2.2 Математическая модель наложенного управления.

2.3 Разновидности распределяемых ресурсов.

2.3.1 Возобновляемые ресурсы.

2.3.2 Другие ресурсы.

2.4 Потребление возобновляемых ресурсов группой задач.

ВЫВОДЫ ПО ГЛАВЕ 2.

ГЛАВА 3 МОДЕЛЬ И МЕТОДЫ ГРУППОВОГО НАЛОЖЕННОГО УПРАВЛЕНИЯ РЕСУРСАМИ ВИДА "ПОТОКИ ВВОДА-ВЫВОДА".

3.1 Построение модели.

3.2 Практическое подтверждение математической модели.

3.3 Классификация потребителей.

ВЫВОДЫ ПО ГЛАВЕ 3.

Введение диссертации (часть автореферата) на тему «Математическая модель наложенного управления ресурсами вида "потоки ввода-вывода" в операционных системах»

В последнее десятилетие мощности вычислительных систем выросли настолько, что сейчас даже на домашнем компьютере можно за несколько минут производить расчёты, на которые ранее потребовалось бы несколько часов. Объём операционной памяти стал равен размеру жёсткого диска пятилетней давности. В десятки раз выросли производительность и объём современных жёстких дисков. Значительно выросла производительность и других компонент компьютера.

Несмотря на увеличение производительности, существует ряд областей, таких как корпоративное обслуживание, предоставление услуг хостинга, тестирование программного обеспечения и т.п., когда конечному пользователю предоставляется не выделенный сервер, а какая либо часть его мощности. Это связано со следующими издержками:

• Высокая стоимость серверов

• Стоимость лицензий на копии программного обеспечения

• Большое время на «развёртывание» нового сервера

• Затраты на электричество и охлаждение серверов

• Затраты на обслуживание

• Аренда помещений для серверов

Одним из способов минимизации издержек, является виртуализация -размещение нескольких виртуальных серверов на одном физическом, что позволяет выполнять программное обеспечение с нескольких машин на одном физическом компьютере более экономно, используя имеющиеся мощности. Такое размещение усложняет вопросы безопасности и предоставления надлежащего качества обслуживания, а именно разграничения ресурсов между виртуальными серверами, например, оперативной памяти, времени процессора, сетевой пропускной способности, пространства жёсткого диска и т.п. Пропускная способность жёсткого диска, как ресурс, рассматриваемая в данной работе - не исключение.

Для предоставления надлежащего качества обслуживания возникает необходимость распределения потребления ресурсов между группами потоков.

Наиболее простым способом управления ресурсами является выставление ограничения на группу потоков на интервалах порядка времени минимального измерения регулируемого ресурса. Такие ограничения, в большинстве случаев, возможны только на уровне ядра операционной системы. Действуя, таким образом, все потоки в группе суммарно не могут потребить больше ресурса, чем задано.

Реализация такого способа не всегда проста - надо вносить изменения в ядро операционной системы, что не всегда возможно из-за проблем с безопасностью, сложностью реализации, а также ряда других факторов [84].

Примерами такого способа управления ресурсами могут служить технология Virtuozzo[72], Microsoft Virtual PC. [76]

Другим способом управления является выставление ограничения на группу потоков на интервалах гораздо больше времени минимального измерения регулируемого ресурса и осуществляется механизмами, которые предоставляются операционной системой. Такой способ является более простым в реализации, в тоже время при пиковых потреблениях ресурса точность управления может существенно снизиться. Примерами реализации такого способа является технологии xLswitch[75], Aurema[78],

Хеп[77], которые работают на основе средств, предоставляемых стандартным планировщиком операционной системы, изменяя приоритеты процессов в системе.

Будем называть наложенным управлением управление, которое удовлетворяет нижеперечисленным требованиям:

• Управление осуществляется на основе стандартных механизмов управления ресурсами операционной системы.

• Интервалы, на которых осуществляется такое управление, превышают интервалы, на которых работают механизмы управления самой операционной системы.

Алгоритмы и методы наложенного управления - это новая область в теории управления ресурсами операционных систем, которая приобретает большую популярность. Большинство математических моделей, известных на данный момент, не учитывают особенности алгоритма управления уровня ОС, что приводит к потерям в точности управления.

Управление ресурсами дискового ввода-вывода предоставляет дополнительный интерес, например, производительность RISC процессора растёт приблизительно на 50% в год, а время доступа к диску всего лишь на 10% [85]. Диск становиться узким местом всей системы реального времени, поэтому управление ресурсами диска предоставляет большой интерес, т.к. улучшение в управлении ресурсами ввода-вывода значительно повысит производительность системы в целом.

Цель работы, объект и предмет исследования

Цель диссертационной работы - разработка математической модели и методов наложенного управления ресурсами типа потоки дискового ввода-вывода в современных операционных системах.

Задачи исследования:

• Разработка математической модели группового наложенного управления ресурсами типа потоки ввода-вывода в современных операционных системах.

• Исследование ограничений, которые требуется наложить в системе, для обеспечения требуемого качества обслуживания.

• Исследование и объяснение, в рамках данной модели, существующих механизмов контроля ресурсов дискового ввода-вывода в современных операционных системах.

Объект исследования - механизмы управления ресурсами дискового ввода-вывода в современных операционных системах, которые используются для предоставления требуемого качества обслуживания.

Предмет исследования - модель группового наложенного управления ресурсами типа потоки ввода-вывода в современных операционных системах.

Методы исследования

В процессе научных исследований по разработке математической модели наложенного управления ресурсами дискового ввода-вывода в современных системах использовались аналитические методы теории цифровой фильтрации, методы теории операционных систем, системного программирования, а так же методы, используемые в современных системах виртуализации.

Научная новизна

Научная новизна работы заключается в том, что автором предложена математическая модель группового наложенного управления ресурсами типа потоки ввода-вывода при предоставлении различного вида сервиса в современных операционных системах, а так же системах основанных на виртуализации среды конченого пользователя.

В отличие от ранее существовавших моделей виртуализации, разработанная в ходе данного диссертационного исследования математическая модель более полно учитывает особенности, налагаемые собственными механизмами управления операционной системы, что позволяет существенно повысить утилизацию ресурсов системы, повысить её надёжность и достигнуть требуемого качества обслуживания.

Разработанная математическая модель группового наложенного управления ресурсами типа потоки ввода-вывода современных операционных систем является новым вкладом в развитие операционных систем, системного программирования и технологий виртуализации операционных систем.

Практическая значимость

Разработанная математическая модель может быть использована при создании новых комплексов программ, предназначенных для решения задач виртуализации с целью достижения максимальной утилизации ресурсов дискового ввода-вывода, повышения надёжности и безопасности системы, а также предоставления высокого качества обслуживания.

Также разработанная модель и методы могут быть использованы в качестве самостоятельных решений различных задач, возникающих при представлении различного рода сервиса в современных операционных системах.

Например, математическая модель группового наложенного управления ресурсами дискового ввода-вывода позволяет решить ряд технических проблем, связанных с обеспечением заданного распределения ресурсов дискового ввода-вывода, которое имеет большое практическое значение для бесперебойной работы консолидированных файлообменных сервисов, используемых государственными, коммерческими, а также образовательными учреждениями.

Апробация и реализация результатов работы

По выполненным диссертационным исследованиям опубликовано 10 работ, в том числе три [2,5,6]- в ведущих научных журналах, рекомендованных ВАК РФ. В опубликованных работах автору принадлежит более 40% материала, связанного с изложением основ математической модели наложенного управления ресурсами (включая группы потоков ввода-вывода) с использованием виртуальных сред.

Результаты диссертационного исследования докладывались, обсуждались и получили одобрение специалистов на нескольких конференциях: XI Всероссийской научно-практической конференции «Научное творчество молодёжи», посвященной 50-летию СО РАН 2007 г. Анжеро-Судженск [81,82,84], Московской конференции по вычислительной молекулярной биологии 2007 г. [80,83], Всероссийской научно-практической конференции, посвященной 60-летию ТОИПКРО, 2006 г. Томск [71].

Также результаты докладывались и получили одобрение специалистов на научных семинарах, проводимых кафедрой информатики МФТИ.

Результаты работы реализованы при создании программного комплекса Virtuozzo [72], разработанного в компании SWsofi В настоящее время этот программный комплекс занимает лидирующее положение на рынке предоставления услуг виртуализации операционных систем.

Положения, выносимые на защиту

На защиту выносятся следующие основные положения:

1) Математическая модель наложенного управления ресурсами типа потоки ввода-вывода в операционных системах.

2) Математическая модель и метод группового наложенного управления ресурсами потоков ввода-вывода в условиях функционирования виртуальных выделенных сервером с целью ограничения потребления пропускной способности дискового ввода-вывода.

Заключение диссертации по теме «Математическое моделирование, численные методы и комплексы программ», Кобец, Алексей Леонидович

Выводы по главе 3.

В главе была рассмотрена модель и метод управления возобновляемым ресурсом полосы пропускания диска. Используя терминологию модели наложенного управления, введённую в главе 2, мы ввели функцию наблюдаемого потребления, как функцию, которая соответствует функции желаемого потребления. В качестве критерия использовалось ограничение на потребление ресурса на интервале времени в среднем.

Затем для того чтобы оптимизировать использование памяти для хранения предыстории автор использует подход учета истории потребления, который используется в теории цифровой фильтрации. Делает оценку сверху для прогнозируемого значения среднего функции наблюдаемого потребления.

В результате получается модель и метод управления ресурсом полосы пропускания диска, приводиться схема работы алгоритма такой модели.

Далее автор рассматривает практический эксперимент работы модели наложенного управления ресурсами ввода вывода, на примере работы виртуальных серверов в системе Virtuozzo. Проводиться серия практических экспериментов, которые подтверждают предложенную теорию.

Затем автор рассматривает разного рода потребителей. Классифицирует их следующим образом:

• Отложенная запись через кеш

• Кешированное чтение

• Принудительное чтение или запись

• Внешнее ограничение на ввод-вывод

В результате мы приходим к выводу, что для достижения боле эффективного планирования полосы пропускания диска, нужно максимально возможно разбить потребителей по группам, в зависимости от способа потребления.

Заключение

На основании вышеизложенных результатов - задача, поставленная в диссертационной работе, решена полностью.

Разработанные модели и методы управления ресурсами вида потоки ввода-вывода позволяют существенно упростить разработку систем управления полосой пропускания диска в условиях работы систем виртуализации операционных систем или отдельно взятых приложений. Также разработанная модель может быть распространена, с некоторыми ограничениями, на другие возобновляемые ресурсы или использована в виде подсистемы при разработке систем резервного сохранения копий данных, миграции виртуальных серверов с одного физического сервера на другой, миграции физического сервера в виртуальный и виртуального сервера в физический.

Автором решены следующие задачи:

1. Разработана математическая модель группового наложенного управления ресурсами вида потоки ввода-вывода в ОС.

2. Исследованы и явно выражены ограничения, которые нужно наложить на системный планировщик, чтобы обеспечить требуемое качество управления дисковым групповым вводом-выводом.

3. Разработана математическая модель и метод группового управления дисковой пропускной способностью в условиях функционирования виртуальных серверов с целью ограничения сверху потребления дисковой пропускной способности.

4. Разработанные модели реализованы в виде комплекса программ, обеспечивающего требуемое качество обслуживания. Проведен ряд экспериментов на реальных программных комплексах. Результаты экспериментов полностью подтвердили справедливость предложенных аналитических моделей решаемым задачам.

Решения, предложенные в рамках данной диссертации используются в программном комплексе Virtuozzo.

Дальнейшие направления исследования автора:

1. Совершенствование математической модели группового наложенного управления, расширение модели для учета работы дискового кеш, файла подкачки памяти ОС.

2. Работа над взаимодействием данной модели с алгоритмами управления памятью, процессорного времени и сетевой пропускной способности.

Список литературы диссертационного исследования кандидат физико-математических наук Кобец, Алексей Леонидович, 2007 год

1. Браммер К., Зиффлинг Г. Фильтр Калмана-Бьюси. М.: Наука, 1982.

2. Луковников И., Коротаев К., Кобец А. Проблемы управления распределяемыми ресурсами ОС // Информационные технологии. -М. 2006.-№10 С. 71-78.

3. Тормасов А.Г., Кобец А.Л., Луковников В.В, Модель управления группами потоков ввода/вывода с заданной точностью// Моделирование процессов обработки информации: Сб. науч. тр. / М.: Моск. физ.-тех. инст., 2007. С. 272—275.

4. Кобец А.Л, Луковников В.В., Пименов В.М., Соколов Е.В., Оценка точности группового наложенного управления ресурсами операционной системы для дискового ввода/вывода //"Вестник НГУ. Серия: Информационные технологии". 2007, Т. 5, вып. 1, С. 28-31

5. Пименов В.М., Соколов Е.В., Кобец А.Л., Способы увеличения производительности алгоритмов для отказоустойчивых систем хранения данных// "Вестник НГУ. Серия: Информационные технологии". 2007, Т. 5, вып. 1, С. 32-39

6. Bennett,J. and Zhang.H. WFQ: Worst-case fair weighted fair queueing. In IEEE Infocom, Mar. 1996.

7. J. Bennett , H. Zhang, Hierarchical packet fair queueing algorithms, IEEE/ACM Transactions on Networking (TON), v.5 n.5, p.675-689, Oct. 1997

8. Black, D. "Scheduling and Resource Management Techniques for Multiprocessors". PhD Thesis, CMU-CS-90-152, Carnegie Mellon University, July 1990. Электронный ресурс: http://citeseer.ist.psu.edu/article/black90scheduling.html.

9. O.Bruno,J. Brustoloni,J. Gabber, E. 6zden,B. and Silberschatz A. . Disk scheduling with quality of service guarantees. IEEE ICMCS, June 1999.

10. Chen, S et el. Performance evaluation of two new disk scheduling algorithms for real-time systems.Journal of Real-Time Systems, 3(3):307-336, Sept. 1991.

11. Cormen, T. Leiserson, C., Rivest, R, and Stein C. Introduction to Algorithms, Second Edition. MIT Press and McGraw-Hill, 2001. ISBN 0262-03293-7. Section 6.5: Priority queues, pp. 138-142.

12. H.Deianov B. Fair CPU Scheduler for Linux: Электронный ресурс: http://fairsched.sourceforge.net/doc/fairsched.txt.

13. Demers,A. Keshav, S. Shenker, S /'Analysis and simulation of a fair queueing algorithm",Proceedings ofSIGCOMM '89, 1989,pp. 1-12.

14. Golubchik, L. Lui, Gail, H Evaluation of tradeoffs in resource management techniques for multimedia storage servers.IEEE ICMCS, June 1999.

15. J. Guo, J. yao. An Efficient Packet Scheduling Algorithm in Network Processors. Department of Computer Science and Engineering. University of California, Riverside. Электронный ресурс: http://www.cs.ucr.edu/~bhuyan/papers/infocom05.pdf.

16. Goyal P., Guo X., Vin H. M. A hierarchical CPU scheduler for multimedia operating systems. Distributed multimedia computing laboratory. Department of Computer Sciences, University of Texas at Austin. 2001

17. Hahne, E. "Round Robin Scheduling for Fair Flow Control in Data Communication Networks", Report LIDS-TH-1631, Laboratory for Information and Decision Systems, Massachusetts Institute of Technology, Cambridge, Massachusetts. December, 1986.

18. John L. Hennessy, David A. Patterson, Computer Architecture, A Quantitative Approach (ISBN 1-55860-724-2)

19. Jensen,E Locke,K.D and Tokuda.H A time driven scheduling model for real-time operating systems. In Proceedings IEEE Real-Time Sytems Symposium, pages 112-122, 1985.

20. R. Abbott and H. Garcia-Molina. Scheduling I/O requests with deadlines: a performance evaluation. Proceedings of the Real-time Systems Symposium, pages 113-124, 12, 1990.

21. Howard, J. Kazar, M. Menees, S. Nichols, D. Satyanarayanan, M. Sidebotham,R. and West,M. . Scale and performance in a distributed file system. ACM Transactions on Computer Systems, 6( 1 ):51 -81, Feb. 1988.

22. Kargahi, M, Movaghar, A, "A Method for Performance Analysis of Earliest-Deadline-First Scheduling Policy," dsn, p. 826, 2004 International Conference on Dependable Systems and Networks (DSN'04), 2004.

23. M. Katevenis, S. Sidiropoulos, C. Courcoubetis: "Weighted Round-Robin Cell Multiplexing in a General-Purpose ATM Switch Chip", IEEE Journal on Selected Areas in Communications, vol. 9, no. 8, October 1991, pp. 1265-1279.

24. Knuth, D. Fundamental Algorithms, Third Edition. Addison-Wesley, 1997. ISBN 0-201-89683-4. Section 2.4: Dynamic Storage Allocation, pp.435-456.

25. Lehoczky, J. Sha, L. and Ding, Y. The Rate monotonic scheduling algorithm: exact characterization and average case behavior, IEEE RealTime Systems Symposium, pp. 166-171, December 1989.

26. L. Lenzini , E. Mingozzi , Giovanni Stea, A Unifying Service Discipline for Providing Rate-Based Guaranteed and Fair Queuing Services Based on the Timed Token Protocol, IEEE Transactions on Computers, v.51 n.9, p. 1011-1025, September 2002

27. L. Lenzini, E. Mingozzi, "Packet timed token service discipline: A scheduling algorithm based on the dual-class paradigm for providing QoS in integrated services networks," Comput. Netw., vol. 39, pp. 363-384, July 2002.

28. L. Lenzini, E. Mingozzi, and G. Stea, "Full exploitation of the Deficit Round-Robin capabilities by efficient implementation and parameter tuning," Univ. of Pisa, Italy, Tech. Rep., Oct. 2003.

29. Leung, J. Y.,Whitehead J. Y. On the complexity of fixed-priority scheduling of periodic, real-time tasks. Performance Evaluation, 2(4):237--250, December 1982.

30. L. Lenzini, E Mingozzi, G. Stea Tradeoffs between low complexity, low latency, and fairness with deficit round-robin schedulers. IEEE/ACM Transactions on Networking (TON.) Volume 12 , Issue 4 (August 2004), pp 681 693. SSN:1063-6692

31. L. Lenzini, E. Mingozzi, and G. Stea, "Aliquem: A novel DRR implementation to achieve better latency and fairness at 0(1) complexity," in Proc. 10th Int. Workshop on Quality of Service (IWQoS), Miami Beach, FL, May 2002, pp. 77-86.

32. Liu C.L., Layland. J. "Scheduling algorithms for multiprogramming in hard real-time environment" Journal of the ACM, 20(1):46-61, 1973

33. Liu, С and Layland, J . Scheduling Algorithms for Multiprogramming in a Hard Real-time Environment. Journal of the ACM, 20(1):46-61, Jan. 1973.

34. C. Lumb, J. Schindler, G. Ganger, D. Nagle, and E. Riedel. Towards higher disk head utilization: Extracting free bandwidth from busy disk drives. 4th USENIX OSDI, Oct. 2000.

35. C. Ruemmler and J. Wilkes. An introduction to disk drive modeling.IEEE Computer, 27(3): 17-28, 1994.

36. А. К. Parekh and R. G. Gallager. A Generalized Processor Sharing Approach to Flow Control in Integrated Services Networks: The Single-Node Case. IEEE/ACM Transactions on Networking, 1(3):344—357, June 1993.

37. D. Saha , S. Mukherjee , Satish K. Tripathi, Carry-over round robin: a simple cell scheduling mechanism for ATM networks, IEEE/ACM Transactions on Networking (TON), v.6 n.6, p.779-796, Dec. 1998

38. Seltzer,M. Chen,P. and Ousterhout, J. . Disk scheduling revisited. USENIX Winter Technical Conference, Jan. 1990.

39. Sha, L. Rajkumar R. Lehoczky, J. P. Priority inheritance protocols: an approach to real-time synchronization, IEEE Transactions on Computers, vol. 39 no. 9, September 1990, pp. 1175-1185.

40. M. Shreedhar , George Varghese, Efficient fair queueing using deficit round-robin, IEEE/ACM Transactions on Networking (TON), v.4 n.3, p.375-385, June 1996

41. E. Shriver, C. Small, and K. Smith. Why does file system prefetching work? USENIX Annual Technical Conference, June 1999.

42. Solomon D.A, Russinovich M.E. Inside Microsoft® Windows® 2000, Third Edition, Microsoft Press, 2000

43. Stankovic,J.A. Spuri, M. Di Natale,M. and Buttazzo, G.C. Implications of Classical Scheduling Results for Real-Time Systems. IEEE Computer, pp. 16--25, 1995.

44. Stewart, D, Barr, M. "Rate Monotonic Scheduling" Embedded Systems Programming, March 2002, pp. 79-80. Электронный ресурс: http://www.netrino.com/Publications/Glossary/RMA.html.

45. Stoica I., Zhang H., Eugene Ng. T.S. A hierarchical fair service curve algorithm for link-sharing, real-time and priority services. School of Computer Science. Carnegie Mellon University. 1997

46. F. Toutain, "Decoupled generalized processor sharing: A fair queuing principle for adaptive multimedia applications," in Proc. IEEE INFOCOM , San Francisco, CA, Mar.-Apr. 1998, pp. 291-298.

47. S. Tsao , Y. Lin, Pre-order deficit round robin: a new scheduling algorithm for packet-switched networks, Computer Networks: The International Journal of Computer and Telecommunications Networking, v.35 n.2-3, p.287-305, Feb. 2001

48. P. Van Emde Boas, R. Kaas, and E. Zijlstra, "Design and implementation of an efficient priority queue," Math. Syst. Theory, vol. 10, pp. 99-127, 1977.

49. C. Waldspurger and W. Weihl. Lottery scheduling: Flexible proportional-share resource management. In 1st USENIX OSDI, Nov. 1994.

50. C. Waldspurger and W. Weihl. Stride scheduling: Deterministic proportional resource management. Technical report, MIT/LCS/TM-528, June 1995.

51. Wang S., Wang Y.-Ch., Lin K.-J. A priority-based weighted fair queuing scheduler for real-time network, Electrical and Computer Engineering, University of California, Irvine. 2002

52. Wang Y.-Ch., Lin K.-J. Implementing a general real-time scheduling framework on the RED-Linux real-time kernel. Department of Electrical and Computer Engineering, University of California, Irvine. 1999

53. Williams, P. Jun 2000 Unitied States Patent 6,758,889

54. B. Worthington, G. Ganger, and Y. Patt. Scheduling algorithms for modern disk drives.In ACM Sigmetrics, 1994.

55. J. Yao, J. Guo, and Z. Xu, "Scheduling real-time multimedia tasks in network processors," IEEE GLOBECOM, Dallas,, November 2004.

56. K. Yau, J. Lui, and F. Liang. Defending against distributed denial-of-service attacks with max-min fair server-centric router throttles. In Proceedings of IEEE International Workshop on Quality of Service (IWQoS), Miami Beach, FL, May 2002.

57. H. Zhang. Providing end-to-end performance guarantees using non-work-conserving disciplines. Computer Communications, 18(10), Oct. 1995.

58. Zhang, H Resource Management For Service-Oriented Internet. School of Computer Science, Carnegie Mellon University. Электронный ресурс: http://www.cra.org/Policy/NGI/papers/zhang.

59. H. Zhang, "Service disciplines for guaranteed performance service in packet-switching networks," Proc. IEEE, vol. 83, pp. 1374-1396, Oct. 1995.

60. Леви. JI. Применение фильтров Калмана в навигационной аппаратуре, Электронный ресурс: http://www.navgeocom.ru/gps/kalman/index.htm.

61. Проект Virtuozzo Электронный ресурс: http://virtuozzo.com.

62. Проект Altiris Электронный ресурс: http://altiris.com.

63. Проект OpenVZ Электронный ресурс: http://openvz.org.

64. Проект xLswitch Электронный ресурс: http://swsoft.com.

65. Проект Microsoft Virtual PC Электронный ресурс: http://www.microsoft.com/windows/products/winfamily/virtualpc/default. mspx.

66. Проект Хеп Электронный ресурс: http://xensource.com.

67. Проект Aurema Электронный ресурс: http://aurema.com.

68. Феллер В. Введение в теорию вероятностей и ее приложения. Т.1. -М.: Мир, 1984.

69. Kobets A., Votyakov К., Lukovnikov V., Optimization of resources distribution for high performance computation// Moscow Conference on Computational Molecular Biology (MCCMB'07), Электронный ресурс: http://mccmb.genebee.msu.su/2007/.

70. Votyakov К., Kobets A., Semi-macroscopic model for computation of electrostatic effects in membrane proton pump bactriorhodopsin// Moscow Conference on Computational Molecular Biology (MCCMB'07), Электронный ресурс: http://mccmb.genebee.msu.su/2007/.

71. Проект измерения производительности программного обеспечения и аппаратных устройств, Sisoftware Электронный источник http://sisoftware.net.

72. Проект VMWare, Электронный ресурс: http://vmware.com.

73. Serlin О. Scheduling of Time Critical Processes //Proceedings of the AFIPS Spring Joint Computer Conference. — Vol. 40. -1972.

74. Yifeng Zhu, Evaluation of Scheduling Algorithms for Real-Time Disk I/O, University of Nebraska Lincoln, NE, 66588-0155

75. A. N. Reddy and J. Wyllie. Disk scheduling in multimedia I/O system. Proceedings of ACM Multimedia'93, Anaheim, CA, pages 225-234, 8, 1993.