[ruby-dev:15450] Re: Time#utcoff

In article <[e-mail]>,
  [e-mail] (Yukihiro Matsumoto) writes:

> それ変ですねえ。

うぅ、これは間違いだったようです。

akr@usf-cf-alpha-linux-1:~/ruby/ruby-src$ ./ruby -e 'p Time.at(0xf0c29d868c6dff)'
Tue Dec 31 23:59:59 PST 2147483647
akr@usf-cf-alpha-linux-1:~/ruby/ruby-src$ ./ruby -e 'p Time.at(0xf0c29d868c6e00)'
Wed Jan 01 00:00:00 PST -2147483648
akr@usf-cf-alpha-linux-1:~/ruby/ruby-src$ ./ruby -e 'p Time.at(0xf0c2ab7c5519ff)'
Wed Dec 31 23:59:59 PST -2147481749
akr@usf-cf-alpha-linux-1:~/ruby/ruby-src$ ./ruby -e 'p Time.at(0xf0c2ab7c551a00)'
-e:1:in `inspect': localtime error (ArgumentError)
        from -e:1:in `p'
        from -e:1

どちらもこういう挙動になります。64bit 限界までは使えないんですねぇ。

> ですから、SIZEOF_INT < SIZEOF_LONG (このケース)では、
> NUM2LONG()とNUM2INT()は違うものだと思うのですが。
> どっちかというと rb_num2long() の実装のバグとかじゃないんで
> すかねえ。

これも撤回します。

akr@usf-cf-alpha-linux-1:~/ruby/ruby-src$ ./ruby -e 'p Time.at(-(1 << 63))'
-e:1:in `at': time must be positive (ArgumentError)
        from -e:1
akr@usf-cf-alpha-linux-1:~/ruby/ruby-src$ ./ruby -e 'p Time.at((1 << 63) -1)'
-e:1:in `inspect': localtime error (ArgumentError)
        from -e:1:in `p'
        from -e:1

よく考えたら 1 << 63 は signed 64bit には収まらないから問題ないんですね。
(最初から気づけよ...)

でも他の問題もあるようです。少なくとも glibc のくせに negative time_t
が使えないというのはおかしいというのがあります。

akr@usf-cf-alpha-linux-1:~/ruby/ruby-src$ ./ruby -e 'p Time.at(-(1 << 63))'
-e:1:in `at': time must be positive (ArgumentError)
        from -e:1

どうやら configure.in の -0x80000000 というのが問題のようです。

Standard C http://www-ccs.ucsd.edu/c/ を調べてみると、0x80000000 は
hexadecimal integer constant であり、unsigned int (32bit) に収まるので、
unsigned int になり、-0x80000000 は 0x80000000 になって、それが time_t
(64bit signed inteter)になって 0x0000000080000000 になるようですね。そ
うすると意図せざる未来の時刻が返ってきて失敗すると。

hexadecimal integer constant じゃなくて decimal integer constant にす
ると unsigned int じゃなくて long になってうまくいくようなので
-2147483648 とすると、

akr@usf-cf-alpha-linux-1:~/ruby/ruby-src$ ./ruby -e 'p Time.at(-(1 << 63))'
-e:1:in `inspect': localtime error (ArgumentError)
        from -e:1:in `p'
        from -e:1
akr@usf-cf-alpha-linux-1:~/ruby/ruby-src$ ./ruby -e 'p Time.at(-(1 << 63) - 1)'
-e:1:in `at': bignum too big to convert into `int' (RangeError)
        from -e:1

となって、まぁ、あんまりはっぴーじゃありませんが予期された結果になりま
す。
-- 
[田中 哲][たなか あきら][Tanaka Akira]
「ふえろ! わかめちゃん作戦です$(C⊇」(Little Worker, 桂遊生丸)