Size: a a a

2020 March 10

DS

Doge Shibu in rust_offtopic
источник

P

Pavel in rust_offtopic
Doge Shibu
Там скорее что-то вроде mark. Разница в том, что небольшие регионы памяти и в детерменированное время, не как у обычного гц.
ну, "обычных гц" много, марк+свип вроде как за детерменированное время исполняется, или ты про момент его старта?
источник

P

Pavel in rust_offtopic
сам фрии этож не вечь гц, иногда ещё дефрагментировать надо, например
источник

DS

Doge Shibu in rust_offtopic
Pavel
ну, "обычных гц" много, марк+свип вроде как за детерменированное время исполняется, или ты про момент его старта?
Про момент старта.
источник

DS

Doge Shibu in rust_offtopic
Pavel
сам фрии этож не вечь гц, иногда ещё дефрагментировать надо, например
Этим в языках без гц занимается системный или кастомный аллокатор
источник

P

Pavel in rust_offtopic
Doge Shibu
Отдельный вопрос как работать в такой схеме с многопоточностью, автор эту тему обходит, предлагает в случае fork-join concurrency делать деаллокации разделямых значений в join
можно локи в марке хранить
источник

P

Pavel in rust_offtopic
или я не понял, в чём проблема? оно же видит "значение ушло в другой поток", тоесть вопрос в каком потоке освобождать?
источник

P

Pavel in rust_offtopic
тоесть, тут статически не выйдет кроме джойна потому, что нельзя порядок завершения определить, но можно тот же рц/марк использовать как и всегда
источник

DS

Doge Shibu in rust_offtopic
Pavel
или я не понял, в чём проблема? оно же видит "значение ушло в другой поток", тоесть вопрос в каком потоке освобождать?
Тот IR над которым автор статьи работает потоки в себя не включает.
источник

DF

Dollar Føølish in rust_offtopic
Што такое марк
источник

DS

Doge Shibu in rust_offtopic
И анализа подобного не совершает
источник

DS

Doge Shibu in rust_offtopic
Dollar Føølish
Што такое марк
mark шаг в гц, где мы определяем, что ещё живо
источник

DF

Dollar Føølish in rust_offtopic
А, ок,спасибо
источник

P

Pavel in rust_offtopic
Doge Shibu
Тот IR над которым автор статьи работает потоки в себя не включает.
возможно out of scope для его работы просто -- не хотел отвлекаться
источник

DS

Doge Shibu in rust_offtopic
Pavel
возможно out of scope для его работы просто -- не хотел отвлекаться
Ну да, там минимальный IR, который он вначале рассматривает вообще без мутабельности и полиморфизма

Потом уже добавляет их отдельно
источник

DF

Dollar Føølish in rust_offtopic
Не хотел отвлекаться на real-world
источник

P

Pavel in rust_offtopic
Dollar Føølish
Што такое марк
ну и сам тег объекта -- тоже марк -- пометка
источник

DS

Doge Shibu in rust_offtopic
Dollar Føølish
Не хотел отвлекаться на real-world
Так IR и должен быть минимальным насколько это возможно.
источник

DF

Dollar Føølish in rust_offtopic
Да, я рофлю прост.
источник

DF

Dollar Føølish in rust_offtopic
Типа в хаскеле же есть real-world, вот не хотел на него завязываться
источник