Есть ли выравнивание данных в C/C++ структурах?

Не просто может, а должен. И программист не имеет права не то что на определенный вид выравнивания закладываться, но даже и на последовательность элементов структуры.

Кому это не нравится, тот должен использовать pragma packed.

uint8 *t=(uint8*)(&(e->indexinfo_header->table_object_id));
printf("сдвиг=%lld\n",t-(uint8*)e->indexinfo_header);

сдвиг=12

Теперь вопрос - как с этим жить?

struct test_t {
  int  a;
  char b;
  int  c;
} __attribute__((__packed__));

struct test_t test = { 10, 20, 30};

Угу. вот так. только непонятно что мне делать с этим дальше :)

Мужик, повторяю еще раз тут.

У тебя структура выравнена по DWORD. Это делается для того, что бы ты имел доступ к памяти вообще (в нормальных процессорах) и быстрый в intel.

Если ты расчитываешь только на intel, то можешь брать pragma paked, но про перфоманс можешь забыть.

Да и как про попытку собрать это на чем-то отличном от intel.

Ээээээ мне тут из зала подсказывают что на arm/atom/mips такое сделать нельзя:

uint8 *data=malloc(1000);
((uint32*)(data+3))[0]=1;

> правда ли это?

подтверждаю, сегфолтится. с не выровненными полями структур, ЕМНИП, нет такого: компилятор всё знает и генерирует код для побайтной записи/чтения в кривые поля.

то есть оно при выполнении этого кода даёт sefault?

http://people.debian.org/~aurel32/qemu/arm/ http://people.debian.org/~aurel32/qemu/mips/

и проверяй сам

На Atom наверняка можно, на остальных - вряд ли (на PowerPC точно невозможно).

Возьми уже готовый storage backend :)

угу. умный? ну дай мне готовый storage-backend. и опять же, не забудь про всякую фигню с этим связанную. всё равно когда из него данные достаёшь их парсить как-то надо.

http://www.innodb.com/products/embedded-innodb/download/

> угу. умный?

Можешь считать меня трусом, если хочешь.

ну дай мне готовый storage-backend

SQLite? BerkeleyDB? Что-то Erlang-специфичное?

и опять же, не забудь про всякую фигню с этим связанную

Про фигню не знаю, но по крайней мере с индексы там уже реализовали.

Нет, правда - я верю, что ты круто разбираешься в SQL, параллелизации и прочих высокоуровневых вещах, но хотя бы для прототипа возьми готовое решение.

в erlang очень мило указанный мной innodb впиливается и получается много счастья!

> в erlang очень мило указанный мной innodb впиливается и получается много счастья!

По мне, так он большой слишком и избыточный, но это всё равно лучше, чем свой писать.

не хочу я брать готовое решение. не хочу я брать эрланг.
берклидб всё равно не очень помогут, ибо (например) если у меня есть таблица с данными и я храню строки в качестве записей бдб, то всё равно получается что всё ячейки в строке должны быть выравнены и так далее.

Опять же, ещё вопрос будет ли беркли переноситься с одной платформы на другую. Хотя конечно взять беркли мысль заманчивая.

просто опять же, если мне нужно сделать индексы по таблице то мне придётся делать для каждого индекса по берклёвому хешу

ээээ. а почему bdb называется oracle bdb? o_O я многое пропустил в своём анабиозе

и я правильно понял что я тогда не смогу сделать closed source?

bdb принадлежал Sleepycat Software, Inc которую в 2006 купил oracle

угу. вопрос на засыпку, а кто купил innodb?

ну innodb как бы gpl

> не хочу я брать эрланг.

O_o

и я правильно понял что я тогда не смогу сделать closed source?

Думаю, и для BDB, и для InnoDB можно договориться о не-GPL лицензии.

А вот чтобы закрыть SQLite, договариваться ни с кем не надо :)

bdb и innodb (сюрпрайз) принадлежат ораклу. с ним договариваться очень просто - $5800/ядро_процессора.

erlang - я как нашёл его особенности работы с памятью так вся любовь и закончилась. он если не может выделить память то валится полностью, всей виртуальной машиной.

> он если не может выделить память то валится полностью, всей виртуальной машиной.

Ты overcommit отключил?

ну вообще это известная фича эрланга

> Теперь вопрос - как с этим жить?

Не понял, а чем это тебе вообще мешает?

И, знаешь, теперь уже совсем ясно - никакую СУБД ты не напишешь. Зря стараешься.

>Не понял, а чем это тебе вообще мешает?

Например, прочитать из файла заданного формата?

