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

**デフォルトの名無しさん転載ダメ©2ch.net** · 2015/11/18(水) 23:24:59.79

GC、ガベージコレクション、ガベージコレクタ、ガーベジコレクション、ガーベジコレクタは使えない。
以下GCと記す

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

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

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

前スレ
GCは失敗。メモリは自分で管理せよ！
http://peace.2ch.net/test/read.cgi/tech/1412986420/

**デフォルトの名無しさん** · 2017/05/26(金) 12:05:46.50

>>638
FrameGCはゲームというかRTSに特化したGCだね

・ローカルに発生したオブジェクトは溜め込んでフレームの終わりにまとめて開放する
・グローバルに結びついたオブジェクトにはカウンタGCを適用する
・フレーム毎に循環参照のチェックを少しずつ行う

ざっくりこんな感じ？

**デフォルトの名無しさん** · 2017/05/26(金) 20:16:13.14

内部的にC#をC++に変換してるからC#をスクリプト的に使ってるだけで実質C++だな。当然GC・メモリアロケータ周りも身内実装。

**デフォルトの名無しさん** · 2017/05/26(金) 22:20:13.64

>>640
C++のスマートポインタみたいな形で実装できるのかな？
俺は検討してみたけど無理だったw

**デフォルトの名無しさん** · 2017/06/03(土) 06:38:16.81

そこまでやって既存のフレームワーク使えるのって疑問が。

**デフォルトの名無しさん** · 2017/06/03(土) 10:06:08.23

GCがconflictするんですね判ります

**デフォルトの名無しさん** · 2017/09/11(月) 12:41:54.43

「メモリ」+「フラグメンテーション」で検索すると色々と詳しい話が出てくるね。

**デフォルトの名無しさん** · 2017/09/11(月) 13:14:06.52

ここが分かりやすかった

ttps://www.uquest.co.jp/embedded/learning/lecture17.html
ttp://www.kaede-software.com/2015/06/post_655.html

**デフォルトの名無しさん** · 2017/09/11(月) 13:44:59.20

メモリのフラグメンテーションなど実質的には気にする必要は全くない
なぜなら現実のコンピュータにはMMUが付いてるから
物理メモリの連続空間が枯渇することは考えなくてもよい
あり得るとしたら32bitプロセスでの論理アドレスの連続空間の枯渇であるが
64bitプロセスにすれば問題ない
もともと論理アドレス空間が枯渇するかもしれないほどメモリを使うのなら
64bitプロセスにするのが当たり前なので・・・
というわけでメモリのフラグメンテーションは気にしなくてよい
CPUのキャッシュのヒット率を上げるとか、そういうことでなければ

**デフォルトの名無しさん** · 2017/09/11(月) 17:53:09.29

そうなん？
ガベコレの回収効率が悪くなって
無駄な使用領域が増えて枯渇しやすくなるんじゃね

**デフォルトの名無しさん** · 2017/09/11(月) 18:13:16.59

>>647
GCのアロケートサイズとページングサイズの区別もついてないアホはスルーでよろしく

**デフォルトの名無しさん** · 2017/09/11(月) 20:33:05.66

程度の問題であって
世のプログラムがフラグメンテーションなど気にせずとも
普通に動いているのを見てわかる通り、問題になってない
MMUがあるから

**デフォルトの名無しさん** · 2017/09/11(月) 21:54:05.93

>>646
そういうぬるい環境で済むところもあればそうじゃないところもある
ゲームコンソールだと物理メモリサイズに最適化するからな
STLとかdefault allocatorで気軽に使ってヒープ汚しまくってると
そのうち物理メモリ足りなくなってページアウト

**デフォルトの名無しさん** · 2017/09/12(火) 10:09:32.99

必ず来ると思った、その反論
しかし、稀な事例を持ち出して、どうこう言っても仕方がない

**デフォルトの名無しさん** · 2017/09/12(火) 12:38:17.20

MMU のお陰でふらぐめんてーしょんが起きない環境の方が希だと思うが

**デフォルトの名無しさん** · 2017/09/12(火) 13:22:19.16

