AV
Вообще unsafe FFI на указателях безопасен только если ты используешь
##Size: a a a
2020 May 24
IR
Вообще unsafe FFI на указателях безопасен только если ты используешь
м?
AV
Т.е. если передаёшь в unsafe функцию
Ptr# и у тебя между вызовами нет никаких boxed объектовAV
Иначе есть шанс, что указатель уедет
IR
Передаю несколько
Addr#, да.AV
т.е.
let addr = byteArrayContents# x
ffi 1 addr
AV
Между вызовом в си и получением адреса он может уехать, т.к. там забокшенная однёрка
IR
т.е.
let addr = byteArrayContents# x
ffi 1 addr
в смысле, что все аргументы должны быть анбокснуты?
AV
Ага
IR
иначе оно полезет их доставать и адрес уедет
AV
ну и не let addr а case ... of addr ->
AV
Иначе создание забокшенного объекта может вызвать GC
AV
Причем например из-за другого треда
AV
В общем safe-points между вызовом byteArrayContents и ffi быть не должно
AV
Я бы не делал такого до тех пор, пока не доказана необходимость, баги если что-то сделать не так вообще будет не отловить, даже с memgrind-ом каким
IR
и тогда можно даже не пинить? (кроме как для выравнивания)
AV
Формально - можно
AV
Так запилил ретраи и tcp timeout про который вчера писал
MK
в опенсорс выложишь?
AV
acquire' = loop (fromMaybe 1 configConnectRetries) where
loop n = HC.acquire cfg >>= \case
Left e ->
if n <= 0
then error (show e)
else loop (n-1)
Right x -> pure x