Download as PDF, PPTX
カスタムメモリマネージャと高速なメモリアロケータについて
- 1. カスタムメモリマネージャと 高速なメモリアロケータについて @aizen76
- 2. 自己紹介 ハンドルネーム alwei Twitter ID@aizen76 alweiもしくはaizenのどちらかを使っています 流浪のゲームプログラマ Wii、DS、PSP、PS3、3DSのゲームとか作ってた 2Dゲーム好きなのに、実は3Dゲームしか作ったことがない 最近触手軍団に仲間入りして、オンラインゲームを作り始めました アジャイルとかTDDとか勉強中
- 3.
- 4.
- 5.
- 6. メモリ確保を監視、もしくは変更する C++においてnew演算子でメモリを確保する際に、 operatorオーバーロードでメモリ動作をフックします inline void* operatornew(std::size_t size) { return memAlloc(size); } inline void operator delete(void* deletePtr) { memFree(deletePtr); }
- 7. 何が嬉しいの？ * メモリをどこで確保したのかわかる * 残りのメモリ量がわかる *メモリの断片化具合がわかる * フリーストアやヒープ以外からでもメモリを取得出来る * メモリアラインメントが指定出来る * 状況によってメモリセクションを使い分けることが出来る * etc...
- 8.
- 9.
- 10.
- 11. エラーチェック カスタムメモリマネージャで確保されたメモリかをチェック メモリを確保する際にヘッダ情報を追加しておく ヘッダには一意のシグニチャを付加(0xDEADC0DE等が有名) 確保と開放時にこれが一致しないとエラー ■ new内部 AllocHeader* header= reinterpret_cast<AllocHeader*>(allocPtr) header->signature = 0xDEADC0DE; ■ delete内部 assert(header->signature == 0xDEADC0DE);
- 12. エラーチェック メモリ確保時に確保サイズ末尾にマーカー情報を埋め込む マーカーは二度と書き換えられないので、変更があったら 不正扱いとしてエラー処理を行う 配列などで確保した際にデータが壊れていないかに役立つ ■ new内部 int* marker= reinterpret_cast<int*>(memAddr + size); marker = MARKER_NUMBER; ■ delete内部 int* marker = reinterpret_cast<int*>(memAddr + size); assert(*marker == MARKER_NUMBER);
- 13.
- 14. デフラグ・メモリコンパクション 次々とメモリを確保していくと次第にメモリが断片化していく 断片化は長く起動するアプリケーションほど起きやすい 断片化が緩やかに進むといつかメモリが確保出来なくなる 小さいデータが大量にあって大きいデータを確保すると、 メモリの容量的には全然足りていても普通に確保出来ないことも ■ どうする？ C++以外の言語ではGCで勝手にお掃除してくれる メモリの情報を再配置(コンパクション)するしかない でもどうやって？
- 15.
- 16.
- 17.
- 18.
- 19.
- 20.
- 21.
- 22.
- 23.
- 24.
- 25. スモールオブジェクトアロケータ Modern C++ Designの作者、 AndreiAlexandrescuさんが考案したアロケータ 小さいオブジェクトのメモリ確保に特化している 小さいオブジェクトを効率よく確保しつつサイズも抑える 本当に小さいオブジェクト向けらしい 具体的には32バイト程度で64バイト以上は普通に遅い？ LokiというC++ライブラリの中ではあらゆるもので このアロケータを使用し、高速に動作しているらしい
- 26.
- 27.
- 28.
- 29.
- 30.
- 31.
- 32.
- 33.