GCは失敗。メモリは自分で管理せよ！ その2©2ch.net

■ このスレッドは過去ログ倉庫に格納されています
2015/11/18(水) 23:24:59.79ID:BUQ68wTG
GC、ガベージコレクション、ガベージコレクタ、ガーベジコレクション、ガーベジコレクタは使えない。
以下GCと記す

プログラマをメモリ管理から開放する！
といいつつ、メモリリーク問題の文献が大量にある。
これすなわち、メモリリーク問題が全然解決していないということ。
さらに、メモリ解放のタイミングの文献まで大量に生み出した。
これすなわち、新たなるメモリ管理に関する問題を生み出したということ。

malloc、freeじゃないが
結局のところ、メモリを管理するという技術は、今しばらくは、身につける・教える・学ぶべきではないだろうか？
使って、そのまま放置しても、基本的にはGCがなんとかしてくれている。
ランジョブからジョブ終了までさほどの時間を要さない。メモリも大して使わないならいいだろう。
しかし、規模が大きくなり常駐ジョブやメモリ大量使用のジョブになってくると、そんなメモリ管理の方法でやっていると、
上記「文献」を生み出されてしまう。

入門時は、メモリに無頓着でもいいだろう。それよりも、目的を達成することが先決だ。
しかし、慣れてきたら、やはりメモリの管理まで余裕を持って自分で行うべきだろう。

前スレ
GCは失敗。メモリは自分で管理せよ！
http://peace.2ch.net/test/read.cgi/tech/1412986420/
72デフォルトの名無しさん
垢版 |
2015/11/28(土) 17:52:47.31ID:CKvy7+My
>>68
ここでおしまい！って書いてあるだけ。
こんなんで冗長とは評価されない。むしろ読みやすい。と判断した。
2015/11/28(土) 18:23:41.31ID:ekTV2Qou
変数がどこで不要になるか明示しなきゃならんほど長い関数ばっかり書いてるのか
それともローカル変数とか無い言語を想定してるのか
2015/11/28(土) 18:24:46.08ID:q5KJxTWt
無駄なことするな
どうせ最適化で削除される
2015/11/28(土) 18:28:07.06ID:rTI66XO9
保守性より効率重視なんかでコード書くからメモリリークするんだよ。
2015/11/28(土) 19:04:25.52ID:ekTV2Qou
どんな意味でnull代入をしてるのか他人に伝わらなきゃ保守性もクソも無いよね
2015/11/28(土) 19:08:04.34ID:rTI66XO9
a = null;
で伝わらない人にはどんなコメント書いても伝わらないと思うんだ。
2015/11/28(土) 19:27:35.81ID:pohBt4lh
関数内ローカルな変数は
いくら大きくても大概スコープだけで
どうにでもなる。

javascriptみたいなのはlambdaでスコープ切ればいい。
79デフォルトの名無しさん
垢版 |
2015/11/28(土) 19:54:24.96ID:CKvy7+My
>>75,>>77
同じ結論ですわ。
null代入ってやっぱり特殊だから、コメントよりはるかに目が行く。
ここで使い終わったYO!！（逆に言えば、ここまでは意識してね。使ってるから。）ってわかってもらえれば良い。
2015/11/28(土) 20:10:37.33ID:ekTV2Qou
>>77
長い関数中にそれ出てきたら変数を使い回す前に初期化したいのかな？とかも考えるな
短い関数なら変数を使い終わったとか重要な情報じゃないから無駄な行入れて可読性下げてるだけ
2015/11/28(土) 20:14:43.65ID:pohBt4lh
永続的な変数でもなきゃ、変数の寿命はコンパイラが把握しているから、null代入がどんな変数にも必要なら勝手に挿入するんじゃね。

