Dotaz: kontrola zarovnania adresy

[Michal Hocko]

Zdravim, neviete mi niekto poradit, co pouzit pre kontrolu, ci dany pointer odkazuje na spravne zarovnanu adresu?

Potrebujem aby to slo aspon na POSIX kompatibilnych systemoch.

Dakujem

Odpovědi

[Michal Hocko]

Zabudol som dodat, ze ide o ansi C.

[machr]

if((int)ptr % zarovnani == 0) { ...

[Michal Hocko]

a ak chcem, aby to bolo prenositelne, napr. Solaris 1, Solaris 2, HP-UX? Skor by som potreboval nejaku funkciu (makro), ktora tieto veci schova.

[Michal Kubeček]

Nebyl bych si jistý, jestli to bude přenositelné, zejména na big endian architektury.

[machr]

jo, to je pravda. pokud sizeof(int) != sizeof(void*) tak na big-endian by to asi nefungovalo...

idealni by bylo, kdyby existoval ciselnej typ, kterej je vzdy stejne velkej jako pointer. ale nikdy sem to nepotreboval, takze jestli existuje nevim...

[Michal Čihař]

Jmenuje se tuším intptr_t.

[machr]

tak sem to zkousel a skutecne je to tak

je definovanej v souboru unistd.h, takze pokud to tazatel chce jako makro, tak staci napsat:

#include <unistd.h>

#define TEST_MEMORY_ALIGNMENT(p, a) ((intptr_t)(p) % (a) == 0)

a melo by to bejt prenositelny...

[Michal Kubeček]

Ještě jedna poznámka: intptr_t není definován v <unistd.h> ale v <stdint.h>.

[machr]

ale tenhle kod me prelozit sel:

#include <unistd.h>

int main(int argc, int argv) {
        intptr_t x = 0;
}

stejne jako tenhle:

#include <stdint.h>

int main(int argc, int argv) {
        intptr_t x = 0;
}

takze <unistd.h> mozna vklada <stdint.h>

[Michal Kubeček]

Ano, <unistd.h> includuje <stdint.h>. Rozdíl je v tom, že zatímco hlavičkový soubor <stdint.h> je definován přímo standardem jazyka C, <unistd.h> je specifický pro posixové platformy.

[Michal Hocko]

Nejde o to, ako to definovat ako makro. To je trivialne, v momemente, ked je jasne, ake to zarovnanie skutocne je. Je mi jasne, ze taketo makro musi fungovat rovnakym alebo aspon podobnym sposobom.

Moj dotaz ale znel: existuje (kde je definovane) makro alebo funckia niekde v systemovych knizniciach, ktora to riesi. To znamena, ze nemusim mat plno ifdef pre rozne platformy, ktora sa celkom lisia.

Ak sa k tomu nedostanem, tak samozrejme definujem to makro samozrejme sam a budem musiet skumat, ako to je pre rozne platformy, z coho nie som velmi nadseny...

Kazdopadne ale dakujem za rady.

[Michal Kubeček]

Ne úplně. U intptr_t je pouze garantováno, že konverze jakéhokoli pointeru na intptr_t a zpět zachová hodnotu (tj. že intptr_t je "dost velký, aby se do něj vešel pointer"). Což v důsledku de facto implikuje sizeof(intptr_t) >= sizeof(void*). Ale stejná velikost garantována není.