www.course-as.ru







www.course-as.com


PACS

AS_VIMeN
DICOM
Станции


Michelangelo
Графическая
База Данных


"AS_AVGBase"
"PATNAV"

Потоковая
Обработка


Stream
Processing

Зонная
Обработка


Zoned
Processing

Data House
DICOM Server


"AS_DCMSRV"
AS_VData

DICOM Print

AS_MFVPrint
Микроcекундная Рентгенология

AS_RTX-12M60..
"Michelangelo"

О О О
"Курс-АС1"


"Course-AS1"
Ltd.

Русскоязычные документыEnglish DocsГлоссарий
    Иерархия :: "КУРС-АС1" (Home) / AdapSys_RT / CAPER

Язык Параллельного Программирования
(The Parallel Programming Language)
CAPER

      Подразделы по Языку CAPER:

Прямое управление процессорными ядрами средствами языка CAPER 5.0

CAPER - Язык Императивного Параллельного Программирования

Реализация приложений на языке CAPER

Сопоставление скоростей симуляции СБИС на языках CAPER и SystemC

Основные публикации по языку параллельного программирования CAPER

Вартанов Сергей Рубенович, к.ф.-м.н. *


Прямое управление процессорными ядрами средствами языка
CAPER 5.0 (2017-2021)

На конференции "Параллельные вычислительные технологии (ПаВТ’2021)", г.Волгоград, 30.03–01.04 2021 г., была представлена статья Вартанова С.Р. (PDF 900kB):

"Распределение вычислений для многоядерных/многопроцессорных
вычислителей на основе системы виртуальных машин языка
параллельного программирования Caper"

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

Даны необходимые определения языка в части структур программ и средств императивного вызова псевдопараллельных легковесных процессов. Кратко описана схема работы виртуальной машины языка VM-Caper.

Рассмотрены вопросы, связанные с использованием многоядерности процессоров и многопоточности ОС.
Описаны решения как на уровне изменений в инструкциях вызова параллельных процессов, компиляции, так и при их интерпретациях виртуальной машиной. Представленное решение основывается на запуске комплексов виртуальных машин VM-Caper на ядрах процессора и в потоках ОС с распределением по ним псевдопараллельных процессов.


Множество виртуальных машин с псевдопараллелизмом

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

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


Виртуальные машины CAPER 5.0, и не только...

Язык параллельного программирования Caper получил новое развитие - создана новая версия его виртуальной машины ИВМ (Интегральная Виртуальная Машина), которая является интегратором локализованных виртуальных машин ЛВМ (Локальная Виртуальная Машина), запускаемых в качестве самостоятельных потоков ОС (Операционная Система) на избираемых ядрах процессора.

Каждая локальная виртуальная машина ЛВМ обеспечивает псевдопараллельное исполнение множества процедур, записанных на языке.

Интегральная виртуальная машина позволяет использовать различные режимы запуска локальных виртуальных машин:

  1. С указанием ядер процессора, на которых должны быть запущены ЛВМ,
  2. Без указания ядер, но самостоятельными потоками ОС,
  3. С первичной загрузкой ЛВМ до получения ими заданий на исполнение параллельных процессов языка, или без оного - т.е. со стартами ЛВМ по необходимости.

Cоответственно, Caper снабжен средствами выгрузки ЛВМ и/или их перераспределения по другим ядрам процессора.

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

Проведены тесты, которые показали ускорение исполнений параллельных процессов Caper
от 3 до 5 раз. Тестирование проводилось имитацией клеточных автоматов и нейронных сетей.

Был запущен 1-н миллион постоянно исполняемых параллельных процессов на восьмиядерном
персональном компьютере при 2-х Гб-ом адресном пространстве.

Тестирование показало возможность доведения количества параллельных процессов до
(1.3 – 1.5) миллиона для восьмиядерной машины.

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

На возможностях языка Caper 5.0 будут базироваться медицинские программные модули
проекта "Микросекундная Рентгенология", что обеспечит обработку реального времени
изображений сверхвысокого разрешения в потоке 1500 MB/s и выше!

Аннотация с возможностями языка CAPER 5.0 2017 года Что такое CAPER ? (PDF).


Пример реализация на языке CAPER 5.0 медицинского модуля приложения

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

На изображении результат обработки DICOM серии (формат 1024*1024) функцией "Roadmapping",
реализованной средствами языка параллельного программирования CAPER v.5.0.

Базовая информация по языку CAPER приведена ниже.

Вверх


CAPER
Язык Императивного Параллельного Программирования

