Привет. Нужна помощь с FFI. Странная хрень творится. В общих

Question

Привет. Нужна помощь с FFI. Странная хрень творится. В общих

словах, DLLшка на расте должна вызвать функцию в екзешнике на C/C++. Поэтому функция на С становится колбеком и я её вызываю на расте.

Трабла в том, что возникают проблемы с возвращением этой функцией значения. Какой-то мусор возвращается(если число большое, маленькое срабатывает, возращение u32 работает), а если Option<ptr>, то вообще сегфолт. Вообще, функция должна возвращать указатель, но он, будучи 8мибайтным, ломается.

Сигнатура
pub type FooCallback = extern "C" fn(*mut c_void, Position2D) -> u64

На крестах:
u64 foo(SomeClass* class, Position2D position) { ..}

Position2D это структура, содержащая x:i32, y:i32

Вызов колбека растом:
let foo:FooCallback = ..//Я пропущу, там специальной функцией присваивается.
let value = foo(some_class, position);

Вот вроде всё работает, а внезапно сегфолт. Есть идеи? Может я забыл где-то приписать какой-то extern?

И что за хрень, что Option<*const c_void> весит 128 байт?!

#backend #embedded #programming #russian #rust

0

17.10.2020

10 ответов

7 просмотров

Anton Trionprog Автор вопроса

Д. С.
В первую очередь проверить алокацию памяти. Если о...

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

0

17.10.2020

Anton Trionprog Автор вопроса

Д. С.
В первую очередь проверить алокацию памяти. Если о...

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

0

17.10.2020

Эрик

На что ты возвращаешь указатель?

0

17.10.2020

вафель 🧇🍓

Option<*const> состоит из 8 байтов указателя + 1 байт тэг, по скольку размер должен быть кратным выравниванию (а оно у *const — 8) то размер становится 16 байтов, все логично. Чтобы сработала оптимизация тэга, нужна дырка в указателе (NonNull)

0

17.10.2020

Emmanuel Goldstein

Аккуратно, NonNull включает covariance, это может быть не то, что ты хочешь.

0

17.10.2020

Mikail Bagishov

Да. NonNull<*c_void> Это ненулевой указатель на указатель на void

0

17.10.2020

Anton Trionprog Автор вопроса

Mikail Bagishov
Да. NonNull<*c_void> Это ненулевой указатель на ук...

А, понял, это подобно моему OptionPtr на расте. Ну вы поняли, что это =)) Правда нет ромального паттерн-матчинга и я пишу if (auto object = ptr.match()) {..} else {..}

0

17.10.2020

Anton Trionprog Автор вопроса

Emmanuel Goldstein
Аккуратно, NonNull включает covariance, это может ...

кстати, что значит covariant?

0

17.10.2020

Emmanuel Goldstein

Anton Trionprog
кстати, что значит covariant?

Номикон объяснит лучше, чем я https://doc.rust-lang.org/nomicon/subtyping.html

0

17.10.2020

Д. С. · Accepted Answer

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

172 похожих чатов

Привет. Нужна помощь с FFI. Странная хрень творится. В общих

10 ответов

Похожие вопросы