Например, прочитать из файла заданного формата?

не умеешь int32 на 4 int8 разделить?

Что было бы проще, прочитать разом структуру и всё, или трахаться с отдельными полями?

Что было бы проще, прочитать разом структуру и всё, или трахаться с отдельными полями?

проще использовать кодогенератор, из того же ASN.1.

Ну просто топик был про с/с++

Ну просто топик был про с/с++

Для С++ можно на шаблонах соорудить.

ASN.1????

Размер структуры выравнивается на границу 4 байт.
Но можно установить любое.

> то есть оно при выполнении этого кода даёт sefault?

да не помню я, какое именно прерывание оно возбуждает :) там вообще ucos был, не линукс, да и набор исключений там другой… я лично с армами не работал, только с мипсами (кроме х86), просто видел этот прикол у сотрудника, который портировал на арм одно наше приложение; он ещё на этот нюанс на перекурах жаловался, с матами и прочим, поэтому и запомнил ;)

тоесть да, код, который вызвал исключение выравнивания на армах, уже не может быть продолжен. в х86 процессорах (начиная, ЕМНИП, с 486) можно было установить флаг выравнивания, при котором при соблюдлении выравнивания получался значительный прирост в производительности в/в с памятью, но при нарушении выравнивания — исключение процессора, но не фатальное, т.е. обработчик исключеия мог обнулить флаг выравнивания прерванного «процесса» и продолжить его выполнение уже без оптимизации выравнивания данных.

>Размер структуры выравнивается на границу 4 байт.

Особенно на 8-битных системах так любят делать...

Но можно установить любое.

Мне плиз 3 бита отмерьте.

ASN.1 конечно не получится, но что-то типа Boost.Spirit для двоичных файлов.

> Размер структуры выравнивается на границу 4 байт.

4.2. любые данные (кроме кода), выравниваются на адрес, кратный размеру данных. т.е. поле типа int64_t будет выровнено на границу 8 байт. 128-битный float будет выровнен на 16-байтную границу и т.п.

Я тебе говорю за размер структуры, т.е.
struct first
{
int a;
char ch;
}
будет занимать 8 байт, правильно?!

POD структуры выравниваются. Существует единственное правило (точно не приведу), оно зависит только от размера членов (и порядка следование). по моему правило один в один совпадает с С

Если у тебя появится хотя бы один private и аже с ним - компилятор имеет право разложить данные как хочет.

Да. Может и вставить. Но тогда все компиляторы вставят. Вот только переносимости по моему однозначное не будет

> будет занимать 8 байт, правильно?!

для гцц — да. но сейчас проверю, на всякий случай :)

8 будет, и на х86 и на х86_64

> 8 будет, и на х86 и на х86_64

так точно :) проверил пока только на х86_64+gcc и х86_64+sunCC, за другие копмиляторы не ручаюсь. собсно, всё логично: вполне возможно, что тип будут использовать как элементы массива, а сохранять для него выравнивание — дело чести для компилятора. хоть и не для каждого… =( в своё время компилятор от sun меня разочаровал чуть больше, чем полностью: оптимизирует здорово, но криво…

еще раз: компилятор не имеет право изменять выравнивание элементов структуры. это определно в стандарте

еще раз: компилятор не имеет право изменять выравнивание элементов структуры. это определно в стандарте.

компилятор и не изменяет, это далает тот, кто пишет программу.

> компилятор не имеет право изменять выравнивание элементов структуры

изменять выравнивание с какого значения на какое, для каких архитектур и при каких условиях? ;)

> это определно в стандарте

пруфлинк ;)

> пруфлинк ;)

Я немного не в состоянии щас копаться в стандарте

изменять выравнивание с какого значения на какое, для каких архитектур и при каких условиях? ;)

Может, если стуртура не относится к простым.

В общем покапавшись в памяти:

варвание члена внутри структуры такое же, как и самого члена отдельно. То есть если он занимает 6 байт, то выравние по 6ке. Далее - массивы не учитываются. То есть если у нас массив из 4 чаров, то выравнивание первого идет как просто чара.

далее. размер структуры точно кратнен самому большому типу. Если не ошибаюсь, то он вообще кратен наименшему общему кратному. Но это не точно.

Выравнивание структуры делается по кратному тоже - так чтоб любой член был выравнен так же, как если бы он был без структуры.

Все это надо, чтоб на некоторых типах процессоров не было лишних прерываний (типа альфы).

POD структуры не теряют своих особенностей когда являеются базовам классом. а вот далее уже может начаться какафония - это уже дело компилятора что и как полужить, и не определно в стандарте