Рубрика «Компиляторы» - 55

в 14:26, , рубрики: Алгоритмы, Компиляторы, судебное разбирательство, Телекомы, метки:

Да, я знаю всё про карму, правила, «если каждый будет».
Уважаемый читатель, просто перепости информацию.
Да, это самое важное событие в РФ сегодня.

Видеозапись стрельбы в метро

Фотографии участников (кликабельны)

Наши дети. Наше общество Ибрагим Курбанов, 24 года

Напавший на Александру Лоткову с ножём и нанёсший 3 ножевых ранения в шею Хворостова Д.С., находился в состоянии алкогольного опьянения = 3 промиле = 1 бутылка водки. Состава преступления в его действиях не обнаружено. Получил лёгкое пулевое ранение травматического пистолета «Стайер». По решению Тверского суда г. Москвы Александра Лоткова должна выплатить ему 250 000 руб. за ущерб здоровью.

Наши дети. Наше общество Иван Белоусов, 22 года.

Избивавший Хворостова Д.С. в т.ч. ногой в лицо и получивший пулю в лёгкое из травматического пистолета «Стайер». Состава преступления в его действиях не обнаружено. По решению Тверского суда г. Москвы Александра Лоткова должна выплатить ему 500 000 руб. за ущерб здоровью.

Наши дети. Наше общество Иван Ермошкин, 23 года.

3-й участник ОПГ «Ибрагим и 2 Ивана» избивавший друзей Александры Лотковой. Слава Богу Тверской суд г. Москвы оставил без внимания его страдания.

Наши дети. Наше общество Лечение Ивана Белоусова обошлось ему в 237 396 руб. 75 коп. Итого, прибыль Ивана с решения Тверского суда г. Москва — 262 603 руб. 25 коп.
Наши дети. Наше общество Александра Лоткова, 20 лет

Защищала свою и Хворостова Д.С. жизни от ножа Ибрагима Курбанова. Выстрелила 4 раза из зарегистрированного травматического пистолета «Стайер». 2 раза попала. Осуждена Тверским судом г. Москва на 3 года колонии общего режима, из которых 1 год уже отбыла под домашним арестом с запретом коммуникаций и встреч с адвокатом. Объяснение суда: не заявила о нападении своевременно, друзья пострадавшие от ОПГ проходили лечение за свой счёт. Следователь Гайнуллина Диана Ханифовна отказалась рассматривать версию о самообороне. Прокурор Раджабова озвучила обвинение по ст. 111 УК РФ, в котором говорится что Александра Лоткова умышленно нанесла тяжкий вред здоровью Ивана Белоусова на почве внезапно возникшей личной неприязни.

Наши дети. Наше общество Хворостов Дмитрий, 18 лет

Получил от Ибрагима Курбанова 2 ножевых удара в шею и 1 в бок. На фотографии он через несколько месяцев после инцидента в метро. Своевременно не заявил в полицию о покушении на убийство. Выжил чудом.

Фиксация трансляции от РОД-Россия из зала Тверского суда г. Москва

Читать полностью »

в 9:23, , рубрики: gcc, icc, Блог компании Intel, векторизация, Компиляторы, Программирование, метки: , ,

Некоторые простейшие принципы автовекторизацииПредыдущий мой пост был посвящен цикловым перестановочным оптимизациям, проблемам распознавания циклов, разрешению неоднозначности при работе с памятью, определению и важности зависимостей. Теперь я хочу сделать обзор одной из самых эффективных цикловых оптимизаций — автовекторизации. Хочется обсудить вопросы эффективности оптимизации, а также попытаться понять, какие факторы эту эффективность определяют. Всем, кому это интересно – добро пожаловать. При обсуждении я буду ориентироваться на интеловский автовекторизатор и автовекторизатор gcc 4.7.2. gcc я буду исследовать, чтобы подтвердить, что те принципы векторизации, которые я здесь пытаюсь сформулировать, имеют достаточно общую природу. Заодно мне, конечно, хочется понять уровень автовекторизации в gcc. Тут, конечно, есть некий элемент неравенства, поскольку я использую последний компилятор Интел, но не самую топовую версию gcc, но в основном я буду ориентироваться при сравнении на SSE инструкции. (Кстати, Intel активно участвует в разработке автовекторизатора gcc). Поскольку Intel и интеловский компилятор мне ближе, то ему я уделю кое-где больше внимания. Я не претендую на то, что я векторизаторный гуру и буду рад, если кто-то увидит мои ошибки и меня поправит. Букв будет много.
Читать полностью »

