JuliaLang/julia

A list of `Core.Box` in Base and stdlibs

Open

#60.479 aperta il 25 dic 2025

Vedi su GitHub
 (5 commenti) (3 reazioni) (0 assegnatari)Julia (5773 fork)batch import
help wantedlatency

Metriche repository

Star
 (48.709 star)
Metriche merge PR
 (Merge medio 23g 11h) (145 PR mergiate in 30 g)

Descrizione

This uses #60478 to get a list of methods that get variables boxed due to https://github.com/JuliaLang/julia/issues/15276 (or other reasons). Generated with ./julia contrib/scan-closure-boxes.jl --module=Base,stdlibs --format=markdown. The lowered code can be get via e.g. code_warntype(sig) where the sig is as given in the table.

Base

var func sig location
all_effects abstract_apply Tuple{typeof(Compiler.abstract_apply), Compiler.AbstractInterpreter, Vector{Any}, Compiler.StmtInfo, Union{Nothing, Vector{Compiler.VarState}}, Union{Compiler.IRInterpretationState, Compiler.InferenceState}, Int64} ../usr/share/julia/Compiler/src/abstractinterpretation.jl:1711
argtypesi abstract_apply Tuple{typeof(Compiler.abstract_apply), Compiler.AbstractInterpreter, Vector{Any}, Compiler.StmtInfo, Union{Nothing, Vector{Compiler.VarState}}, Union{Compiler.IRInterpretationState, Compiler.InferenceState}, Int64} ../usr/share/julia/Compiler/src/abstractinterpretation.jl:1711
callfuture abstract_apply Tuple{typeof(Compiler.abstract_apply), Compiler.AbstractInterpreter, Vector{Any}, Compiler.StmtInfo, Union{Nothing, Vector{Compiler.VarState}}, Union{Compiler.IRInterpretationState, Compiler.InferenceState}, Int64} ../usr/share/julia/Compiler/src/abstractinterpretation.jl:1711
ctfuture abstract_apply Tuple{typeof(Compiler.abstract_apply), Compiler.AbstractInterpreter, Vector{Any}, Compiler.StmtInfo, Union{Nothing, Vector{Compiler.VarState}}, Union{Compiler.IRInterpretationState, Compiler.InferenceState}, Int64} ../usr/share/julia/Compiler/src/abstractinterpretation.jl:1711
ctypes abstract_apply Tuple{typeof(Compiler.abstract_apply), Compiler.AbstractInterpreter, Vector{Any}, Compiler.StmtInfo, Union{Nothing, Vector{Compiler.VarState}}, Union{Compiler.IRInterpretationState, Compiler.InferenceState}, Int64} ../usr/share/julia/Compiler/src/abstractinterpretation.jl:1711
ctypes´ abstract_apply Tuple{typeof(Compiler.abstract_apply), Compiler.AbstractInterpreter, Vector{Any}, Compiler.StmtInfo, Union{Nothing, Vector{Compiler.VarState}}, Union{Compiler.IRInterpretationState, Compiler.InferenceState}, Int64} ../usr/share/julia/Compiler/src/abstractinterpretation.jl:1711
exctype abstract_apply Tuple{typeof(Compiler.abstract_apply), Compiler.AbstractInterpreter, Vector{Any}, Compiler.StmtInfo, Union{Nothing, Vector{Compiler.VarState}}, Union{Compiler.IRInterpretationState, Compiler.InferenceState}, Int64} ../usr/share/julia/Compiler/src/abstractinterpretation.jl:1711
i abstract_apply Tuple{typeof(Compiler.abstract_apply), Compiler.AbstractInterpreter, Vector{Any}, Compiler.StmtInfo, Union{Nothing, Vector{Compiler.VarState}}, Union{Compiler.IRInterpretationState, Compiler.InferenceState}, Int64} ../usr/share/julia/Compiler/src/abstractinterpretation.jl:1711
infos abstract_apply Tuple{typeof(Compiler.abstract_apply), Compiler.AbstractInterpreter, Vector{Any}, Compiler.StmtInfo, Union{Nothing, Vector{Compiler.VarState}}, Union{Compiler.IRInterpretationState, Compiler.InferenceState}, Int64} ../usr/share/julia/Compiler/src/abstractinterpretation.jl:1711
infos´ abstract_apply Tuple{typeof(Compiler.abstract_apply), Compiler.AbstractInterpreter, Vector{Any}, Compiler.StmtInfo, Union{Nothing, Vector{Compiler.VarState}}, Union{Compiler.IRInterpretationState, Compiler.InferenceState}, Int64} ../usr/share/julia/Compiler/src/abstractinterpretation.jl:1711
j abstract_apply Tuple{typeof(Compiler.abstract_apply), Compiler.AbstractInterpreter, Vector{Any}, Compiler.StmtInfo, Union{Nothing, Vector{Compiler.VarState}}, Union{Compiler.IRInterpretationState, Compiler.InferenceState}, Int64} ../usr/share/julia/Compiler/src/abstractinterpretation.jl:1711
nextstate abstract_apply Tuple{typeof(Compiler.abstract_apply), Compiler.AbstractInterpreter, Vector{Any}, Compiler.StmtInfo, Union{Nothing, Vector{Compiler.VarState}}, Union{Compiler.IRInterpretationState, Compiler.InferenceState}, Int64} ../usr/share/julia/Compiler/src/abstractinterpretation.jl:1711
res abstract_apply Tuple{typeof(Compiler.abstract_apply), Compiler.AbstractInterpreter, Vector{Any}, Compiler.StmtInfo, Union{Nothing, Vector{Compiler.VarState}}, Union{Compiler.IRInterpretationState, Compiler.InferenceState}, Int64} ../usr/share/julia/Compiler/src/abstractinterpretation.jl:1711
ti abstract_apply Tuple{typeof(Compiler.abstract_apply), Compiler.AbstractInterpreter, Vector{Any}, Compiler.StmtInfo, Union{Nothing, Vector{Compiler.VarState}}, Union{Compiler.IRInterpretationState, Compiler.InferenceState}, Int64} ../usr/share/julia/Compiler/src/abstractinterpretation.jl:1711
argtypes abstract_call_known Tuple{typeof(Compiler.abstract_call_known), Compiler.AbstractInterpreter, Any, Compiler.ArgInfo, Compiler.StmtInfo, Union{Nothing, Vector{Compiler.VarState}}, Union{Compiler.IRInterpretationState, Compiler.InferenceState}, Int64} ../usr/share/julia/Compiler/src/abstractinterpretation.jl:2664
effects abstract_call_known Tuple{typeof(Compiler.abstract_call_known), Compiler.AbstractInterpreter, Any, Compiler.ArgInfo, Compiler.StmtInfo, Union{Nothing, Vector{Compiler.VarState}}, Union{Compiler.IRInterpretationState, Compiler.InferenceState}, Int64} ../usr/share/julia/Compiler/src/abstractinterpretation.jl:2664
exct abstract_call_known Tuple{typeof(Compiler.abstract_call_known), Compiler.AbstractInterpreter, Any, Compiler.ArgInfo, Compiler.StmtInfo, Union{Nothing, Vector{Compiler.VarState}}, Union{Compiler.IRInterpretationState, Compiler.InferenceState}, Int64} ../usr/share/julia/Compiler/src/abstractinterpretation.jl:2664
exct abstract_invoke Tuple{typeof(Compiler.abstract_invoke), Compiler.AbstractInterpreter, Compiler.ArgInfo, Compiler.StmtInfo, Union{Nothing, Vector{Compiler.VarState}}, Union{Compiler.IRInterpretationState, Compiler.InferenceState}} ../usr/share/julia/Compiler/src/abstractinterpretation.jl:2237
RT abstract_modifyop! Tuple{typeof(Compiler.abstract_modifyop!), Compiler.AbstractInterpreter, Any, Vector{Any}, Compiler.StmtInfo, Union{Nothing, Vector{Compiler.VarState}}, Union{Compiler.IRInterpretationState, Compiler.InferenceState}} ../usr/share/julia/Compiler/src/tfuncs.jl:1367
TF abstract_modifyop! Tuple{typeof(Compiler.abstract_modifyop!), Compiler.AbstractInterpreter, Any, Vector{Any}, Compiler.StmtInfo, Union{Nothing, Vector{Compiler.VarState}}, Union{Compiler.IRInterpretationState, Compiler.InferenceState}} ../usr/share/julia/Compiler/src/tfuncs.jl:1367
info abstract_modifyop! Tuple{typeof(Compiler.abstract_modifyop!), Compiler.AbstractInterpreter, Any, Vector{Any}, Compiler.StmtInfo, Union{Nothing, Vector{Compiler.VarState}}, Union{Compiler.IRInterpretationState, Compiler.InferenceState}} ../usr/share/julia/Compiler/src/tfuncs.jl:1367
call2future inferiterate Tuple{Compiler.var"#inferiterate#abstract_iteration##0", Any, Any} ../usr/share/julia/Compiler/src/abstractinterpretation.jl:1583
may_have_terminated inferiterate Tuple{Compiler.var"#inferiterate#abstract_iteration##0", Any, Any} ../usr/share/julia/Compiler/src/abstractinterpretation.jl:1583
nextstate inferiterate Tuple{Compiler.var"#inferiterate#abstract_iteration##0", Any, Any} ../usr/share/julia/Compiler/src/abstractinterpretation.jl:1583
stateordonet inferiterate Tuple{Compiler.var"#inferiterate#abstract_iteration##0", Any, Any} ../usr/share/julia/Compiler/src/abstractinterpretation.jl:1583
stateordonet_widened inferiterate Tuple{Compiler.var"#inferiterate#abstract_iteration##0", Any, Any} ../usr/share/julia/Compiler/src/abstractinterpretation.jl:1583
statetype inferiterate Tuple{Compiler.var"#inferiterate#abstract_iteration##0", Any, Any} ../usr/share/julia/Compiler/src/abstractinterpretation.jl:1583
valtype inferiterate Tuple{Compiler.var"#inferiterate#abstract_iteration##0", Any, Any} ../usr/share/julia/Compiler/src/abstractinterpretation.jl:1583
old_restrict return_type_tfunc Tuple{typeof(Compiler.return_type_tfunc), Compiler.AbstractInterpreter, Vector{Any}, Compiler.StmtInfo, Union{Compiler.IRInterpretationState, Compiler.InferenceState}} ../usr/share/julia/Compiler/src/tfuncs.jl:3084
tt return_type_tfunc Tuple{typeof(Compiler.return_type_tfunc), Compiler.AbstractInterpreter, Vector{Any}, Compiler.StmtInfo, Union{Compiler.IRInterpretationState, Compiler.InferenceState}} ../usr/share/julia/Compiler/src/tfuncs.jl:3084