フラグメンテーションはアドレス空間や実メモリ量が限定される環境をどううまく使うかの話だから
MMUがあって64bit空間なら平気と言われてもな

**デフォルトの名無しさん** · 2017/09/13(水) 03:53:58.25

そそ、複雑なプログラムって書こうと思えばいくらでも複雑化するからな。
で、簡潔で高度と思われる機能を追加していくほど難易度は指数関数的に増大するし。

**デフォルトの名無しさん** · 2017/09/13(水) 05:10:44.22

でも実際スマホアプリ作ってんのにフラグメンテーションを防ぐ為に最初に使用する分全部確保しておいて、その中で割り当てするんだーとかいって、オレオレアロケーター作ろうとする頭の悪いやつがいて困る。
逆にお前の作ったそのアロケーターの中でフラグメンテーションして枯渇するわと。

**デフォルトの名無しさん** · 2017/09/13(水) 07:42:12.50

組み込みなんかでよくあるそういうのは、どっちかというと最初に確保したメモリ以上を
使用しないことを保証するためにやるもんだろう。

**デフォルトの名無しさん** · 2017/09/13(水) 08:52:01.48

アロケータ置き換えるだけでは普通解決しないでしょ
>>655 こそが置き換えて何するのか理解できてない気がする

**デフォルトの名無しさん** · 2017/09/13(水) 22:09:52.04

むしろ一定時間を保証する（なのでサイズは固定長とかが多い）もんだろ

**デフォルトの名無しさん** · 2017/09/17(日) 13:06:26.21

いくら64bitあっても設計が雑ならメモリ枯渇するでしょ
ページング方式でメモリ消費されてんだし

**デフォルトの名無しさん** · 2017/09/17(日) 13:32:06.14

MMUのアドレス変換コストもタダじゃない。
TLBキャッシュ外れたら遅くなる。

**デフォルトの名無しさん** · 2017/09/17(日) 13:32:07.34

1回のメモリ取得で4kづつ消費されるわけか

**デフォルトの名無しさん** · 2017/09/17(日) 13:49:19.58

ツリー状のメモリ管理するとあっという間にメモリ無くなるな
class CTree{
std::vector<CTree>;
};
とか

**デフォルトの名無しさん** · 2017/09/17(日) 14:00:55.72

こうするとさらにメモリが消えていくな
class CTree{
std::map<std::string,CTree>;
};

**デフォルトの名無しさん** · 2017/09/17(日) 14:12:30.87

間違えた。

class CTree{
std::vector<CTree> m_Tree;
};

class CTree{
std::map<std::string,CTree>m_Tree;
};

で、ツリーのノード一つ毎に上は4kづつ下は8kづつメモリを消費するわけで・・・

**デフォルトの名無しさん** · 2017/09/17(日) 15:23:52.56

一回のメモリ取得で4KBってのが嘘だから意味が無い話だね
MMUついてたって、そんなアホな実装は無い

4KBだかの1ページ分の中での細かなメモリ断片化はおおむね無視できる、ということ
メモリ断片化で困るのは大きなサイズのメモリを確保しようと思ったとき
連続したアドレスが確保できなくてコケる、ということだからね
これに対してMMUは有効ということ
メモリが断片化で多少無駄遣いされる分にはスワップしてでも動くから

そんでこれは程度問題
大概の場合は問題にならない

**デフォルトの名無しさん** · 2017/09/17(日) 15:38:01.00

https://ja.wikipedia.org/wiki/動的メモリ確保
＞また、粒度の細かいページングは、ページングテーブル
＞(物理アドレスと論理アドレスの対応表)が大きくなるため、
＞4KB程度の大きなブロック単位でしか割り当てることができない。

ウィキペディア見るとそのアフォな実装がまかり通ってると読めるんだが・・・

**デフォルトの名無しさん** · 2017/09/17(日) 15:48:55.35

アホだなぁ
OSレベルのメモリ確保と言語レベルのnew、mallocは別

**デフォルトの名無しさん** · 2017/09/17(日) 16:00:06.71

