Сгенерить и скомпилить кусок C++ кода в рантайме. Какие есть фреймворки?

"...мать, мать, мать" — привычно отозвалось эхо

Есть ещё libgccjit.

насчёт генерации не скажу, а для компиляции в рантайме фреймворк называется GCC :)

точнее, g++ -x c++ -

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

Можно luajit встроить. И генерить код для него. Так ИМХО понадежнее получается

Можно посмотреть в сторону ROOT от CERN

Зачем именно в рантайме генерировать? Используй protobuf.

https://github.com/RuntimeCompiledCPlusPlus

man dlopen чем не угодил?

Premature optimization is the root of all evil

Бугага, а в лиспе это уже 20 лет делают.

Тот чувак вроде из МС, да ещё индус до кучи.

Я бы, как и товарищ выше, посоветовал не плюхаться сразу на рантайм, а использовать Protobuf. У него достаточно вменяемый IDL, привязки к куче языков.

Или дело совсем плохо, и до рантайма структура данных тебе совсем неизвестна?

// Вчитался внимательно...

А у меня сейчас есть схема данных (ну типа перечисление типов и имён полей). Эти поля приходят в засериализованном виде. Вот хочется на лету скомпилить бинарный код десериализации потока заданного в конфиге формата.

То есть прямо так и есть, сначала в потоке приходит описание данных, а потом сами данные, и априорной информации по структуре нет?

Как-то это скайнетом попахивает... :)

можно написать модуль десериализации для какого-нить скриптового языка и генерировать в рантайме скриптец под нужую структуру

https://swiftshader.googlesource.com/SwiftShader/ /HEAD/docs/Reactor.md

А в с++ уже нельзя что-ли сделать массив указателей на функции?

Типа

int (**sch)(int socket, void *data);

int init_sch(type_t *type, int sch_num_fields)
{
  sch = malloc( sch_num_fields * sizeof(void*));
  if( !sch ) return -1;

  // заполняем твою последовательность полей. Лучше конечно в цикле 
  // в соответствии с type[i]
  sch[0] = deserializeInt;
  sch[1] = deserializeInt;
  sch[2] = deserializeString();
  sch[3] = deserializeString();
  sch[4] = deserializeInt();
  sch[5] = deserializeInt();
  return 0;
}
...


// где-то потом, где надо десериализовать твой поток, вне зависимости от схемы просто делаешь:

for( i = 0; i < sch_num_fields; i++ ) sch[i](socket, data);

По скорости ничуть не медленнее будет, и без портянок с if( type == ... )

По скорости ничуть не медленнее будет

Не медленнее, чем портянка if'ов. Но вот как в сравнении со специализированным кодом? Предсказание неявных переходов только в современных процессорах стало не самым глупым, а раньше просто запоминало и использовало предыдущий адрес перехода. Задержки на ошибку — 10-20 циклов.

Может оказаться быстрее спекулятивно распарсить, а потом cmov'ом взять значение. Ну а специально сгенерированный под ситуацию код может оказаться ещё быстрее.

Только вот смысл всего этого?

Может ему как раз портянка if'ов не нравится. А case он ненавидит. Ну вот вариант без портянок.

Ясен пень, специализированный код быстрее всего будет, однако ненамного.

Лисперсы понабежали.

редсказание неявных переходов только в современных процессорах стало не самым глупым

Во-во, боятся нечего. Можно о конкретном процессоре разузнать тут

http://www.agner.org/optimize/microarchitecture.pdf

Как будто что-то плохое.

Можно посмотреть в сторону ROOT от CERN

Какой-то огромный зверь, отличающийся нестандартными флагами в autotools (видел на мониторе коллеги)

Не трожь каку!

microarchitecture

Как раз в эту самую pdf'ку смотрел, когда возник вопрос «а как долго выполняются неявные переходы».

Больше всего меня в этой pdf'ке удивило упоминание Skylake — автор всё ещё обновляет свой труд. В прошлом варианте, что я видел, об этом ни слова не было.

Во, с указателями на функции совет неплохой. Зачёт!

не на сам РУТ, а на Ц++ интерпретатор(ы) - cling, cint последний предпочтительней, потому что может работать под виндой и для не завороченного Ц++ подходит вполне.

кака, давно издохла и плохо и воздух не осинезирует, но интерпретатор как-то, куда-то движется.

Лучше генери ассемблер или сразу машкод (ассемблировать можно внутри процесса с помощью LLVM MC или чего-то такого). Насколько я понимаю, в этой задаче весь код будет однотипным и компилятор С++ нахрен не сдался

А если надо сложную логику, то лучше используй скриптоту с jit, luajit например

OK

с помощью LLVM MC

лучше даже взять MacroAssembler из вебкита, он вообще никаких зависимостей не потянет, правда он поддерживает меньше архитектур

cling, штоле?