В предыдущем топике я обещал подробнее описать особенности программирования промышленных PLC, и почему такое программирование все больше напоминает разработку обычного софта. О языке IEC61131-3 (промышленном диалекте Паскаля) я уже писал, также хорошим вступлением можно считать вот этот хабратопик. Этот пост — о компиляторах PLC, средах разработки, особенностях программирования и эволюции языка и экосистемы.
Читать полностью »
Рубрика «Компиляторы» - 56
Angry Birds на PLC?
2013-05-15 в 9:13, admin, рубрики: Pascal, plc, Блог компании Intel, Компиляторы, ненормальное программирование, метки: Pascal, plcGCC 4.8 завершил миграцию на C++
2013-03-23 в 17:12, admin, рубрики: c++, gcc, GNU Compiler Collection, open source, Компиляторы, метки: gcc, GNU Compiler Collection 
С выпуском GCC 4.8.0 разработчики набора компиляторов GNU Compiler Collection завершили переход на C++ в реализации GCC. Работа по переводу кодовой базы на C++ продолжалась c 2008 года, и теперь подошла к концу. Миграция на C++ означает, что теперь для сборки GCC из исходников обязательно требуется компилятор С++ 2003.
Ричард Столлман написал первый вариант GCC в 1985 году на непереносимом диалекте языка Паскаль. В 1987 году компилятор был переписан на языке Си, и в таком виде существовал до 2013 года.
Читать полностью »
Наши дети. Наше общество
2013-03-20 в 14:26, admin, рубрики: Алгоритмы, Компиляторы, судебное разбирательство, Телекомы, метки: судебное разбирательство Да, я знаю всё про карму, правила, «если каждый будет».
Уважаемый читатель, просто перепости информацию.
Да, это самое важное событие в РФ сегодня.
- 28.11.2012 'Урок травматики';
- 20.03.2013 'Студентка получила три года колонии';
- Официальная группа поддержки ВКонтакте;
- Заметка на демотиваторе где можно проголосовать за проблему.
Видеозапись стрельбы в метро
Фотографии участников (кликабельны)
|
Ибрагим Курбанов, 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 в бок. На фотографии он через несколько месяцев после инцидента в метро. Своевременно не заявил в полицию о покушении на убийство. Выжил чудом. |
Фиксация трансляции от РОД-Россия из зала Тверского суда г. Москва
Некоторые простейшие принципы автовекторизации
2013-03-18 в 9:23, admin, рубрики: gcc, icc, Блог компании Intel, векторизация, Компиляторы, Программирование, метки: gcc, icc, векторизация 
Предыдущий мой пост был посвящен цикловым перестановочным оптимизациям, проблемам распознавания циклов, разрешению неоднозначности при работе с памятью, определению и важности зависимостей. Теперь я хочу сделать обзор одной из самых эффективных цикловых оптимизаций — автовекторизации. Хочется обсудить вопросы эффективности оптимизации, а также попытаться понять, какие факторы эту эффективность определяют. Всем, кому это интересно – добро пожаловать. При обсуждении я буду ориентироваться на интеловский автовекторизатор и автовекторизатор gcc 4.7.2. gcc я буду исследовать, чтобы подтвердить, что те принципы векторизации, которые я здесь пытаюсь сформулировать, имеют достаточно общую природу. Заодно мне, конечно, хочется понять уровень автовекторизации в gcc. Тут, конечно, есть некий элемент неравенства, поскольку я использую последний компилятор Интел, но не самую топовую версию gcc, но в основном я буду ориентироваться при сравнении на SSE инструкции. (Кстати, Intel активно участвует в разработке автовекторизатора gcc). Поскольку Intel и интеловский компилятор мне ближе, то ему я уделю кое-где больше внимания. Я не претендую на то, что я векторизаторный гуру и буду рад, если кто-то увидит мои ошибки и меня поправит. Букв будет много.
Читать полностью »
Принципы быстрого Хаскеля под GHC
2013-03-05 в 8:21, admin, рубрики: ghc, haskell, LLVM, yarr, абстрактное синтаксическое дерево, высокая производительность, каррирование, Компиляторы, ленивые вычисления, метки: ghc, LLVM, yarr, абстрактное синтаксическое дерево, каррирование, ленивые вычисленияGHC (Glasgow Haskell Compiler) — стандартный компилятор Хаскеля. GHC — один из самых крутых компиляторов в мире, но к сожалению без дополнительных телодвижений скомпилированные им программы по скорости больше напоминают интерпретируемые, т. е. работают очень медленно. Однако если раскрыть весь потенциал компилятора, Хаскель приближается по производительности к аналогичному коду на C.
В этой статье я обобщаю опыт выжимания максимума из GHC при создании dataflow-фреймворка Yarr.
Читать полностью »
О компиляторах и интерпретаторах
2013-02-26 в 8:42, admin, рубрики: jit, LLVM, python, виртуальная машина, интерпретаторы, Компиляторы, Песочница, метки: c++, JIT, LLVM, python, виртуальная машина, интерпретаторы, компиляторы, Лисп 
Если ты всегда мечтал написать свой язык программирования — добро пожаловать. Здесь ты наверняка найдёшь для себя что-нибудь интересное.
GitHub-юзер yawnt собрал чудесную подборку ссылок для любителей драконов, языков и прочих вкусных внутренностей. А знающие камрады в комментариях наверняка поделятся с тобой и другими яствами.
Пишет yawnt следующее:
С каждым днём мне всё интереснее тема компиляторов, интерпретаторов и дизайна языков программирования в целом. И я решил поделиться с народом ссылками на собранные мной материалы (большую часть мне самому ещё предстоит прочитать :<). Надеюсь, кому-нибудь они окажутся полезными.
Я не включил (и не собираюсь) в список ссылки на официальную документацию, т. к. считаю очевидным, что первым делом следует смотреть именно туда ;P.
Читать полностью »
GCC x86, как уменьшить размер кода
2013-01-29 в 12:45, admin, рубрики: gcc, GNU, x86, Блог компании Intel, Компиляторы, Программирование, размер кода, метки: gcc, GNU, x86, размер кода 
Времена, когда программисты пытались выжать максимум из размера своего приложения, безвозвратно ушли. Основной причиной является существенное увеличение объемов оперативной памяти и дискового простраства на современных компьютерах. Немногие помнят, как при загрузке приложения с кассеты можно было пойти покушать. Или как можно было считать моргания дисковода, косвенно определяя размер приложения. Пожалуй, только разработчики програмного обеспечения под встраиваемые системы до сих пор заботятся о размере кода и потребляемой памяти. Могут ли таблетки и смартфоны вернуть разработчиков «назад в будущее»?
Данная статья призвана помочь разработчикам програмного обеспечения, испульзующим GCC компилятор, уменьшить размер кода своих приложений. Все данные в статье получены при помощи x86 GCC компилятора версии 4.7.2 на операционной система Fedora 17 для архитектуры Intel® Atom™.
Читать полностью »
Quipu — эзотерический язык программирования на основе узелковой письменности Инков
2013-01-13 в 15:53, admin, рубрики: java, scala, Компиляторы, ненормальное программирование, Программирование, метки: java, scala 
Один мой друг, историк по профессии, подкинул мне замечательную идею об использовании древней мнемонической и счетной систем в современной криптографии. В процессе его рассказов об узелковой письменности Инков, я начал соображать, что все новое — хорошо забытое старое и было бы не плохо как-то применить древний опыт в современном мире. Первое, что пришло в голову — криптография. Это самое очевидное — просто сконвертировать узлы с ниток в байты и шифр готов. С одной стороны все казалось понятным, но потом я вспомнил про криптостойкость и другие параметры шифров и понял, что не обладаю достаточным опытом и знаниями в области криптографии, чтобы в одиночку разработать новый шифр.
Дальше я решил попытаться представить некий эзотерический язык программирования, конструкции которого могут быть записаны с помощью узелковой письменности Кипу. Поначалу казалось, что это невозможно: я придумывал язык и пытался написать на нем программу вычисления факториала. Первые три черновика спецификаций ушли в урну: языки никуда не годились. Они выглядели как полагалось для эзотерических языков, но не помогали мне решать поставленную задачу, т.к. не были полными по Тьюрингу. Энтузиазм потихоньку угасал и эта задача казалась мне не по-плечу. Собравшись с силами, я решил, что если смогу написать программу вычисления факториала — то язык работает.
Четвертая версия языка оказалось удачной: я написал факториал, затем генерацию последовательности Фибоначи и дюжину простых примерчиков аля “сумма чисел от 0 до 99”. Язык получился что надо: необычный, крайне эзотерический, с простой и понятной идеей. Главное — язык может решить любую (ну или почти любую) задачу которую можно выразить в виде вычислимой функции.
Презумпция виновности программиста или почему компилятор иногда «тупит»
2012-12-24 в 10:55, admin, рубрики: анализ производительности, Блог компании Intel, высокая производительность, Компиляторы, метки: анализ производительности 
Этот пост снова посвящается цикловым оптимизациям. Почему вообще речь зашла о цикловых перестановочных оптимизациях? Дело в том, что это одна из самых эффективных частей оптимизирующего компилятора. В число цикловых перестановочных оптимизаций входит как автовекторизация так и автопараллелизация. У этих оптимизаций существует своя специфика, но в целом у всех цикловых оптимизаций общие проблемы и общие методы их решения.
Часто приходится слышать мнение, что компилятор во многих случаях «тупит». Мне хочется здесь побыть адвокатом компилятора, чтобы показать, что жизнь компилятора не так уж легка, возможно вызвать легкую долю сочувствия к его нелегкой доле и показать, какие существуют объективные трудности при обработке программы и почему во многих случаях компилятор совершенно обоснованно не может сделать ту или иную оптимизацию, которая кажется очевидной программисту. Ну и заодно я хочу продемонстрировать некоторые возможности помочь компилятору в его работе. Понятно, что иногда существуют и субъективные факторы, в лице разработчиков, которые по како-либо причине не реализовали ту или иную функциональность внутри компилятора.