Компьютерщики MIT создали новый язык программирования Milk
В современных компьютерных чипах управление памятью основано на «принципе локальности» - если программе требуется набор данных, хранящихся в определенном месте памяти, они, вероятно, должны также занимать и соседние участки.
Но это предположение рушится в эпоху больших данных, когда компьютерные программы чаще требуют несколько элементов, разбросанных произвольно по огромному набору данных. Поскольку выборки данных из основной памяти является основным узким местом производительности в современных чипах - их частое выполнение может существенно замедлить работу программы.
На Международной конференции по параллельным архитектурам и обобщенным методам, исследователи из Массачусетского технологического института (MIT) представили новый язык программирования «Milk», который позволяет разработчикам приложений более эффективно управлять памятью в программах, которые имеют дело с рассеянными данными в больших наборах данных.
В тестах на нескольких стандартных алгоритмах, программы, написанные на новом языке, выполняются в четыре раза быстрее, чем написанные на других существующих языках. Но исследователи MIT полагают, что их дальнейшая работа над языком обеспечит еще больше производительности для процессоров.
Современные компьютерные чипы не оптимизированы для разреженных данных, и это плохо. Поскольку выборки данных из основной памяти происходят медленно, каждый процессор имеет свой собственный «кэш», сравнительно небольшой, локальный, высокоскоростной банк памяти. Вместо получения одного элемента данных из основной памяти, процессор получает весь блок данных, который выбирается в соответствии с принципом локальности.
Milk просто добавляет несколько команд в OpenMP, расширение языков, таких как C и Fortran, которые упрощают написание кода для многоядерных процессоров. С помощью Milk, программист вставляет несколько дополнительных строк кода, перебирающего большую коллекцию данных в поиске сравнительно небольшого числа элементов. Компилятор Milk - программа, которая преобразует высокоуровневый код в низкоуровневые инструкции, сама поймет, каким образом управлять памятью.
В Milk программе, когда ядро процессора обнаруживает, что ему нужна часть данных, оно не запрашивает их, кэшируя смежные данные из основной памяти. Вместо этого добавляется адрес элемента данных в список локальных адресов. Когда список будет достаточно длинным, все ядра чипа объединяют свои списки, сгруппировав эти адреса, находящиеся рядом друг с другом, и распространяют их по ядрам. Таким образом, каждый основной запрос содержит только известные элементы данных, и может быть выполнен чрезвычайно эффективно.
Запись Компьютерщики MIT создали новый язык программирования Milk впервые появилась FTimes - актуальные новости сегодня.
Источник: http://ftimes.ru/tech/45395-kompyutershhiki-mit-sozdali-novyj-yazyk-programmirovaniya-milk.html