こっちも参考になる
https://ja.wikipedia.org/wiki/%E3%83%A1%E3%83%A2%E3%83%AA%E7%AE%A1%E7%90%86%E3%83%A6%E3%83%8B%E3%83%83%E3%83%88
CPUによってMMUの実装が異なる点は面倒だな

**デフォルトの名無しさん** · 2017/09/17(日) 16:06:24.06

>>667
ちゃんとmallocやnew時のアドレス確認はしたか？？かなりアフォな動作してるぞ？
まあ、多少のrealloc程度の処理なら何とかしてくれるけどな。

**デフォルトの名無しさん** · 2017/09/17(日) 16:13:26.66

mallocやnewは
大きなサイズを確保するときと
小さなサイズを確保するときで
アルゴリズムが切り替わる

**デフォルトの名無しさん** · 2017/09/17(日) 16:17:08.43

VC++2015での実行結果

auto a = malloc( 10 );
auto b = malloc( 10 );
wchar_t tmp[ 100 ];
::swprintf_s( tmp, 100, L"a = %x, b = %x \n", a, b );
::OutputDebugString( tmp );

----------------------------------------

a = 10a4f0, b = 10a508

残念でしたね

**デフォルトの名無しさん** · 2017/09/17(日) 16:17:49.54

MMUは多少以上の処理をすると簡単にフォールト返すのが困りもの
結局初心者レベルのプログラマしか想定してないんだよな

**デフォルトの名無しさん** · 2017/09/17(日) 16:30:36.71

>>671
realloc使った事ある？

**デフォルトの名無しさん** · 2017/09/17(日) 16:34:30.81

お前が残念なことと何の関係が？
あほらし

**デフォルトの名無しさん** · 2017/09/17(日) 16:37:39.46

複雑なことをしていると、それがまるで正しいかのように思う点がアフォ
多少複雑なことをしていてもアフォな挙動をする可能性はあると考えるべき

**デフォルトの名無しさん** · 2017/09/17(日) 17:05:23.31

malloc,newの挙動の説明ってまんまMMUの説明なんだよな
だから複雑なアルゴリズムを使われていると思うのはMMUが複雑な挙動をしているから
でも、そんなに複雑な挙動してるか？？
単に過去のアプリとの互換性の問題で変な事をしているだけだぞ

**デフォルトの名無しさん** · 2017/09/17(日) 17:16:19.17

たいがいのmalloc,newはMMU次第でいくらでも挙動が変化するからな
ちゃんとPC毎に動作確認したか？？

**デフォルトの名無しさん** · 2017/09/17(日) 17:44:23.50

ID:S40DCpdn しったかしすぎ
mallocの挙動はヒープのアルゴリズム次第

**デフォルトの名無しさん** · 2017/09/17(日) 17:55:14.06

malloc,newの挙動はハードとOSによって変化するという記述は見たことあるけどな

**デフォルトの名無しさん** · 2017/09/17(日) 18:02:58.95

ごめん、ハードとソフトウェアだった

**デフォルトの名無しさん** · 2017/09/17(日) 18:10:58.66

ヒープの管理しないでなんとかなるレベルのものはgc言語使えばいいんでは？
このスレの趣旨的にそうでしょ？

**デフォルトの名無しさん** · 2017/09/17(日) 21:59:59.26

自分はメモリ対策プログラムを作って対応したけどな。
メモリサイズを三種類用意して、メモリに対するガードの確実な作りにした。
現在のサイズに使われてるサイズにリミットサイズの三種類のサイズな。
外に出てくるサイズは現在のサイズ、
使われてるサイズはメモリを増やした場合の最大取得サイズで、事実上の取得サイズ、
リミットサイズは取得できるメモリの上限。
で、これらを組み合わせてスーパークラスを作って基本的に対応させてる。

**デフォルトの名無しさん** · 2017/09/17(日) 22:08:00.63

メモリの増減には現在のサイズで対応し、このサイズが必要以上に大きくなると
使われてるサイズを拡張するようにした。リミットサイズは滅多に使わないけれども、
一応対応させた。
メモリに対する読み書きは専用関数を経由して読み書きするようにしたから、
素人が使っても安全なぐらいのプログラムになってる。

