Project

General

Profile

Actions

Feature #19538

closed

Performance warnings

Added by byroot (Jean Boussier) over 1 year ago. Updated over 1 year ago.

Status:
Closed
Assignee:
-
Target version:
-
[ruby-core:112933]

Description

Suggested by @Eregon (Benoit Daloze).

There are program behaviors that are supported, but that we know aren't good for performance, however it's hard for users to know about them.

Now that we have warning categories, we could add a :performance category to allow the VM to emit warning in some situations.

The category would be disabled by default, and users interested in optimizing their program could turn it on in development.

Warning[:performance] = true

Related issues 2 (0 open2 closed)

Related to Ruby master - Bug #19535: Instance variables order is unpredictable on objects with `OBJ_TOO_COMPLEX_SHAPE_ID`ClosedActions
Related to Ruby master - Feature #19573: Add Class#singleton_inheritedRejectedActions

Updated by mame (Yusuke Endoh) over 1 year ago

When does the option print a warning, for example?

Updated by byroot (Jean Boussier) over 1 year ago

So the example that sparked the idea was SHAPE_TOO_COMPLEX. It would be useful to emit a warning such as:

warning: SomeClass has too many shapes.

Other potential ideas could be to warn when constant caches are invalidated, or thing like that.

However there is probably a complicated balance to find between relevance and verbosity.

Actions #3

Updated by mame (Yusuke Endoh) over 1 year ago

  • Related to Bug #19535: Instance variables order is unpredictable on objects with `OBJ_TOO_COMPLEX_SHAPE_ID` added

Updated by Eregon (Benoit Daloze) over 1 year ago

Yes, I think this would be great.
TruffleRuby for instance already uses performance warnings for:

  • unstable interpolated regexps, i.e., an interpolated regexp for which we have seen more than N=8 different sources, so then we cannot really inline cache anymore and have to compile the regexp on the fly which is quite expensive (especially for what looks like a "literal" in source code).
  • some methods need caller state, when we can't find the caller node for those it means we have to walk the stack on every call to get that info, so then we warn for performance (pretty rare).

In TruffleRuby those performance warnings are shown at most once per source location, that seems good to avoid too much verbosity and perf impact (of printing lots of warnings).

There wasn't Warning[] when we added them, but I think that's a great fit.

Updated by Eregon (Benoit Daloze) over 1 year ago

From investigating some benchmark today, I think it would be valuable to (opt-in of course) performance warn for:

  • uncached method lookup (i.e., the inline cache gave up, it saw too many different obj->klass at a call site)
  • singleton class creation on non-module objects (i.e., on instances). They basically cause the above, but being able to know where the singleton class is created is quite valuable and not easy to find from an uncached call site.

Some amount of singleton classes on instances is fine though, the problem is if it's done repeatedly. If it's on a few global objects it's no problem, just like it's no problem on class/modules (as long as one doesn't create many classes/modules dynamically and use them at the same call site).
Given the relation, I think warning for singleton class creation probably deserves a different opt-in mechanism, it's more like debugging aid for uncached method lookup (which are pretty much always bad for performance).

One concern though is IIRC CRuby uses monomophic inline caches, so it would warn even for just 2 different classes seen at a call site. That seems too aggressive. TruffleRuby uses a limit of 8 which is probably too high but at least if we see more than 8 classes at a call site that's fair to call it megamorphic and not polymorphic anymore.

Actions #6

Updated by Eregon (Benoit Daloze) over 1 year ago

Updated by Eregon (Benoit Daloze) over 1 year ago

#19573 is an alternative way to track singleton class creation, and @jeremyevans0 (Jeremy Evans) posted numbers for the cost of singleton classes in https://bugs.ruby-lang.org/issues/19573#note-3.
I think a performance warning is more convenient to track singleton class creation, rather than Class#singleton_inherited, but I'm not against it.
Performance warnings are easier to optimize for the "not enabled" case than avoiding the extra calls to Class#singleton_inherited, because those still need a method lookup to figure out it's the default empty singleton_inherited and skip the call.

Updated by matz (Yukihiro Matsumoto) over 1 year ago

Adding Warning[:performance] = true is acceptable. Warning for OBJ_TOO_COMPLEX_SHAPE_ID is also acceptable.
But warnings for singleton class creation is not acceptable (because it's unavoidable for specific use cases).

Matz.

Updated by mame (Yusuke Endoh) over 1 year ago

@matz (Yukihiro Matsumoto) (and @ko1 (Koichi Sasada), @shyouhei (Shyouhei Urabe), and @nobu (Nobuyoshi Nakada)) also said that ruby -w should not enable this warning mode. ruby -W:performance should do.

Updated by byroot (Jean Boussier) over 1 year ago

I was working on one too, to add the max variation warnings: https://github.com/ruby/ruby/pull/7708

Actions #12

Updated by byroot (Jean Boussier) over 1 year ago

  • Status changed from Open to Closed

Applied in changeset git|ac123f167a364c3d7a43eca78d564e41f6dbb91e.


Emit a performance warning when a class reached max variations

[Feature #19538]

This new peformance warning category is disabled by default.
It needs to be specifically enabled via -W:performance or Warning[:performance] = true

Updated by Eregon (Benoit Daloze) over 1 year ago

Thank you, makes sense.
Of course these performance warnings might differ per Ruby implementation.
I thought -w should enable them but it seems multiple people disagree, OK.

What about megamorphic method lookup?
I guess the problem there is CRuby has no way to detect that due to monomophic caches?

CRuby can detect singleton class creation though.
Maybe we could warn for singleton classes but only if it happens more than some threshold (e.g. 10) per superclass of that singleton class (and ignore it if superclass is Class).
WDYT?

Actions

Also available in: Atom PDF

Like1
Like0Like0Like0Like0Like0Like0Like0Like0Like0Like0Like0Like0Like0