ᛒ
Size: a a a
2021 June 11
Oℕ
вопрос такой
Oℕ
если кто-то взял аксесс, а в это время
Oℕ
https://github.com/typelevel/cats-effect/blob/series/3.x/std/shared/src/main/scala/cats/effect/std/Hotswap.scala#L37
вот эта схема меня немного вымораживает
вот эта схема меня немного вымораживает
λ
Сам хотсвап несейфный нифига
Oℕ
там r1 release после r2 aqcuire
Oℕ
но я так понимаю, в любом случае swap в хотсвопе будет ждать предыдущего релиза
AG
чот по моему уже ни по одному пункту не актуально
λ
сценарий такой. что я внутрь хотсвапа через .evalTap подкладываю сет рефа
Oℕ
значит и твой реф на аксесс будет ждать предыдущего релиза, если он прямо вот щас произошёл
λ
так что новый ресуср как тока заакварится, станет в рефе досутпе
λ
а релиз ресурсав свопе подхачен так что он ждет эксклюзив лока
Oℕ
ну получается в рефе он появится только после того, как предыдущий освободится
ᛒ
вместо аниме обсуждают курьера, пейперы внезапно стали полезны, еду всю съели
Oℕ
ну как нет, у тебя евал тап после свопа, а своп ждёт предыдущего релиза, или не ждёт:
λ
r0 - old
r1 - new
1) r1 acquired
2) r1 set to holder Ref
2) r0 released (with excl lock)
r1 - new
1) r1 acquired
2) r1 set to holder Ref
2) r0 released (with excl lock)
KS
Ого, это задача Паши про регистры?
λ
evalTap внутри свопа,