**デフォルトの名無しさん** · 2017/09/17(日) 22:27:01.93

あと、動的配列ってのを作って、複数のメモリ取得に対応させた。
メモリにヘッダとフッタを用意して、フッタには複数配列のデータに対応させ、
ヘッダには配列数とメモリサイズを入れてる。フッタには>>682のデータを持たせた。
ある意味では拡張コンパクションみたいなモノになった。

**デフォルトの名無しさん** · 2017/09/17(日) 22:33:12.53

で、アローケートが一回だけになるようにして、あとはリアロークで対応させた。
おかげでメモリの消費効率は異常なまでに効率よく使えるようになったよ。
あと、動的配列使う場合はいったんメモリをフォーマットするようにしたけどね。

**デフォルトの名無しさん** · 2017/09/17(日) 23:21:53.67

それから、動的配列は入れ子構造にすれば色々と応用がきくようになってるけどな。
で、追記式みたいにデータが動くツリー構造とかが使えるようになってる。

**デフォルトの名無しさん** · 2017/09/17(日) 23:27:13.12

アセンブラできない馬鹿がC++使うことを想定するとGCは成功と言わざるをえない。

**デフォルトの名無しさん** · 2017/09/18(月) 05:14:41.46

ID:S40DCpdn は壊れたプログラマ

**デフォルトの名無しさん** · 2017/09/19(火) 04:18:18.94

メモリを動かして処理すれば出来る事なのにな
出来る事を出来ないというのは間違い

**デフォルトの名無しさん** · 2017/09/19(火) 09:15:50.12

誰へのレスかすらわからないというね
誰も何も「出来ない」という趣旨のレスはしてないと思うが
独り言かね

**デフォルトの名無しさん** · 2017/09/19(火) 12:34:55.99

前日に連続して意味不明な独り言してるやつがいるからそれの続きだろ

**デフォルトの名無しさん** · 2017/09/19(火) 17:17:32.47

ワッチョイ推奨

**デフォルトの名無しさん** · 2017/09/23(土) 13:33:17.07

malloc()関数の内部はOSからメモリをまとめて取ってくる処理と、
すでに取ってきたメモリを（free()で空きが生じたとき）やりくりする処理の2本立て

前者の処理（システムコールの呼び出し）は比較的高コストなのでmalloc()の度に呼びはしない
また後者の処理は、連続したアドレス範囲のメモリを確保できている前提で動く

ページングはもっと下のレイヤーで行われるので、
malloc()のコード自体がMMUの有無やOSの違いを関知したりはしない

**デフォルトの名無しさん** · 2017/09/23(土) 13:35:30.80

例外的な変態実装は知らんが、まあ普通は

**デフォルトの名無しさん** · 2017/09/23(土) 14:27:08.01

最近はjavascriptのレイヤーとかまで出来てさらに複雑面倒に

**デフォルトの名無しさん** · 2017/10/26(木) 07:49:10.45

かなり無駄な処理してそうだ

**デフォルトの名無しさん** · 2018/05/23(水) 21:27:23.53

僕の知り合いの知り合いができたパソコン一台でお金持ちになれるやり方
役に立つかもしれません
グーグルで検索するといいかも『ネットで稼ぐ方法　モニアレフヌノ』

3682F

**デフォルトの名無しさん** · 2018/07/05(木) 00:30:07.61

IZ6

**デフォルトの名無しさん** · 2018/08/31(金) 07:07:54.70

保守

**デフォルトの名無しさん** · 2018/08/31(金) 23:14:14.49

結論：GCは失敗

**デフォルトの名無しさん** · 2018/10/30(火) 23:04:20.19

GCをルンバで例えたらどうだろう

自動

しかしテーブルの上や
冷蔵庫の中は片付けない

日常生活にさしさわりなく動いてほしい

**デフォルトの名無しさん** · 2018/10/30(火) 23:46:35.14

それに加えてルンバが動けるように床は片付けておかないといけないとか
自動で上手く機能させるために気にしないといけない事が色々ある

**デフォルトの名無しさん** · 2019/07/03(水) 08:55:46.04

