Новый инструмент обеспечивает простой способ отладки предметно-ориентированного языка программирования

14:20, Апрель 12, 2023 Новый программный инструмент обеспечивает более простой способ отладки любого предметно-ориентированного языка программирования. Где-то в 2019 году доктор философии Массачусетского технологического института. Студент Аджай Брахмакшатрия сформулировал простую, но все же довольно сложную цель. Он хотел, чтобы люди, имеющие опыт в определенной области, такой как моделирование климата, биоинформатика или архитектура, могли писать свои собственные языки программирования, так называемые предметно-ориентированные языки (или DSL), даже если у них было мало знаний. или нет опыта создания языков программирования. Брахмакшатрия, член исследовательской группы, возглавляемой профессором Массачусетского технологического института Саманом Амарасингхе в Лаборатории компьютерных наук и искусственного интеллекта (CSAIL), хотел, чтобы эти языки поставлялись со всеми вспомогательными функциями, которые потребуются людям для комфортного их использования, включая инструменты для отладки . Он и Амарасингхе согласились, что этот процесс избавления от ошибок в программном обеспечении необходим, так как они назвали отсутствие поддержки отладки «ахиллесовой пятой DSL». Это были продуктивные несколько лет для них обоих. В 2021 году Брахмакшатрия и Амарасингхе представили BuildIt, программный пакет, значительно упрощающий задачу создания DSL. А в прошлом месяце на международной конференции в Монреале, организованной Ассоциацией вычислительной техники, дуэт представил D2X, инструмент, который упрощает добавление отладки к любому DSL и, как было показано, особенно хорошо работает с BuildIt. Их статья о работе даже получила одну из двух наград Distinguished Paper Awards, врученных на конференции. Брахмакшатрия объясняет, что основная причина создания языка в специализированной области «состоит в том, чтобы способствовать простоте использования». Например, DSL для обработки изображений может иметь функцию «размыть все изображение». Брахмакшатрия отмечает, что для ввода той же команды на языке общего назначения потребуется гораздо больше строк кода. «Это одна из причин использования DSL. Другая — производительность». Поскольку операции специфичны для этой области, их легче оптимизировать — выполнять в правильном порядке и, следовательно, выполнять более эффективно и быстро. Брахмакшатрия описывает BuildIt как «DSL для создания DSL». Он упрощает многоступенчатую процедуру, позволяющую взять существующий универсальный язык программирования и урезать его до тех пор, пока он не станет специализированным в нужном направлении. «Предположим, у вас есть проблема, и вы хотите написать программу для ее решения», — говорит он. «Вы можете написать программу для ее полного решения, или вы можете написать меньшую программу для решения только подкласса интересующей вас задачи. Чем более специализированной вы сделаете программу, тем быстрее она будет работать». BuildIt предназначен для создания DSL с учетом этих руководящих принципов. Halide — язык обработки изображений, изобретенный в 2012 году, за много лет до появления BuildIt, — один из первых DSL, созданных группой Амарасингхе. Его разработкой руководили тогдашний аспирант Джонатан-Раган Келли и Эндрю Адамс, в то время постдоктор CSAIL. «Halide сейчас очень популярен и используется во многих приложениях Adobe, включая Photoshop, но у него до сих пор нет отладчика, — говорит Амарасингхе. Причина этого, добавляет он, «в том, что отладчики очень сложны. Их очень сложно написать, поэтому большинство небольших DSL не имеют поддержки отладки». По словам Брахмакшатрии, это нежелательное положение вещей, которое настаивает на том, чтобы каждый DSL имел свой собственный отладчик. «Вы не можете напрямую использовать существующие отладчики для вашего нового языка, потому что они не понимают домен». Более того, невозможно написать полностью правильную программу с первого раза, говорит он. «Вы всегда начинаете с чего-то, в чем есть ошибки, хотя они часто не проявляются до гораздо более позднего этапа цикла разработки. Если ошибка возникает в этот момент, когда у вас 5000 строк кода, это может быть очень сложно. найти его». Следовательно, после того, как программа «завершена по коду» — считается, что ее разработчики готовы к тестированию, — инженерам-программистам, возможно, придется посвятить более половины своего времени трудоемкой работе по отладке. Но помощь уже в пути в виде D2X (произносится как «детокс», потому что он связан с идеей избавления вашей программы от ядов или дефектов). D2X не является программой как таковой, а классифицируется как библиотека — фрагмент компьютерного кода, который может повторно использоваться другими программами. Он предназначен для работы с существующими отладчиками (такими как GDB или LLDB), выступая в качестве моста между этими инструментами и данным DSL. Отладчику нужна информация о программе или языке программирования, которые необходимо очистить. «Каждому отладчику требуется эта информация в своем собственном формате, который может представлять собой документ на 400 страниц, — говорит Амарасингхе. «Если вы используете D2X, вам не нужно об этом беспокоиться. Об этом позаботятся за вас». Брахмакшатрия говорит, что с D2X, выступающим в качестве интерфейса, «вашу программу можно отлаживать с помощью популярных отладчиков без каких-либо модификаций самих отладчиков». По его мнению, это главное преимущество объединения D2X с BuildIt: «Если вы пишете DSL с помощью BuildIt, вам не нужно делать никакой дополнительной работы. Вы получаете отладчик бесплатно, не написав ни одной лишней строки. кода». «D2X решает противоречие, присущее высокопроизводительному программному обеспечению, — комментирует Адриан Сэмпсон, адъюнкт-профессор компьютерных наук Корнельского университета. «С одной стороны, предметно-ориентированные языки — наша единственная надежда на серьезное повышение эффективности вычислений в современную эпоху. Однако сделать новый отладчик для нового языка с нуля сложно, а отсутствие отладчика — рациональной причиной. что программист может отказаться от «лучшего» языка в пользу «худшего». Преимущество D2X в том, что он снижает барьер для создания полезного отладчика для DSL». Но это не конец истории, что касается Брахмакшатрии. Еще одна функция, которую он хотел бы объединить с BuildIt, помимо отладки, — это редактирование, упрощающее написание программы. Редакторы, например, могут выделять определенные ключевые слова в документе, что может улучшить его читабельность. Они могут выполнять другие функции, такие как автозаполнение, которое автоматически заполняет текст после ввода небольшой части. Brahmakshatriya хотела бы включить профилировщики вместе с отладчиками и редакторами в состав платформы BuildIt. «Профилировщики похожи на отладчики, но вместо того, чтобы помогать вам находить ошибки, они позволяют вам оценить проблемы с производительностью в вашей программе», — говорит он. «Если программа работает медленнее, чем ожидалось, вы можете использовать профилировщик, чтобы понять, какая часть программы тормозит». По его словам, в будущем могут быть добавлены и другие полезные функции. Все эти усилия, как утверждает Амарасингхе, сделают перспективу создания специализированных языков намного более привлекательной. «На мой взгляд, существует огромное количество людей, поддерживающих традиционные языки — тысячи программистов, создающих инструменты для C, C++ или Java», — говорит он. «С другой стороны, если я создаю простую DSL, у меня нет тысяч программистов, чтобы обеспечить всю эту поддержку». Но теперь, с BuildIt и D2X, добавляет он, «маленькие ребята могут получить все, что есть у других, включая отладчики и, в конечном счете, редакторы и профилировщики — те же преимущества, что и традиционные языки. инженеры, пишущие всевозможный сложный код»....