そうじゃないとしたら、なんでもかんでもnull代入が必要なんてのは幻想だよ。
2015/11/28(土) 20:16:46.53ID:Fi4wDTmy
勝手にnullを代入するとか、そんな変なコンパイラは困る
2015/11/28(土) 20:47:03.48ID:03HlMXbm
話は変わるんだがスマートポインタのメリットって何？
コンストラクタで例外投げたとき
そこまでに初期化したメンバ変数のデストラクタを呼ぶため
みたいなのは聞いたことあるけどそれくらいのもん？
2015/11/28(土) 21:01:25.91ID:DqKP/LxN
>>83
別にコンストラクタじゃなくて関数内で確保した場合でも、
例外じゃなくreturnで戻った時も勝手に解放してくれたほうが
有り難いし、そもそも解放処理って忘れやすいものだろ
傘を置き忘れたり洗濯物を洗濯機に入れっぱなしにしたことの
ないものだけスマートポインタに石を投げなさい
2015/11/28(土) 21:20:40.16ID:ETFlkHGB
null 代入したら行数増えるじゃん…全部のローカル変数にやってんの？
どうしても明示したければスコープで区切った方がまし
それでもインデントが深くなるのであれだけど
2015/11/28(土) 23:46:43.25ID:pohBt4lh
>>82
勝手にnull代入すると表現するから気持ち悪く感じるだけで、コンパイラが各変数についてもうアクセスされる可能性の無い基本ブロックに到達したら、その変数をGCのマークの起点として使用しないようにフラグを管理すると言えば当たり前の話じゃね。
フラグの持ち方として変数にnullを代入しているだけで。
2015/11/29(日) 00:14:42.24ID:qbMwzV1h
>>84
> そもそも解放処理って忘れやすいものだろ

それを忘れるなどとんでもない
確保＆開放なんてプログラミングの花じゃん
キモじゃん
そこを工夫するのが楽しいんじゃん
設計も楽しいし
チマチマテストすんのも楽しい
温泉行って湯につかり忘れる心配はない
2015/11/29(日) 00:30:29.12ID:Co3W2iFa
>>87
まあ勉強目的でやるならいいんじゃね
俺は元々ゲームプログラマだったからもう嫌になるほどやったし
メモリ周り工夫するなら言語設計からしたいわ
2015/11/29(日) 13:48:13.85ID:U49gaUJj
信じて送り出した >>87 がわがままな顧客を✕✕して三面記事に載るなんて…
2015/11/29(日) 14:29:40.51ID:c+9MHjtm
マークスイープ型のGCが必要かどうかについて、もう少し建設的な会話をしようよ
リソースを自動で開放してくれる機能は、無いよりは有った方が絶対に良い、と言い切ってよいよね
ただ、その方式が話の焦点だと思う

C++のスマポの参照カウンタ方式はデストラクタとの相性が良いし、RAIIもよく機能するし
開放されるタイミングもはっきりしているのて、手続き型言語と相性が良いし、軽い
ただし、循環参照があるとリークする
解決策として、片方をweak_ptrにするという方法が用意されている
weak_ptrは対象オブジェクトが開放されると勝手にヌルポみたいになるのでいろいろと悪用ができる

一方でマークスイープ系のGCは、循環参照があってもリークしない
しかし参照カウンタ方式に比べてマークスイープ系のGCが優れている点は、それだけ
重いし、いつ開放処理が実行されるか分からないので
リソース開放のタイミングを明確に行いたい場合のための別の仕組みが必要になった

どちらを選ぶ？
2015/11/29(日) 14:58:17.95ID:7vkfzAlt
GCの意見・・・OSではページファイル関連？
http://peace.2ch.net/test/read.cgi/tech/1447856699/l50
2015/11/29(日) 15:57:55.75ID:Co3W2iFa
そもそもc++においてメモリリークって対策も発見も
大して難しい部類のバグではないんだよなぁ
GCの優位性をアピールするために過剰に恐怖心を煽ってる気がする
2015/11/29(日) 16:00:08.95ID:sCmmZzWu
>>92
その程度の案件しか受けてないからだろう。
2015/11/29(日) 16:05:07.63ID:QSPcxrGF
>>90
つ世代別GC

