[18:04:39] <valexey> yeo: пофиксишь?
[18:06:30] <yeo> попробую может в виртуалке запустить. А ты можешь собрать rm -rf .obj; gnatmake -XBUILD=DEBUG -p -P simple.gpr
[18:06:49] <yeo> может покажет где падает
[18:11:20] <valexey> могу
[18:13:28] <yeo> на любом размере падает?
[18:13:35] <valexey> да
[18:13:37] <valexey> а всё просто
[18:13:53] <valexey> оно даже на 128мб файле пытается отожрать 203 Мб ОЗУ
[18:14:09] <valexey> естественно получает от системы signal 9 и идёт нафиг
[18:15:38] <valexey> т.е. это даже без дебажной сборки видно
[18:15:40] <yeo> а, наверное, я ошибся
[18:44:26] <yeo> странно, уменьшил буфер - стало работать быстрее
[18:46:10] <valexey> освободил больше место для файлового кеша системы?
[18:46:41] <yeo> не, я пробую на 8Гб тах RAM
[18:47:01] <valexey> а, без ограничений т.е.?
[18:50:05] <yeo> да. ну я исправил
[18:54:30] <valexey> на 128 отработало
[18:54:44] <valexey> сейчас тестовый прогон корректности, а потом быстрой прогон вместе с другими решениями
[19:06:41] <yeo> md5sum output после каждого прогона не считаешь?
[19:06:54] <valexey> считаю
[19:06:59] <valexey> и сравниваю с эталонным
[19:07:06] <valexey> если не сошлось, то фейл
[19:07:22] <valexey> ну, т.е. это скрипты автоматом делают
[19:19:14] <valexey> опа
[19:19:18] <valexey> фейл на 4Гб файле
[19:19:28] <yeo> :(
[19:19:31] <valexey> причем прогу никто не пришиб, она неверный ответ выдала
[19:20:01] <valexey> щща еще на более крупном отраннится
[19:20:25] <yeo> а размер output совпадает?
[19:20:35] <valexey> хрен его знает :-)
[19:31:11] <valexey> на более крупном - норм всё :-)
[19:31:33] <yeo> нужно сделать ровно 4Гб?
[19:31:54] <valexey> угу
[19:32:04] <valexey> а ещё вариант - что это что-то где-то глюкануло :-)
[19:32:20] <yeo> ну это врядли
[19:34:47] <valexey> я с этими тестами уже всякого насмотрелся :-)
[19:35:13] <yeo> зачем ты все это затеял?
[19:35:29] <valexey> дык интересно же
[19:36:35] <yeo> узнать какой язык*алгоритм быстрее отсортирует 4Гб за 128М памяти? ;)
[19:37:36] <valexey> и оценить подходы программистов на разных ЯП
[19:38:12] <valexey> степень безошибочности, надежности, скорости написания, поддерживаемости и читабельности :-)
[19:42:42] <valexey> вот например, внезапно пока что нет ни одного решения с GC :-)
[19:43:10] <yeo> java?!
[19:43:23] <valexey> НЕТУ РЕШЕНИЯ НА ЖАБЕ!
[19:43:38] <valexey> при том, что большинство ЯП нонче с GC как раз
[19:44:00] <yeo> она наверное просто слишком хороша, чтобы заниматься такой фигней!
[19:44:23] <valexey> ну, возможно просто контингент такой
[19:48:15] <valexey> -rw-r--r-- 1 root root 4294967296 Dec  3 13:54 input
-rw-r--r-- 1 root root 4294967296 Dec 24 16:46 output

[19:48:19] <valexey> размер одинаковый
[19:49:14] <yeo> гдеж я укосячился
[19:49:27] <valexey> при этом это может и не от размера быть зависимость
[19:49:39] <valexey> просто где-то звезды в рандоме сошлись в инпуте :-)
[19:49:52] <valexey> и да, второй прогон на этом же файле дает идентичный ответ
[19:49:58] <valexey> идентичный неверный :-)
[19:52:05] <valexey> max simple:
128 18.54
256 35.96
512 68.81
1024 146.28
2048 300.37
4096 failed
4541 748.17


