いきちがいのぷろぐらむあ - PG雑記/assert系マクロ関係のメモ

ページを凍結するにはパスワードが必要です。

B I U D

H [[]] <br> --

管理者パスワード：

*** 下準備 4: 実メモリへのポインタのチェック

グローバル変数やローカル変数、ヒープ、プログラム領域等、
通常のアプリがメモリとして指すポインタのチェックとしては、
NULLチェックだけでなく、
可能ならば範囲チェックをしたほうがいい.
(I/Oとか特殊なアドレスは別枠のチェックとして考える）.

アドレス空間へのメモリーの割り当ては、当然、ハードごとに違いはあるけれど、
32ビットCPU以上の環境の場合、0からの数十KB,数百KB, あるいは、ケツからの数十KB,数百KBなどは、少なくとも、通常のプログラムや作業メモリーが割り当てられることは無いだろう、と考えられる.

とりあえず、そうだと考え、前後16Kを非RAMと仮定として
 #define ERR_IS_RAM_PTR(p)   ((size_t)(p) > 0x3fff && (size_t)(p) < 0xffffC000)

のようなチェックマクロを用意してみる.

win32 ならば 前 1MB, 後 256MBは非RAMにできるかもしれない(?)
 #define ERR_IS_RAM_PTR(p)   ((size_t)(p) > 0xfffff && (size_t)(p) < 0xf0000000)

PC環境でなく、コンシューマ機やターゲット機器の場合は、
仮想記憶をフル活用はせず、
RAMは固定範囲になっていることも多いと思われるので、
さらに、具体的な範囲を判定できる可能性が高い。

そのようにして用意した ERR_IS_RAM_PTR(p) を用いて
ERR_ASSERT_PTR(p) 等を作ることになる(後述).

~
こういうチェックは OS 環境下だけで作業していると、
つい汎用性を考えると手を出さずじまいになりやすいが、
他の環境の事情なんか後回しで、
今の環境でのデバッグを優先する、と考えればありだろうと思う.

たとえ、アドレス空間の先頭 数キロバイトだったとしても、
NULLチェックだけではひっかからないエラー
(たとえばNULLポインタでのメンバー変数のアドレス参照等)が
ひっかかるようになれば、メリットだろう.
(まして、範囲がかなり限定されるターゲット環境の場合は、やらないと損では？と)

凍結する凍結しない

テキスト整形のルールを表示する

PG雑記/assert系マクロ関係のメモ の編集・凍結

PG雑記/assert系マクロ関係のメモの編集・凍結