immutableオブジェクトをバンバンnewしまくる関数型プログラミングに慣れてると
やっぱGCないとキツイわ
2015/11/29(日) 16:15:05.64ID:Co3W2iFa
>>93
いやいや普通難しいとされるバグってメモリ破壊とか同期周りだから
メモリリークなんてデバッガがチェックして丁寧なダンプ出してくれるし
組み込みとかの貧弱な環境なら専用のメモリ管理を用意して
いくらでも好きなチェックや情報出せるから
2015/11/29(日) 16:17:37.80ID:AV0cYAnH
>>92
それな
メモリの確保と開放の対応すら管理できない奴は
なんかもう何をどうしたってダメな気がする
初歩の初歩の初歩の話題を何度も何度も何度も繰り返しすぎ
97デフォルトの名無しさん
垢版 |
2015/11/29(日) 16:20:05.34ID:3h4H/kBH
忘れるとか忘れないとか池沼レベルの話じゃん。
ゴミクズ。

メモリの解放が必要ならそれは必要な機能の実装ってことになる。
それを忘れるってことはプログラムを組んでいて必要な機能の実装を忘れるってことだ。
必要な機能の実装を忘れるということは、例えば通販サイトのシステム開発請け負っておきながら、決済システムを実装し忘れるのと同等。
ありえない。
プログラム云々以前に頭の問題だろう。

必要な機能の実装を忘れる可能性におびえる池沼プログラマ。
最近流行りのADHD？なんじゃねえの。
2015/11/29(日) 16:24:33.80ID:sCmmZzWu
>>95
なるほど。経験の少なさがすぐ分るな。ログ出したらで数十ギガなんてよくあるよ。
ログから問題点をスクリプトで抽出するにも何時間とかかるとかいろいろ。
マルチスレッド絡んで特定のパターンだけだったりして再現性がなかったりする。
他システムの連携だと手が出せない部分の挙動がおかしい可能性もある。結局、oracleのバグだったとかね。
99デフォルトの名無しさん
垢版 |
2015/11/29(日) 16:25:01.11ID:1uX74bCE
>>97
決済システムとメモリ解放は違うよ。
通販サイトのシステムをC言語で実装してみればわかるかと。
2015/11/29(日) 16:36:20.27ID:Co3W2iFa
>>98
はあ？なんでリーク箇所ダンプするだけの話でログ全部吐き出すことになってんの
普通確保する際にヘッダにそのブロックの確保場所埋め込んでるし
アロケータで生存期間のスコープを切り分けといてすぐ分かるようにするけど？
お前の関わったプロジェクトが糞なだけじゃね？
2015/11/29(日) 16:42:54.34ID:snjMtaUP
そもそも今時c++でgcならなんとかなる類いのメモリリーク起こすなんて、プログラマが屑なだけ。
リソースリークやその他の問題も確実に起こすこと請け合い。
GC言語でそのレベルのプログラマを使うような案件はGCによるメモリオーバーヘッドが気にならず、リソースリークも問題にならないような非常に緩い案件でしかない。
2015/11/29(日) 16:46:22.91ID:sCmmZzWu
>>100
はぁ。話にならんな。扱ってる規模が違いすぎる。
2015/11/29(日) 16:52:06.50ID:Co3W2iFa
>>102
おいおい反論できずに捨て台詞かよ
上でも書いたがコンシューマで開発してたから
100人*数年の規模でやってたんだけど
もしかしてC++みたいな危険な言語使ってて
今の今まで解析ツールなり自前のメモリ管理なり知らなかったの？
2015/11/29(日) 19:41:19.37ID:GW0SCIDI
お前ら派遣だろw
全体規模とお前らが任されてる範囲を都合よく混ぜるな。
105デフォルトの名無しさん
垢版 |
2015/11/29(日) 22:07:37.11ID:3h4H/kBH
ほーら、自分の知能が一般人より低いと認めたくないがゆえにレッテル貼りが始まった。
普通の人が当たり前にできることができないってかわいそうだな。
もしADHD？だったら治療法あるらしいから病院行ってみたら？
ここでレッテル貼りやってるよりよっぽど解決する可能性が高いぞ。
2015/11/29(日) 22:12:02.58ID:QSPcxrGF
レッテル貼りは2chの華
2015/11/30(月) 08:34:00.92ID:qSWjFIuy
>>100
リーク箇所がわかってればログ出力の必要なくね？
ホントに開発したことあるのかな？
2015/11/30(月) 09:12:24.63ID:UQyKbzCH
>>107
普通C++のプロジェクトは専用のメモリ管理を用意するから
リークしたメモリはそれを確保したクラスとその行数まで特定できるようにしてるよ
アロケーターも分離しとけばアプリケーション終了させなくても
管理オブジェクトを破棄した時点でリークの判定できるし

