ruby-core@ruby-lang.org archive (unofficial mirror)
 help / color / mirror / Atom feed
From: "headius (Charles Nutter)" <noreply@ruby-lang.org>
To: ruby-core@ruby-lang.org
Subject: [ruby-core:106691] [Ruby master Feature#16663] Add block or filtered forms of Kernel#caller to allow early bail-out
Date: Wed, 15 Dec 2021 14:56:09 +0000 (UTC)	[thread overview]
Message-ID: <redmine.journal-95373.20211215145609.286@ruby-lang.org> (raw)
In-Reply-To: redmine.issue-16663.20200228222717.286@ruby-lang.org

Issue #16663 has been updated by headius (Charles Nutter).


@jeremeyevans0:

> It sounds like you want iteration, and you are recommending with Thread.each_backtrace yielding Thread::Backtrace::Location objects. Is that correct?

Yes to iteration. Capturing a single frame is only one use case (and maybe not the most common). We should make it possible to capture multiple.

Thread.each_backtrace yielding Location objects would cover the use cases I am interested in, yes.

> While your Enumerable example would not work in CRuby, you may be able to do:

Yes I botched that part of my example. The Enumerable would have to be yielded to a block and used within that block. My example done right would be more like:

```ruby
Kernel.caller_locations do |enum|
  enum.drop_while {|frame| test_library_frame?(frame)}
      .keep_until {|frame| test_library_frame?(frame)}
      .to_a
end
```

If the enum is used outside of this context, it would immediately error or StopIteration as it can no longer materialize lost frames. Some combination of Lazy and eager Enumerator logic could be used here to materialize required frames at the point that `caller_locations` returns.

Your example, with a simple `each_backtrace` does cover all the use cases I'm interested in, however. The only thing we lose over my version is the ability to apply other lazy Enumerator filtering in a more fluent style of code. My version would apply more naturally to the existing API, also, and would work the same for `caller`, `backtrace` and `*_locations` APIs.

----------------------------------------
Feature #16663: Add block or filtered forms of Kernel#caller to allow early bail-out
https://bugs.ruby-lang.org/issues/16663#change-95373

* Author: headius (Charles Nutter)
* Status: Open
* Priority: Normal
----------------------------------------
There are many libraries that use `caller` or `caller_locations` to gather stack information for logging or instrumentation. These methods generate an array of informational stack frames based on the current call stack.

Both methods accept parameters for `level` (skip some number of Ruby frames) and `length` (only return this many frames). However many use cases are unable to provide one or both of these.

Instrumentation uses, for example, may need to skip an unknown number of frames at the top of the trace, such as to dig out of rspec plumbing or active_record internals and report the first line of user code. In such cases, the typical pattern is to simply request *all* frames and then filter out the one that is desired.

This leads to a great deal of wasted work gathering those frames and constructing objects to carry them to the user. On optimizing runtimes like JRuby and TruffleRuby, it can have a tremendous impact on performance, since each frame has a much higher cost than on CRuby.

I propose that we need a new form of `caller` that takes a block for processing each element.

```ruby
def find_matching_frame(regex)
  caller do |frame|
    return frame if frame.file =~ regex
  end
end
```

An alternative API would be to allow passing a query object as a keyword argument, avoiding the block dispatch by performing the match internally:

```ruby
def find_matching_frame(regex)
  caller(file: regex)
end
```

This API would provide a middle ground between explicitly specifying a maximum number of stack frames and asking for all frames. Most common, hot-path uses of `caller` could be replaced by these forms, reducing overhead on all Ruby implementations and drastically reducing it where stack traces are expensive.



-- 
https://bugs.ruby-lang.org/

  parent reply	other threads:[~2021-12-15 14:56 UTC|newest]

Thread overview: 29+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2020-02-28 22:27 [ruby-core:97307] [Ruby master Feature#16663] Add block or filtered forms of Kernel#caller to allow early bail-out headius
2021-10-26 19:29 ` [ruby-core:105817] " jeremyevans0 (Jeremy Evans)
2021-11-09 12:27 ` [ruby-core:105985] " Eregon (Benoit Daloze)
2021-11-09 12:36 ` [ruby-core:105986] " Eregon (Benoit Daloze)
2021-11-09 13:28 ` [ruby-core:105988] " zverok (Victor Shepelev)
2021-11-09 16:32 ` [ruby-core:105990] " Eregon (Benoit Daloze)
2021-11-18  6:57 ` [ruby-core:106122] " matz (Yukihiro Matsumoto)
2021-11-18  9:47 ` [ruby-core:106129] " Eregon (Benoit Daloze)
2021-11-18 18:17 ` [ruby-core:106155] " jeremyevans0 (Jeremy Evans)
2021-11-19 20:18 ` [ruby-core:106180] " Eregon (Benoit Daloze)
2021-12-09  7:49 ` [ruby-core:106575] " matz (Yukihiro Matsumoto)
2021-12-09 20:20 ` [ruby-core:106607] " Dan0042 (Daniel DeLorme)
2021-12-10 16:08 ` [ruby-core:106613] " jeremyevans0 (Jeremy Evans)
2021-12-11  9:57 ` [ruby-core:106618] " headius (Charles Nutter)
2021-12-11 18:53 ` [ruby-core:106622] " jeremyevans0 (Jeremy Evans)
2021-12-15 14:56 ` headius (Charles Nutter) [this message]
2021-12-15 16:28 ` [ruby-core:106696] " Dan0042 (Daniel DeLorme)
2022-01-03 18:16 ` [ruby-core:106954] " jeremyevans0 (Jeremy Evans)
2022-01-04 10:59 ` [ruby-core:106960] " Eregon (Benoit Daloze)
2022-01-11 16:47 ` [ruby-core:107056] " Dan0042 (Daniel DeLorme)
2022-01-11 18:26 ` [ruby-core:107060] " Eregon (Benoit Daloze)
2022-01-14  3:25 ` [ruby-core:107114] " mame (Yusuke Endoh)
2022-01-14 21:43 ` [ruby-core:107133] " jeremyevans0 (Jeremy Evans)
2022-01-18 16:21 ` [ruby-core:107179] " headius (Charles Nutter)
2022-01-19  2:57 ` [ruby-core:107188] " jeremyevans0 (Jeremy Evans)
2022-02-01  0:45 ` [ruby-core:107404] " headius (Charles Nutter)
2022-02-01  1:39 ` [ruby-core:107405] " jeremyevans0 (Jeremy Evans)
2022-02-01  3:59   ` [ruby-core:107407] " Gregory Cohen
2022-02-17  7:56 ` [ruby-core:107616] " matz (Yukihiro Matsumoto)

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-list from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

  List information: https://www.ruby-lang.org/en/community/mailing-lists/

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=redmine.journal-95373.20211215145609.286@ruby-lang.org \
    --to=ruby-core@ruby-lang.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).