[19:52:10] <valexey> как-то так пока
[19:54:28] <yeo> фу, отстой!
[19:54:52] <valexey> да не, не самый плохой вариант из имеющихся ;-)
[19:55:01] <valexey> https://github.com/valexey/bigbench/blob/master/results.txt
[19:55:05] <valexey> сравни :-)
[19:55:15] <yeo> да, я уже смотрю.
[20:02:44] <yeo> может сортировка из стандартной библиотеки Ады не достаточно хороша?
[20:04:31] <valexey> чтобы побить топовое решение - думаю да.
[20:04:37] <yeo> или стоит всетаки поситать теорию ;)
[20:04:48] <yeo> почитать*
[20:04:57] <valexey> но и в рамках стандартного алгоритма можно ускорить, IMHO :-)
[20:05:52] <yeo> нужна новая идея, но разбираться в модуле 2 не охота
[20:06:08] <valexey> разберись в обероне, чо :-)
[20:06:19] <valexey> ну и в самом то языке разбираться не нужно
[20:07:03] <valexey> но лучше всего конечно теорию курнуть
[20:08:55] <valexey> там на модуле-2 решение только у электроболта
[20:09:13] <valexey> у комдива - самодельный оберон :-)
[20:12:35] <yeo> хочу самодельную Аду!
[20:13:19] <valexey> ада она сурова к самодеятельности :-) написать компилятор ады, это та еще задачка :-)
[20:17:47] <valexey> вот модулу тоже реально в одно-два лица реализовать самостоятельно в обозримые сроки
[20:38:12] <yeo> может, если постихоньку пилить, можно и выпилить
[20:38:40] <valexey> новые стандарты будут выходить быстрее чем ты их будешь запиливать :-)
[20:38:51] <yeo> это да:)
[20:39:17] <valexey> ну и вообще, если уж делать что-то снуля и не промышленное, то почему бы не упростить язык и не вылечить то, что там больное?
[20:40:06] <yeo> тогда это будет уже не Ада, а кому нужен еще один новый язык
[20:40:25] <valexey> ВСЕМ
[20:40:31] <valexey> а кому тащемто нужна Ада? :-)
[20:40:48] <valexey> ну кроме адакоры и боинга :-)
[21:19:37] <landgraf> что-то количество спама в жаббере резко возросло
[21:20:18] <yeo> это не спам, это мы разговариваем!
[21:23:40] <valexey> идеальный порядок бывает только на кладбище :-)
[21:36:59] <landgraf> yeo, не, другой спам )
[21:37:09] <landgraf> yeo, в личку
[21:37:15] <landgraf> кто-то слил JID-ы походу
[21:37:24] <yeo> :(
[21:50:33] <valexey> поставь бота который будет чекать на ботов пишущих в личку ;-)
[22:14:25] <yeo> valexey, воспроизвел глюк на 4Гб файле
[22:14:39] <valexey> гут!
[22:14:44] <valexey> значит от размера таки зависит?
[22:14:53] <valexey> где-то что-то точно на границу попадает?
[22:44:08] <yeo> тьфу, нет, работает одинаково мой и valexey/sortix
[22:56:39] <valexey> а ты чем заполняешь оный файл?
[22:56:44] <valexey> из /dev/urandom ?
[22:56:57] <yeo> фильма кусок взял dd
[22:57:15] <valexey> хы. тоже вариант.
[22:57:40] <valexey> не, я могу тебе конечно выслать здешний 4Гб файл, естественно пожать его нельзя
[22:58:46] <yeo> а может и правда глюкнуло?
[22:59:00] <valexey> одинаково дважды? не верю
[22:59:27] <yeo> ну давай файл, что делать
[22:59:42] <yeo> или сделай cmp --verbose output output_ |head
[23:00:04] <yeo> может меня натолкнет на мысль
[23:00:56] <valexey> ок. 15 минут займет
[23:01:16] <valexey> вначале cmp, если не поможет, выложу где-нибудь файл
[23:25:47] <valexey> #  cmp --verbose output output_err | head
4294966833 146 142
4294966837 150 146
4294966841 155 150
4294966845 160 155
4294966849 170 160
4294966853 200 170
4294966857 206 200
4294966861 211 206
4294966865 214 211
4294966869 223 214

[23:30:31] <valexey> сейчас ваще окажется что твоя прога единственная которая корректно работает и всех :-D
[23:38:59] <valexey> кстати, дифчик то не такой и большой получается
[23:39:54] <valexey> https://gist.github.com/valexey/5fab3b8e5a0cdfa4423ad608f7bdc762
[23:39:59] <valexey> вот весь дифчик
[23:40:34] <yeo> да, какой-то лишний байт чтоле
[23:40:57] <valexey> ну, размеры файлов идентичны
[23:41:28] <yeo> а какой столбик правильный? первый?
[23:42:03] <valexey> а я хз :-) я раньше cmp не использовал. output - правильный файл, output_err - нет
[23:48:18] <valexey> да, у тебя чиселка 62 fe ff ff повторяется трижды, а в кошерном файле - дважды
[23:48:39] <valexey> (т.е. чиселка, как я понимаю, 0xFFFFFE62)
[23:51:07] <yeo> выложи файл если не сложно, не могу сообразить
[23:51:28] <valexey> а куда бы его выложить?
[23:51:42] <valexey> 4 несжимаемых гига, едрить его в корягу
[23:52:07] <yeo> ща
[23:52:17] <valexey> да еще и с консоли
[23:52:22] <valexey> без браузера o_O
[23:54:55] <yeo> что если я ftp сервер подниму?
[23:56:03] <valexey> можно
[23:56:18] <valexey> ftp нонче 4 гига может?
[23:56:27] <yeo> не знаю
[23:57:52] <valexey> а, вроде нет сейчас проблем
[23:57:55] <valexey> по крайней мере на линухах
[23:58:07] <yeo> а може scp?
[23:58:35] <valexey> можно
[23:58:42] <valexey> говори куда - зашлю ;-)
[23:58:50] <valexey> логын, пароль, путь
[23:59:01] <yeo> сделай ключ?