リーク箇所特定するのに全ログから解析とか複合的なバグでもない限りしない
そんな状況許してる時点で負け
2015/11/30(月) 12:11:48.62ID:fg7tHWVi
100人で数年のシステムなら
10人で一年でやるべきだな。
人を無駄に増やせば、意思疎通や連携に無駄に労力を割く。
開放云々より仕様レベルで齟齬が出やすくなるわ。
2015/11/30(月) 15:00:18.02ID:Ee9Jt/HC
>>108
リークしたクラスが分ればリーク原因が分るとかお花畑杉w
2015/11/30(月) 19:23:16.25ID:UQyKbzCH
>>110
誰もリークしたクラスの事なんて言ってないんだが…理解できてる？(笑)
解らないなら解るだけの情報埋めたら？
2015/11/30(月) 19:24:12.90ID:Ee9Jt/HC
おいおいw
2015/11/30(月) 19:31:17.77ID:UQyKbzCH
>>112
そもそもGCがあろうとコンテナに突っ込んで消し忘れれば
オブジェクト破棄するまでメモリ圧迫し続けるって理解できてる？
リーク単体ならC++はそれと同等のレベルまで分かりやすく出来るんだよ
C++が困難なのはそういった管理情報も簡単に破壊出来てしまう点
リーク単体なら怖くはない
2015/11/30(月) 19:47:37.41ID:UQyKbzCH
なんかだんだん笑えて来たんだけど、ろくに理由も言わずに
「わかんないんですけど！？わかる奴はお花畑(怒)！！」って
なかなか面白い奴だな
115デフォルトの名無しさん
垢版 |
2015/11/30(月) 19:50:22.70ID:isQX20zS
メモリの解放すら管理できない奴が、複雑な仕様を管理できるとは到底思えない・・・。
メモリの解放なんてなんの苦にもならんが・・・。
2015/11/30(月) 20:14:21.83ID:Ee9Jt/HC
やれやれw

MSやLinuxやFreeBSDまでメモリリークやらかす理由が分らないのか。
2015/11/30(月) 20:30:16.55ID:UQyKbzCH
>>116
また反論できずに逃走かよw
そもそも欧米は原因分かっててもバグ無視する連中だろうがw
ライセンスで守られてりゃ平気で放置するぞ
2015/11/30(月) 20:33:04.33ID:V9s4KAVu
人生の管理ができない奴が、メモリを管理できるとは到底思えない
2015/11/30(月) 20:49:26.08ID:UQyKbzCH
そもそもLinuxカーネルもFreeBSDカーネルもC言語だろ
馬鹿丸出しだなw
2015/11/30(月) 21:16:22.39ID:zT+q2mn+
>>115
それな
プログラミングにおいてメモリ周囲はまだ初歩だよな
そしてマルチスレッドはそれよりは大変だがこれも慣れると
結局大事なところをガッチリ排他処理するだけのことだしな

