loader
Срочные новости раздела
Создан новый язык программирования Armada

Создан новый язык программирования Armada

Он упростит работу с параллельными вычислениями.

Исследователи из Института по проблемам безопасности и приватности CyLab Университета Карнеги — Мэллона представили новый язык программирования и инструментарий для оптимизации работы высокопроизводительных параллельных программ. Об этом сообщает Tech Xplore.

«Когда несколько вещей происходят одновременно, вам нужен способ координации между ними, чтобы убедиться, что они не мешают друг другу, — отмечает доцент CyLab Брайан Парно. — Исторически это был очень глючный процесс».

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

Авторы сравнивают сложность параллельных программ и их подверженность ошибкам с аукционом. Обычно один аукционер получает заявки от множества людей. До самой высокой ставки пройдет много времени. Но если разделить участников условно на десять комнат с отдельным аукционером, процесс ускорится. Правда аукционерам будет трудно оставаться скоординированными, будет много места для ошибок. В такой ситуации Armada становится средством коммуникации аукционеров, которые одновременно получают самые высокие ставки в разных комнатах.

Парно считает, что их язык программирования принесет пользу любому, кто пишет параллельные программы, которые охватывают огромный диапазон приложений: от систем расчета заработной платы до больничных записей и e-commerce. Подобные сервисы поддерживаются базами данных на основе параллельного программного обеспечения. «За исключением простых программ, в наши дни почти все имеет какой-то параллелизм», — подчеркнул ученый.

Источник: hi-tech.mail.ru

Последние записи - Hi-tech

самые читаемые новости

#Hi-tech

​​​​​​​Если вашу машину сфотографировали, это не повод для паники. Скорее всего, это ничем не грозит, но могут быть и неприятные последствия.Замечали ли вы, что кто-то фотографирует припаркованные
подробнее...

Он может стать основной для легкой брони, неразрушимых замков и защитной одежды.Исследователи из университета Дарема в Великобритании и немецкого института Фраунгофера создали материал «Протей»,
подробнее...

Неизвестные атаковали социальную сеть Twitter и получили доступ к самым популярным аккаунтам в сервисе. Мошенники публикуют фейковое предложение увеличить в два раза сумму, которую им пришлют на
подробнее...

Его можно купить дешевле, чем большинство современных флагманских смартфонов.Xiaomi создала новый электроскутер Ninebot C30, который стал самым доступным в линейке Ninebot и, кажется, самым дешевым
подробнее...

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

Во всем виновата путаница с региональными патчами.Xiaomi выпустила обновление для смартфонов Mi A3, которое повлекло за собой сбой в работе устройства. Владельцы девайса могли остаться без связи из-за
подробнее...

​​​​​​​Люди, отправляющиеся в отпуск, часто ставят в морозильник стакан с монеткой. Объясняем, зачем они так делают.Когда вы уезжаете в отпуск, то что делаете с продуктами? Съедаете все, ничего не
подробнее...

Компания анонсировала запуск нового фитнес-браслета на европейском рынке. Модель с NFC так и не показали.Как и предполагалось, глобальная версия Mi Smart Band 5 ничем не отличается от китайского Mi
подробнее...

Японцы сделали приложение для смартфонов, которое через камеру просканирует тунца и оценит качество мяса.Японская сеть суши-ресторанов использует приложение Tuna Scope, чтобы проверить качество рыбы
подробнее...

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

Авиакомпания выступила против «челноков».Пилотам и бортпроводникам «Аэрофлота» пришло уведомление от руководства авиакомпании, в котором содержатся новые более жесткие требования к провозке личных
подробнее...

Российские эксперты рассекретили хакера, который держал в страхе множество компаний. Он торговал доступом к корпоративным сетям в даркнете. Казалось, «невидимый бог сети» может проникнуть в любую
подробнее...

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

Он будет ставить новые рекорды производительности в смартфонах.Блогер из китайской социальной сети Weibo опубликовал кадр из отчета инвестбанка о деятельности компаний MediaTek и Qualcomm. На
подробнее...

Xiaomi провела большую презентацию устройств для европейского рынка, скорее всего, многие из них скоро появятся и в России.Главной новинкой мероприятия стал браслет Mi Smart Band 5 — международная
подробнее...

Сразу три модели — ультрабюджетный Redmi 9A, средний Redmi 9C и старшая версия Redmi 9. Цены начинаются на 8 тысяч рублей.В некоторых странах Европы уже продается базовый Redmi 9, а теперь компания
подробнее...

Демонстрация нового оружия выглядит впечатляюще.Немецкий производитель оружия Rheinmetall опубликовал видеозапись с испытаний своей новой разработки. Компания опробовала 130-миллиметровое
подробнее...

Ученые из новозеландского исследовательского института GNS Science нанесли на карты форму и размеры континента Зеландия в беспрецедентных деталях, сообщает Business Insider.Они разместили карты на
подробнее...