X-Git-Url: http://git.shadowcat.co.uk/gitweb/gitweb.cgi?a=blobdiff_plain;f=t%2Flib%2FDBICTest%2FUtil%2FLeakTracer.pm;h=d2ccc25a3ed9b9dfd8419fe83177700ac1242c59;hb=b77a61d867a1a03ec0be1cb63365c66f97a46e7c;hp=b3984b60f6198ee1db48dbb714386eea309cdf77;hpb=bf302897b5be1fe2e857b6be427dd66e82587547;p=dbsrgits%2FDBIx-Class.git diff --git a/t/lib/DBICTest/Util/LeakTracer.pm b/t/lib/DBICTest/Util/LeakTracer.pm index b3984b6..d2ccc25 100644 --- a/t/lib/DBICTest/Util/LeakTracer.pm +++ b/t/lib/DBICTest/Util/LeakTracer.pm @@ -5,7 +5,7 @@ use strict; use Carp; use Scalar::Util qw(isweak weaken blessed reftype); -use DBIx::Class::_Util qw(refcount hrefaddr); +use DBIx::Class::_Util qw(refcount hrefaddr refdesc); use DBIx::Class::Optional::Dependencies; use Data::Dumper::Concise; use DBICTest::Util 'stacktrace'; @@ -21,15 +21,6 @@ my $refs_traced = 0; my $leaks_found = 0; my %reg_of_regs; -# so we don't trigger stringification -sub _describe_ref { - sprintf '%s%s(%s)', - (defined blessed $_[0]) ? blessed($_[0]) . '=' : '', - reftype $_[0], - hrefaddr $_[0], - ; -} - sub populate_weakregistry { my ($weak_registry, $target, $note) = @_; @@ -65,7 +56,7 @@ sub populate_weakregistry { $refs_traced++; } - my $desc = _describe_ref($target); + my $desc = refdesc $target; $weak_registry->{$refaddr}{slot_names}{$desc} = 1; if ($note) { $note =~ s/\s*\Q$desc\E\s*//g; @@ -109,18 +100,19 @@ sub visit_refs { my $visited_cnt = '0E0'; for my $i (0 .. $#{$args->{refs}} ) { - next if isweak($args->{refs}[$i]); - my $r = $args->{refs}[$i]; + next unless length ref $args->{refs}[$i]; # not-a-ref - next unless length ref $r; + my $addr = hrefaddr $args->{refs}[$i]; # no diving into weakregistries - next if $reg_of_regs{hrefaddr $r}; - - next if $args->{seen_refs}{my $dec_addr = Scalar::Util::refaddr($r)}++; + next if $reg_of_regs{$addr}; + next if $args->{seen_refs}{$addr}++; $visited_cnt++; + + my $r = $args->{refs}[$i]; + $args->{action}->($r) or next; # This may end up being necessarry some day, but do not slow things @@ -129,9 +121,10 @@ sub visit_refs { # $visited_cnt += visit_refs({ %$args, refs => [ $t ] }); #} + my $type = reftype $r; + local $@; eval { - my $type = reftype $r; if ($type eq 'HASH') { $visited_cnt += visit_refs({ %$args, refs => [ map { ( !isweak($r->{$_}) ) ? $r->{$_} : () @@ -151,57 +144,67 @@ sub visit_refs { } scalar PadWalker::closed_over($r) ] }); # scalar due to RT#92269 } 1; - } or warn "Could not descend into @{[ _describe_ref($r) ]}: $@\n"; + } or warn "Could not descend into @{[ refdesc $r ]}: $@\n"; } $visited_cnt; } -sub assert_empty_weakregistry { - my ($weak_registry, $quiet) = @_; +sub visit_namespaces { + my $args = { (ref $_[0]) ? %{$_[0]} : @_ }; - # in case we hooked bless any extra object creation will wreak - # havoc during the assert phase - local *CORE::GLOBAL::bless; - *CORE::GLOBAL::bless = sub { CORE::bless( $_[0], (@_ > 1) ? $_[1] : caller() ) }; + my $visited = 1; - croak 'Expecting a registry hashref' unless ref $weak_registry eq 'HASH'; + $args->{package} ||= '::'; + $args->{package} = '::' if $args->{package} eq 'main'; - return unless keys %$weak_registry; + if ( $args->{action}->($args->{package}) ) { - my $tb = eval { Test::Builder->new } - or croak "Calling assert_empty_weakregistry in $0 without a loaded Test::Builder makes no sense"; + my $base = $args->{package}; + $base = '' if $base eq '::'; - for my $addr (keys %$weak_registry) { - $weak_registry->{$addr}{display_name} = join ' | ', ( - sort - { length $a <=> length $b or $a cmp $b } - keys %{$weak_registry->{$addr}{slot_names}} - ); - $tb->BAILOUT("!!!! WEAK REGISTRY SLOT $weak_registry->{$addr}{display_name} IS NOT A WEAKREF !!!!") - if defined $weak_registry->{$addr}{weakref} and ! isweak( $weak_registry->{$addr}{weakref} ); + $visited += visit_namespaces({ %$args, package => $_ }) for map + { $_ =~ /(.+?)::$/ ? "${base}::$1" : () } + grep + { $_ =~ /(? sub { - # the walk is very expensive - if we are $quiet (running in an END block) - # we do not really need to be too thorough - unless ($quiet) { - my ($symwalker, $symcounts); - $symwalker = sub { no strict 'refs'; - my $pkg = shift || '::'; - # any non-weak globals are "clasdata" in all possible sense - # + my $pkg = shift; + $pkg = '' if $pkg eq '::'; + $pkg .= '::'; + # the unless regex at the end skips some dangerous namespaces outright # (but does not prevent descent) - $symcounts->{$pkg} += visit_refs ( + $refs_per_pkg->{$pkg} += visit_refs ( seen_refs => $seen_refs, - action => sub { ++$classdata_refs->{hrefaddr $_[0]} }, + + # FIXME FIXME FIXME + # This is so damn odd - if we feed a constsub {1} (or in fact almost + # anything other than the actionsub below, any scalarref will show + # up as a leak, trapped by... something... + # Ideally we should be able to const this to sub{1} and just return + # $seen_refs (in fact it is identical to the dummy list at the end of + # a run here). Alas this doesn't seem to work, so punt for now... + action => sub { ++$dummy_addresslist->{ hrefaddr $_[0] } }, + refs => [ map { my $sym = $_; # *{"$pkg$sym"}{CODE} won't simply work - MRO-cached CVs are invisible there ( CV_TRACING ? Class::MethodCache::get_cv("${pkg}$sym") : () ), @@ -209,31 +212,81 @@ sub assert_empty_weakregistry { ( defined *{"$pkg$sym"}{SCALAR} and length ref ${"$pkg$sym"} and ! isweak( ${"$pkg$sym"} ) ) ? ${"$pkg$sym"} : () , + ( map { ( defined *{"$pkg$sym"}{$_} and ! isweak(defined *{"$pkg$sym"}{$_}) ) ? *{"$pkg$sym"}{$_} : () } qw(HASH ARRAY IO GLOB) ), + } keys %$pkg ], ) unless $pkg =~ /^ :: (?: DB | next | B | .+? ::::ISA (?: ::CACHE ) | Class::C3 ) :: $/x; + } + ); - $symwalker->("${pkg}$_") for grep { $_ =~ /(? $refs_per_pkg->{$_} } } +# sort +# {$refs_per_pkg->{$a} <=> $refs_per_pkg->{$b} } +# keys %$refs_per_pkg +# ]; + + $seen_refs; +} + +sub assert_empty_weakregistry { + my ($weak_registry, $quiet) = @_; - $symwalker->(); + Sub::Defer::undefer_all(); -# use Devel::Dwarn; -# Ddie [ map -# { { $_ => $symcounts->{$_} } } -# sort -# {$symcounts->{$a} <=> $symcounts->{$b} } -# keys %$symcounts -# ]; + # in case we hooked bless any extra object creation will wreak + # havoc during the assert phase + local *CORE::GLOBAL::bless; + *CORE::GLOBAL::bless = sub { CORE::bless( $_[0], (@_ > 1) ? $_[1] : caller() ) }; + + croak 'Expecting a registry hashref' unless ref $weak_registry eq 'HASH'; + + defined $weak_registry->{$_}{weakref} or delete $weak_registry->{$_} + for keys %$weak_registry; + + return unless keys %$weak_registry; + + my $tb = eval { Test::Builder->new } + or croak "Calling assert_empty_weakregistry in $0 without a loaded Test::Builder makes no sense"; + + for my $addr (keys %$weak_registry) { + $weak_registry->{$addr}{display_name} = join ' | ', ( + sort + { length $a <=> length $b or $a cmp $b } + keys %{$weak_registry->{$addr}{slot_names}} + ); + + $tb->BAILOUT("!!!! WEAK REGISTRY SLOT $weak_registry->{$addr}{display_name} IS NOT A WEAKREF !!!!") + if defined $weak_registry->{$addr}{weakref} and ! isweak( $weak_registry->{$addr}{weakref} ); } - delete $weak_registry->{$_} for keys %$classdata_refs; + # the symtable walk is very expensive + # if we are $quiet (running in an END block) we do not really need to be + # that thorough - can get by with only %Sub::Quote::QUOTED + delete $weak_registry->{$_} for $quiet + ? do { + my $refs = {}; + visit_refs ( + # only look at the closed over stuffs + refs => [ grep { length ref $_ } map { values %{$_->[2]} } grep { ref $_ eq 'ARRAY' } values %Sub::Quote::QUOTED ], + seen_refs => $refs, + action => sub { 1 }, + ); + keys %$refs; + } + : ( + # full sumtable walk, starting from :: + keys %{ symtable_referenced_addresses() } + ) + ; for my $addr (sort { $weak_registry->{$a}{display_name} cmp $weak_registry->{$b}{display_name} } keys %$weak_registry) { @@ -289,9 +342,16 @@ sub assert_empty_weakregistry { } END { - if ($INC{'Test/Builder.pm'}) { - my $tb = Test::Builder->new; - + if ( + $INC{'Test/Builder.pm'} + and + my $tb = do { + local $@; + my $t = eval { Test::Builder->new } + or warn "Test::Builder->new failed:\n$@\n"; + $t; + } + ) { # we check for test passage - a leak may be a part of a TODO if ($leaks_found and !$tb->is_passing) { @@ -305,6 +365,21 @@ END { else { $tb->note("Auto checked $refs_traced references for leaks - none detected"); } + +# Disable this until better times - SQLT and probably other things +# still load strictures. Let's just wait until Moo2.0 and go from there +=begin for tears + # also while we are here and not in plain runmode: make sure we never + # loaded any of the strictures XS bullshit (it's a leak in a sense) + unless (DBICTest::RunMode->is_plain) { + for (qw(indirect multidimensional bareword::filehandles)) { + exists $INC{ Module::Runtime::module_notional_filename($_) } + and + $tb->ok(0, "$_ load apparently attempted!!!" ) + } + } +=cut + } }