Читать полный текст на android-robot.com

Поделиться новостью в Facebook Поделиться новостью в Twittere Поделиться новостью в VK Поделиться новостью в Pinterest Поделиться новостью в Reddit

Software

Новый вычислительный инструмент находит «горячие точки», где сходятся экологические и экономические риски Вычислительный инструмент, разработанный исследователями из Объединенной программы Массачусетского технологического института по науке и политике глобальных изменений, определяет конкретные округа в Соединенных Штатах, которые особенно уязвимы для экономического кризиса в результате перехо …

Software 20:40, Май 21, 2023 | android-robot.com

После инсульта большинству людей уготована судьба «овоща». Но в России изобрели новый способ восстановиться Мне ведь не нужно рассказывать, насколько страшное и печальное слово «инсульт»? Не дай бог узнать на себе или на примере друзей и родственников, что это такое. Но сейчас мы будем говорить не об инсульте, как явлении, а о новых способах излечиться после него. Тем более, такие способы совсем …

Наука и Технологии 21:40, Май 30, 2023 | ferra.ru

Инструмент ИИ прогнозирует выживаемость рака толстой кишки и ответ на лечение Новая модель искусственного интеллекта, разработанная исследователями из Гарвардской медицинской школы и Национального университета Ченг Кунг на Тайване, может внести столь необходимую ясность врачам, ставящим прогнозы и принимающим решения о лечении пациентов с колоректальным раком, вторы …

