プログラムでは整数の四則演算はよくよく注意しないと足をすくわれることがあります。
整数と呼んでるものが普通と違って範囲があって循環しているためです。最大値と最小値の絶対値が 1 ズレているのもいや〜な問題の元になります。
この 1 ズレのため除算で整数オーバーフローが発生します。除算でですよ。
int の最小値を -1 で割ったときに結果が表現できないためです。除算と剰余ではただこの 1 ケースのみオーバーフローが起きます。
このケースは仕様書にちゃんと書いてあります。仕様書によると checked では例外スロー。unchecked では「unchecked コンテキストでは、System.ArithmeticException (またはコンテキストでのサブクラス) がスローされるか、または左のオペランドを結果値としてオーバーフローを報告しないかは、実装で定義されます。」実装依存だそうです。では Visual Studio 2008 SP1 で試してみます。
「int x = int.MinValue / -1;」と書くとコンパイルエラーになります。下のように書くとコンパイルは通ります。おバカさんめ。
static void Test1() { int m = int.MinValue; int n = m / -1; // OverflowException 発生 Console.WriteLine( n ); }
実行すると unchecked なのに OverflowException が飛んできました。x86/x64 Debug/Release ぜーんぶ全部です。checked も当然同じです。
0 で割り算しようとしてしまうのは当然気を付けますが、-1 も実は注意が必要ということですね。
続いて剰余。こっちはクレイジーです。
「int x = int.MinValue % -1;」と書くと x は正常に 0 になります。
ところが
static void Test2() { int m = int.MinValue; int n = m % -1; // OverflowException 発生!! Console.WriteLine( n ); }
これを実行すると除算同様 OverflowException が飛んできます。ひどい。コンパイル時と実行時で違うんですね。
checked も x86/x64 Debug/Release 全部 OverflowException です。
仕様書によると「左オペランドが int または long の最小値で右オペランドが -1 の場合は System.OverflowException がスローされます。x / y が例外をスローしない場合に x % y が例外をスローすることはありません。」だそうです。x / y が例外をスローするなら x % y が例外をスローする、とは書いてませんが MS のコンパイラはそういう動きをしました。これを書いてないのは高速化のために実装の幅を残すためでしょうね。
そもそも 0 でいいのに。CPU では除算と剰余が一体なので、除算でオーバーフローが起きたら剰余もその結果に従うということのようです。x86 では CPU が例外を投げるようですが、x64 では 32bit 演算なのに結果は 64bit 幅なので、しょうがなく(?) JIT 後の機械語に int.MinValue % -1 かどうかチェックするコードが生成されていました。明らかにそうじゃない場合はチェックコードは生成されません。わざわざチェックコードを生成するなら x86 にチェックコードを加えて 0 を返せばよかったのに。
まあ、マイナス割るマイナスって一体何だかわかりませんが、こんなことがあるので注意が必要ですよというお話でした。
]]>仕事はえー！
Silverlight4 beta が出たようです。こっちもはえーｗ 3出たばっかりのような気がしてた…
ついに右クリック解禁らしい。
]]>http://www.infoq.com/jp/news/2009/11/CAS-Replaced
CAS がなくなる件、InfoQ の記事になりましたね。
これってひょっとして unsafe の事実上の解禁になるのかな？よくわかってないですけど。
型安全はつまらないバグをかなり減らしてくれるんで、安易に unsafe に頼りたくないですが、これが解禁を意味するならうずうずしてしまう場面はありそうです(^^;
解禁じゃなかったらごめんなさい。記事の後半はよくわかりません…。
]]>Go 翻訳プロジェクトが立ち上がったようですね。チュートリアルのかなりの部分がもう訳されてます。
遊んでるうちに、将来は C に取って代わりそうだなという気がしてきました。
昨日のコードの goroutine 版が動きました。まだ goroutine がどういうものかさっぱりわからないので、使い方が間違ってる可能性大ですが。
ちょっと新人いじめがすぎました。遅いです。いや、使い方が間違ってるほうが大きいかもしれないけど。
(追記) うわさの runtime.GOMAXPROCS つけたらものすごく速くなった！使えるかもと思った。コードは差し替えておきます。
4CPU割り当ててやってみたらむしろ遅くなったｗ みんな並列じゃ苦労してるんだねｗ
以下、コード
package main import ( "math"; "fmt"; "os"; "runtime"; "container/vector"; ) const ( K = 4; N = 2; ) const channelBufferNum = 2048 type DeBruijnSeq struct { k, n, max int; out chan *vector.IntVector; // for output count chan int; } type DeBruijnSeqResult struct { ch chan *vector.IntVector; result chan *vector.Vector; } func Init(k, n int) (d *DeBruijnSeq, result *DeBruijnSeqResult, ok bool) { if k < 2 || 10 < k { return nil, nil, false } if n < 1 { return nil, nil, false } max := math.Pow(float64(k), float64(n)); if float64(0x7FFFFFFF) < max { return nil, nil, false } out, result := startOutputServer(); count := make(chan int, channelBufferNum); return &DeBruijnSeq{k, n, int(max), out, count}, result, true; } func (d *DeBruijnSeq) Search() { a := vector.NewIntVector(d.n); for i := 0; i < d.n; i++ { a.Set(i, 0) } go d.searchCore(a); } func (d *DeBruijnSeq) searchCore(a *vector.IntVector) { // 重複判定 if !d.isUnique(a) { d.count <- -1; return; } // 完成判定 if d.isComplete(a) { //fmt.Println( " comp! " ); d.out <- a; d.count <- -1; return; } // 次の反復へ for i := 0; i < d.k; i++ { d.count <- 1; b := vector.NewIntVector(0); b.AppendVector(a); // copy b.Push(i); go d.searchCore(b); } d.count <- -1; } func (d *DeBruijnSeq) isUnique(a *vector.IntVector) bool { if a.Vector.Len() <= d.n { return true } pos := a.Vector.Len() - d.n; for i := 0; i < pos; i++ { if sequenceEqual(a, i, pos, d.n) { return false } } return true; } func sequenceEqual(v *vector.IntVector, a, b, len int) bool { for i := 0; i < len; i++ { if v.At(a) != v.At(b) { return false } a++; b++; } return true; } func (d *DeBruijnSeq) isComplete(a *vector.IntVector) bool { if a.Vector.Len() != d.max { return false } b := vector.NewIntVector(0); b.AppendVector(a); // copy for i := 0; i < d.n-1; i++ { b.Push(b.At(i)); if !d.isUnique(b) { return false } } return true; } func startOutputServer() (chan *vector.IntVector, *DeBruijnSeqResult) { out := make(chan *vector.IntVector, channelBufferNum); result := make(chan *vector.Vector, 2); go output(out, result); return out, &DeBruijnSeqResult{out, result}; } func output(in chan *vector.IntVector, out chan *vector.Vector) { v := vector.New(0); for !closed(in) { if data := <- in; data != nil { //fmt.Println( data ); v.Push(data); } } out <- v; } func main() { runtime.GOMAXPROCS(2); d, result, ok := Init(K, N); if !ok { os.Exit(1) } d.Search(); for numOfGor := 1; numOfGor != 0; { numOfGor += <-d.count } close(result.ch); n := <-result.result; fmt.Println(n.Len()); }]]>
no more creat。
package main
import "fmt"
func main() {
a := 4;
switch a {
case 0, 1, 2:
fmt.Println( a );
case 3:
fmt.Println( "いっぱい" );
defuuuuult:
fmt.Println( "defuuuuuuult" );
/*
default:
fmt.Println( "default" );
*/
}
}
何も表示されません。
文法見ると禁止されてるっぽいのに、穴がありますね。「defuuuuult:」は前の「case 3:」に続く StatementList 中のラベルになってるのかも。
「$ hg log」したらこんなのが。やられたｗ
changeset: 3956:4a3f6bbb5f0c user: Ken Thompson <xxx> date: Tue Nov 10 15:05:15 2009 -0800 summary: spell it with an "e"
$ hg log -r3956 -p
+ O_CREATE = O_CREAT; // create a new file if none exists.]]>
Go language に De Bruijn sequence を列挙するコードを移植してみました。C# で書いたときのコードは こ ち ら。
goroutine を使って並列化したいんですが、まだデッドロックしてうまくいってませんｗ なのでとりあえずできたシーケンシャル版。ちなみに効率的に列挙するコードじゃなく、いじめ試験みたいなものです。
De Bruijn の読みがずっと謎だったんですが、コンピュータの数学という本では「ドブリューイン」としてました。O記法の数学のあたりにちらっと名前が出てきました。
Go は関数から多値で返す文法がきれいでいいですね。C# の out はやってることは正しいのに、汚い文法なのが悲しい。レシーバーとインターフェイスでも遊んでみたいな。Go を最初に見たときは古臭い文法だと思ったけど、調べているといろいろと今どきっぽい機能をちゃんと持ってたりします。まーまだわからないことだらけですが。
package main import ( "math"; "fmt"; "os"; "container/vector"; ) type DeBruijnSeq struct { k, n, max int; results *vector.Vector; } func Init( k, n int ) ( d *DeBruijnSeq, ok bool ) { if k < 2 || 10 < k { return nil, false } if n < 1 { return nil, false } pow := math.Pow( float64( k ), float64( n ) ); if float64( 0x7FFFFFFF ) < pow { return nil, false } max := int( pow ); r := vector.New( 0 ); return &DeBruijnSeq{ k, n, max, r }, true } func ( d *DeBruijnSeq ) Search() { a := vector.NewIntVector( d.n ); for i := 0; i < d.n; i++ { a.Set( i, 0 ) } d.searchCore( a ); } func ( d *DeBruijnSeq ) searchCore( a *vector.IntVector ) { // 重複判定 if !d.isUnique( a ) { return } // 完成判定 if d.isComplete( a ) { d.output2( a ); return } // 次の反復へ for i := 0; i < d.k; i++ { b := vector.NewIntVector( 0 ); b.AppendVector( a ); // copy b.Push( i ); d.searchCore( b ); } } func ( d *DeBruijnSeq ) isUnique( a *vector.IntVector ) bool { if a.Vector.Len() <= d.n { return true } pos := a.Vector.Len() - d.n; for i := 0; i < pos; i++ { if sequenceEqual( a, i, pos, d.n ) { return false } } return true } func sequenceEqual( v *vector.IntVector, a, b, len int ) bool { for i := 0; i < len; i++ { if v.At( a ) != v.At( b ) { return false } a++; b++; } return true } func ( d *DeBruijnSeq ) isComplete( a *vector.IntVector ) bool { if a.Vector.Len() != d.max { return false } b := vector.NewIntVector( 0 ); b.AppendVector( a ); // copy for i := 0; i < d.n - 1; i++ { b.Push( b.At( i ) ); if !d.isUnique( b ) { return false } } return true } func ( d *DeBruijnSeq ) output2( a *vector.IntVector ) { d.results.Push( a ) } func main() { d, ok := Init( 4, 2 ); if !ok { os.Exit( 1 ); } d.Search(); fmt.Println( d.results.Len() ); if len := d.results.Len(); len < 10 { for i := 0; i < len; i++ { fmt.Println( d.results.At(i) ) } } }
VMware Player 上の x86 な Ubuntu に 2CPU 割り当てて実行したんですが、結構速いかも。
]]>