Библиотека-парсер, написана на PEG, несколько достаточно больших грамматик. Debug версия занимает — 500 кб, Relese — 1700 кб. Debug — работает, Release — не работает. Куда копать, дело в Peg или это более общая проблема?
Здравствуйте, Ka3a4oK, Вы писали:
KK>Библиотека-парсер, написана на PEG, несколько достаточно больших грамматик. Debug версия занимает — 500 кб, Relese — 1700 кб. Debug — работает, Release — не работает. Куда копать, дело в Peg или это более общая проблема?
В релизе делается ряд оптимизаций. В том числе генерируются ДКА для разбора токенов. В Peg поведение токенов в релизе и дебаге могло отличаться. Возможно в этом дело. А возможно просто баг.
В чем заключается неработоспособность? Не компилируется грамматика? Или прасер парсит не верно?
Есть логика намерений и логика обстоятельств, последняя всегда сильнее.
Здравствуйте, VladD2, Вы писали:
VD>Здравствуйте, Ka3a4oK, Вы писали:
KK>>Библиотека-парсер, написана на PEG, несколько достаточно больших грамматик. Debug версия занимает — 500 кб, Relese — 1700 кб. Debug — работает, Release — не работает. Куда копать, дело в Peg или это более общая проблема?
VD>В релизе делается ряд оптимизаций. В том числе генерируются ДКА для разбора токенов. В Peg поведение токенов в релизе и дебаге могло отличаться. Возможно в этом дело. А возможно просто баг.
VD>В чем заключается неработоспособность? Не компилируется грамматика? Или прасер парсит не верно?
Все компилируется, но не парсится.
VD>В Peg поведение токенов в релизе и дебаге могло отличаться. Возможно в этом дело. А возможно просто баг.
Такое различие само по себе разве не баг?
Здравствуйте, Ka3a4oK, Вы писали:
KK>Все компилируется, но не парсится.
Покажи грамматику и на чем она падает. Оптимально, если сможешь выделить минимальный пример.
VD>>В Peg поведение токенов в релизе и дебаге могло отличаться. Возможно в этом дело. А возможно просто баг. KK>Такое различие само по себе разве не баг?
Ну, если и баг, то в дизайне. Просто в дебаге ДКА не использвется и вместо этого используются правила ПЕГ. А в дебаге, для ускорения, испоьзуются ДКА. А они не так гибки.
Есть логика намерений и логика обстоятельств, последняя всегда сильнее.
Здравствуйте, VladD2, Вы писали:
VD>Здравствуйте, Ka3a4oK, Вы писали:
KK>>Все компилируется, но не парсится.
VD>Покажи грамматику и на чем она падает. Оптимально, если сможешь выделить минимальный пример.
VD>Это первое что нужно сделать для отладки. Возможно сразу поймешь в чем дело. Ну, или мы сможем взглянув на грамматику сказать, что не так.
VD>Далее нужно попробовать вот эту строчку: VD>
Здравствуйте, _NN_, Вы писали:
_NN>Здравствуйте, Ka3a4oK, Вы писали:
_NN>Проблема возникает из-за этого правила: _NN>
_NN>raw_line_r:int= (!'&' anychar_p)* '&';
_NN>
_NN>Если вместо anychar_p вписать другое, что не присутствует в строке, то релиз проходит.
_NN>Нужно найти более простой пример и отлаживать оптимизацию Nemerle.Peg.
Не все так просто. Я не зря привел такой сложный пример.
Если заменить правило
group_a_r:int=(digit_p+ (sp digit_p+ "X" digit_p+)?);
Здравствуйте, Ka3a4oK, Вы писали:
KK>то релиз так же проходит.
Видимо выбора не остается, нужно отлаживать Nemerle.Peg.
Компилятор для этого собирать не нужно, достаточно собрать peg в отдельном проекте и проверять.
Кажись грамматика противоречивая. line_r от raw_line_r отличается только пробелом в конце. В root_r внутри скобок этот последний пробел не принимается: !line_r
но принимается raw_line_r и ожидается пробел: (raw_line_r) sp
А>Кажись грамматика противоречивая. line_r от raw_line_r отличается только пробелом в конце. В root_r внутри скобок этот последний пробел не принимается: !line_r А>но принимается raw_line_r и ожидается пробел: (raw_line_r) sp
Не важно. Это осталось от исходной грамматики. Можно убрать пробел в конце правила line_r и все равно поведение сохранится.
Здравствуйте, _NN_, Вы писали:
_NN>Здравствуйте, Ka3a4oK, Вы писали:
KK>>то релиз так же проходит. _NN>Видимо выбора не остается, нужно отлаживать Nemerle.Peg. _NN>Компилятор для этого собирать не нужно, достаточно собрать peg в отдельном проекте и проверять.
Мне интересно, новый PEG aka N2 корректно себя ведет в этой ситуации или нет?
Re[11]: Debug - работает, Release - не работает
От:
Аноним
Дата:
15.06.13 15:12
Оценка:
Здравствуйте, Ka3a4oK, Вы писали:
KK>Не важно. Это осталось от исходной грамматики. Можно убрать пробел в конце правила line_r и все равно поведение сохранится.
Сперва надо разобраться в правильности грамматики и только потом разбираться в различии дебага с релизом. Попробуй свою грамматику написать в визуальном редакторе грамматик и проверить правильность. Например на antlr.