Язык CAPER создавался с целью разрешения следующих концептуальных положений:

  • структурированность с возможностью динамического изменения структуры программы в целях самоорганизации;
  • возможность динамической компиляции и исполнения программы;
  • параллельное исполнение элементов структуры программы;
  • управление процессом вычислений на основе событий (программирование событиями).
  • Презентация по основам языка CAPER 5.0 (2017-2018 годы.)

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

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

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

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

    Кроме перечисленных основных положений подход, принятый в определении структуры программы, ее переменных и принципы ее исполнения позволяют эффективно программировать рекурсивные процедуры, непосредственно, без затрат по программированию описывать реентерабельные рутины (routine). Столь же эффективно в CAPERе решается проблема обработки ошибок, происходящих в процессе вычисления: допускается анализ и исправление команд, целых фрагментов программы, приведших к ошибке.

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

    Добро пожаловать в мир параллельного программирования на языке - CAPER - краткое представление (в HTML).

    О языке CAPER на русском и на английском языках.

    Скачайте - Демонстрация некоторых возможностей языка CAPER.

    Вверх


    Реализация приложений на языке CAPER

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

  • Распознавание образов с большим количеством областей интереса в параллельной обработке, например параллельное распознание более 1500 диагностических зон радужной оболочки глаза;
  • Симуляция мультипроцессорных систем (до 400-500 тыс. процессирующих элементов и более) для моделирования электронных схем – четырехкратный выигрыш по скорости симуляции **;
  • Программы информационно-аналитического поиска на базе алгоритмов параллельной многомашинной обработки и поступлением в реальном времени результатов поиска;
  • Аналитическая банковская система финансового состояния банков реального времени с обновлением актуальной графической информации каждые 30 сек. на мониторах специалистов;
  • CAD подготовки программ для многопроцессорных устройств на базе многопроцессорных видеокарт AMD/ NVideo, с помощью которого создается архитектура многопоточных многопроцессорных (кластерных) устройств для обработки изображений или параллельных вычислений.


  • Язык CAPER и его методологическая база стали основой создания ряда проектов:


    Операционная Cистема
    Реального Времени OS-RTRU


    МногоМашинное Параллельное
    Процессирование (обработка)


    МногоМашинные Системы
    Сверхвысокого Разрешения

    Вверх


    ** Сопоставление скоростей симуляции СБИС на языках CAPER и SystemC

    С полным текстом описания моделирования СБИС с помощью языка параллельного программирования CAPER можно познакомиться в PDF документе:

    Язык параллельного программирования CAPER как средство для
    эффективного архитектурного моделирования современных СБИС.

    Результаты симуляции СБИС на языках CAPER4 и SystemC в табличном формате:

    Графическое отображение результатов симуляции на основе SC_THREADS.


    * Крестиком обозначена точка аварийного завершения симулятора на SystemC.

    Как видно из графика, при увеличении количества параллельных процессов скорость симуляции на SystemC резко падает, а после 10000 параллельных процессов программа симуляции в SystemC завершается аварийно, в то время как программа на CAPER продолжает симуляцию.

    Количество процессов доводилось до 200000, практика показывает, что предел определен архитектурными размерами оперативной памяти компьютера.

    Вверх


    * Основные публикации по языку параллельного программирования CAPER

    1. Вартанов С.Р. Распределение вычислений для многоядерных/многопроцессорных вычислителей на основе системы виртуальных машин языка параллельного программирования Caper. Конференция "Параллельные вычислительные технологии" (ПаВТ’2021), стр.178-185.
    2. Вартанов С.Р. Методы конструирования и сопровождения данных средствами языка параллельного программирования Caper. Труды 4-ой международной конференции “Параллельные вычисления и задачи управления”. PACO-2008, Москва, 2008.
    3. Вартанов С.Р. Средства динамической компоновки программ и данных в языке Caper. Годичная научная конференция Российско-Армянского (Славянского) Университета, Ереван, 2007.
    4. Vartanov S.R. A Mass Parallel Starts In Parallel Programming Language Caper. Информационные технологии и управление. Том 4-1, Ереван, 2006.
    5. Вартанов С.Р. Основания к концепции мультиязыков. Информационные технологии и управление. Том 4-3, Ереван, 2005.
    6. Vartanov S.R. Parallel Programming Methods in Caper Language and its Application in Image Processing. SCI2002/ISAS2002, Orlando, USA, 2002, vol. XI.
    7. Vartanov S.R. On Parallel Programming Language Caper. Lect. Notes in Computer Sci., HCPN-2001, 565-568.
    8. Vartanov S.R. Parallel Programming in Caper. Mathematical Questions of Cybernetics and Computing Technique. Vol.22, Yerevan, 2001.
    9. Вартанов С.Р. Язык программирования CAPER. Препринт 97-5. Национальная Академия Наук Украины, Институт Кибернетики им. Глушкова. Киев, 1997.