Sun Microsystems 最富の庇護
■ このスレッドは過去ログ倉庫に格納されています
0001名無しさん＠お腹いっぱい。
2009/10/07(水) 15:05:210287名無しさん＠お腹いっぱい。
2009/11/07(土) 13:07:34静的解析で品質保証できないようなコードは禁止だよ。
0288名無しさん＠お腹いっぱい。
2009/11/07(土) 13:45:29最低レベル保証みたいな意味ならわからんでもない
0289名無しさん＠お腹いっぱい。
2009/11/07(土) 13:46:13+ lint 通らないCコード禁止みたいなもんか
0290名無しさん＠お腹いっぱい。
2009/11/07(土) 16:16:10マルチスレッドのバグを静的解析で確実に発見できるタイプのコードを書くことが求められてる。
つまり、静的解析でバグが発見されなければバグが存在しない、ということが求められてる。
それが出来ないのなら、マルチスレッドは禁止。
0291名無しさん＠お腹いっぱい。
2009/11/07(土) 16:19:230292名無しさん＠お腹いっぱい。
2009/11/07(土) 16:29:58> つまり、静的解析でバグが発見されなければバグが存在しない、ということが求められてる。
お前もうちょっと勉強した方がいいと思うよ。
0293290
2009/11/07(土) 16:49:29283はゲーム業界なので我々とは世界が違うだろう。
マルチスレッドといっても、彼らのと我々のとでは、使い方が違うだろうし。
0294名無しさん＠お腹いっぱい。
2009/11/07(土) 16:55:04言い始めたら大変な事になるだろうなw
0295名無しさん＠お腹いっぱい。
2009/11/07(土) 17:21:190296名無しさん＠お腹いっぱい。
2009/11/07(土) 17:26:14お前が283かどうかは話の流れ上関係ないのでは？
0297名無しさん＠お腹いっぱい。
2009/11/07(土) 17:45:55おいらはしこしこSQL書くだけ
0299名無しさん＠お腹いっぱい。
2009/11/07(土) 17:51:34ゲームエンジンなんて他所から買えばいいだろう
欧米や韓国のゲーム屋からよりどりみどりで選べる
0300名無しさん＠お腹いっぱい。
2009/11/07(土) 18:19:45エンジンのライセンス料で赤字になるだろ
こんなスレに来るゲーム屋って時点でエロゲと理解れよ
0301名無しさん＠お腹いっぱい。
2009/11/07(土) 19:30:230302名無しさん＠お腹いっぱい。
2009/11/07(土) 20:00:24シングルスレッドのソースを静的解析しても見つけられないバグはある。
となると、おまいさんは全部の行のunittestを書かないといけない業界に居るのかな。
それならまぁ仕方ない気もしなくもない。
0303名無しさん＠お腹いっぱい。
2009/11/07(土) 20:20:31おまえらみたいな人でなしが業界に逆らったら生きちゃいられねぇぞ
0304名無しさん＠お腹いっぱい。
2009/11/07(土) 20:30:31> シングルスレッドのソースを静的解析しても見つけられないバグはある。
アプローチが逆なのよ
バグがあったときに、その原因を探すために静的解析を使って、それが万能ではないことに嘆くのではなく、
バグがあったとしても、それが万能ではない静的解析で見つけられるタイプのバグになるようにするのよ。
静的解析で完全にバグを抽出できる・・・というのは無理だけれども、できる限りやるのよ。
0305名無しさん＠お腹いっぱい。
2009/11/07(土) 22:12:01エロゲにマルチスレッドｗｗｗ
0306名無しさん＠お腹いっぱい。
2009/11/07(土) 22:34:20お前アホだからプログラマ辞めろよ
0307名無しさん＠お腹いっぱい。
2009/11/07(土) 23:16:04エロゲ屋ってUNIX自体知らなそう。
0308名無しさん＠お腹いっぱい。
2009/11/07(土) 23:53:12静的解析? んなもん使い物にならねーよ、俺っちのコーディング技術で十分安全だよ
とか言ってる老害ぽいな。
0309名無しさん＠お腹いっぱい。
2009/11/08(日) 00:31:09もちろん、入力フォームと帳票デザイン延々やってるとこに
マルチスレッドプログラミングはムリだが、じゃあぜんぜん要らんのかというと
そんなことはなくて、ちょっとした裏方さん作りには既に必須。
やらないと終る、消えるのは確定。さあ消えてくれるかww? たいじょーw
そもそもデバイスドライバプログラミングとか、カーネル内だと昔からあるし。
シカケの実装は違うが、考え方は同じ。
0310名無しさん＠お腹いっぱい。
2009/11/08(日) 00:33:550311名無しさん＠お腹いっぱい。
2009/11/08(日) 00:35:000312名無しさん＠お腹いっぱい。
2009/11/08(日) 00:35:380313名無しさん＠お腹いっぱい。
2009/11/08(日) 00:37:24お前、池沼だろ
0314名無しさん＠お腹いっぱい。
2009/11/08(日) 00:43:01静的解析で見つけられるようなのをなくしておきたいって話かと思った。
0315名無しさん＠お腹いっぱい。
2009/11/08(日) 00:44:320316名無しさん＠お腹いっぱい。
2009/11/08(日) 00:45:44タイミングによって出たり出なかったり、なんてことにならないように、静的解析でバグが見つけられるようなコードを書くのよ。
>>313には理解できないようだが・・・
0317名無しさん＠お腹いっぱい。
2009/11/08(日) 00:48:39で?
0318名無しさん＠お腹いっぱい。
2009/11/08(日) 00:51:25> つまり、静的解析でバグが発見されなければバグが存在しない、ということが求められてる。
こんなこと不可能だろ。
その部分問題に過ぎない停止問題でさえ決定不能なのに。
0319名無しさん＠お腹いっぱい。
2009/11/08(日) 00:53:060320名無しさん＠お腹いっぱい。
2009/11/08(日) 00:54:27マルチスレッドで処理するのが非常に簡単なアプリだってこと
0321名無しさん＠お腹いっぱい。
2009/11/08(日) 00:54:550322名無しさん＠お腹いっぱい。
2009/11/08(日) 00:55:370323名無しさん＠お腹いっぱい。
2009/11/08(日) 00:59:00意味不明だなww 処理の傾向とプログラミングの難しさが相関するのか?
アタマ大丈夫か?!ww
0324名無しさん＠お腹いっぱい。
2009/11/08(日) 01:01:38停止問題が問題になるようなコードを書くことが禁止されてるの。
0325名無しさん＠お腹いっぱい。
2009/11/08(日) 01:04:44あたりまえだろ
音声処理する部分を、ごく普通にスレッドセーフに書く
何ら難しいことはない
その音声処理する部分を、トラックごとに別のスレッドで呼ぶ
何ら難しいことはない
最近はCPUのコア数増えてきたので、同一トラックをパイプラインで処理してもいい
これも、さほど難しいことはない
0326名無しさん＠お腹いっぱい。
2009/11/08(日) 01:09:480327名無しさん＠お腹いっぱい。
2009/11/08(日) 01:10:220328名無しさん＠お腹いっぱい。
2009/11/08(日) 01:22:35スレッド増やさず広いベクタ長でSIMD
0329名無しさん＠お腹いっぱい。
2009/11/08(日) 07:27:19ループ禁止じゃんw
0330名無しさん＠お腹いっぱい。
2009/11/08(日) 12:45:48そんなバカな主張はじめてみた
Coverityだって静的解析はあくまで特定のタイプの
バグを見付けるだけだとしてる
どういう立場の人間だとこう思い込むんだろう
0331名無しさん＠お腹いっぱい。
2009/11/08(日) 12:50:540332名無しさん＠お腹いっぱい。
2009/11/08(日) 13:21:48単なる頭の悪い人じゃないの?
0333名無しさん＠お腹いっぱい。
2009/11/08(日) 13:56:16バグが、その特定タイプに集まるように、コーディングするのさ。
0334名無しさん＠お腹いっぱい。
2009/11/08(日) 13:57:52頭が悪いだけではここまではいかない。
精神病んでいて「認知の歪み」がある人でしょう。
自分は凄いと勘違いしている自己愛人格障害系だと思う。
0335名無しさん＠お腹いっぱい。
2009/11/08(日) 13:58:31ロックを握ったまま、終わらないループをするのは禁止に決まってるだろが。
0336名無しさん＠お腹いっぱい。
2009/11/08(日) 13:59:35はいはいレッテル貼り乙
すげー窮屈なコーディングを強いられてる土方なだけですよ。
0337名無しさん＠お腹いっぱい。
2009/11/08(日) 14:02:550338名無しさん＠お腹いっぱい。
2009/11/08(日) 14:18:010339名無しさん＠お腹いっぱい。
2009/11/08(日) 14:25:39そう単純化されると困るな。
全体としてはバグは多少は出てしまうが、
しかし、再現が難しく修正が困難なマルチスレッド絡みのバグだけは出ないようにしてるの。
それが出来なければシングルスレッドでやらなきゃいけないの。
0340名無しさん＠お腹いっぱい。
2009/11/08(日) 14:35:30> つまり、静的解析でバグが発見されなければバグが存在しない、ということが求められてる。
0341名無しさん＠お腹いっぱい。
2009/11/08(日) 14:47:160342名無しさん＠お腹いっぱい。
2009/11/08(日) 14:52:04かなりトーンダウンしたね。
0343名無しさん＠お腹いっぱい。
2009/11/08(日) 15:25:080344名無しさん＠お腹いっぱい。
2009/11/08(日) 15:30:400345名無しさん＠お腹いっぱい。
2009/11/08(日) 15:39:41してねーよ。
>>340のように、前の行が読めない人が、言葉尻に噛みついてるだけ。
0346名無しさん＠お腹いっぱい。
2009/11/08(日) 15:44:55トーンダウンしたね。
0347名無しさん＠お腹いっぱい。
2009/11/08(日) 15:47:01なぜ良くないのかは、こういうpublicな場では言えない。
0348名無しさん＠お腹いっぱい。
2009/11/08(日) 15:51:25始終、マルチスレッドのバグの話ですが?
マルチスレッドのバグについて静的解析で品質保証できないコーディングをするってことは、
たまたま うまく動いているだけ
たまたま バグに気が付いてないだけ
というものを納品するってことだよ。
静的解析で対処できないマルチスレッドのバグは、
動的解析でも発見できない可能性が高いんだよ。
タイミング依存するようなのは、テストで発見できない可能性高いんだからさ。
0349名無しさん＠お腹いっぱい。
2009/11/08(日) 15:54:45最初からそう書けば子供にも解りやすかったな
0350名無しさん＠お腹いっぱい。
2009/11/08(日) 16:04:52特定のタイプのバグしか扱えないってまだ理解できてないんだな。
静的解析でも、動的解析でも。
0351名無しさん＠お腹いっぱい。
2009/11/08(日) 16:19:420352名無しさん＠お腹いっぱい。
2009/11/08(日) 16:41:580353名無しさん＠お腹いっぱい。
2009/11/08(日) 17:05:070354名無しさん＠お腹いっぱい。
2009/11/08(日) 17:47:55そういう人と同じプロジェクトでは働きたくないなあ。
0355名無しさん＠お腹いっぱい。
2009/11/08(日) 17:56:14どうやって品質保証するの?
どうやってアホが崩壊させるのを防ぐの?
0356名無しさん＠お腹いっぱい。
2009/11/08(日) 18:01:16そう。そういう感じの人。
0357名無しさん＠お腹いっぱい。
2009/11/08(日) 19:10:36現実を見ろヨ
0358名無しさん＠お腹いっぱい。
2009/11/08(日) 19:28:200359名無しさん＠お腹いっぱい。
2009/11/08(日) 20:44:04俺は SML 大好きだよ。でも CL も好きだし、何でもバランスが大事だと思うよ。
0360名無しさん＠お腹いっぱい。
2009/11/08(日) 22:19:22バランスって馬鹿と知性のバランスの事か？
そりゃ大事だなこの不完全な世界で正気を保っていくには
0361名無しさん＠お腹いっぱい。
2009/11/08(日) 22:34:570362名無しさん＠お腹いっぱい。
2009/11/08(日) 22:37:300363名無しさん＠お腹いっぱい。
2009/11/08(日) 22:38:550364名無しさん＠お腹いっぱい。
2009/11/08(日) 22:59:01お前誰だよw
0365名無しさん＠お腹いっぱい。
2009/11/09(月) 08:36:23US では大手のプロジェクトも関数型への移行を試しているところがいろいろあるらしいが。
後は処理系の完成度次第か？ clojure とかも面白い。
0366名無しさん＠お腹いっぱい。
2009/11/09(月) 11:55:52スレッド遡ってみたが仕方ないだろ・・・・
バグが発見できるようなコードを書くって・・・
それができるならバグが入っていないコードを書いた方が建設的・・・・
0367名無しさん＠お腹いっぱい。
2009/11/09(月) 12:40:53http://www.itmedia.co.jp/enterprise/articles/0911/09/news018.html
0368名無しさん＠お腹いっぱい。
2009/11/09(月) 14:31:29そうだな。
マルチスレッドはバグるからシングルスレッドで書いたほうが建設的だな。
0369名無しさん＠お腹いっぱい。
2009/11/09(月) 18:22:290370名無しさん＠お腹いっぱい。
2009/11/09(月) 18:36:28どうぞ他のスレッドでやっていただけないでしょうか?
「並列やらない」なんて言ってるとこはどこにもないんですけど。
0371名無しさん＠お腹いっぱい。
2009/11/09(月) 18:52:360372名無しさん＠お腹いっぱい。
2009/11/09(月) 19:26:260373名無しさん＠お腹いっぱい。
2009/11/09(月) 19:55:04で、どっちがSunでどっちがOracle？
0374名無しさん＠お腹いっぱい。
2009/11/09(月) 20:00:440375名無しさん＠お腹いっぱい。
2009/11/09(月) 20:29:07もちろん、>374 がトンチキ。もろバレw
0376名無しさん＠お腹いっぱい。
2009/11/09(月) 21:37:45話の流れを読め。
0377名無しさん＠お腹いっぱい。
2009/11/09(月) 22:11:210378名無しさん＠お腹いっぱい。
2009/11/09(月) 23:38:510379名無しさん＠お腹いっぱい。
2009/11/10(火) 00:25:08並列性も解析対象になるのでしょうか？
0380名無しさん＠お腹いっぱい。
2009/11/10(火) 01:09:12できるんじゃね? 以下のようなのもあるし。
some issues reported by coverity for iscsi initiator
http://bugs.opensolaris.org/view_bug.do;jsessionid=2b3bf0bdaf22affffffffdebd6ab22e00a40?bug_id=6795073
0381名無しさん＠お腹いっぱい。
2009/11/10(火) 01:12:55Free Trial使って確かめれば良い予感
0382名無しさん＠お腹いっぱい。
2009/11/11(水) 03:01:13Sun買収劇の裏で、インテルとIBMがインサイダー取引?
0383名無しさん＠お腹いっぱい。
2009/11/11(水) 03:04:32TPCベンチマークとかはAPLではなくVictoria Fallsでやってるわけで、その路線だけで十分じゃね?
0384名無しさん＠お腹いっぱい。
2009/11/11(水) 07:12:56何やっても安定してスピードでるの?
同じ2.5GHzではSPARCのほうが速い?
0385名無しさん＠お腹いっぱい。
2009/11/11(水) 09:08:20Sunの幹部は関与してねえw
http://s.wsj.net/public/resources/images/P1-AS079_GALLEO_NS_20091016203329.gif
0386名無しさん＠お腹いっぱい。
2009/11/11(水) 17:19:34DEC DNARDも StrongARMに Open Firmwareだったんだな..
■ このスレッドは過去ログ倉庫に格納されています