もういらないって明示的に書かなきゃならないのなら自前で管理するのと一緒だよな。
アマチュアがサンデープログラムしたり、短時間で終了するアプリならむしろ楽チンだけど、
365日24時間稼働し続けるシステムには致命的な問題になるからなぁ

**デフォルトの名無しさん** · 2020/02/13(木) 08:56:02.27

まあ落ちるアプリの多いこと

**デフォルトの名無しさん** · 2020/02/13(木) 15:29:41.61

GCがある言語でも、shallow copy と deep copy のどちらにすべきかの判断が難しくて、結局、間違えてバグの原因になる可能性がかなり残る。

また、C/C++ポインタのミスを危険視する人がいるが、多くの場合はプログラム開発時にテストをすれば間違いが発見できる。

C/C++でのバッファオーバーランを気にする人がいるが、逆にGCがある言語でも、間違って1つ右隣の要素にしてしまったり、処理する個数を1つ間違ったりするミスは有り得て、その場合、厳密な意味でのバッファオーバーランは無くても処理内容自体はバグる。

**デフォルトの名無しさん** · 2020/02/22(土) 01:52:20.63

No GC派なんだけど、WebサーバーをC++とかで実装しても結局力持て余す感はあるよな
それだからかなり性能下げてもいいからちょっとでも早く作れるスクリプト言語採用されるってのもありそう

**デフォルトの名無しさん** · 2020/02/25(火) 21:09:36.95

GCのメリットは言語の文法が簡単になること。
GCはスクリプト言語のためにある。

**デフォルトの名無しさん** · 2020/02/26(水) 10:49:39.07

(destructor)()
dispose()
destroy()
close()
free()
delete

**デフォルトの名無しさん** · 2021/10/13(水) 08:41:51.52

今やGCのない言語でweb framework書く人間は絶滅危惧種

2022/12/27(火) 13:22:02.97

このスレってガイジ扱いされてたけどRustとか出てきて実は正論だったんじゃね？って見直してるわ

**デフォルトの名無しさん** · 2022/12/27(火) 15:08:00.70

てへっ(∀｀*ゞ)ﾃﾍｯ

**デフォルトの名無しさん** · 2022/12/28(水) 20:55:42.01

おれはGCが最初から分かりづらいなぁと思ってたよ。mallocやnewより

**デフォルトの名無しさん** · 2022/12/29(木) 10:46:26.29

>>708
release

**デフォルトの名無しさん** · 2022/12/29(木) 16:52:23.68

GCは停止時間問題を解決できないまま生涯ふわふわした存在で居続けるのだよ

**デフォルトの名無しさん** · 2023/01/01(日) 09:16:28.52

>>1は、2014年に問題提起してるのか・・・。

Rustとかは2010年ころ発表だけど、実際に一般に知られるようになったのって2021年頭から
>>1は、それなりに的を射た技術理解・評価をしてるんだな

俺は人気の言語を覚えて、周りが言ってるメリットを、反対派にコピペするだけだけどｗｗ

ま、Pythonのお手軽さを超えることはないと思うけど、どこまでRustは伸びるのかなぁ

**デフォルトの名無しさん** · 2023/02/08(水) 15:30:25.91

やはりGCは必要だった

WebAssemblyにガベージコレクション機能が登場、Chrome 111で試験的実装に。Dartなど高級言語のWebAssembly対応へ前進
https://www.publickey1.jp/blog/23/webassemblychrome_111dartwebassembly.html

**デフォルトの名無しさん** · 2023/02/10(金) 09:06:41.51

すべてがBASICに戻る

**デフォルトの名無しさん** · 2023/02/11(土) 11:51:58.99

>>717
それもいいな

**デフォルトの名無しさん** · 2023/03/08(水) 00:10:24.00

GCを含め、「機械に不慣れな人でも簡単にプログラミングできるようにする」という
これまで高級言語が行ってきたような試みはすべてAIに取って替わられるような気がする
まあ、現時点のAIは使い物にならないかもしれないが、いずれは…

**デフォルトの名無しさん** · 2023/03/10(金) 23:04:44.35

AIに「これはゴミか？」を学習させていって人間がゴミ認定される日も近い

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

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