sl (step into last call in line) is unreliable

オープン
#423 コメント 1 件 リアクション 0 件 担当者 0 名 GitHub で見る

まだ誰も着手していません。

評価

難易度
4/5
見積もり時間
3〜5日
初心者へのやさしさ
48/100
issue の種類
バグ
明瞭さ
おおむね明確
活発さ
活発
技術スタック
julia
領域
devtools

調査の方向性

示されている Julia の呼び出しとデバッガーコマンド sl および so を使って報告を再現し、matmul.jl:34 と ldiv.jl:98 の呼び出しから開始します。sl が materialize の呼び出しをどのように処理するかを追跡し、呼び出しの外にステップアウトする場合と比較します。sl が so のように振る舞うのではなく、行内の最後の呼び出しに確実に入るようになれば完了です。

索引モデルが issue の本文から書いたものです。

説明

I'm not sure how to make a "MWE" but here is a run-through of the problem: If I run sl on the following it works fine:

[1/1] \(A, B) at /Users/solver/.julia/packages/QuasiArrays/B65Uq/src/matmul.jl:34
>34  @inline \(A::AbstractQuasiArray, B::AbstractQuasiArray) = ldiv(A,B)

  A::Fourier{Float64} = Fourier{Float64}()  (arg)
  B::QuasiArrays.BroadcastQuasiVector{…} = <cos.(Inclusion(DomainSets.RealNumb...>  (arg)

→ ldiv(Fourier{Float64}(), cos.(Inclusion(DomainSets.RealNumbers())))

1|debug> sl

But the following is equivalent to so instead of stepping into the materialize call:

[1/3] ldiv(A, B; kwds) at /Users/solver/.julia/packages/ArrayLayouts/RCHQ8/src/ldiv.jl:98
>98  @inline ldiv(A, B; kwds...) = materialize(Ldiv(A,B); kwds...)

  A::Fourier{Float64} = Fourier{Float64}()  (arg)
  B::QuasiArrays.BroadcastQuasiVector{…} = <cos.(Inclusion(DomainSets.RealNumb...>  (arg)
  kwds::Base.Pairs{…} = Base.Pairs{Symbol, Union{}, Nothing, @NamedTuple{}}()  (arg)

→ (ArrayLayouts.Ldiv)(Fourier{Float64}(), cos.(Inclusion(DomainSets.RealNumbers())))
1|debug> sl

Thus it steps out and produces the following:

[1/1] \(A, B) at /Users/solver/.julia/packages/QuasiArrays/B65Uq/src/matmul.jl:34
>34  @inline \(A::AbstractQuasiArray, B::AbstractQuasiArray) = ldiv(A,B)

  A::Fourier{Float64} = Fourier{Float64}()  (arg)
  B::QuasiArrays.BroadcastQuasiVector{…} = <cos.(Inclusion(DomainSets.RealNumb...>  (arg)

→ <return [-7.16273e-18, 1.08148e-18, 1.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, ...>
主要言語
Julia
スター
515
フォーク
50
PR マージ指標
30日以内にマージされた PR はありません

環境構築

このプロジェクトには開発コンテナ、Dockerfile、コントリビューションガイドがありません。まず README を読み、一般的な手順ははじめてのコントリビューションガイドを参照してください。

はじめの一歩

  1. issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
  2. 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
  3. リポジトリをフォークし、ブランチを切って変更します。
  4. issue 番号を参照したプルリクエストを送ります。

JuliaDebug/Debugger.jl のほかの issue

JuliaDebug/Debugger.jl の issue をすべて見る

似ている issue

Julia の issue をもっと見る

新しい issue をメールで受け取る

初心者向けの GitHub issue を短くまとめたダイジェスト。