Dmitry Zavalishin

Store arena info in special objects of .internal.arena type? To be consistent? Add to thread object ref to its personal arena Reclaim thread arena - pass it to global allocator...

Each arena is started with arena marker object. All markers are linked in a list to rebuild arena map on restart. First marker is @0? Or after the root object?

Seems to be done now. arena branch. testing.

hal_page_control( add_space_id (pool id?), ... ) * addr_space_obj_off * addr_space_obj_on * addr_space_obj_gc - prev generation of objects for GC * ADDR_SPACE_ALL - change in all maps, but only out of...

Use snap verification infrastructure for it Need some kind of cache - use pool for pages and hash tab for map of addr to pool item

It is unclear how to prevent situation: - obj a used - snap - big GC runs on snap and finds a to be free - obj a freed by...

TODO: Need refcnt GC to be run before snapshot - just a good occasion and, possibly, less mem to pageout. NB! need some way to request disk io barrier from...

Keep state in persistent memory! Map address to object info

means wrong netmask

wrong byte order?