そのコードなら確実に１は保証されるぞ。
１の代入が完了しなければスレッドが作られないんだから。
１の代入とスレッド作成は同一スレッドで行われるわけだからね。