о_проекте
Различия
Показаны различия между двумя версиями страницы.
Следующая версия | Предыдущая версия | ||
о_проекте [2022/02/07 13:01] – создано vostokin | о_проекте [2023/02/02 11:48] (текущий) – внешнее изменение 127.0.0.1 | ||
---|---|---|---|
Строка 1: | Строка 1: | ||
- | ====== Проект Templet: программирование в парадигме акторов и задач ====== | ||
- | ===== для интернет-вычислений на основе совместного использования ресурсов ===== | ||
- | |||
- | ====== The Templet project: programming in the paradigm of actors and tasks ====== | ||
- | ===== for Internet computing based on resource sharing ===== | ||
- | |||
====== О проекте ====== | ====== О проекте ====== | ||
Строка 17: | Строка 11: | ||
Наш проект ставит целью популяризацию перечисленных выше подходов использования вычислительных ресурсов через сеть Интернет. Для этого мы развиваем оригинальную технологию программирования в парадигме акторов и задач, упрощающую организацию вычислений на произвольной совокупности ресурсов, | Наш проект ставит целью популяризацию перечисленных выше подходов использования вычислительных ресурсов через сеть Интернет. Для этого мы развиваем оригинальную технологию программирования в парадигме акторов и задач, упрощающую организацию вычислений на произвольной совокупности ресурсов, | ||
+ | ===== Направления исследований ===== | ||
+ | |||
+ | Проблемы организация вычислений на произвольной совокупности вычислительных ресурсов относятся к области параллельных и распределенных вычислений, | ||
+ | |||
+ | Мы разрабатываем синтетический подход, | ||
+ | |||
+ | ==== Модель вычислений ==== | ||
+ | |||
+ | В основе проекта лежит модель вычислений, | ||
+ | |||
+ | Точное и привычное для программистов описание последовательного вычислительного процесса – это алгоритм. Последовательные алгоритмы самодостаточны в том смысле, | ||
+ | |||
+ | Таким образом, | ||
+ | |||
+ | Наш подход близок к модели акторов Хьюитта, | ||
+ | |||
+ | Наш подход на основе математической модели вычислительного процесса можно рассматривать как альтернативу языкам описания потоков работ (CWL и др.); промежуточному программному обеспечению (HTCondor и др.); набору высокоуровневых алгоритмических скелетов с индивидуальными моделями исполнения (map-reduce и др.). | ||
+ | |||
+ | === Задачи исследований === | ||
+ | |||
+ | - Исследование семантики модели с использованием математического аппарата темпоральной логики Лампорта для точного понимания смысла «распараллеливания» в нашей модели. | ||
+ | - Разработка прикладных и обобщенных параллельных алгоритмов | ||
+ | - Разработка методов анализа параллельных алгоритмов, | ||
+ | |||
+ | ==== Библиотека времени исполнения ==== | ||
+ | |||
+ | Особенностью библиотеки времени исполнения является ориентация на синхронизацию параллельных задач на многоядерных/ | ||
+ | |||
+ | Эта особенность обеспечивает расширяемость для использования с разными системами управления задач, компактность кода, а также позволяет эффективно синхронизировать очень большое количество задач малой длительности счета. Текущая реализация библиотеки времени исполнения выполнена на языке С++. | ||
+ | |||
+ | === Задачи исследований === | ||
+ | |||
+ | - Оптимизация кода библиотеки времени исполнения с целью повышения производительности. | ||
+ | - Исследование производительности на разных платформах в алгоритмах мелкогранулярных вычислений. | ||
+ | - Разработка, | ||
+ | |||
+ | ==== Программирование и генерация кода ==== | ||
+ | |||
+ | Наш подход позволяет применять любой алгоритмический язык программирования или псевдокод для передачи семантики модели вычислений, | ||
+ | |||
+ | В проекте разрабатывается набор инструментов, | ||
+ | |||
+ | === Задачи исследований === | ||
+ | |||
+ | - Расширение функционала инструментов: | ||
+ | - Переход на новый принцип генерации кода: использование языка С++ как входного языка генератора кода вместо используемого в текущей реализации специального доменного языка. | ||
+ | - Развитие библиотек обобщенного программирования на основе нового принципа генерации кода: описание алгоритмических скелетов, | ||
+ | |||
+ | ==== Программная инфраструктура ==== | ||
+ | |||
+ | Исследования в области программной инфраструктуры направлены на практическое применение проекта в образовательных и исследовательских целях. Мы стремимся к удобству работы с программами в соответствии с современными требованиями развертывания на произвольных виртуальных машинах в облаке и работы через веб-интерфейс в браузере. | ||
+ | |||
+ | Для поддержки этих возможностей в проекте ведутся исследования в области технологий системной интеграции: | ||
+ | |||
+ | === Задачи исследований === | ||
+ | |||
+ | - Разработка системных механизмов развертывания для виртуальных лабораторий: | ||
+ | - Разработка виртуальных лабораторий для организации практических занятий по программированию и автоматизации научных исследований, | ||
+ | - Улучшение интеграции комплекта разработки программ проекта с компилятором и системой контроля версий в интерфейсе JupyterLab. | ||
+ | |||
+ | ===== Научный руководитель ===== | ||
+ | |||
+ | Востокин Сергей Владимирович, | ||
+ | |||
+ | ===== Участники ===== | ||
+ | |||
+ | Бобылева Ирина Владимировна, | ||
+ | |||
+ | Попов Стефан Николаевич, | ||
+ | |||
+ | ===== Выпускники ===== | ||
+ | |||
+ | Артамонов Ю., Царёв Д., Дун Цзе, Чубаров Н., Водянов В., Потапов Д., Черномырдин И., Сайманина Е., Уланов Д., Коростелев В., Кошелев В, Зекцер И., Одобеску Д., Кантеев М., Полукаров В., Шапилов В., Каримов С., Симонович Н., Архипова Е., Кириченко Е., Макагонова Д., Гусаков С., Назаров Ю., Болтанов С., Борисов А., Усков С., Мартынюк В., Савинкова Ю., Литвинов В., Коленбет А., Хайрутдинов А., Скорюпина Е., Наширванов Д. | ||
+ | |||
+ | ===== Практические результаты ===== | ||
+ | |||
+ | Templet Web – система управления задачами кластера «Сергей Королёв» Самарского университета; | ||
+ | |||
+ | Templet SDK x3 – третья (актуальная) экспериментальная версия комплекта для разработки программного обеспечения, | ||
+ | |||
+ | Templet SDK x2 – вторая экспериментальная версия комплекта для разработки программного обеспечения, | ||
+ | |||
+ | GraphPlus SDK x1 – первая экспериментальная версия комплекта для разработки программного обеспечения, | ||
+ | |||
+ | ===== Результаты получены и использовались ===== | ||
+ | |||
+ | * в проекте «Разработка комплекса технологий использования ресурсов суперкомпьютера «Сергей Королёв» в целях развития инновационной и научно-образовательной среды университета» (программа повышения конкурентоспособности Самарского университета среди ведущих мировых научно-образовательных центров на 2013-2020 годы, «Проект 5-100»); | ||
+ | |||
+ | * в проекте «Разработка фундаментальных основ аналитического синтеза регулярных и хаотических процессов в динамике космических аппаратов» (Госзадание № 9.1616.2017/ | ||
+ | |||
+ | ===== Подготовленные диссертации ===== | ||
+ | |||
+ | Востокин Сергей Владимирович, | ||
+ | |||
+ | Востокин Сергей Владимирович, | ||
+ | |||
+ | Литвинов Владимир Геннадьевич, | ||
+ | |||
+ | Артамонов Юрий Сергеевич, | ||
+ | |||
+ | Бобылева Ирина Владимировна, | ||
+ | ИНФОРМАЦИОННЫХ МАССИВОВ ДЛЯ МНОГОЗАДАЧНЫХ ВЫЧИСЛЕНИЙ В ГИБРИДНОМ ОБЛАКЕ, | ||
+ | комплексов и компьютерных сетей, защищена 25.05.2022. | ||
+ | |||
+ | |||
+ | ===== Публикации | ||
+ | * [[https:// | ||
+ | * [[главная| Избранные публикации участников проекта (с 2010 года)]] | ||
о_проекте.1644238875.txt.gz · Последнее изменение: 2022/02/07 13:01 (внешнее изменение)