Научный отчет № 4932

Название

Математическое и программное обеспечение сбора мусора в системе автоматического распараллеливания программ. (Заключительный).

Авторы

Васенин В.А., Конев И.М., Степанов Е.А., Водомеров А.Н., Шрамов П.А.

Аннотация

Объектом исследований являются системы автоматизированного распараллеливания программ с позиции автоматического управления памятью. Цель работы - создание подсистемы сбора мусора, обеспечивающий параллельную работу коллектора и приложения без необходимости синхронизаций и остановка вычислений. Результаты работы: разработана подсистема сбора ациклического мусора, обеспечивающая "атомарное" копирование ссылок, разработана система сбора циклического мусора, функционирующая без необходимости синхронизации с пользовательским приложением. Разработаны алгоритмы сбора мусора, обладающие рядом свойств, важных для работы в распределенной вычислительной среде. Построена математическая модель, описывающая поведение распределенных объектов. Разработанные алгоритмы описаны в рамках модели. Доказана их корректность. Описанные алгоритмы реализованы в программном средстве NewTS и апробированы на ряде практических и модельных приложений.

Год публикации

2007 г.

Объём

115 с.

Научный руководитель

Васенин В.А.

Ключевые слова

управление памятью, автоматический сбор мусора, подсчет ссылок, NewTS.