Отрывок: (11) Следующий фрагмент кода на языке С++ является частью библиотеки времени выполнения. // engine struct engine{ std::vector
Полная запись метаданных
Поле DC | Значение | Язык |
---|---|---|
dc.contributor.author | Востокин, С.В. | - |
dc.date.accessioned | 2017-05-25 13:30:09 | - |
dc.date.available | 2017-05-25 13:30:09 | - |
dc.date.issued | 2017 | - |
dc.identifier | Dspace\SGAU\20170522\64072 | ru |
dc.identifier.citation | Востокин С.В. Система параллельных вычислений Templet: спецификация, реализация, применение // Сборник трудов III международной конференции и молодежной школы «Информационные технологии и нанотехнологии» (ИТНТ-2017) - Самара: Новая техника, 2017. - С.1567-1572. | ru |
dc.identifier.uri | http://repo.ssau.ru/handle/Informacionnye-tehnologii-i-nanotehnologii/Sistema-parallelnyh-vychislenii-Templet-specifikaciya-realizaciya-primenenie-64072 | - |
dc.description.abstract | В статье описывается реализованный прототип системы параллельных вычислений Templet для языка программирования С++. В системе используется новая версия акторной модели выполнения. Дизайн данной акторной модели позволяет определить поведение разрабатываемой параллельной программы математически точно на основе формул темпоральной логики. Это свойство важно, так как даёт разработчику свободу реализации акторных вычислений на произвольной платформе. Представленный вариант акторной модели может быть легко реализован на различном аппаратном обеспечении и на различных языках программирования для вычислений на системах с разделяемой памятью. В статье даётся определение модели акторов Templet с использованием логики TLA, обсуждается дизайн системы программирования и описывается несколько примеров практического использования представленной системы параллельных вычислений. | ru |
dc.description.sponsorship | Работа выполнена при государственной поддержке Министерства образования и науки РФ в рамках реализации мероприятий Программы повышения конкурентоспособности Самарского национального исследовательского университета имени академика С.П. Королева среди ведущих мировых научно-образовательных центров на 2013-2020 годы. Работа частично поддержана грантом РФФИ № 15-08-05934 А. | ru |
dc.language.iso | rus | ru |
dc.publisher | Новая техника | ru |
dc.subject | модель акторов | ru |
dc.subject | модель выполнения | ru |
dc.subject | темпоральная логика | ru |
dc.subject | система параллельных вычислений | ru |
dc.subject | платформонезависимость | ru |
dc.title | Система параллельных вычислений Templet: спецификация, реализация, применение | ru |
dc.type | Article | ru |
dc.textpart | (11) Следующий фрагмент кода на языке С++ является частью библиотеки времени выполнения. // engine struct engine{ std::vector<message*> ready;}; // actor objects struct actor{ void(*recv)(actor*,message*);}; // message objects struct message{ actor*a; bool sending;}; inline void send(engine*e, actor*a, message*m){ if (m->sending) return; m->sending = true; m->a = a; e->ready.push_back(m); } inline bool access(actor*a, message*m){ ... | - |
Располагается в коллекциях: | Информационные технологии и нанотехнологии |
Файлы этого ресурса:
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
paper 283_1567-1572.pdf | Основная статья. Раздел: Высокопроизводительные вычисления | 538.53 kB | Adobe PDF | Просмотреть/Открыть |
Показать базовое описание ресурса
Просмотр статистики
Поделиться:
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.