perldebguts
СОДЕРЖАНИЕ
- ИМЯ
- ОПИСАНИЕ
- Внутренности отладчика
- Примеры вывода списка фреймов
- Отладка регулярных выражений
- Отладка использования памяти Perl
- СМОТРИТЕ ТАКЖЕ
ИМЯ
perldebguts - Внутренности отладки Perl
ОПИСАНИЕ
Это не perldebug, которое рассказывает, как использовать отладчик. Эта страница справки описывает низкоуровневые детали внутренних механизмов отладчика, которые трудно или невозможно понять для любого, кто не очень хорошо знаком с внутренностями Perl. Предупреждение читателю.
Внутренности отладчика
Perl имеет специальные отладочные крючки во время компиляции и выполнения, используемые для создания отладочных сред. Эти крючки не следует путать с командой perl -Dxxx, описанной в perlrun, которая доступна только если специальный Perl собран в соответствии с инструкциями в разделе INSTALL подстраницы в дереве исходного кода Perl.
Например, всякий раз, когда вы вызываете встроенную функцию Perl caller из пакета DB, аргументы, с которыми был вызван соответствующий кадр стека, копируются в массив @DB::args. Эти механизмы активируются путем вызова Perl с переключателем -d. В частности, активируются следующие дополнительные функции (см. "$^P" в perlvar):
-
Perl вставляет содержимое
$ENV{PERL5DB}(илиBEGIN {require 'perl5db.pl'}если оно отсутствует) перед первой строкой вашей программы. -
Каждый массив
@{"_<$filename"}хранит строки из $filename для файла, скомпилированного Perl. То же самое верно для строк, содержащих подпрограммы или которые в настоящее время выполняются,evaled. $filename дляevaled строк выглядит так:(eval 34).Значения в этом массиве являются магическими в числовом контексте: они равны нулю только если строка не может быть разорвана.
-
Каждая хеш-таблица
%{"_<$filename"}содержит точки останова и действия, проиндексированные по номеру строки. Отдельные записи (в отличие от всей хеш-таблицы) могут быть заданы. Perl заботится только о булевых истинностных значениях, хотя значения, используемые perl5db.pl, имеют вид"$break_condition\0$action".То же самое относится к вычисленным строкам, содержащим подпрограммы, или которые выполняются в настоящее время. $filename для
evaled строк выглядит так:(eval 34). -
Каждый скаляр
${"_<$filename"}содержит"_<$filename". Это также относится к вычисленным строкам, содержащим подпрограммы, или которые выполняются в настоящее время. $filename дляevaled строк выглядит так:(eval 34). -
После компиляции каждого
required файла, но перед его выполнением, вызываетсяDB::postponed(*{"_<$filename"}), если подпрограммаDB::postponedсуществует. Здесь $filename — это расширенное имяrequired файла, как указано в значениях %INC. -
После компиляции каждой подпрограммы
subname, проверяется существование$DB::postponed{subname}. Если этот ключ существует, вызываетсяDB::postponed(subname), если также существует подпрограммаDB::postponed. -
Хеш-таблица
%DB::subхранит имена подпрограмм в качестве ключей, а значения имеют видfilename:startline-endline.filenameимеет вид(eval 34)для подпрограмм, определенных внутриeval. -
Когда выполнение вашей программы достигает точки, в которой может быть точка останова, вызывается подпрограмма
DB::DB(), если какие-либо из переменных$DB::trace,$DB::single, или$DB::signalистинны. Эти переменные не являютсяlocal-изменяемыми. Эта функция отключена при выполнении внутриDB::DB(), включая вызываемые из нее функции, если$^D & (1<<30)не истинно. -
Когда выполнение программы достигает вызова подпрограммы, вместо этого выполняется вызов
&DB::sub(args), с$DB::sub, определяющим вызываемую подпрограмму. (Это не происходит, если вызывающая подпрограмма была скомпилирована в пакетеDB.)$DB::subобычно содержит имя вызываемой подпрограммы, если она имеет имя для поиска. В противном случае$DB::subсодержит ссылку на вызываемую подпрограмму. В любом случае подпрограмма&DB::subможет использовать$DB::subкак ссылку для вызова вызываемой подпрограммы, что она обычно и сделает.Если вызов предназначен для подпрограммы lvalue, и
&DB::lsubопределена, вызывается&DB::lsub(args), иначе происходит возврат к&DB::sub(args). -
При использовании
gotoдля входа в не-XS подпрограмму и установлении бита 0x80 в$^P, вызывается&DB::goto, с$DB::subопределяющим входящую подпрограмму. Вызов&DB::gotoне заменяетgoto; запрошенная подпрограмма по-прежнему будет вызвана после возврата&DB::goto.$DB::subобычно содержит имя входящей подпрограммы, если оно есть. В противном случае$DB::subбудет содержать ссылку на входящую подпрограмму. В отличие от вызова&DB::sub, нет гарантии, что$DB::subможет быть использована как ссылка для работы с входящей подпрограммой.
Обратите внимание, что если &DB::sub требует внешних данных для работы, без них вызов подпрограммы невозможен. Например, стандартный отладчик &DB::sub зависит от переменной $DB::deep (она определяет, сколько уровней рекурсии в отладчик можно пройти перед обязательной паузой). Если $DB::deep не определена, вызовы подпрограмм невозможны, даже если &DB::sub существует.
Написание собственного отладчика
Переменные окружения
Переменная окружения PERL5DB может использоваться для определения отладчика. Например, минимальный "рабочий" отладчик (он фактически ничего не делает) состоит из одной строки:
sub DB::DB {}Его можно легко определить так:
$ PERL5DB="sub DB::DB {}" perl -d your-scriptДругой краткий отладчик, немного более полезный, может быть создан всего одной строкой:
sub DB::DB {print ++$i; scalar <STDIN>}Этот отладчик печатает число, увеличивающееся для каждой встреченной инструкции, и ждет нажатия Enter перед переходом к следующей инструкции.
Следующий отладчик фактически полезен:
{
package DB;
sub DB {}
sub sub {print ++$i, " $sub\n"; &$sub}
}Он печатает порядковый номер каждого вызова подпрограммы и имя вызываемой подпрограммы. Обратите внимание, что &DB::sub компилируется в пакет DB с помощью директивы package.
При запуске отладчик читает ваш файл rc (./.perldb или ~/.perldb под Unix), который может задавать важные параметры. (Также здесь может быть определена подпрограмма (&afterinit); она выполняется после завершения собственной инициализации отладчика.)
После чтения файла rc отладчик считывает переменную окружения PERLDB_OPTS и использует её для настройки параметров отладчика. Содержимое этой переменной обрабатывается так, как будто это аргумент команды отладчика o ... (см. в "Настраиваемые параметры" в perldebug).
Внутренние переменные отладчика
Помимо переменных, связанных с файлами и подпрограммами, упомянутых выше, отладчик также поддерживает различные магические внутренние переменные.
-
@DB::dbline— псевдоним для@{"::_<current_file"}, который содержит строки текущего выбранного файла (скомпилированного Perl), либо явно выбранного с помощью команды отладчикаf, либо неявно по течению выполнения.Значения в этом массиве являются магическими в числовом контексте: они равны нулю только если строка не может быть разорвана.
-
%DB::dbline— псевдоним для%{"::_<current_file"}, который содержит точки останова и действия, проиндексированные по номеру строки в текущем выбранном файле, либо явно выбранного с помощью команды отладчикаf, либо неявно по течению выполнения.Как отмечалось ранее, отдельные записи (в отличие от всей хеш-таблицы) могут быть заданы. Perl заботится только о булевых истинностных значениях, хотя значения, используемые perl5db.pl, имеют вид
"$break_condition\0$action".
Функции настройки отладчика
Предоставлены некоторые функции для упрощения настройки.
-
См. "Настраиваемые параметры" в perldebug для описания параметров, анализируемых
DB::parse_options(string). -
DB::dump_trace(skip[,count])пропускает указанное количество кадров и возвращает список информации о вызывающих кадрах (все из них, еслиcountотсутствует). Каждая запись представляет собой ссылку на хеш-таблицу с ключамиcontext(либо.,$, или@),sub(имя подпрограммы или информация оeval),args(undefили ссылка на массив),file, иline. -
DB::print_trace(FH, skip[, count[, short]])печатает отформатированную информацию о кадрах вызывающих функций. Последние две функции могут быть удобны в качестве аргументов для команд<,<<.
Обратите внимание, что любые переменные и функции, не задокументированные в этой справке (или в perldebug), считаются предназначенными только для внутреннего использования и могут быть изменены без предварительного уведомления.
Примеры вывода списка фреймов
Вариант frame можно использовать для управления выводом информации о кадрах. Например, сравните этот след выражения:
$ perl -de 42
Stack dump during die enabled outside of evals.
Loading DB routines from perl5db.pl patch level 0.94
Emacs support available.
Enter h or 'h h' for help.
main::(-e:1): 0
DB<1> sub foo { 14 }
DB<2> sub bar { 3 }
DB<3> t print foo() * bar()
main::((eval 172):3): print foo() + bar();
main::foo((eval 168):2):
main::bar((eval 170):2):
42с этим, после того, как вариант o был установлен:
DB<4> o f=2
frame = '2'
DB<5> t print foo() * bar()
3: foo() * bar()
entering main::foo
2: sub foo { 14 };
exited main::foo
entering main::bar
2: sub bar { 3 };
exited main::bar
42В качестве демонстрации мы приводим ниже утомительный список, полученный при установке вашей переменной среды PERLDB_OPTS в значение f=n N, и запуске perl -d -V из командной строки. Приведены примеры с различными значениями n, чтобы вы могли почувствовать разницу между настройками. Хотя он может быть длинным, это не полный список, а только фрагменты.
-
entering main::BEGIN entering Config::BEGIN Package lib/Exporter.pm. Package lib/Carp.pm. Package lib/Config.pm. entering Config::TIEHASH entering Exporter::import entering Exporter::export entering Config::myconfig entering Config::FETCH entering Config::FETCH entering Config::FETCH entering Config::FETCH -
entering main::BEGIN entering Config::BEGIN Package lib/Exporter.pm. Package lib/Carp.pm. exited Config::BEGIN Package lib/Config.pm. entering Config::TIEHASH exited Config::TIEHASH entering Exporter::import entering Exporter::export exited Exporter::export exited Exporter::import exited main::BEGIN entering Config::myconfig entering Config::FETCH exited Config::FETCH entering Config::FETCH exited Config::FETCH entering Config::FETCH -
in $=main::BEGIN() from /dev/null:0 in $=Config::BEGIN() from lib/Config.pm:2 Package lib/Exporter.pm. Package lib/Carp.pm. Package lib/Config.pm. in $=Config::TIEHASH('Config') from lib/Config.pm:644 in $=Exporter::import('Config', 'myconfig', 'config_vars') from /dev/null:0 in $=Exporter::export('Config', 'main', 'myconfig', 'config_vars') from li in @=Config::myconfig() from /dev/null:0 in $=Config::FETCH(ref(Config), 'package') from lib/Config.pm:574 in $=Config::FETCH(ref(Config), 'baserev') from lib/Config.pm:574 in $=Config::FETCH(ref(Config), 'PERL_VERSION') from lib/Config.pm:574 in $=Config::FETCH(ref(Config), 'PERL_SUBVERSION') from lib/Config.pm:574 in $=Config::FETCH(ref(Config), 'osname') from lib/Config.pm:574 in $=Config::FETCH(ref(Config), 'osvers') from lib/Config.pm:574 -
in $=main::BEGIN() from /dev/null:0 in $=Config::BEGIN() from lib/Config.pm:2 Package lib/Exporter.pm. Package lib/Carp.pm. out $=Config::BEGIN() from lib/Config.pm:0 Package lib/Config.pm. in $=Config::TIEHASH('Config') from lib/Config.pm:644 out $=Config::TIEHASH('Config') from lib/Config.pm:644 in $=Exporter::import('Config', 'myconfig', 'config_vars') from /dev/null:0 in $=Exporter::export('Config', 'main', 'myconfig', 'config_vars') from lib/ out $=Exporter::export('Config', 'main', 'myconfig', 'config_vars') from lib/ out $=Exporter::import('Config', 'myconfig', 'config_vars') from /dev/null:0 out $=main::BEGIN() from /dev/null:0 in @=Config::myconfig() from /dev/null:0 in $=Config::FETCH(ref(Config), 'package') from lib/Config.pm:574 out $=Config::FETCH(ref(Config), 'package') from lib/Config.pm:574 in $=Config::FETCH(ref(Config), 'baserev') from lib/Config.pm:574 out $=Config::FETCH(ref(Config), 'baserev') from lib/Config.pm:574 in $=Config::FETCH(ref(Config), 'PERL_VERSION') from lib/Config.pm:574 out $=Config::FETCH(ref(Config), 'PERL_VERSION') from lib/Config.pm:574 in $=Config::FETCH(ref(Config), 'PERL_SUBVERSION') from lib/Config.pm:574 -
in $=main::BEGIN() from /dev/null:0 in $=Config::BEGIN() from lib/Config.pm:2 Package lib/Exporter.pm. Package lib/Carp.pm. out $=Config::BEGIN() from lib/Config.pm:0 Package lib/Config.pm. in $=Config::TIEHASH('Config') from lib/Config.pm:644 out $=Config::TIEHASH('Config') from lib/Config.pm:644 in $=Exporter::import('Config', 'myconfig', 'config_vars') from /dev/null:0 in $=Exporter::export('Config', 'main', 'myconfig', 'config_vars') from lib/E out $=Exporter::export('Config', 'main', 'myconfig', 'config_vars') from lib/E out $=Exporter::import('Config', 'myconfig', 'config_vars') from /dev/null:0 out $=main::BEGIN() from /dev/null:0 in @=Config::myconfig() from /dev/null:0 in $=Config::FETCH('Config=HASH(0x1aa444)', 'package') from lib/Config.pm:574 out $=Config::FETCH('Config=HASH(0x1aa444)', 'package') from lib/Config.pm:574 in $=Config::FETCH('Config=HASH(0x1aa444)', 'baserev') from lib/Config.pm:574 out $=Config::FETCH('Config=HASH(0x1aa444)', 'baserev') from lib/Config.pm:574 -
in $=CODE(0x15eca4)() from /dev/null:0 in $=CODE(0x182528)() from lib/Config.pm:2 Package lib/Exporter.pm. out $=CODE(0x182528)() from lib/Config.pm:0 scalar context return from CODE(0x182528): undef Package lib/Config.pm. in $=Config::TIEHASH('Config') from lib/Config.pm:628 out $=Config::TIEHASH('Config') from lib/Config.pm:628 scalar context return from Config::TIEHASH: empty hash in $=Exporter::import('Config', 'myconfig', 'config_vars') from /dev/null:0 in $=Exporter::export('Config', 'main', 'myconfig', 'config_vars') from lib/Exporter.pm:171 out $=Exporter::export('Config', 'main', 'myconfig', 'config_vars') from lib/Exporter.pm:171 scalar context return from Exporter::export: '' out $=Exporter::import('Config', 'myconfig', 'config_vars') from /dev/null:0 scalar context return from Exporter::import: ''
Во всех представленных выше случаях отступы строк показывают дерево вызовов. Если бит 2 frame установлен, при выходе из подпрограммы также печатается строка. Если бит 4 установлен, аргументы выводятся вместе с информацией о вызывающей стороне. Если бит 8 установлен, аргументы выводятся даже если они привязаны или являются ссылками. Если бит 16 установлен, также выводится возвращаемое значение.
При компиляции пакета печатается строка такого вида
Package lib/Carp.pm.с соответствующим отступом.
Отладка регулярных выражений
Существует два способа включить вывод отладки для регулярных выражений.
Если ваш Perl скомпилирован с -DDEBUGGING, вы можете использовать флаг -Dr в командной строке.
В противном случае, можно использовать use re 'debug', который имеет эффект во время компиляции и выполнения. Начиная с Perl 5.9.5, этот псевдоним имеет лексическую область видимости.
Вывод во время компиляции
Вывод отладки во время компиляции выглядит так:
Compiling REx '[bc]d(ef*g)+h[ij]k$'
size 45 Got 364 bytes for offset annotations.
first at 1
rarest char g at 0
rarest char d at 0
1: ANYOF[bc](12)
12: EXACT <d>(14)
14: CURLYX[0] {1,32767}(28)
16: OPEN1(18)
18: EXACT <e>(20)
20: STAR(23)
21: EXACT <f>(0)
23: EXACT <g>(25)
25: CLOSE1(27)
27: WHILEM[1/1](0)
28: NOTHING(29)
29: EXACT <h>(31)
31: ANYOF[ij](42)
42: EXACT <k>(44)
44: EOL(45)
45: END(0)
anchored 'de' at 1 floating 'gh' at 3..2147483647 (checking floating)
stclass 'ANYOF[bc]' minlen 7
Offsets: [45]
1[4] 0[0] 0[0] 0[0] 0[0] 0[0] 0[0] 0[0] 0[0] 0[0] 0[0] 5[1]
0[0] 12[1] 0[0] 6[1] 0[0] 7[1] 0[0] 9[1] 8[1] 0[0] 10[1] 0[0]
11[1] 0[0] 12[0] 12[0] 13[1] 0[0] 14[4] 0[0] 0[0] 0[0] 0[0]
0[0] 0[0] 0[0] 0[0] 0[0] 0[0] 18[1] 0[0] 19[1] 20[0]
Omitting $` $& $' support.Первая строка показывает предварительно скомпилированную форму регулярного выражения. Вторая показывает размер скомпилированной формы (в условных единицах, обычно 4-байтовые слова) и общее количество байтов, выделенных для таблицы смещений/длин, обычно 4+size*8. Следующая строка показывает метку id первого узла, который выполняет сопоставление.
Строка
anchored 'de' at 1 floating 'gh' at 3..2147483647 (checking floating)
stclass 'ANYOF[bc]' minlen 7 (разделенная на две строки выше) содержит информацию об оптимизаторе. В показанном примере оптимизатор определил, что совпадение должно содержать подстроку de со смещением 1, плюс подстроку gh со смещением между 3 и бесконечностью. Более того, при проверке этих подстрок (чтобы быстро отказаться от невозможных совпадений), Perl проверит подстроку gh перед проверкой подстроки de. Оптимизатор также может использовать знания о том, что совпадение начинается (в узле с id first) с класса символов, и никакая строка длиной менее 7 символов не может соответствовать.
Поля, которые могут быть интересны, которые могут появиться в этой строке:
-
anchoredСТРОКАatПОЗ -
floatingСТРОКАatПОЗ1..ПОЗ2 -
См. выше.
-
matching floating/anchored -
Какую подстроку проверять первой.
minlen-
Минимальная длина совпадения.
-
stclassТИП -
Тип первого узла совпадения.
noscan-
Не искать найденные подстроки.
isall-
Означает, что информация об оптимизаторе — все, что содержит регулярное выражение, и поэтому не нужно входить в сам движок регулярных выражений.
GPOS-
Устанавливается, если шаблон содержит
\G. plus-
Устанавливается, если шаблон начинается с повторяющегося символа (как в
x+y). implicit-
Устанавливается, если шаблон начинается с
.*. -
with eval -
Устанавливается, если шаблон содержит группы eval, такие как
(?{ code })и(??{ code }). -
anchored(TYPE) -
Если шаблон может совпадать только в нескольких местах, где
TYPEявляетсяSBOL,MBOL, илиGPOS. См. таблицу ниже.
Если известно, что подстрока совпадает только в конце строки, за ней может следовать $, как в floating 'k'$.
Информацию, специфичную для оптимизатора, используют для предотвращения входа (медленного) движка регулярных выражений в строки, которые, определенно, не будут соответствовать. Если флаг isall установлен, вызов движка регулярных выражений можно избежать даже тогда, когда оптимизатор нашел подходящее место для совпадения.
Выше раздела оптимизатора расположен список узлов скомпилированной формы регулярного выражения. Каждая строка имеет формат
id: ТИП ДОПОЛНИТЕЛЬНАЯ_ИНФОРМАЦИЯ (следующий_id)
Типы узлов
Вот текущие возможные типы с краткими описаниями:
# TYPE arg-description [num-args] [longjump-len] DESCRIPTION
# Exit points
END no End of program.
SUCCEED no Return from a subroutine, basically.
# Line Start Anchors:
SBOL no Match "" at beginning of line: /^/, /\A/
MBOL no Same, assuming multiline: /^/m
# Line End Anchors:
SEOL no Match "" at end of line: /$/
MEOL no Same, assuming multiline: /$/m
EOS no Match "" at end of string: /\z/
# Match Start Anchors:
GPOS no Matches where last m//g left off.
# Word Boundary Opcodes:
BOUND no Like BOUNDA for non-utf8, otherwise match
"" between any Unicode \w\W or \W\w
BOUNDL no Like BOUND/BOUNDU, but \w and \W are
defined by current locale
BOUNDU no Match "" at any boundary of a given type
using Unicode rules
BOUNDA no Match "" at any boundary between \w\W or
\W\w, where \w is [_a-zA-Z0-9]
NBOUND no Like NBOUNDA for non-utf8, otherwise match
"" between any Unicode \w\w or \W\W
NBOUNDL no Like NBOUND/NBOUNDU, but \w and \W are
defined by current locale
NBOUNDU no Match "" at any non-boundary of a given
type using using Unicode rules
NBOUNDA no Match "" betweeen any \w\w or \W\W, where
\w is [_a-zA-Z0-9]
# [Special] alternatives:
REG_ANY no Match any one character (except newline).
SANY no Match any one character.
ANYOF sv 1 Match character in (or not in) this class,
single char match only
ANYOFD sv 1 Like ANYOF, but /d is in effect
ANYOFL sv 1 Like ANYOF, but /l is in effect
ANYOFM byte 1 Like ANYOF, but matches an invariant byte
as determined by the mask and arg
# POSIX Character Classes:
POSIXD none Some [[:class:]] under /d; the FLAGS field
gives which one
POSIXL none Some [[:class:]] under /l; the FLAGS field
gives which one
POSIXU none Some [[:class:]] under /u; the FLAGS field
gives which one
POSIXA none Some [[:class:]] under /a; the FLAGS field
gives which one
NPOSIXD none complement of POSIXD, [[:^class:]]
NPOSIXL none complement of POSIXL, [[:^class:]]
NPOSIXU none complement of POSIXU, [[:^class:]]
NPOSIXA none complement of POSIXA, [[:^class:]]
ASCII none [[:ascii:]]
NASCII none [[:^ascii:]]
CLUMP no Match any extended grapheme cluster
sequence
# Alternation
# BRANCH The set of branches constituting a single choice are
# hooked together with their "next" pointers, since
# precedence prevents anything being concatenated to
# any individual branch. The "next" pointer of the last
# BRANCH in a choice points to the thing following the
# whole choice. This is also where the final "next"
# pointer of each individual branch points; each branch
# starts with the operand node of a BRANCH node.
#
BRANCH node Match this alternative, or the next...
# Literals
EXACT str Match this string (preceded by length).
EXACTL str Like EXACT, but /l is in effect (used so
locale-related warnings can be checked
for).
EXACTF str Match this non-UTF-8 string (not guaranteed
to be folded) using /id rules (w/len).
EXACTFL str Match this string (not guaranteed to be
folded) using /il rules (w/len).
EXACTFU str Match this string (folded iff in UTF-8,
length in folding doesn't change if not in
UTF-8) using /iu rules (w/len).
EXACTFAA str Match this string (not guaranteed to be
folded) using /iaa rules (w/len).
EXACTFU_SS str Match this string (folded iff in UTF-8,
length in folding may change even if not in
UTF-8) using /iu rules (w/len).
EXACTFLU8 str Rare circumstances: like EXACTFU, but is
under /l, UTF-8, folded, and everything in
it is above 255.
EXACTFAA_NO_TRIE str Match this string (which is not trie-able;
not guaranteed to be folded) using /iaa
rules (w/len).
# Do nothing types
NOTHING no Match empty string.
# A variant of above which delimits a group, thus stops optimizations
TAIL no Match empty string. Can jump here from
outside.
# Loops
# STAR,PLUS '?', and complex '*' and '+', are implemented as
# circular BRANCH structures. Simple cases
# (one character per match) are implemented with STAR
# and PLUS for speed and to minimize recursive plunges.
#
STAR node Match this (simple) thing 0 or more times.
PLUS node Match this (simple) thing 1 or more times.
CURLY sv 2 Match this simple thing {n,m} times.
CURLYN no 2 Capture next-after-this simple thing
CURLYM no 2 Capture this medium-complex thing {n,m}
times.
CURLYX sv 2 Match this complex thing {n,m} times.
# This terminator creates a loop structure for CURLYX
WHILEM no Do curly processing and see if rest
matches.
# Buffer related
# OPEN,CLOSE,GROUPP ...are numbered at compile time.
OPEN num 1 Mark this point in input as start of #n.
CLOSE num 1 Close corresponding OPEN of #n.
SROPEN none Same as OPEN, but for script run
SRCLOSE none Close preceding SROPEN
REF num 1 Match some already matched string
REFF num 1 Match already matched string, folded using
native charset rules for non-utf8
REFFL num 1 Match already matched string, folded in
loc.
REFFU num 1 Match already matched string, folded using
unicode rules for non-utf8
REFFA num 1 Match already matched string, folded using
unicode rules for non-utf8, no mixing
ASCII, non-ASCII
# Named references. Code in regcomp.c assumes that these all are after
# the numbered references
NREF no-sv 1 Match some already matched string
NREFF no-sv 1 Match already matched string, folded using
native charset rules for non-utf8
NREFFL no-sv 1 Match already matched string, folded in
loc.
NREFFU num 1 Match already matched string, folded using
unicode rules for non-utf8
NREFFA num 1 Match already matched string, folded using
unicode rules for non-utf8, no mixing
ASCII, non-ASCII
# Support for long RE
LONGJMP off 1 1 Jump far away.
BRANCHJ off 1 1 BRANCH with long offset.
# Special Case Regops
IFMATCH off 1 2 Succeeds if the following matches.
UNLESSM off 1 2 Fails if the following matches.
SUSPEND off 1 1 "Independent" sub-RE.
IFTHEN off 1 1 Switch, should be preceded by switcher.
GROUPP num 1 Whether the group matched.
# The heavy worker
EVAL evl/flags Execute some Perl code.
2L
# Modifiers
MINMOD no Next operator is not greedy.
LOGICAL no Next opcode should set the flag only.
# This is not used yet
RENUM off 1 1 Group with independently numbered parens.
# Trie Related
# Behave the same as A|LIST|OF|WORDS would. The '..C' variants
# have inline charclass data (ascii only), the 'C' store it in the
# structure.
TRIE trie 1 Match many EXACT(F[ALU]?)? at once.
flags==type
TRIEC trie Same as TRIE, but with embedded charclass
charclass data
AHOCORASICK trie 1 Aho Corasick stclass. flags==type
AHOCORASICKC trie Same as AHOCORASICK, but with embedded
charclass charclass data
# Regex Subroutines
GOSUB num/ofs 2L recurse to paren arg1 at (signed) ofs arg2
# Special conditionals
NGROUPP no-sv 1 Whether the group matched.
INSUBP num 1 Whether we are in a specific recurse.
DEFINEP none 1 Never execute directly.
# Backtracking Verbs
ENDLIKE none Used only for the type field of verbs
OPFAIL no-sv 1 Same as (?!), but with verb arg
ACCEPT no-sv/num Accepts the current matched string, with
2L verbar
# Verbs With Arguments
VERB no-sv 1 Used only for the type field of verbs
PRUNE no-sv 1 Pattern fails at this startpoint if no-
backtracking through this
MARKPOINT no-sv 1 Push the current location for rollback by
cut.
SKIP no-sv 1 On failure skip forward (to the mark)
before retrying
COMMIT no-sv 1 Pattern fails outright if backtracking
through this
CUTGROUP no-sv 1 On failure go to the next alternation in
the group
# Control what to keep in $&.
KEEPS no $& begins here.
# New charclass like patterns
LNBREAK none generic newline pattern
# SPECIAL REGOPS
# This is not really a node, but an optimized away piece of a "long"
# node. To simplify debugging output, we mark it as if it were a node
OPTIMIZED off Placeholder for dump.
# Special opcode with the property that no opcode in a compiled program
# will ever be of this type. Thus it can be used as a flag value that
# no other opcode has been seen. END is used similarly, in that an END
# node cant be optimized. So END implies "unoptimizable" and PSEUDO
# mean "not seen anything to optimize yet".
PSEUDO off Pseudo opcode for internal use.За информацией об оптимизаторе следует дамп таблицы смещений/длин, представленный здесь на нескольких строках:
Offsets: [45]
1[4] 0[0] 0[0] 0[0] 0[0] 0[0] 0[0] 0[0] 0[0] 0[0] 0[0] 5[1]
0[0] 12[1] 0[0] 6[1] 0[0] 7[1] 0[0] 9[1] 8[1] 0[0] 10[1] 0[0]
11[1] 0[0] 12[0] 12[0] 13[1] 0[0] 14[4] 0[0] 0[0] 0[0] 0[0]
0[0] 0[0] 0[0] 0[0] 0[0] 0[0] 18[1] 0[0] 19[1] 20[0] Первая строка здесь указывает, что таблица смещений/длин содержит 45 записей. Каждая запись представляет собой пару целых чисел, обозначенную offset[length]. Записи нумеруются, начиная с 1, так что запись №1 здесь — 1[4], а запись №12 — 5[1]. 1[4] указывает, что узел с меткой 1: (с 1: ANYOF[bc]) начинается с позиции символа 1 в предварительно скомпилированной форме регулярного выражения и имеет длину 4 символа. 5[1] на позиции 12 указывает, что узел с меткой 12: (с 12: EXACT <d>) начинается с позиции символа 5 в предварительно скомпилированной форме регулярного выражения и имеет длину 1 символ. 12[1] на позиции 14 указывает, что узел с меткой 14: (с 14: CURLYX[0] {1,32767}) начинается с позиции символа 12 в предварительно скомпилированной форме регулярного выражения и имеет длину 1 символ — то есть, он соответствует символу + в предварительно скомпилированном регулярном выражении.
Элементы 0[0] указывают на отсутствие соответствующего узла.
Вывод во время выполнения
Прежде всего, при выполнении сопоставления может не быть вывода во время выполнения, даже если отладка включена. Это означает, что движок регулярных выражений не запускался, и вся работа была выполнена оптимизатором.
Если движок регулярных выражений был запущен, вывод может выглядеть так:
Matching '[bc]d(ef*g)+h[ij]k$' against 'abcdefg__gh__'
Setting an EVAL scope, savestack=3
2 <ab> <cdefg__gh_> | 1: ANYOF
3 <abc> <defg__gh_> | 11: EXACT <d>
4 <abcd> <efg__gh_> | 13: CURLYX {1,32767}
4 <abcd> <efg__gh_> | 26: WHILEM
0 out of 1..32767 cc=effff31c
4 <abcd> <efg__gh_> | 15: OPEN1
4 <abcd> <efg__gh_> | 17: EXACT <e>
5 <abcde> <fg__gh_> | 19: STAR
EXACT <f> can match 1 times out of 32767...
Setting an EVAL scope, savestack=3
6 <bcdef> <g__gh__> | 22: EXACT <g>
7 <bcdefg> <__gh__> | 24: CLOSE1
7 <bcdefg> <__gh__> | 26: WHILEM
1 out of 1..32767 cc=effff31c
Setting an EVAL scope, savestack=12
7 <bcdefg> <__gh__> | 15: OPEN1
7 <bcdefg> <__gh__> | 17: EXACT <e>
restoring \1 to 4(4)..7
failed, try continuation...
7 <bcdefg> <__gh__> | 27: NOTHING
7 <bcdefg> <__gh__> | 28: EXACT <h>
failed...
failed...Наиболее важная информация в выводе относится к конкретному узлу скомпилированного регулярного выражения, который в настоящее время проверяется относительно целевой строки. Формат этих строк
СМЕЩЕНИЕ_СТРОКИ <СТРОКА_ДО> <СТРОКА_ПОСЛЕ> |ID: ТИП
Информация ТИП отступает относительно уровня возврата. Другая случайная информация появляется среди прочего.
Отладка использования памяти Perl
Perl — расточительный транжира, когда речь заходит об использовании памяти. Есть поговорка, что для оценки использования памяти Perl следует предположить разумный алгоритм выделения памяти, умножить эту оценку на 10, и хотя вы можете не попасть в точку, по крайней мере, вас не так сильно удивит результат. Это не совсем так, но может дать хорошее представление о происходящем.
Предположим, что целое число не может занимать менее 20 байтов, число с плавающей точкой — менее 24 байтов, строка — менее 32 байтов (все эти примеры относятся к 32-разрядным архитектурам, результаты значительно хуже на 64-разрядных архитектурах). Если к переменной обращаются двумя из трех различных способов (которые требуют целого числа, числа с плавающей точкой или строки), использование памяти может увеличиться еще на 20 байтов. Плохо реализованная функция malloc(3) может значительно увеличить эти цифры.
На другом конце шкалы объявление вроде
sub foo;может занимать до 500 байтов памяти, в зависимости от используемой версии Perl.
Эмпирические оценки раздутия кода от исходного кода до скомпилированного кода предполагают восемькратное увеличение. Это означает, что скомпилированная форма разумного (обычно комментированного, правильно отформатированного и т. д.) кода займет примерно в восемь раз больше места в памяти, чем исходный код на диске.
Переключатель командной строки -DL устарел с версии Perl 5.6.0 (он был доступен только в случае, если Perl был скомпилирован с -DDEBUGGING). Этот переключатель использовался для отслеживания выделения памяти Perl и возможных утечек памяти. В наши дни вместо этого рекомендуется использовать инструменты отладки malloc, такие как Purify или valgrind. См. также "PERL_MEM_LOG" в perlhacktips.
Один из способов узнать, сколько памяти используется структурами данных Perl, — это установить модуль Devel::Size из CPAN: он дает вам минимальное количество байтов, необходимое для хранения конкретной структуры данных. Пожалуйста, учитывайте разницу между size() и total_size().
Если Perl был скомпилирован с помощью malloc Perl, вы можете проанализировать использование памяти Perl, установив $ENV{PERL_DEBUG_MSTATS}.
Использование $ENV{PERL_DEBUG_MSTATS}
Если ваш Perl использует Perl's malloc() и был скомпилирован с необходимыми переключателями (это значение по умолчанию), то он выведет статистику использования памяти после компиляции вашего кода, когда $ENV{PERL_DEBUG_MSTATS} > 1, и перед завершением программы, когда $ENV{PERL_DEBUG_MSTATS} >= 1. Формат отчета аналогичен следующему примеру:
$ PERL_DEBUG_MSTATS=2 perl -e "require Carp"
Memory allocation statistics after compilation: (buckets 4(4)..8188(8192)
14216 free: 130 117 28 7 9 0 2 2 1 0 0
437 61 36 0 5
60924 used: 125 137 161 55 7 8 6 16 2 0 1
74 109 304 84 20
Total sbrk(): 77824/21:119. Odd ends: pad+heads+chain+tail: 0+636+0+2048.
Memory allocation statistics after execution: (buckets 4(4)..8188(8192)
30888 free: 245 78 85 13 6 2 1 3 2 0 1
315 162 39 42 11
175816 used: 265 176 1112 111 26 22 11 27 2 1 1
196 178 1066 798 39
Total sbrk(): 215040/47:145. Odd ends: pad+heads+chain+tail: 0+2192+0+6144.Можно запросить такую статистику в произвольные моменты выполнения, используя функцию mstat() из стандартного модуля Devel::Peek.
Вот пояснение к этому формату:
-
buckets SMALLEST(APPROX)..GREATEST(APPROX) -
В Perl, malloc() использует распределённые по корзинам выделения памяти. Каждый запрос округляется до ближайшего размера корзины, и из пула корзин данного размера берётся корзина.
Строка выше описывает пределы корзин, которые в настоящее время используются. У каждой корзины есть два размера: занимаемая память и максимальный размер данных пользователя, которые могут поместиться в эту корзину. Предположим в приведённом примере, что наименьшая корзина имеет размер 4. Наибольшая корзина будет иметь полезный размер 8188, а занимаемая память составит 8192.
В Perl, скомпилированном для отладки, некоторые корзины могут иметь отрицательный полезный размер. Это означает, что эти корзины не могут (и не будут) использоваться. Для больших корзин занимаемая память может быть на одну страницу больше, чем степень двойки. В этом случае соответствующая степень двойки выводится в поле
APPROX. - Free/Used
-
Одна или две строки чисел, следующие за этим, соответствуют количеству корзин каждого размера между
SMALLESTиGREATEST. В первой строке размеры (занимаемая память) корзин являются степенями двойки — или, возможно, на одну страницу больше. Во второй строке, если она есть, занимаемая память корзин находится между занимаемой памятью двух корзин «выше».Например, предположим, что в предыдущем примере занимаемая память была
free: 8 16 32 64 128 256 512 1024 2048 4096 8192 4 12 24 48 80В не-
DEBUGGINGPerl, корзины, начиная с128, имеют накладные расходы 4 байта, и, таким образом, корзина длиной 8192 может занимать до 8188 байтов выделений. -
Total sbrk(): SBRKed/SBRKs:CONTINUOUS -
Первые два поля указывают общий объём памяти, выделенный Perl функцией sbrk(2), и количество использованных вызовов sbrk(2). Третье число — это то, как Perl понимает непрерывность возвращаемых блоков. Пока это число положительное, malloc() будет предполагать, что sbrk(2) скорее всего обеспечит непрерывную память.
Память, выделенная внешними библиотеками, не учитывается.
-
pad: 0 -
Объём памяти, выделенной функцией sbrk(2), необходимый для выравнивания корзин.
-
heads: 2192 -
Хотя накладные расходы памяти для больших корзин хранятся внутри корзины, для меньших корзин они хранятся в отдельных областях. Это поле показывает общий размер этих областей.
-
chain: 0 -
malloc() может захотеть разделить большую корзину на меньшие. Если только часть освобождённой корзины осталась неразделенной, то остальная часть сохраняется как элемент связанного списка. Это поле показывает общий размер этих фрагментов.
-
tail: 6144 -
Для минимизации количества вызовов sbrk(2), malloc() запрашивает больше памяти. Это поле показывает размер ещё неиспользуемой части, которая выделена sbrk(2), но никогда не использовалась.
СПРАВКА
perldebug, perlguts, perlrun re и Devel::DProf.
© 1993–2020 Larry Wall and others
Licensed under the GNU General Public License version 1 or later, or the Artistic License.
The Perl logo is a trademark of the Perl Foundation.
https://perldoc.perl.org/5.28.3/perldebguts