Software 14:20, Апрель 18, 2023 | android-robot.com

Как вернуть ТикТок на Айфон в России. Лучший способ Уже больше года прошло с того момента, как ТикТок ввел ограничения для российских пользователей: с аккаунта нельзя ни посмотреть блогеров из других стран, ни загрузить видео, ни запустить прямой эфир. Из-за этого многие пользователи сталкиваются с тем, что в прямом смысле досматривают лент …

Наука и Технологии 03:30, Май 6, 2023 | appleinsider.ru

Путин назвал самый действенный способ улучшения региональной демографии Дальний Восток до сих пор полностью не оправился от прошлогодних разрушительных тайфунов. На востановление дорог и мостов уже потрачено почти три миллиарда рублей из краевого бюджета. Об этом Владимиру Путину доложил губернатор Приморского края. Также на встрече Олег Кожемяко рассказал о м …

Новости 21:40, Апрель 10, 2023 | 5-tv.ru

Представлен Pixel Tablet – новый планшет от Google Google официально возвращается в бизнес планшетов, анонсировав на мероприятии I/O в Маунтин-Вью Pixel Tablet. Устройство поставляется в комплекте с зарядной док-станцией, которая также служит динамиком, что позволяет ему работать в основном так же, как устройство Nest Hub, когда оно подклю …

Гаджеты 09:20, Май 11, 2023 | mobidevices.com

Новый закон о банкротстве физлиц не будет работать Государство больше позаботилось о интересах кредиторов, нежели заёмщиков. Источник фото: sports-insight.co.uk В России с 1 сентября 2020 года начал действовать новый «упрощённый» внесудебный порядок признания граждан банкротами. Редакция «Версия.инфо» поделилась рядом минусов, которые усло …

Политика 12:30, Март 29, 2023 | versiya.info

Разработан новый подход к визуальному распознаванию мест Визуальное распознавание мест (VPR) — это задача определения места, где были сделаны определенные изображения. Ученые-компьютерщики недавно разработали различные алгоритмы глубокого обучения, которые могут эффективно решать эту задачу, сообщая пользователям, где в известной среде было захв …

Наука и Технологии 13:50, Май 23, 2023 | android-robot.com

Pin Bar + Inside Bar = Комбинация паттернов [Новый сигнал Price Action] Pin Bar + Inside Bar / ПИН-БАР + ВНУТРЕННИЙ БАР = Комбинация паттернов [Новый сигнал Price Action — стратегия торговли на рынке Форекс и Криптовалют]. Пин-бар / Pin Bar — это фигура, которая показывает отклонение цены и указывает на вероятный потенциальный разворот цены на графике. Внутрен …

Forex 01:00, Май 8, 2023 | strategy4you.ru

Представлен Realme GT Neo 5 SE – дисплей 144 Гц, новый чип Snapdragon и батарея на 5500 мАч за $305 Компания Realme анонсировала свой новый смартфон GT Neo 5 SE. Это первый гаджет бренда с чипсетом Snapdragon 7+ Gen 2. Кроме того, Realme GT Neo 5 SE оснащён аккумулятором ёмкостью 5500 мАч с поддержкой быстрой зарядки мощностью 100 Вт. ДисплейRealme GT Neo 5 SE оснащён 6,74-дюймовым диспл …

Гаджеты 05:40, Апрель 4, 2023 | mobidevices.com

НБА. Плей-ин. «Торонто» принимает «Чикаго», «Новый Орлеан» – «Оклахому» Сегодня в НБА проходят два матча турнира плей-ин. «Торонто», занявший 9-е место в Восточной конференции, принимает на своем паркете «Чикаго» (10). Девятая команда Запада «Новый Орлеан» встречается с «Оклахомой». Победители матчей сыграют соответственно с «Майами» и «Миннесотой» за выход в …

Спорт 06:30, Апрель 13, 2023 | sports.ru

