[ruby-dev:43852] [Ruby 1.9 - Bug #4909][Open] trapハンドラは再入されてはいけないのではないか？

[ruby-dev:43852] [Ruby 1.9 - Bug #4909][Open] trapハンドラは再入されてはいけないのではないか？

[Motohiro KOSAKI]

Issue #4909 has been reported by Motohiro KOSAKI.

----------------------------------------
Bug #4909: trapハンドラは再入されてはいけないのではないか？
http://redmine.ruby-lang.org/issues/4909

Author: Motohiro KOSAKI
Status: Open
Priority: Normal
Assignee: 
Category: core
Target version: 1.9.x
ruby -v: ruby 1.9.3dev (2011-06-17 trunk 32146) [x86_64-darwin10.7.4] 


以下のプログラムは

  if intrap == 1
    raise "trap nested"
  end

が真になってしまって例外終了してしまうのですが、これは起きてはいけないのではないでしょうか。
以下の二点が問題だと考えます。

１）このプログラムのようにシグナルを連続して配送されるとスタックオーバーフローを引き起こせる
２）Rubyレベルでsigprocmask()に相当するシグナルブロッキング操作が提供されていないため、
      正しいトラップハンドラを書くのが、ほぼ不可能になっている

C言語ですら、シグナルハンドラ実行中はシグナルが自動的にマスクされるんですから、Rubyでも
同レベルの配慮はMRIがおこなうべきだと思います。

---------------------------------------------------------------------
n = 0
intrap = 0

parent = $$

trap(:USR1) {
  if intrap == 1
    raise "trap nested"
  end
  intrap = 1
  10000.times {
    n += 1
  }
  intrap = 0
}

fork do
 Process.kill(:USR1, parent) while true
end

sleep 100
----------------------------------------------------



-- 
http://redmine.ruby-lang.org

[ruby-dev:43855] Re: [Ruby 1.9 - Bug #4909][Open] trapハンドラは再入されてはいけないのではないか？

[Masaya TARUI]

同意します。
というか、いままでmaskされてないと知らなかった。

2011年6月20日18:46 Motohiro KOSAKI <kosaki.motohiro@gmail•com>:
>
> Issue #4909 has been reported by Motohiro KOSAKI.
>
> ----------------------------------------
> Bug #4909: trapハンドラは再入されてはいけないのではないか？
> http://redmine.ruby-lang.org/issues/4909
>
> Author: Motohiro KOSAKI
> Status: Open
> Priority: Normal
> Assignee:
> Category: core
> Target version: 1.9.x
> ruby -v: ruby 1.9.3dev (2011-06-17 trunk 32146) [x86_64-darwin10.7.4]
>
>
> 以下のプログラムは
>
>  if intrap == 1
>    raise "trap nested"
>  end
>
> が真になってしまって例外終了してしまうのですが、これは起きてはいけないのではないでしょうか。
> 以下の二点が問題だと考えます。
>
> １）このプログラムのようにシグナルを連続して配送されるとスタックオーバーフローを引き起こせる
> ２）Rubyレベルでsigprocmask()に相当するシグナルブロッキング操作が提供されていないため、
>      正しいトラップハンドラを書くのが、ほぼ不可能になっている
>
> C言語ですら、シグナルハンドラ実行中はシグナルが自動的にマスクされるんですから、Rubyでも
> 同レベルの配慮はMRIがおこなうべきだと思います。
>
> ---------------------------------------------------------------------
> n = 0
> intrap = 0
>
> parent = $$
>
> trap(:USR1) {
>  if intrap == 1
>    raise "trap nested"
>  end
>  intrap = 1
>  10000.times {
>    n += 1
>  }
>  intrap = 0
> }
>
> fork do
>  Process.kill(:USR1, parent) while true
> end
>
> sleep 100
> ----------------------------------------------------
>
>
>
> --
> http://redmine.ruby-lang.org
>
>



-- 
樽家昌也(Masaya TARUI)
No Tool,No Life.

[ruby-dev:43856] Re: [ruby-dev:43855] Re: [Ruby 1.9 - Bug #4909][Open] trapハンドラは再入されてはいけないのではないか？

[SASADA Koichi]

　ささだです．

(2011/06/21 1:25), Masaya TARUI wrote:
> 同意します。
> というか、いままでmaskされてないと知らなかった。

　mask するための新しい仕様が必要になると思いますが，さてこれを 1.9.3 に
入れますか？　それとも，trap 中はどんな trap を再入禁止？

-- 
// SASADA Koichi at atdot dot net

[ruby-dev:43858] Re: [ruby-dev:43856] Re: [ruby-dev:43855] Re: [Ruby 1.9 - Bug #4909][Open] trapハンドラは再入されてはいけないのではないか？

[KOSAKI Motohiro]

> 　ささだです．
> 
> (2011/06/21 1:25), Masaya TARUI wrote:
>> 同意します。
>> というか、いままでmaskされてないと知らなかった。
> 
> 　mask するための新しい仕様が必要になると思いますが，さてこれを 1.9.3 に
> 入れますか？　それとも，trap 中はどんな trap を再入禁止？

1.9.3には入れるべきではないと思います。基本的に今仕様の議論をしているものは
全部1.9.4送りという認識。（なので、targetを 1.9.x にセットした）
# redmineに起票するのを一月遅らせるべきでした。すいません

maskの選択肢は以下の２つだと認識です
１）あるtrapを処理中はあらゆるtrapが発生しない
２）あるtrapを処理中は、同一シグナルはtrapされないが別シグナルは
    トラップする（ネストされうる）  ※Ｃ言語と同じ

要求仕様を整理すると
Ａ）スタックオーバーフローしない
Ｂ）trapの再入は通常のスクリプトユーザの手に余るのでなるべく起こしたくない
Ｃ）SIGUSR1等のtrapで無限ループしてても、Ctrl-Cで終了して欲しい

という事かと思います。

Ａは（１）（２）どちらでもみたされます。（２）でもシグナルの数が
有限なので。
問題は（Ｂ）と（Ｃ）があまり両立しない関係にあることです。おそらくナイーブな
プログラムはSignal-AのtrapハンドラにSignal-Bのトラップがネストしてきても
誤動作するでしょう。また、このようなタイミング問題はマニュアルに注意を書いた
ところでなくなりません。
しかし Ctrl-C で終了しない可能性を増やすのはたぶん苦情がきます。

よって以下の仕様を提案します。
・trapハンドラ実行中はいかなるtrapも発生しない（trapハンドラ終了まで遅延される）
・ただしtrapハンドラ未登録時のデフォルト動作（Interrupt例外発生）は、trapハンドラ
  実行中も禁止されない

穴があるかもしれないので、叩いてください。

よろしくお願いいたします。

[ruby-dev:44221] [Ruby 1.9 - Bug #4909][Assigned] trapハンドラは再入されてはいけないのではないか？

[Yui NARUSE]

Issue #4909 has been updated by Yui NARUSE.

Status changed from Open to Assigned
Assignee set to Koichi Sasada


----------------------------------------
Bug #4909: trapハンドラは再入されてはいけないのではないか？
http://redmine.ruby-lang.org/issues/4909

Author: Motohiro KOSAKI
Status: Assigned
Priority: Normal
Assignee: Koichi Sasada
Category: core
Target version: 1.9.x
ruby -v: -


以下のプログラムは

  if intrap == 1
    raise "trap nested"
  end

が真になってしまって例外終了してしまうのですが、これは起きてはいけないのではないでしょうか。
以下の二点が問題だと考えます。

１）このプログラムのようにシグナルを連続して配送されるとスタックオーバーフローを引き起こせる
２）Rubyレベルでsigprocmask()に相当するシグナルブロッキング操作が提供されていないため、
      正しいトラップハンドラを書くのが、ほぼ不可能になっている

C言語ですら、シグナルハンドラ実行中はシグナルが自動的にマスクされるんですから、Rubyでも
同レベルの配慮はMRIがおこなうべきだと思います。

---------------------------------------------------------------------
n = 0
intrap = 0

parent = $$

trap(:USR1) {
  if intrap == 1
    raise "trap nested"
  end
  intrap = 1
  10000.times {
    n += 1
  }
  intrap = 0
}

fork do
 Process.kill(:USR1, parent) while true
end

sleep 100
----------------------------------------------------



-- 
http://redmine.ruby-lang.org

[ruby-dev:45845] [ruby-trunk - Bug #4909] trapハンドラは再入されてはいけないのではないか？

[ko1 (Koichi Sasada)]

Issue #4909 has been updated by ko1 (Koichi Sasada).


こういう話もあったんですね．

POSIX signal を考えると，同じシグナルは mask しておく（遅延する）という感じでしょうか．
あ，POSIX signal の場合は遅延じゃなくて，単に捨てるんだっけ（realtime signal 以外）．

それとも，trap 自体を禁止する感じでしょうか．

この仕組みは "[ruby-dev:45827] Re: 非同期割り込みに対する対処案（日本語版）" と独立に作るべきか，混ぜちゃうべきか...．
----------------------------------------
Bug #4909: trapハンドラは再入されてはいけないのではないか？
https://bugs.ruby-lang.org/issues/4909#change-27439

Author: kosaki (Motohiro KOSAKI)
Status: Assigned
Priority: Normal
Assignee: ko1 (Koichi Sasada)
Category: core
Target version: 2.0.0
ruby -v: -


以下のプログラムは

  if intrap == 1
    raise "trap nested"
  end

が真になってしまって例外終了してしまうのですが、これは起きてはいけないのではないでしょうか。
以下の二点が問題だと考えます。

１）このプログラムのようにシグナルを連続して配送されるとスタックオーバーフローを引き起こせる
２）Rubyレベルでsigprocmask()に相当するシグナルブロッキング操作が提供されていないため、
      正しいトラップハンドラを書くのが、ほぼ不可能になっている

C言語ですら、シグナルハンドラ実行中はシグナルが自動的にマスクされるんですから、Rubyでも
同レベルの配慮はMRIがおこなうべきだと思います。

---------------------------------------------------------------------
n = 0
intrap = 0

parent = $$

trap(:USR1) {
  if intrap == 1
    raise "trap nested"
  end
  intrap = 1
  10000.times {
    n += 1
  }
  intrap = 0
}

fork do
 Process.kill(:USR1, parent) while true
end

sleep 100
----------------------------------------------------



-- 
http://bugs.ruby-lang.org/

[ruby-dev:45848] Re: [ruby-trunk - Bug #4909] trapハンドラは再入されてはいけないのではないか？

[KOSAKI Motohiro]

> こういう話もあったんですね．
>
> POSIX signal を考えると，同じシグナルは mask しておく（遅延する）という感じでしょうか．
> あ，POSIX signal の場合は遅延じゃなくて，単に捨てるんだっけ（realtime signal 以外）．

C言語は遅延ですね。捨てられるのは２つ以上遅延した場合ですから


> それとも，trap 自体を禁止する感じでしょうか．
>
> この仕組みは "[ruby-dev:45827] Re: 非同期割り込みに対する対処案（日本語版）" と独立に作るべきか，混ぜちゃうべきか...．

これは構文拡張なしで問答無用でマスクしてしまえばすむと思ってます。
あんまり混ぜるメリットが分かってないんですけど、なにか思い当たるところあります？

この話は実際にスタックオーバーフローしたというバグレポートが来ているのでできれば２．０で直したい

[ruby-dev:45849] Re: [ruby-trunk - Bug #4909] trapハンドラは再入されてはいけないのではないか？

[SASADA Koichi]

(2012/06/26 6:24), KOSAKI Motohiro wrote:
>> こういう話もあったんですね．
>> >
>> > POSIX signal を考えると，同じシグナルは mask しておく（遅延する）という感じでしょうか．
>> > あ，POSIX signal の場合は遅延じゃなくて，単に捨てるんだっけ（realtime signal 以外）．
> C言語は遅延ですね。捨てられるのは２つ以上遅延した場合ですから

　なるほど．Ruby では何個もっときますかねえ．

>> > それとも，trap 自体を禁止する感じでしょうか．

　こちら，どう思います？　つまり，来たシグナルの trap だけを禁止，もしく
は trap 全部を禁止．

　そういえば，unmask をどうするか，だけど Ruby には要らない，でいいかなぁ．

>> > この仕組みは "[ruby-dev:45827] Re: 非同期割り込みに対する対処案（日本語版）" と独立に作るべきか，混ぜちゃうべきか...．
> これは構文拡張なしで問答無用でマスクしてしまえばすむと思ってます。
> あんまり混ぜるメリットが分かってないんですけど、なにか思い当たるところあります？

Pros.
- mask/unmask の操作が，同じインターフェースでできる

Cons.
- なんか混ぜると複雑になってわけわからんくなりそう


　分けた方がわかりやすくて良さそう．


> この話は実際にスタックオーバーフローしたというバグレポートが来ているのでできれば２．０で直したい

　そう思います．

-- 
// SASADA Koichi at atdot dot net

[ruby-dev:45850] Re: [ruby-trunk - Bug #4909] trapハンドラは再入されてはいけないのではないか？

[KOSAKI Motohiro]

2012/6/25 SASADA Koichi <ko1@atdot•net>:
> (2012/06/26 6:24), KOSAKI Motohiro wrote:
>>> こういう話もあったんですね．
>>> >
>>> > POSIX signal を考えると，同じシグナルは mask しておく（遅延する）という感じでしょうか．
>>> > あ，POSIX signal の場合は遅延じゃなくて，単に捨てるんだっけ（realtime signal 以外）．
>> C言語は遅延ですね。捨てられるのは２つ以上遅延した場合ですから
>
> 　なるほど．Ruby では何個もっときますかねえ．
>
>>> > それとも，trap 自体を禁止する感じでしょうか．
>
> 　こちら，どう思います？　つまり，来たシグナルの trap だけを禁止，もしく
> は trap 全部を禁止．

全部禁止がいいと思います。一番分かりやすい


> 　そういえば，unmask をどうするか，だけど Ruby には要らない，でいいかなぁ．

いらないんじゃないかなあ。それが必要になるぐらい重い処理をtrapでやるのはそもそも
間違ってると主張してみる


>>> > この仕組みは "[ruby-dev:45827] Re: 非同期割り込みに対する対処案（日本語版）" と独立に作るべきか，混ぜちゃうべきか...．
>> これは構文拡張なしで問答無用でマスクしてしまえばすむと思ってます。
>> あんまり混ぜるメリットが分かってないんですけど、なにか思い当たるところあります？
>
> Pros.
> - mask/unmask の操作が，同じインターフェースでできる
>
> Cons.
> - なんか混ぜると複雑になってわけわからんくなりそう
>
> 　分けた方がわかりやすくて良さそう．

そう思います

[ruby-dev:46620] [ruby-trunk - Bug #4909] trapハンドラは再入されてはいけないのではないか？

[ko1 (Koichi Sasada)]

Issue #4909 has been updated by ko1 (Koichi Sasada).

Assignee changed from ko1 (Koichi Sasada) to kosaki (Motohiro KOSAKI)

小崎先生にお任せ．
----------------------------------------
Bug #4909: trapハンドラは再入されてはいけないのではないか？
https://bugs.ruby-lang.org/issues/4909#change-33909

Author: kosaki (Motohiro KOSAKI)
Status: Assigned
Priority: Normal
Assignee: kosaki (Motohiro KOSAKI)
Category: core
Target version: 2.0.0
ruby -v: -


以下のプログラムは

  if intrap == 1
    raise "trap nested"
  end

が真になってしまって例外終了してしまうのですが、これは起きてはいけないのではないでしょうか。
以下の二点が問題だと考えます。

１）このプログラムのようにシグナルを連続して配送されるとスタックオーバーフローを引き起こせる
２）Rubyレベルでsigprocmask()に相当するシグナルブロッキング操作が提供されていないため、
      正しいトラップハンドラを書くのが、ほぼ不可能になっている

C言語ですら、シグナルハンドラ実行中はシグナルが自動的にマスクされるんですから、Rubyでも
同レベルの配慮はMRIがおこなうべきだと思います。

---------------------------------------------------------------------
n = 0
intrap = 0

parent = $$

trap(:USR1) {
  if intrap == 1
    raise "trap nested"
  end
  intrap = 1
  10000.times {
    n += 1
  }
  intrap = 0
}

fork do
 Process.kill(:USR1, parent) while true
end

sleep 100
----------------------------------------------------



-- 
http://bugs.ruby-lang.org/

[ruby-dev:46629] [ruby-trunk - Bug #4909][Closed] trapハンドラは再入されてはいけないのではないか？

[kosaki (Motohiro KOSAKI)]

Issue #4909 has been updated by kosaki (Motohiro KOSAKI).

Status changed from Assigned to Closed

#6009と重複しているので、こちらのチケットは閉じますね。英語のほうを残します。

----------------------------------------
Bug #4909: trapハンドラは再入されてはいけないのではないか？
https://bugs.ruby-lang.org/issues/4909#change-33952

Author: kosaki (Motohiro KOSAKI)
Status: Closed
Priority: Normal
Assignee: kosaki (Motohiro KOSAKI)
Category: core
Target version: 2.0.0
ruby -v: -


以下のプログラムは

  if intrap == 1
    raise "trap nested"
  end

が真になってしまって例外終了してしまうのですが、これは起きてはいけないのではないでしょうか。
以下の二点が問題だと考えます。

１）このプログラムのようにシグナルを連続して配送されるとスタックオーバーフローを引き起こせる
２）Rubyレベルでsigprocmask()に相当するシグナルブロッキング操作が提供されていないため、
      正しいトラップハンドラを書くのが、ほぼ不可能になっている

C言語ですら、シグナルハンドラ実行中はシグナルが自動的にマスクされるんですから、Rubyでも
同レベルの配慮はMRIがおこなうべきだと思います。

---------------------------------------------------------------------
n = 0
intrap = 0

parent = $$

trap(:USR1) {
  if intrap == 1
    raise "trap nested"
  end
  intrap = 1
  10000.times {
    n += 1
  }
  intrap = 0
}

fork do
 Process.kill(:USR1, parent) while true
end

sleep 100
----------------------------------------------------



-- 
http://bugs.ruby-lang.org/