ruby.git/vm.c, branch v3_4_9

Backport WASI setjmp handler memory leak fixes to Ruby 3.4 (#14788)

2025-10-09T14:30:42+00:00

[Bug #21626]

thread_cleanup: set CFP to NULL before clearing ec's stack

2025-06-20T17:13:59+00:00

We clear the CFP first so that if a sampling profiler interrupts the current thread during `rb_ec_set_vm_stack`,
`thread_profile_frames` returns early instead of trying to walk the stack that's no longer set on the ec.

The early return in `thread_profile_frames` was introduced at eab7f4623fb.

Fixes [Bug #21441]

Push a real iseq in rb_vm_push_frame_fname()

2025-03-14T19:04:25+00:00

Previously, vm_make_env_each() (used during proc
creation and for the debug inspector C API) picked up the
non-GC-allocated iseq that rb_vm_push_frame_fname() creates,
which led to a SEGV when the GC tried to mark the non GC object.

Put a real iseq imemo instead. Speed should be about the same since
the old code also did a imemo allocation and a malloc allocation.

Real iseq allows ironing out the special-casing of dummy frames in
rb_execution_context_mark() and rb_execution_context_update(). A check
is added to RubyVM::ISeq#eval, though, to stop attempts to run dummy
iseqs.

[Bug #21180]

Co-authored-by: Aaron Patterson

merge revision(s) f7059af50a31a4d27a04ace0beadb60616f3f971: [Backport #21046]

2025-02-14T05:08:20+00:00

	Use no-inline version `rb_current_ec` on Arm64

	The TLS across .so issue seems related to Arm64, but not Darwin.

Don't reference update frames with VM_FRAME_MAGIC_DUMMY

2024-12-17T16:03:38+00:00

Frames with VM_FRAME_MAGIC_DUMMY pushed by rb_vm_push_frame_fname have
allocated iseq, so we should not reference update it.

Fix use-after-free in ep in Proc#dup for ifunc procs

2024-12-13T15:10:03+00:00

[Bug #20950]

ifunc proc has the ep allocated in the cfunc_proc_t which is the data of
the TypedData object. If an ifunc proc is duplicated, the ep points to
the ep of the source object. If the source object is freed, then the ep
of the duplicated object now points to a freed memory region. If we try
to use the ep we could crash.

For example, the following script crashes:

    p = { a: 1 }.to_proc
    100.times do
      p = p.dup
      GC.start
      p.call
    rescue ArgumentError
    end

This commit changes ifunc proc to also duplicate the ep when it is duplicated.

Use symbol.h in vm.c to get macro for faster ID to sym (#12272)

2024-12-05T22:51:32+00:00

The macro provided by symbol.h uses STATIC_ID2SYM
when it can which speeds up methods that declare keyword args.

Co-authored-by: Alan Wu 
Co-authored-by: Takashi Kokubun (k0kubun) 
Co-authored-by: Maxime Chevalier-Boisvert 
Co-authored-by: Aaron Patterson

Remove meaningless NULL checks

2024-12-04T03:15:23+00:00

In this context, `th` must not be NULL

Optimize instructions when creating an array just to call `include?` (#12123)

2024-11-26T19:31:08+00:00

* Add opt_duparray_send insn to skip the allocation on `#include?`

If the method isn't going to modify the array we don't need to copy it.
This avoids the allocation / array copy for things like `[:a, :b].include?(x)`.

This adds a BOP for include? and tracks redefinition for it on Array.

Co-authored-by: Andrew Novoselac 

* YJIT: Implement opt_duparray_send include_p

Co-authored-by: Andrew Novoselac 

* Update opt_newarray_send to support simple forms of include?(arg)

Similar to opt_duparray_send but for non-static arrays.

* YJIT: Implement opt_newarray_send include_p

---------

Co-authored-by: Andrew Novoselac

Make `rb_ec_set_vm_stack` conformant to the C++11 requirement

2024-11-17T10:56:02+00:00

Https://learn.microsoft.com/en-us/cpp/build/reference/zc-inline-remove-unreferenced-comdat?view=msvc-140
> If `/Zc:inline` is specified, the compiler enforces the C++11
> requirement that all functions declared inline must have a definition
> available in the same translation unit if they're used.