![](https://secure.gravatar.com/avatar/5df0826103ac2831792d86aee4606c8c.jpg?s=120&d=mm&r=g)
10 Nov
2009
10 Nov
'09
4:12 p.m.
Samium Gromoff <_deepfire@feelingofgreen.ru> writes:
A missing detail: while the vector is created in a live core all /seems/ to be well[1]. But when it comes from a dumped core, it gets a chance (there doesn't appears to be a determinism there) of being in a write-protected region.
Yeah, that'd explain it. We don't correctly restore information about whether a page is boxed or unboxed when loading a core (relevant bits in coreparse.c, and in gencgc.c:gencgc_pickup_dynamic). -- Juho Snellman