Feature #3018: UNINITIALIZED_VAR() マクロの導入

• Status: Closed
• Assignee: -
• Target version: 2.0.0

[kosaki (Motohiro KOSAKI)]

=begin
最近のgccは未初期化変数をreadしようとすると警告を出すのですが、推論がおおざっぱなのでたまに的外れな警告を出します。
その副作用でthread.c のdo_select()が現在汚いことになっています。

---

static int
do_select(int n, fd_set *read, fd_set *write, fd_set *except,
struct timeval timeout)
{
int result, lerrno;
fd_set orig_read, orig_write, orig_except;
#if defined GNUC && defined x86_64
#define FAKE_FD_ZERO(f) ((int )&(f)=0) / suppress lots of warnings */
#else
#define FAKE_FD_ZERO(f) ((void)0)
#endif

(snip)

 if (read) orig_read = *read; else FAKE_FD_ZERO(orig_read);
 if (write) orig_write = *write; else FAKE_FD_ZERO(orig_write);
 if (except) orig_except = *except; else FAKE_FD_ZERO(orig_except);

#undef FAKE_FD_ZERO

.....

---

FAKE_FD_ZERO()が増えたことによってブランチが増えてしまっているのが美しくないのと、
x86_64 に依存しないの問題なので#ifdefの切り方が間違っているという問題があります。

Linuxではこの問題にたいして以下のようなマクロで解決しており、同様の手法を導入したいと
思うのですが、いかがでしょうか？

#define uninitialized_var(x) x = x

FAKE_FD_ZEROと違い自己代入は最適化で消えるので実行時コストは０です。
パッチを添付します。

あと、UNLIKELY()にあわせて、マクロをvm_core.hにおいたのですが、
これについてご意見をお聞かせください。
=end

[ko1 (Koichi Sasada)]

=begin
　ささだです．

(2010/03/26 22:40), Motohiro KOSAKI wrote::

Linuxではこの問題にたいして以下のようなマクロで解決しており、同様の手法を導入したいと
思うのですが、いかがでしょうか？

#define uninitialized_var(x) x = x

　なんとなく，マクロの名前が小文字ってのに違和感があるんですが，そうでも
ないでしょうか．それとも，別のプログラム（Linux）と一緒のほうが，通りが
良くていいでしょうか．

他は異論ありません．

--
// SASADA Koichi at atdot dot net

=end

[kosaki (Motohiro KOSAKI)]

=begin
2010年3月27日9:17 SASADA Koichi [e-mail]:

　ささだです．

(2010/03/26 22:40), Motohiro KOSAKI wrote::

Linuxではこの問題にたいして以下のようなマクロで解決しており、同様の手法を導入したいと
思うのですが、いかがでしょうか？

#define uninitialized_var(x) x = x

　なんとなく，マクロの名前が小文字ってのに違和感があるんですが，そうでも
ないでしょうか．それとも，別のプログラム（Linux）と一緒のほうが，通りが
良くていいでしょうか．

他は異論ありません．

書き方が悪かったです。説明はLinuxの定義の引用なので小文字ですが、
パッチではすでに大文字に変換されています。
これは、LIKELY/UNLIKELYが大文字に変換されているのに合わせました。

=end

[matz (Yukihiro Matsumoto)]

=begin
まつもと ゆきひろです

In message "Re: [ruby-dev:40779] [Feature #3018] UNINITIALIZED_VAR() マクロの導入"
on Fri, 26 Mar 2010 22:40:53 +0900, Motohiro KOSAKI [e-mail] writes:

|最近のgccは未初期化変数をreadしようとすると警告を出すのですが、推論がおおざっぱなのでたまに的外れな警告を出します。
|その副作用でthread.c のdo_select()が現在汚いことになっています。

|Linuxではこの問題にたいして以下のようなマクロで解決しており、同様の手法を導入したいと
|思うのですが、いかがでしょうか？

いいんじゃないでしょうか。コミットしてください。って、こさき
さんにコミット権さしあげてましたっけ？

=end

[kosaki (Motohiro KOSAKI)]

=begin

|Linuxではこの問題にたいして以下のようなマクロで解決しており、同様の手法を導入したいと
|思うのですが、いかがでしょうか？

いいんじゃないでしょうか。コミットしてください。って、こさき
さんにコミット権さしあげてましたっけ？

いえ、私はコミッターではないです。
昨日IRCで代理コミットを立て続けに断れて悲しい思いをしていた所なので
コミット権をいただけるならありがたいです。自分でマージしようと思います。

=end

[matz (Yukihiro Matsumoto)]

=begin
まつもと ゆきひろです

In message "Re: [ruby-dev:40831] Re: [Feature #3018] UNINITIALIZED_VAR() マクロの導入"
on Mon, 29 Mar 2010 19:45:01 +0900, KOSAKI Motohiro [e-mail] writes:

|昨日IRCで代理コミットを立て続けに断れて悲しい思いをしていた所なので
|コミット権をいただけるならありがたいです。自分でマージしようと思います。

[e-mail] に gpg サインした ssh2 公開鍵を送っ
てください。cvs-ってところが時代を感じさせますね。

=end

[nahi (Hiroshi Nakamura)]

=begin
本題じゃないですが、

2010/3/30 Yukihiro Matsumoto [e-mail]:

[e-mail] に gpg サインした ssh2 公開鍵を送っ
てください。cvs-ってところが時代を感じさせますね。

gpgサイン→(PGP|OpenPGP)(サイン|署名)、とするのがよいと思います。
gpgはOpenPGP仕様（＋PGP仕様）を実装したツールの名前なので。
これを受ける前田さん(?)はgpgで検証してるのかもしれませんが、
gpg固有機能は使ってないはずです。

私は自作Rubyツールで署名して送ったはず。

大元のWikiのページがそうなってるんでしたっけ？

=end

[matz (Yukihiro Matsumoto)]

=begin
まつもと ゆきひろです

In message "Re: [ruby-dev:40839] Re: [Feature #3018] UNINITIALIZED_VAR() マクロの導入"
on Tue, 30 Mar 2010 10:23:59 +0900, "NAKAMURA, Hiroshi" [e-mail] writes:

|2010/3/30 Yukihiro Matsumoto [e-mail]:
|> [e-mail] に gpg サインした ssh2 公開鍵を送っ
|> てください。cvs-ってところが時代を感じさせますね。
|
|gpgサイン→(PGP|OpenPGP)(サイン|署名)、とするのがよいと思います。
|gpgはOpenPGP仕様（＋PGP仕様）を実装したツールの名前なので。
|これを受ける前田さん(?)はgpgで検証してるのかもしれませんが、
|gpg固有機能は使ってないはずです。

記憶違いかもしれませんが、送られてきた署名が gpg で検証できず
再送をお願いしたケースがあったはずです。ですから、理屈として
は、中村さんのおっしゃる通りなのだと思いますが、「こちらは
gpg を使うから、それで検証できる署名にしてね」という意図の表
明は意味があると思いました。確か、それ以降 pgp と呼ばず gpg
と呼ぶようにしたはず。

そこから先は、(PGP | OpenPGP)の相互運用性とかいう話になるのだ
と思いますが、私たちはセキュリティの専門家ではないので。

=end

[nahi (Hiroshi Nakamura)]

=begin
2010/3/30 Yukihiro Matsumoto [e-mail]:

|gpgサイン→(PGP|OpenPGP)(サイン|署名)、とするのがよいと思います。

記憶違いかもしれませんが、送られてきた署名が gpg で検証できず
再送をお願いしたケースがあったはずです。ですから、理屈として
は、中村さんのおっしゃる通りなのだと思いますが、「こちらは
gpg を使うから、それで検証できる署名にしてね」という意図の表
明は意味があると思いました。確か、それ以降 pgp と呼ばず gpg
と呼ぶようにしたはず。

それは失礼しました。残念な話ですがありがちですね。見てみたいなあその署名。

--rfc2440オプションとか、互換性についていろいろ面倒な話はあります。

では、「gpgサイン」→「gpgを使って署名」くらいでぜひ。

=end

[matz (Yukihiro Matsumoto)]

=begin
まつもと ゆきひろです

In message "Re: [ruby-dev:40841] Re: [Feature #3018] UNINITIALIZED_VAR() マクロの導入"
on Tue, 30 Mar 2010 11:12:50 +0900, "NAKAMURA, Hiroshi" [e-mail] writes:

|では、「gpgサイン」→「gpgを使って署名」くらいでぜひ。

そうですね。今後は「gpgで検証できる署名」くらいで。

=end

[shugo (Shugo Maeda)]

=begin
前田です。

2010年3月30日10:51 Yukihiro Matsumoto [e-mail]:

|2010/3/30 Yukihiro Matsumoto [e-mail]:
|> [e-mail] に gpg サインした ssh2 公開鍵を送っ
|> てください。cvs-ってところが時代を感じさせますね。
|
|gpgサイン→(PGP|OpenPGP)(サイン|署名)、とするのがよいと思います。
|gpgはOpenPGP仕様（＋PGP仕様）を実装したツールの名前なので。
|これを受ける前田さん(?)はgpgで検証してるのかもしれませんが、
|gpg固有機能は使ってないはずです。

記憶違いかもしれませんが、送られてきた署名が gpg で検証できず
再送をお願いしたケースがあったはずです。ですから、理屈として
は、中村さんのおっしゃる通りなのだと思いますが、「こちらは
gpg を使うから、それで検証できる署名にしてね」という意図の表
明は意味があると思いました。確か、それ以降 pgp と呼ばず gpg
と呼ぶようにしたはず。

そうでしたっけ。
私はなひさんに怒られてからPGPと言うようにしていました。

最初私がgpgと言っていたのはDebianプロジェクトの影響だったように
思います。

--
Shugo Maeda

=end

[matz (Yukihiro Matsumoto)]

=begin
まつもと ゆきひろです

In message "Re: [ruby-dev:40843] Re: [Feature #3018] UNINITIALIZED_VAR() マクロの導入"
on Tue, 30 Mar 2010 11:22:22 +0900, Shugo Maeda [e-mail] writes:

|私はなひさんに怒られてからPGPと言うようにしていました。

あれ、記憶違いかなあ。

=end

[kosaki (Motohiro KOSAKI)]

• Status changed from Open to Closed
• % Done changed from 0 to 100

=begin
This issue was solved with changeset r27238.
Motohiro, thank you for reporting this issue.
Your contribution to Ruby is greatly appreciated.
May Ruby be with you.

=end