プログラミングって最後はインタフェース設計だけだから
使いやすくてコンパクトなインタフェースを求めていくだけ
これがプログラミング道の後半の道のり
2015/11/30(月) 21:18:50.76ID:Ee9Jt/HC
>>120
で例外系の実装がないから破綻するんだよ。実務経験ないとすぐ短絡的になるのが分る。
2015/11/30(月) 21:25:49.32ID:zT+q2mn+
意味が不明すぐるｗ
2015/11/30(月) 21:28:33.92ID:Ee9Jt/HC
うむ。まだおまえには早いかもしれない。
2015/11/30(月) 21:47:43.54ID:UQyKbzCH
>>122
馬鹿相手にしても時間の無駄だぞ
こいつ具体的なこと何も言わんし
2015/11/30(月) 22:07:34.86ID:zT+q2mn+
>>124
そやね
一連のレスの意図すらよーわからんわ
2015/12/01(火) 00:23:09.00ID:s1rcgCDh
Guilty Crown?
たしかに失敗作だったなあ…
2015/12/01(火) 01:24:29.91ID:mVPa8mQr
GCが云々というより抽象的なプログラミングしたい時は基本的なメモリ管理を言語に任せたいという欲求
2015/12/01(火) 01:27:09.96ID:mVPa8mQr
>>113
c++素人なんだけどリーク単体はともかくそれにメモリ破壊が合わさると頭がおかしくなって死ぬ
みたいな感じ？
2015/12/01(火) 01:30:32.01ID:s1rcgCDh
GCは関数型プログラミングでのみ正当化される
命令型プログラミングでは全く正当化されない

命令型プログラミング（＝チューリングマシンに基づく計算モデル）は読み書きの「順序」こそがネ申なので
命令コードの「順序」を横断して存続するブツは善と悪の最終戦争で滅ぼされるであろう
つまり確保し、使ったら後開放する、これを明示的に書き下す姿勢こそが正しい
2015/12/01(火) 01:31:50.27ID:s1rcgCDh
>GCは関数型プログラミングでのみ正当化される
ちな、これは処理系の裏方としての存在が許される、の意味
2015/12/01(火) 01:36:31.76ID:mVPa8mQr
関数型プログラミング好きだけど
代数型データ型と型クラスでモナドとかアプリカティブとかtraverse、free monadとかやってる時に
メモリ管理だの言われたら余裕で死ねるな
本物のhaskellプログラマはhaskellで低レイヤを書くらしいけど
2015/12/01(火) 04:32:07.54ID:79aHC4wo
口 先 人 間 展 覧 会 。（ｱﾊ
2015/12/01(火) 12:55:11.72ID:S8usJREu
>>128
> メモリ破壊が合わさると

これが合わさるとなんでもありありなので何が起きても不思議はない
なので、ダングリングポインタの管理と配列のレンジチェックはちゃんとやるべし
2015/12/03(木) 12:20:09.85ID:AuS7g0FI
ここでメモリ確保
ここでメモリ解放

たったこれだけが書けない管理できないとかw
2015/12/03(木) 12:23:19.04ID:n26CULk9
知らないでやるって幸せなことなんですね
2015/12/03(木) 13:19:32.39ID:N5r0JkUz
>>134
下には下がいるんだよ
2015/12/03(木) 13:29:54.15ID:JbiOZ/E3
メモリリークは開放忘れでなると思ってる低レベルがいるのか。
2015/12/03(木) 14:07:05.91ID:n26CULk9
低レベルなことを舐めるなよ
139デフォルトの名無しさん
垢版 |
2015/12/03(木) 16:32:54.69ID:JraK7tKY
>>134
mallocでOSから確保したメモリはfreeで解放されないんだが、

「ここで解放」はどうやって書くんでしょう?
140デフォルトの名無しさん
垢版 |
2015/12/03(木) 19:43:25.89ID:R/g8PPkY
>>137や>>139みたいのが知識や技術に溺れて本質を見失い、
人と会話ができなくなった人の見本なんだろうか
141デフォルトの名無しさん
垢版 |
2015/12/03(木) 19:47:17.15ID:JraK7tKY
>>140
今まで正しいと信じきってた鰯の頭が迷信だと指摘され発狂中
142デフォルトの名無しさん
垢版 |
2015/12/03(木) 19:53:39.75ID:R/g8PPkY
>>141おｗ　おまえ会社で孤立してるだろ派遣ｗ
143デフォルトの名無しさん
垢版 |
2015/12/03(木) 20:32:35.32ID:R04IP6VM
確保したやつが解放するんだぞ。大丈夫か？
2015/12/03(木) 20:33:46.24ID:cWTIfUD3
想像を絶するアホは居るもんだよ
if (cond) exp; の場合も中カッコを必ず付ける流派ってのがあって
理由を聞くと
if (cond) {exp1; exp2;}とするはずが
if (cond) exp1; exp2;としてしまうのを防ぐための常に中カッコらしい