Distributed

var func sig location
x #remotecall_pool#130 Tuple{Distributed.var"##remotecall_pool#130", Base.Pairs{Symbol, V, Nothing, NT} where {V, NT<:NamedTuple}, typeof(Distributed.remotecall_pool), typeof(Distributed.remotecall), Any, Distributed.AbstractWorkerPool, Vararg{Any}} /home/kc/julia/usr/share/julia/stdlib/v1.14/Distributed/src/workerpool.jl:140
x #remotecall_pool#154 Tuple{Distributed.var"##remotecall_pool#154", Base.Pairs{Symbol, V, Nothing, NT} where {V, NT<:NamedTuple}, typeof(Distributed.remotecall_pool), typeof(Distributed.remotecall), Any, Distributed.CachingPool, Vararg{Any}} /home/kc/julia/usr/share/julia/stdlib/v1.14/Distributed/src/workerpool.jl:407
sock #start_worker#24 Tuple{Distributed.var"##start_worker#24", Bool, Bool, typeof(Distributed.start_worker), IO, AbstractString} /home/kc/julia/usr/share/julia/stdlib/v1.14/Distributed/src/cluster.jl:237
w create_worker Tuple{typeof(Distributed.create_worker), Any, Any} /home/kc/julia/usr/share/julia/stdlib/v1.14/Distributed/src/cluster.jl:601

Guida contributor

Direzione di ricerca
Scegli una variabile boxata dalla lista, ispeziona il suo utilizzo nel codice sorgente, comprendi perché è boxata (ad esempio, cattura di chiusura) e prova a evitare il boxing rifattorizzando il codice. Usa `code warntype` per verificare la stabilità del tipo.
Tech stack
Nessuno
Dominio
backend
Tipo issue
Performance
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-2 giorni
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
JuliaGit
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
60