И допустим дожидается ли исполнения native кода, когда пришло время сборки

никогда не слышал про safepoints. а так собирает ничего не ждёт. если тебе надо передать чего в ffi то ты это аллоцируешь в запиненой памяти. ну или тупо malloc

Ну ты ж понимаешь, что копирование не всегда вариант, а если ссылка утекла, то её не дропнуть

всмысле?

что такое "дропнуть" если память запинена?

А, понял.

Прост gc ничего не сделает

https://ghc.haskell.org/trac/ghc/wiki/Commentary/Rts/Storage/GC/Pinned

> Nevertheless, this is a useful case, because we often want to allocate garbage-collectable memory that can be passed to foreign functions via the FFI, and we want to be able to run the GC while the foreign function is still executing (for a safe foreign call). Hence, the memory we allocated must not move.

я так понял что вопрос об этом

вроде где-то был целый доклад @qnikst про это

было дело

Эт специальный участок памяти ?

на ruhaskell в мск

я так понял что вопрос об этом

Да, я уже нашёл. Спс

мне лень читать выше, если повторите вопрос, то я отвечу

специально помечаемая память, которую нельзя перемещать

Мне нужно констрейнт написать вида Forall (MonadFoo m, MonadBar m) m. Я понимаю что это как-то делается с помощью Data.Constraint.Forall, но у меня от него рейджквит в прошлый раз был. Есть где-нибудь пример для тупых?

Мне нужно констрейнт написать вида Forall (MonadFoo m, MonadBar m) m. Я понимаю что это как-то делается с помощью Data.Constraint.Forall, но у меня от него рейджквит в прошлый раз был. Есть где-нибудь пример для тупых?

там чот с Dict насколько я помню, но это не точно

специально помечаемая память, которую нельзя перемещать

А есть пример использования ? Интересен именно перенос из управляемой памяти в pinned

А есть пример использования ? Интересен именно перенос из управляемой памяти в pinned

https://www.youtube.com/watch?v=xlymbMe105Q вот доклад на эту тему

Мне нужно констрейнт написать вида Forall (MonadFoo m, MonadBar m) m. Я понимаю что это как-то делается с помощью Data.Constraint.Forall, но у меня от него рейджквит в прошлый раз был. Есть где-нибудь пример для тупых?

https://stackoverflow.com/questions/21262407/how-do-i-use-data-constraint-to-reify-constraints/

по-моему это по другое пример

точно про другое

@gurinderu тот доклад вроде норм, должны покрываться все вопросы, но если что то лучше опиши задачу, чтобы не пересказывать все мануалы

а слайды к докладу кстати где-то есть? На видео не видно.

Меня прост интересует есть копирование памяти или нет)

А если нет, то что будет если запинить обьект в young generation и чтоб он был большой

@catamorphism щас поищу

Меня прост интересует есть копирование памяти или нет)

начнём с того, что с haskell объектами ты работать из си врятли сможешь если ты не настоящий джедай

обычно конвертируют в структуры си

перемещается ли объект зависит от типа памяти где он живет pinned vs unpinned

C friendly типы обычно pinned

Vector.Storable/ByteString например

примитивные типы Foreign.C.* передаются по значению и двигать там нечего

если джедай и хочется работать с Haskell heap objects то наверное самое разумное использовать эти как-там их

секунду

если джедай и хочется работать с Haskell heap objects то наверное самое разумное использовать эти как-там их

а есть пример, допустим у меня есть какое-нибудь дерево, и будет ли копирование, когда я захочу отдать его в c?

как ты отдашь его в си?

и как ты собираешься в си с ним работать

вопросы не риторические

ну зная примерный layout в памяти, почему нельзя с ним работать?

зная примерный - нельзя

зная точный - можно

ок, зная точный)

ты знаешь точный layout?

можно через compact-ы

сомнительно и через компакты

вообще обычные haskell объекты unpinned

и если unsafe FFI call, или передаешь данные не через # ссылки, то их могут переместить

даже с unsafe надо передавать #

и если unsafe FFI call, или передаешь данные не через # ссылки, то их могут переместить

собственно в этом и вопрос

если ты не знаешь что такое kind # то не надо так делать

задача непонятна для начала, звучит как будто хочется очень странного

да

Эта задача в вакууме

просто тут отвечают, что ты этого не хочешь

особенное если в вакууме

=)

но вообще, если хочешь работать с haskell heap, то тебе нужно класть объекты в compact region

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

но, тут есть сложность, это не питон или кложа

подключить haskell.h где будут хедеры для всех структур не получится

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

и не знаю как гарантировать ABI

в общем так себе задача, я бы не решился

учитывая что складывание в компакт это копирование структуры

главный вопрос вообще зачем это делать

это должен быть достаточно интересный алгоритм для которого прыжок в си для работы с деревом на haskell даст ощутимый бонус

because I can

например, вполне валидное желание

разве что

но, я предпочитаю заниматься because I can когда я знаю почти все из области

это должен быть достаточно интересный алгоритм для которого прыжок в си для работы с деревом на haskell даст ощутимый бонус

вопрос был в вакууме)

есть опасность because I can't

@gurinderu доклад советую посмотреть, сможет снять ряд вопросов я думаю

я конечно не очень весело рассказываю

ой-ой

а я не могу сделать ForallF C m, если C - тайп синоним

кажется приплыли