[Ruby 1.9 - Bug #4770][Assigned] [Q] thread->interrupt flag が適切に排他制御されていないように見える

Issue #4770 has been updated by Motohiro KOSAKI.

File 0001-interrupt-flag.patch added
Category set to core
Status changed from Open to Assigned
Assignee set to Motohiro KOSAKI
Target version set to 1.9.3


Bug #4770: [Q] thread->interrupt_flag が適切に排他制御されていないように見える
http://redmine.ruby-lang.org/issues/4770

Author: Motohiro KOSAKI
Status: Assigned
Priority: Normal
Assignee: Motohiro KOSAKI
Category: core
Target version: 1.9.3
ruby -v: -

kosakiです

Ruby VM internal
に詳しい方々に質問です。現在、thread->interrupt_flagはどうやって排他制御されるデザインになっていますでしょうか?

といいますのは

1.ビットマスクとして使っているので排他制御しないとフラグがロストしてえらい事になりそう

#define RUBY_VM_SET_INTERRUPT(th) ((th)->interrupt_flag |= 0x02)
#define RUBY_VM_SET_TIMER_INTERRUPT(th) ((th)->interrupt_flag |= 0x01)
#define RUBY_VM_SET_FINALIZER_INTERRUPT(th) ((th)->interrupt_flag |=
0x04)
#define RUBY_VM_INTERRUPTED(th) ((th)->interrupt_flag & 0x02)

2.割り込み処理でフラグをリセットする箇所ではGVLしかとってない

static void
rb_threadptr_execute_interrupts_rec(rb_thread_t *th, int sched_depth)
{
(snip)

 while (th->interrupt_flag) {
     enum rb_thread_status status = th->status;
     int timer_interrupt = th->interrupt_flag & 0x01;
     int finalizer_interrupt = th->interrupt_flag & 0x04;
     th->interrupt_flag = 0;

3.タイマースレッドはTIMER_INTERRUPT bitを立てる時に、timer_thread_lock しか取ってない

static void
timer_thread_function(void *arg)
{
rb_vm_t vm = GET_VM(); / TODO: fix me for Multi-VM */

 /* for time slice */
 RUBY_VM_SET_TIMER_INTERRUPT(vm->running_thread);

4.thread.c では RUBY_VM_SET_INTERRUPT呼ぶときに thread->interrupt_lock 取るが
cont.c では取らない

5.gc.cも RUBY_VM_SET_FINALIZER_INTERRUPT 呼ぶときに特にロックを取らない

という、なかなか整合性がとれていなさそうな状況になっていそうだからです。なにか見落としていますでしょうか?

# 一瞬、すべて interrupt_lockで守るのがいいのかな。と思ったのですがよく考えたら native_mutex_lock()関数が
# thread.c 以外からは呼べないのでした。

This forum is not affiliated to the Ruby language, Ruby on Rails framework, nor any Ruby applications discussed here.

| Privacy Policy | Terms of Service | Remote Ruby Jobs