Инструментация кода логгерами.

[metaclass]

Бредовые идеи про отладку программ на ходу.

1. макрос/плагин компилятора, вызываемый при компиляции вызова любой функции или метода,а так же при компиляции тела этой функции.
2. макрос строит дерево вызовов функций и делает из него статическую структуру в памяти программы, с флагом isDebug на каждую функцию. Структура доступа через какой-нибудь дико профайлинговый рантайм API
3. в каждую функцию макрос добавляет проверку ее флага и если он включен - вывод уникального идентификатора стек-трейса вызова функции, параметров при вызове и вывод результата при выходе, в логи.
4. чтобы стек-трейс не генерить в рантайме - в каждый вызов при компиляции добавляется статическая информация, "откуда меня вызвали", в виде ссылки на граф вариантов вызова этой функции.

Ежели функции ленивые - то вместо стек-трейса будет что-нибудь вроде "где thunk создали, а где зафорсили", но это надо подумать, как такое представить наглядным образом.

Comments

[yole.livejournal.com]

Как сложно жить людям, у которых нет нормальной виртуальной машины. https://cloud.google.com/tools/cloud-debugger

[metaclass.livejournal.com]

А, жабья инструментация на данный момент вроде самая адекватная из всех.

[mxcv8scv.livejournal.com]

метаклассу особенно трудно, когда приступы аутизма с когнитивным дисонансом мешают ему работать.

[kong-en-ge.livejournal.com]

Читая вас, понимаю, что ежиха уже развелась и выписывается...

[metaclass.livejournal.com]

О. А ведь такими макросами можно размечать вызовы функций в ситиинфе и на ходу их упаковывать-распаковывать при вызовах.

[kong-en-ge.livejournal.com]

Так еще 10 лет назад сделано же.

[cottidianus.livejournal.com]

называется systemtap

[cottidianus.livejournal.com]

или lttng
или valgrind
или любая виртуальная машину куда можно в ojbect_call() хакнуться

[metaclass.livejournal.com]

со стороны ассемблера без символов ты ж не увидишь ни calling convention, ни типа данных.
правильная инструментация может быть только с полной информацией начиная с AST компилятора.

[kiryl.livejournal.com]

Кто мешает её сопоставить пост фактум? debuginfo положить где-нить рядом что б было.

Вообще посмотри на честный аппаратный instruction tracing -- получишь вид на execution flow вплоть до конкретных бранчей. Ключевые слова Intel Processor Trace или Embedded Trace Macrocell (этот на ARM).

[cottidianus.livejournal.com]

http://dwarfstd.org/
qemu/tcg

[cottidianus.livejournal.com]

https://www.youtube.com/watch?v=vLNk-SzPY3Q

[swizard.livejournal.com]

> "откуда меня вызвали", в виде ссылки на граф вариантов вызова этой функции

а как быть с рекурсивными и взаимно-рекурсивными функциями?

ЗЫ: есть подозрение, что тебе нужен common lisp

[metaclass.livejournal.com]

По идее взаимно-рекурсивные будут петлями в таком графе, хотя уникально идентифицировать путь вызова в таком случае, без количества проходов по петле не получится.
Еще более плохой вариант - это если функции вызывать через reflection :)

[kiryl.livejournal.com]

ещё веселее если по дороге где-нить jit или ещё какая runtime-кодогенерация ;)

[swizard.livejournal.com]

Да не, какая кодогенерация, там уже банальный вызов функции по указателю (например, виртуальный метод) окажется серьёзной проблемой.

[swizard.livejournal.com]

Ну если количество переходов не нужно, то уже проще. В кл, например, я примерно уже представляю, как это всё сделать :)

Но надо решать, что делать с вызовами функций по указателю (и ваще динамической диспетчеризацией), замыканиями (и ваще анонимными функциями), вызовами функций из eval, и тд.

[vit-r.livejournal.com]

А смысл?

[juan-gandhi.livejournal.com]

LGTM

[aamonster.livejournal.com]

Про какой язык речь? Для крестиков (в MSVC и, кажется, в GCC тоже) можно в начале каждой функции дёргать специальный обработчик, только там чутка извратиться надо с его написанием (и компилить его в отдельную либу, включать в тот же проект нежелательно)

Вот с 2-3 заебётесь. Да и вообще со всем этим логом.

[ext_1684112 (from livejournal.com)]

А PostSharp вы смотрели?

[theaspect.livejournal.com]

В log4j можно динамически менять настройки у логгеров

[aka-rider.livejournal.com]

Задача интересная, но я сторонник того, чтобы инструментарий был максимально тупой, иначе прийдется и в нем баги вылавливать.

Можно сделать хуки на вход / выход из функции, только, не выдумывая ничего сложного, слать UDP сообщения.
У нас так и сделано, только расстановка макросов руками.
Грубо DBG(context, level, message), а потом этот level можно выставить для конкретного context в ран-тайм.