В Ростове летом вблизи набережной откроется новый креативный парк В Ростове новый парк организуют на 29-ой линии вблизи набережной и бывшего мукомольного завода № 2. Об этом сообщает 161.ru со ссылкой на автора проекта и бизнесмена Вадима Калинича. Парк будет частным с бесплатным входом. Его рабочее навзание — Möller (мельник в переводе с немецкого — при …

Новости 05:20, Май 19, 2023 | cityreporter.ru

НОВЫЙ IT-СЕРВИС ДЛЯ ОРГАНИЗАТОРОВ КОНЦЕРТНОЙ ДЕЯТЕЛЬНОСТИ ПОКАЗАЛ СЕБЯ В ДЕЛЕ При наличии множества IT-сервисов для компаний и агентств различного профиля, обращает на себя внимание отставание промоутерской и концертной индустрии в области автоматизации рабочих процессов. В этой связи появление российского облачного сервиса FanStat стало приятной неожиданностью. Доп …

Технологии 05:20, Май 29, 2023 | versiya.info

Новый водовод в ДНР перекрыл для Таганрогу оптимальную возможность реконструкции водозабора Новый водовод из Ростовской области Дона в ДНР перекрыл Таганрогу оптимальную возможность реконструкции водозабора, утвержденную ранее. Об этом пишет donnews.ru со ссылкой на директора МУП «Управление Водоканал Максима Неснова. Он пояснил, что еще в 2020 году администрация Таганрога утверд …

Новости 15:40, Апрель 22, 2023 | cityreporter.ru

МойОфис выпустил новый продукт — единое цифровое рабочее пространство Squadus МойОфис, российская компания-разработчик офисного программного обеспечения, объявляет о выпуске нового продукта – Squadus, который дополняет экосистему офисных решений компании. Это цифровое рабочее пространство для совместной работы и корпоративного общения в организациях любого размера. …

Наука и Технологии 17:30, Апрель 24, 2023 | digimedia.ru

"Новый муж лучше старых двух": 54-летняя Буланова раскрыла детали грядущей свадьбы Певица Татьяна Буланова была замужем уже дважды. Брак с первым мужем – продюсером и музыкантом Николаем Тагриным – продлился с 1992 по 2005 годы. Потом до декабря 2016-го артистка была женой футболиста Владислава Радимова. Летом 2023-го певица станет супругой ресторатора."Новый …

Новости 10:40, Апрель 5, 2023 | dni.ru

"Новый муж лучше старых двух": 59-летняя Буланова раскрыла детали грядущей свадьбы Певица Татьяна Буланова была замужем уже дважды. Брак с первым мужем – продюсером и музыкантом Николаем Тагриным – продлился с 1992 по 2005 годы. Потом до декабря 2016-го артистка была женой футболиста Владислава Радимова. Летом 2023-го певица станет супругой ресторатора."Новый …

Новости 13:30, Апрель 4, 2023 | dni.ru

Назван новый владелец замка погрязшей в долгах Пугачевой: Афишировать никто не хотел Год назад шоумен Максим Галкин* публично сменил ориентацию... Пока только профессиональную. Он переквалифицировался из не самого талантливого юмориста в самого бездарного политолога. После позорного бегства из России комик начал зарабатывать на благодарной западной публике за счет критики …

Новости 09:40, Апрель 27, 2023 | dni.ru

Геннадий Викторович Усачёв, пенсионер МВД: «Освобождение Артёмовска – новый яркий успех спецоперации России» На Украине в настоящее время проходит специальная военная операция по демилитаризации и денацификации страны. Руководство России было вынуждено начать наводить там порядок. С момента обретения независимости Запад, опираясь на агрессивное националистическое меньшинство, с первого дня старае …

Новости 03:50, Май 25, 2023 | desnyanskaya-pravda.ru

Благотворительный фонд Сбербанка «Вклад в будущее» и АНО «Цифровая экономика» запускают новый сезон проекта «Цифровой ликбез» Благотворительный фонд Сбербанка «Вклад в будущее» и АНО «Цифровая экономика» при поддержке Минпросвещения России и Минцифры России запускают новый сезон Всероссийского просветительского проекта в сфере цифровой грамотности и кибербезопасности «Цифровой ликбез», реализуемого в поддержку фе …

Новости 04:00, Май 1, 2023 | desnyanskaya-pravda.ru

Совершенно новый кроссовер Geely Galaxy L7 поступил в продажу в Китае. 390 л.с., три экрана, 3-ступенчатая трансмиссия и 1300 км на одном баке за 19,5 тыс. долларов В Китае в продажу поступила первая модель нового суббренда Geely – Galaxy. Под обозначением Galaxy L7 скрывается среднеразмерный гибридный кроссовер с большим запасом хода и невысокой ценой. Galaxy L7 предложен в пяти комплектациях ценой от 19,5 до 24,4 тыс. долларов. Две самые досту …

Наука и Технологии 02:20, Июнь 1, 2023 | ixbt.com