JuliaLang / julia

The Julia Programming Language
https://julialang.org/
MIT License
45.54k stars 5.47k forks source link

exit_current_timer implementation is unsound #54803

Open vtjnash opened 3 months ago

vtjnash commented 3 months ago
ConcurrencyViolationError(msg="Vector has invalid state. Don't modify internal fields incorrectly, or resize without correct locks")
#134 at ./array.jl:1099
_growend! at ./array.jl:1097 [inlined]
push! at ./array.jl:1249 [inlined]
exit_current_timer at ./compiler/typeinfer.jl:179 [inlined]
typeinf at ./compiler/typeinfer.jl:212
typeinf_ext at ./compiler/typeinfer.jl:1162
typeinf_ext_toplevel at ./compiler/typeinfer.jl:1219 [inlined]
typeinf_ext_toplevel at ./compiler/typeinfer.jl:1217
jfptr_typeinf_ext_toplevel_38432.1 at /opt/julia/lib/julia/sys.so (unknown line)
_jl_invoke at /source/src/gf.c:3054 [inlined]
ijl_apply_generic at /source/src/gf.c:3231
jl_apply at /source/src/julia.h:2192 [inlined]
jl_type_infer at /source/src/gf.c:393
jl_compile_method_internal at /source/src/gf.c:2620
_jl_invoke at /source/src/gf.c:3046 [inlined]
ijl_apply_generic at /source/src/gf.c:3231
#empty!#168 at /home/pkgeval/.julia/packages/Makie/RgxaV/src/scenes.jl:441
empty! at /home/pkgeval/.julia/packages/Makie/RgxaV/src/scenes.jl:437 [inlined]
free at /home/pkgeval/.julia/packages/Makie/RgxaV/src/scenes.jl:425
unknown function (ip: 0x7fea767e00a2)
_jl_invoke at /source/src/gf.c:3054 [inlined]
ijl_apply_generic at /source/src/gf.c:3231
run_finalizer at /source/src/gc.c:299
jl_gc_run_finalizers_in_list at /source/src/gc.c:389
run_finalizers at /source/src/gc.c:435
run_finalizers at /source/src/gc.c:416 [inlined]
ijl_gc_collect at /source/src/gc.c:3958
maybe_collect at /source/src/gc.c:922 [inlined]
jl_gc_pool_alloc_inner at /source/src/gc.c:1325
jl_gc_pool_alloc_noinline at /source/src/gc.c:1392 [inlined]
jl_gc_alloc_ at /source/src/julia_internal.h:507 [inlined]
jl_gc_alloc at /source/src/gc.c:3989
_new_genericmemory_ at /source/src/genericmemory.c:56
GenericMemory at ./boot.jl:536 [inlined]
array_new_memory at ./array.jl:1038 [inlined]
#134 at ./array.jl:1114
_growend! at ./array.jl:1097 [inlined]
push! at ./array.jl:1249 [inlined]
exit_current_timer at ./compiler/typeinfer.jl:179 [inlined]
typeinf at ./compiler/typeinfer.jl:212
jfptr_typeinf_38170.1 at /opt/julia/lib/julia/sys.so (unknown line)
_jl_invoke at /source/src/gf.c:3054 [inlined]
ijl_invoke at /source/src/gf.c:3061

https://s3.amazonaws.com/julialang-reports/nanosoldier/pkgeval/by_date/2024-06/13/InteractiveDynamics.primary.log

oscardssmith commented 3 months ago

I knew that this check would find bugs!