Миниатюрное программистское

[spamsink]

http://github.com/rswier/c4 via reddit.

Компилирует и исполняет hello, world за 9 команд; сам себя, компилирующего и исполняющего hello, world - за 22614 команд; и еще раз вложить - 9273075 команд; и еще раз - 933197195 команд.

Comments

[janatem.livejournal.com]

Надо его в суперкомпилятор засунуть, тогда процесс может сойтись.

[spamsink]

Если суперкомпилятор настолько умен, что умеет находить идемпотентность, то наверное.

Да и так забавно: 410x, 100x... Если еще раз вложить, то 32 бита переполнятся, так что разве что время засечь. Тройное вложение работает 4 секунды user time, уж порядка 400 секунд я смогу подождать. Ну-ка... 382 секунды. Вышли на режим. Как и ожидалось, у наивного интерпретатора коэффициент около 100.

[janatem.livejournal.com]

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

[yatur.livejournal.com]

Это, безусловно, круто. Но я слово "мини" проглядел и решил, что это полный компилятор С. А там даже struct нету. И #include он просто игнорирует, потому что не в состоянии обработать системные заголовочные файлы. Из всего набора системных функций он, судя по всему, поддерживает только open, read, close, printf, malloc, memset, memcmp и exit. Все остальное должно быть определено в том же файле, что и main().

[spamsink]

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

[fatoff.livejournal.com]

It compiles C code about 10x faster than GCC

But cannot be used for real. What a pity.

[archaicos.livejournal.com]

Use mine. Windows support is coming soon.

[fatoff.livejournal.com]

Worth to look at.

[dluciv.livejournal.com]

Раскрутка интерпретатора, бессмысленная и жестокая.

[spamsink]

Я удивился, что произвольно взятый интерпретатор раскручивается ровно в хрестоматийные 100х.

[archaicos.livejournal.com]

Нишмагла. MIPS32 эмулятор без премудростей на MIPS32 же у меня где-то раз в 20-25 только по инструкциям был медленнее прямого исполнения.

[spamsink]

Сравни его, вложенного дважды, с ним же, вложенным трижды.

[archaicos.livejournal.com]

Медленно!

[spamsink]

Жалко; интересно же, к чему коэффициент сходится не у игрушечного, а у индустриального эмулятора.

[archaicos.livejournal.com]

Я индустриальным не пользовался пока. Свой простой.

[archaicos.livejournal.com]

Заявка на пример для поцражания для кармад*очеров.
За такой пасквиль срубить более тысячи звёзд за пару дней — это вам не тут.

[dluciv.livejournal.com]

Шёл себе ежик по лесу, шёл, и так незаметно получил люлей...

Пирожок на полке проверили?

[archaicos.livejournal.com]

¿Qué?

[dluciv.livejournal.com]

¿Hay patty en un estante? =)

[archaicos.livejournal.com]

Ninguno. ¿Por qué me preguntas eso?

[dluciv.livejournal.com]

По-моему очень просто понять, почему.

Потому что первый мой коммент стал идеальной мишенью для довольно очевидного замечания, хотя, когда я его писал, мне в голову никак не приходило, что это произойдёт =).

[archaicos.livejournal.com]

Entonces, perdona.

[dluciv.livejournal.com]

Да ну ладно, что Вы =)

[spamsink]

Замечание archaicos'а забавно тем, что его денотат неясен до самого конца. Что имеется в виду под "заявкой" и "пасквилем"? То ли Ваш коммент, то ли мой пост. И только упоминание тысячи звезд (у проекта на гитхабе) разъясняет дело.

[spamsink]

В связи с первой фразой правильнее было бы смотреть не на звёзды, а на вилки. Срубить более полусотни вилок за пару дней - вот это да.
Пасквиль оказался большой поучительной силы.

[archaicos.livejournal.com]

Получительная силища! :)

Минимализм

[livejournal.livejournal.com]

User mynine referenced to your post from Минимализм (http://mynine.livejournal.com/290580.html) saying: [...] = 9 exit(0) cycle = 22609 exit(0) cycle = 9212725 exit(0) cycle = 926770891 подглядел у spamsink'a [...]