Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

memory corruption by "Align module base between invalidation and edge tracking (#57625)" #57696

Open
KristofferC opened this issue Mar 10, 2025 · 2 comments · May be fixed by #57934
Open

memory corruption by "Align module base between invalidation and edge tracking (#57625)" #57696

KristofferC opened this issue Mar 10, 2025 · 2 comments · May be fixed by #57934
Assignees
Labels
regression Regression in behavior compared to a previous version
Milestone

Comments

@KristofferC
Copy link
Member

KristofferC commented Mar 10, 2025

Edit: See #57696 (comment) for most updated status.

The following packages error with this assertion on 1.12. It seems to have been introduced during the backport process.

E.g. PkgEval log: https://s3.amazonaws.com/julialang-reports/nanosoldier/pkgeval/by_hash/10f5d44_vs_aae2243/OrdinaryDiffEqNonlinearSolve.primary.log

SymbolicIndexingInterface
OrdinaryDiffEqNonlinearSolve
OrdinaryDiffEqRosenbrock
OrdinaryDiffEqBDF
OrdinaryDiffEqLowOrderRK
OrdinaryDiffEqStabilizedRK
OrdinaryDiffEqAdamsBashforthMoulton
OrdinaryDiffEqFIRK
OrdinaryDiffEqHighOrderRK
OrdinaryDiffEqQPRK
OrdinaryDiffEqFeagin
OrdinaryDiffEqNordsieck
OrdinaryDiffEqSSPRK
OrdinaryDiffEqLowStorageRK
SteadyStateDiffEq
OptimizationOptimJL
ParameterizedFunctions
HeterogeneousComputing
IRKGaussLegendre
LSODA
AlgebraicPetri
ODEInterfaceDiffEq
ODEProblemLibrary
JumpProblemLibrary
SDEProblemLibrary
DataDrivenSparse
DiskArrayEngine
TimeRecords
AutoPrettyPrinting
OptimizationPRIMA
PrefectInterfaces
MGVI
BaseModelica
Ai4EComponentLib
FiniteStateProjection
CellMLToolkit
CirculatorySystemModels
GalacticPotentials
SBMLToolkitTestSuite
CarnotCycles
@KristofferC KristofferC added this to the 1.12 milestone Mar 10, 2025
@KristofferC KristofferC added the regression Regression in behavior compared to a previous version label Mar 10, 2025
@KristofferC KristofferC changed the title Assertion error: /source/src/julia.h:1390: jl_array_ptr_ref: Assertion i < ((*(size_t*)jl_svecref((...` Assertion error: /source/src/julia.h:1390: jl_array_ptr_ref: Assertion i < ((*(size_t*)jl_svecref((... Mar 10, 2025
@KristofferC
Copy link
Member Author

Bisecting points to abf4dcf, cc @Keno

@vtjnash vtjnash changed the title Assertion error: /source/src/julia.h:1390: jl_array_ptr_ref: Assertion i < ((*(size_t*)jl_svecref((... memory corruption by "Align module base between invalidation and edge tracking (#57625)" Mar 14, 2025
@KristofferC KristofferC marked this as a duplicate of #57867 Mar 24, 2025
@KristofferC
Copy link
Member Author

KristofferC commented Mar 24, 2025

I think some of these have been fixed but still seems to happen on these packages:

MWE seems to be something like

julia> Base.typejoin(x, ::Type) = 0
julia: /source/src/julia.h:1409: jl_array_ptr_ref: Assertion `i < ((*(size_t*)jl_svecref(((jl_datatype_t*)(((((jl_taggedvalue_t*)((char*)(a) - sizeof(jl_taggedvalue_t)))->header) & ~(uintptr_t)15)))->parameters, 1)) == 1 ? (((jl_array_t*)(a))->dimsize[0]) : (((jl_array_t*)(a))->ref.mem->length))' failed.

[39] signal 6 (-6): Aborted
unknown function (ip: 0x7ed3ae876ebc) at /lib/x86_64-linux-gnu/libc.so.6
gsignal at /lib/x86_64-linux-gnu/libc.so.6 (unknown line)
abort at /lib/x86_64-linux-gnu/libc.so.6 (unknown line)
unknown function (ip: 0x7ed3ae812394) at /lib/x86_64-linux-gnu/libc.so.6
__assert_fail at /lib/x86_64-linux-gnu/libc.so.6 (unknown line)
jl_array_ptr_ref at /source/src/julia.h:1409
jl_array_ptr_ref at /source/src/julia.h:1408 [inlined]
get_next_edge at /source/src/method.c:1041
jl_method_table_activate at /source/src/gf.c:2392
ijl_method_table_insert at /source/src/gf.c:2468
ijl_method_def at /source/src/method.c:1301
eval_methoddef at /source/src/interpreter.c:109

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
regression Regression in behavior compared to a previous version
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants