E
кстати не знаю относится к этому или нет, но на винде memcpy все равно делает memmove
Size: a a a
2019 October 09
E
(оверхед на проверку пересечения но типа безопаснее)
T
В джаву давно один сторонний контрибьютор пытается пропихнуть новую супербыструю и правильную реализацию Double.toString, но всем пофиг :-( https://mail.openjdk.java.net/pipermail/core-libs-dev/2019-September/062580.html
T
Там помимо целевой строки нет аллокаций.
SS
Я в шоке. Пустячный на первый взгляд вопрос, а сколько нетривиальных алгоритмов придумано! И придумывают и придумывают... :) Это про Double to String.
M
Там помимо целевой строки нет аллокаций.
Так и не должно быть =)
M
MaxGraey
В принципе можно сделать вообще без таблицы когда приоритетом будет размер а не скорость, это не должно быть сильно сложно. У нас в стандартной библиотеке я частенько разделяю speed/size подходы через условную компиляцию
Впрочем там все это уже сделано)
https://github.com/ulfjack/ryu/blob/688f43b62276b400728baad54afc32c3ab9c1a95/ryu/d2s.c#L251
https://github.com/ulfjack/ryu/blob/688f43b62276b400728baad54afc32c3ab9c1a95/ryu/d2s.c#L251
E
я помню для интов тустринг улучшал
E
при помощи popcnt
E
ой или lzcnt (для хекс формата)
VK
Я помню, как дебажил double to string под arm в древней версии SpiderMonkey 10 лет назад. Делали SVG+CSS+JS движок в LG - приложения работают, тесты жабьего JSR 226 работают, всё отлично. Но некоторые внутренние наши же демки крашились при запуске на мобилах, при том, что остальные работали. Оказалось, что проблема была именно там. Пока в DOM из JS записывались инты - работало, как только плавучка - нет.
2019 October 10
а
Я помню, как дебажил double to string под arm в древней версии SpiderMonkey 10 лет назад. Делали SVG+CSS+JS движок в LG - приложения работают, тесты жабьего JSR 226 работают, всё отлично. Но некоторые внутренние наши же демки крашились при запуске на мобилах, при том, что остальные работали. Оказалось, что проблема была именно там. Пока в DOM из JS записывались инты - работало, как только плавучка - нет.
LG это что?
T
Я в шоке. Пустячный на первый взгляд вопрос, а сколько нетривиальных алгоритмов придумано! И придумывают и придумывают... :) Это про Double to String.
Там у них целое научное исследование. Оказывается текущий алгоритм не только медленный, но и не всегда правильный. И вообще вопрос, какой алгоритм правильнее, не такой тривиальный
DP
Какие еще гомоиконичные среды программирования есть, кроме вариаций Lisp и Smalltalk?
DP
зы: ST не нравится переусложненностью ядра
DP
что-нибудь на графовом представлении программ кому попадалось? или прямая работа с атрибутными грамматиками
МБ
MaxGraey
На Rust есть кодогенерация, если известен тип объекта, что очень сильно ускоряет десереализацию. Собственно есть SAX и DOM способ разбора JSON. Так вот, зная предпологаемый тип можно нагенерить аксессоров для SAX заранее и из 5мб-ного JSON объекта хирургически выделить и прочитать только те поля что заданы в сигнатуре, вместо всего объекта / json-данных целиком
Того же можно достичь при помощи occurence typing, которое вычисляется по ветвлениям. То есть, если написано
if (valid?(x)) { ... }, то в then-ветке много информации о x, в том числе и о форме. Я не знаю, лучше ли этот метод (он явно сложнее обычной типизации, с другой стороны, гибче, например, можно отличить byte-integer-greater-then const от просто integer), но он существует. В Stalin его использовали, и для численных задач получался быстрый код. Очевидный недостаток -- скорость компиляции. Очевидное достоинство -- можно не напрягать пользователя дополнительным языком типов. Остальное не очевидно, и требует отдельного изучения.AK
Того же можно достичь при помощи occurence typing, которое вычисляется по ветвлениям. То есть, если написано
if (valid?(x)) { ... }, то в then-ветке много информации о x, в том числе и о форме. Я не знаю, лучше ли этот метод (он явно сложнее обычной типизации, с другой стороны, гибче, например, можно отличить byte-integer-greater-then const от просто integer), но он существует. В Stalin его использовали, и для численных задач получался быстрый код. Очевидный недостаток -- скорость компиляции. Очевидное достоинство -- можно не напрягать пользователя дополнительным языком типов. Остальное не очевидно, и требует отдельного изучения.В тайпскрипте такое используется, но для этого функция valid должна быть специальным образом проаннотирована
AT
Dmitry Ponyatov
Какие еще гомоиконичные среды программирования есть, кроме вариаций Lisp и Smalltalk?
Io? Или это вариация SmallTalk?
AT
Forth гомоиконным не считается?