в 8:21, , рубрики: ghc, haskell, LLVM, yarr, абстрактное синтаксическое дерево, высокая производительность, каррирование, Компиляторы, ленивые вычисления, метки: , , , , ,

GHC (Glasgow Haskell Compiler) — стандартный компилятор Хаскеля. GHC — один из самых крутых компиляторов в мире, но к сожалению без дополнительных телодвижений скомпилированные им программы по скорости больше напоминают интерпретируемые, т. е. работают очень медленно. Однако если раскрыть весь потенциал компилятора, Хаскель приближается по производительности к аналогичному коду на C.

В этой статье я обобщаю опыт выжимания максимума из GHC при создании dataflow-фреймворка Yarr.
Читать полностью »

в 8:42, , рубрики: jit, LLVM, python, виртуальная машина, интерпретаторы, Компиляторы, Песочница, метки: , , , , , , ,

О компиляторах и интерпретаторах
Если ты всегда мечтал написать свой язык программирования — добро пожаловать. Здесь ты наверняка найдёшь для себя что-нибудь интересное.

GitHub-юзер yawnt собрал чудесную подборку ссылок для любителей драконов, языков и прочих вкусных внутренностей. А знающие камрады в комментариях наверняка поделятся с тобой и другими яствами.

Пишет yawnt следующее:

С каждым днём мне всё интереснее тема компиляторов, интерпретаторов и дизайна языков программирования в целом. И я решил поделиться с народом ссылками на собранные мной материалы (большую часть мне самому ещё предстоит прочитать :<). Надеюсь, кому-нибудь они окажутся полезными.

Я не включил (и не собираюсь) в список ссылки на официальную документацию, т. к. считаю очевидным, что первым делом следует смотреть именно туда ;P.
Читать полностью »

в 12:45, , рубрики: gcc, GNU, x86, Блог компании Intel, Компиляторы, Программирование, размер кода, метки: , , ,

GCC x86, как уменьшить размер кода      Времена, когда программисты пытались выжать максимум из размера своего приложения, безвозвратно ушли. Основной причиной является существенное увеличение объемов оперативной памяти и дискового простраства на современных компьютерах. Немногие помнят, как при загрузке приложения с кассеты можно было пойти покушать. Или как можно было считать моргания дисковода, косвенно определяя размер приложения. Пожалуй, только разработчики програмного обеспечения под встраиваемые системы до сих пор заботятся о размере кода и потребляемой памяти. Могут ли таблетки и смартфоны вернуть разработчиков «назад в будущее»?
      Данная статья призвана помочь разработчикам програмного обеспечения, испульзующим GCC компилятор, уменьшить размер кода своих приложений. Все данные в статье получены при помощи x86 GCC компилятора версии 4.7.2 на операционной система Fedora 17 для архитектуры Intel® Atom™.
Читать полностью »

в 15:53, , рубрики: java, scala, Компиляторы, ненормальное программирование, Программирование, метки: ,

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

Дальше я решил попытаться представить некий эзотерический язык программирования, конструкции которого могут быть записаны с помощью узелковой письменности Кипу. Поначалу казалось, что это невозможно: я придумывал язык и пытался написать на нем программу вычисления факториала. Первые три черновика спецификаций ушли в урну: языки никуда не годились. Они выглядели как полагалось для эзотерических языков, но не помогали мне решать поставленную задачу, т.к. не были полными по Тьюрингу. Энтузиазм потихоньку угасал и эта задача казалась мне не по-плечу. Собравшись с силами, я решил, что если смогу написать программу вычисления факториала — то язык работает.

