Отрывок: (11) Следующий фрагмент кода на языке С++ является частью библиотеки времени выполнения. // engine struct engine{ std::vector
Название : | Система параллельных вычислений Templet: спецификация, реализация, применение |
Авторы/Редакторы : | Востокин, С.В. |
Ключевые слова : | модель акторов модель выполнения темпоральная логика система параллельных вычислений платформонезависимость |
Дата публикации : | 2017 |
Издательство : | Новая техника |
Библиографическое описание : | Востокин С.В. Система параллельных вычислений Templet: спецификация, реализация, применение // Сборник трудов III международной конференции и молодежной школы «Информационные технологии и нанотехнологии» (ИТНТ-2017) - Самара: Новая техника, 2017. - С.1567-1572. |
Аннотация : | В статье описывается реализованный прототип системы параллельных вычислений Templet для языка программирования С++. В системе используется новая версия акторной модели выполнения. Дизайн данной акторной модели позволяет определить поведение разрабатываемой параллельной программы математически точно на основе формул темпоральной логики. Это свойство важно, так как даёт разработчику свободу реализации акторных вычислений на произвольной платформе. Представленный вариант акторной модели может быть легко реализован на различном аппаратном обеспечении и на различных языках программирования для вычислений на системах с разделяемой памятью. В статье даётся определение модели акторов Templet с использованием логики TLA, обсуждается дизайн системы программирования и описывается несколько примеров практического использования представленной системы параллельных вычислений. |
URI (Унифицированный идентификатор ресурса) : | http://repo.ssau.ru/handle/Informacionnye-tehnologii-i-nanotehnologii/Sistema-parallelnyh-vychislenii-Templet-specifikaciya-realizaciya-primenenie-64072 |
Другие идентификаторы : | Dspace\SGAU\20170522\64072 |
Располагается в коллекциях: | Информационные технологии и нанотехнологии |
Файлы этого ресурса:
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
paper 283_1567-1572.pdf | Основная статья. Раздел: Высокопроизводительные вычисления | 538.53 kB | Adobe PDF | Просмотреть/Открыть |
Показать полное описание ресурса
Просмотр статистики
Поделиться:
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.