中カッコを書き忘れるくらいの意識レベルで書かれたコードって
他のとこももう全部ダメだろそれは
2015/12/03(木) 20:52:03.75ID:s/TINiTx
>>144
お前がアホなｗｗｗ
2015/12/03(木) 21:25:03.70ID:n26CULk9
カッコ先につけといたほうが　後々、都合がいいことも
2015/12/03(木) 21:30:08.65ID:WeEbsZB7
アホな書き方といえば
　if ( 1 == a ) {
って比較元と先を逆にしてる奴
2015/12/03(木) 21:41:57.39ID:4rUKwdGH
別におかしくない
基準値が先にあって、それと比べてaがどうなのか、と考えるか
aが先にあって、基準値と比べてどうなのか、と考えるかの違いでしか無いから
どっちでも良い
2015/12/03(木) 21:59:47.07ID:/xqyH1ID
>>147
知ってて言ってると思うが、定数を==の左辺にするのは
if (a=1) { ...
と書き間違うのを恐れているらしい

>>139
free()から設計し直す、
まあfree()の度OSにメモリを律儀に返していたらパフォーマンスが多少落ちるがGCに精神を汚染されるよりはマシ

>>135
スレッド安全に書かない奴が悪いていうかそれは別の話
シングルスレッド状況（またはそれと等価な状況）では>>134の言っていることは全く正しい
2015/12/03(木) 22:27:47.14ID:zepIVOGi
ここ数日一気にレベルが下がったなw
ＧＣの話しろよw
2015/12/03(木) 22:46:13.76ID:srgQPG9D
つーか前スレと同じこと書いてる人多数
頼むから前スレ読んできて
152デフォルトの名無しさん
垢版 |
2015/12/04(金) 04:37:18.54ID:HtuddwW0
【　オンラインTCGエディター　】　>>1

デュエル・マスターズ的な非電源TCGの　《　オンライン化ツクール系ソフト　》　制作の企画。

例えば、ガチンコ・ジャッジを直ぐにでも導入できる機能を持っておりながら、
当面それを扱わず単純化させておいて、事後的に導入拡張する際に当該システムを
ブロック構造の組み合わせで後付け挿入できるように予めシステム化してあるソフト（エディター）。
既存の非電源TCGを劣らずに再現できるならば大概のニーズに応えられる筈。
バトスピ、ヴァンガ、ウィクロス、ポケカ、デジモン、ゼクス、モンコレ、ガンダム・ウォー、ライブオン、ディメンション・ゼロ、カードヒーロー、シャーマン・キングなど
のシステムを完全再現できるように設計するけど、他に此のTCGの此のシステムは再現希望とか有ったら書いて。
マジック：ザ・ギャザリングの全システムを完全に再現するのは無理だから、此れだけは必用だ！って部分のみリクエストして。
WEB通信での対戦は、個vs個、多数乱戦、チームvsチーム、個vsチームを可能な仕様とする方針。

設計思想は　《　RPGツクール　》　が良いかな？　　他に、優れたエディター有ったら挙げてみて。

個人や企業などのベンダーが提示する開発費（見積もり）で折り合えば、発注する。
↓
エディター群から基本コンセプトを絞り込む（もちろんオリジナルで優れた新ネタが有れば導入する）。
↓
遊戯王OCGに関しては、タッグフォース、ADS、デュエルオンラインを発注先ベンダーに研究させる。
なるべく前述３つで可能な再現は全て実装させる方向を目指す。　まぁ努力する・・・
バトスピ、ヴァンガ、バディ、デュエマなど発売済みゲームソフトが存在してるケースはベンダーに研究させる。
↓
各社TCGを再現するテストプレイ　⇒　更に改良や修正。
↓
機能制限した下位版を５万円以上で発売　＋　デュエリ−グ用に改造した上位版でサーバー稼動＝営業開始。
↑
下位版の改造および商用利用には、別途で当社との契約が必要。

さ〜て、製作ベンダー見つけよっと！ｗｗ（ｸｽ
http://wc2014.2ch.net/test/read.cgi/entrance2/1449039272/-18
2015/12/04(金) 12:21:13.29ID:GzeAUkqU
>>149
>free()から設計し直す、
>まあfree()の度OSにメモリを律儀に返していたらパフォーマンスが多少落ちるがGCに精神を汚染されるよりはマシ

じゃ>>134は設計し直してから言うんだな。坊や。
って、事でオッケーね。
154デフォルトの名無しさん
垢版 |
2015/12/04(金) 20:05:33.81ID:SAJ9n/s7
>>137これって何が言いたいの？OSやライブラリ自体にミスがあるって言いたいの？
wikiより
>メモリリーク (Memory leak) とは、プログラミングにおけるバグの一種。
>プログラムが確保したメモリの一部、または全部を解放するのを忘れ、確保したままになってしまうことを言う。
>プログラマによる単純なミスやプログラムの論理的欠陥によって発生することが多い。

>>137みたいなこと言う奴って、電磁波からデータが盗まれる！対応しないと！とか言い出すタイプ？
2015/12/04(金) 21:16:45.71ID:7W1HEY29
>>151
そもそも１５年ぐらい前から延々繰り返されてるんだが…
2015/12/04(金) 23:45:19.53ID:j6MEWqDN
>>154
開放コードを忘れずに書いたのに開放されないという怪奇現象がマルチスレッド状況ではしばしばあるんじゃー！
マルチコア時代になってこれはますます危険になった
見ただけで正しさがわかる系のスレッド安全策はクロックサイクルを糞のごとく消費するし…

こういうのは専門家が徹底的にデバッグしたGCで面倒を見て欲しいと思う反面、
やっぱプロセス全体のごみ処理を選任モジュールにやらせるのはクロックサイクルをドブに捨てるがごとき
センス無い設計なｷﾓｽ、、
2015/12/05(土) 00:08:28.41ID:+HxrBEdK
それ単にメモリバリアの問題じゃ…
2015/12/05(土) 04:01:37.91ID:2vAbbe+i
>>154
入門書に書いてるコードしか見たことないんだね。
スレッドプールみたいなテクニックは高速化のためにみな普通に使うんだよ。
OSやライブラリにもメモリリークなんてよくあることだし、それらのバグも開放忘れて起きてるイージーなバグじゃないよ。
他のバグやトラブルがメモリリークという形で表面化してるにすぎない。
159デフォルトの名無しさん
垢版 |
2015/12/05(土) 08:28:25.61ID:Pfi54LUx
>>158
具体的にいつのどのバージョンのライブラリで起きてるの？
使い終わったらメモリを開放しろ。使い終わってないなら開放する必要はない。これとスレッドプールとどこに関連性があるの？
2015/12/05(土) 09:45:44.55ID:P9ivIQ+p
>>159詰めても無意味。
こういう連中は、まず自分の考えややり方が絶対正しく絶対に曲げない。曲げないために無理やり理由を当てはめようとしている。
で、さもそれを自分はやってるように言っているが、実際は単に本に載ってることを言ってるだけ。
実装もできない。面前で詰めてやれば発狂して勝敗がハッキリつくけどネット上では無理だね。
2015/12/05(土) 09:48:00.71ID:BOwcKS4A
メモリの話とスレッドの話を混ぜ込んでしまうタイプは
問題の切り分けがそもそも出来ないタイプ
だからメモリリーク（）に悩まされる

スレッド間の協調と、メモリのケアは直交する別の話題
2015/12/05(土) 10:18:00.14ID:NRX1k+Is
>>158
ちょっ漏れが作ったわけでも漏れの使い方に問題があるわけでもない階層で起きるメモリリークの責任を漏れに負わされても困る…
それに他人が作ったモジュール内でのメモリリークも結局は開放が書かれていなかったか、書かれていても正しくなかったからリークしているはず…

>>161
全面同意だが同意したからと言ってメモリリークがゼロになるかっていうと以下略
単純にクリティカルセクションとかキューによるシリアライズ（Active Objectパターン）で排他して
マルチコアを活かさずパフォーマンスをドブに捨てて良ければ平和なんだが…
2015/12/05(土) 12:34:30.29ID:eGerJrSR
だからメモリを自動開放してほしいときはスマートポインタを使えばよいだろ
循環参照が無い限りshared_ptrで問題ないだろ
循環参照がある場合はどちらかをweak_ptrにすれば済む話だろ

現実にshared_ptrの様な物が存在して無いなら、そういう議論も意味があるが
実際にはshared_ptrは現実に有るのだから、自動管理したい場合は使えばよいだけの話でしかない
2015/12/05(土) 12:38:09.16ID:eGerJrSR
むしろ議論すべきはshared_ptrのような参照カウンタ方式のスマポと
言語ビルドインのマークスイープ系のGCとで
どちらが良いか、だろう

参照カウンタ方式は循環参照で問題を起こすし
マークスイープ系のGCはいつ実行されるか分からない
2015/12/05(土) 13:11:12.91ID:eGerJrSR
つまり、完璧なGCは無いということだ

完璧なGCが無い以上、使う側が状況に合わせて選べた方が良いわけだが
そうなるとC++/CLIのような変体言語しかないのが残念だ
2015/12/05(土) 13:42:35.29ID:FurPG6R/
普通に言語を選べば良いだけの話では
167デフォルトの名無しさん
垢版 |
2015/12/05(土) 13:49:45.99ID:Pfi54LUx
このスレ論点が一致してないよね。
　freeやdeleteを記述すべきという論点で話をしている人
　freeやdeleteしたところでメモリが解放されてるわけではないですがという論点の人
　freeやdeleteは当然、さらにnull等を記述すべきという論点で話をしている人
　GCの実装そのものを論点にしている人
論点がばらっばらだから咬み合わない
2015/12/05(土) 13:58:32.14ID:wharPYQR
>>158
> OSやライブラリにもメモリリークなんてよくあることだし

よくあると言うなら１０個ぐらいすぐにあげられるよな
もちろん最新版でリークする奴ね
2015/12/05(土) 14:16:25.84ID:2vAbbe+i
MSのサイトにfix分と調査中のものが全部公開されてる。他のOSもlog、mlみれば腐るほど出てくる。

10個上げろとか、ほんと幼稚園児かよ、おまえらは。頭悪すぎw
2015/12/05(土) 14:33:31.47ID:9PUwCRa0
C++でRAIIを徹底しておくのが一番いいよ
解放タイミングのコントロールが必要になったら後からでも柔軟に対応できるし
GCは解放に係る少し変わった条件が発生した時に滅茶汚いことをしなきゃならなくなる
2015/12/05(土) 14:36:53.80ID:NRX1k+Is
shareed_ptrはC++で比較的効率よくやれることと、GCしたい人が真にやりたいことの妥協の産物であって
どんなシチュでもベストにフィットするような一押しの決定版ってほどでも無い…

参照カウンタの排他が不要で循環参照が無いことも保証できるまで設計が詰められているなら
スレッドごとに、メモリを確保して使って返す処理を直に書くのが一番良い
2015/12/05(土) 14:43:55.34ID:9PUwCRa0
確保／解放を直に書くのはスピード的には一番速いだろうけど解放漏れバグの温床過ぎてネ
特に例外が絡むとやってられない状況になる
■ このスレッドは過去ログ倉庫に格納されています
5ちゃんねるの広告が気に入らない場合は、こちらをクリックしてください。
ニューススポーツなんでも実況