Четвертая версия языка оказалось удачной: я написал факториал, затем генерацию последовательности Фибоначи и дюжину простых примерчиков аля “сумма чисел от 0 до 99”. Язык получился что надо: необычный, крайне эзотерический, с простой и понятной идеей. Главное — язык может решить любую (ну или почти любую) задачу которую можно выразить в виде вычислимой функции.

Читать полностью »

в 10:55, , рубрики: анализ производительности, Блог компании Intel, высокая производительность, Компиляторы, метки:

image

Этот пост снова посвящается цикловым оптимизациям. Почему вообще речь зашла о цикловых перестановочных оптимизациях? Дело в том, что это одна из самых эффективных частей оптимизирующего компилятора. В число цикловых перестановочных оптимизаций входит как автовекторизация так и автопараллелизация. У этих оптимизаций существует своя специфика, но в целом у всех цикловых оптимизаций общие проблемы и общие методы их решения.
Часто приходится слышать мнение, что компилятор во многих случаях «тупит». Мне хочется здесь побыть адвокатом компилятора, чтобы показать, что жизнь компилятора не так уж легка, возможно вызвать легкую долю сочувствия к его нелегкой доле и показать, какие существуют объективные трудности при обработке программы и почему во многих случаях компилятор совершенно обоснованно не может сделать ту или иную оптимизацию, которая кажется очевидной программисту. Ну и заодно я хочу продемонстрировать некоторые возможности помочь компилятору в его работе. Понятно, что иногда существуют и субъективные факторы, в лице разработчиков, которые по како-либо причине не реализовали ту или иную функциональность внутри компилятора.

Читать полностью »

в 10:27, , рубрики: Блог компании Intel, Компиляторы

Балансируя между точностью и производительностью
Есть несколько важных аспектов, которые нужно обязательно учитывать при создании приложения, производящего какие-либо вычисления, а точнее — операции с числами с плавающей точкой. Что мы ждём и планируем получить от таких приложений (в большинстве случаев, научных)? В первую очередь, нас интересует точность вычислений – полученный результат должен быть наиболее близок к «правильному». Другая сторона медали – стабильность результатов и портируемость приложения. Нам важно иметь возможность получать одинаковый, неизменно повторяющийся от запуска к запуску результат, причём на разных машинах/архитектурах. Ну и последний, но не менее значимый пункт – производительность. Насколько быстро при всём этом будет выполняться наше приложение, и когда мы получим результаты наших вычислений?

В компиляторе компании Intel есть набор опций, отвечающих за контроль оптимизаций вычислений над числами с плавающей точкой. Рассмотрим преинтереснейший ключик –fp-model, который, судя по описанию в документации, управляет семантикой вычислений над числами с плавающей точкой. Кстати, стоит отметить, что похожие ключи есть и в других компиляторах, не только Интеловском, об этом мы тоже поговорим. По сути, с помощью данного ключика мы и сможем контролировать баланс между производительностью и точностью вычислений. Возможные значения, которые могут быть указаны в опции –fp-model: precise, fast[=1|2], strict, source, [no-]except (Linux*) or except[-] (Windows*). Давайте разберёмся, что они дают при компиляции нашего кода.
Читать полностью »

в 11:15, , рубрики: анализ производительности, Блог компании Intel, высокая производительность, Компиляторы, метки:

image

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

Читать полностью »

в 3:33, , рубрики: gcc, GNU, open source, x86, Блог компании Intel, Компиляторы, производительность, метки: , , , ,

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

Читать полностью »

1...1020...545556...58
Главная   |  Архив новостей  |   Android  |   Google  |   Apple  |   Microsoft  |   Информационная безопасность  |   Веб – разработка
Публикации RSS  |  Комментарии RSS
https://ajax.googleapis.com/ajax/libs/jquery/3.4.1/jquery.min.js