libera/#sicl - IRC Chatlog
Search
15:39:30
Bike
remembered the fasl format doesn't have random-states, but then, how could it, in any remotely portable way. that's annoying.
15:50:40
yitzi
Incless has the same problem...although it can punt to the implementation to implement print-object... or do contionals for each implementation.
18:06:05
jcowan
The representation of a random-state must exist, but is quite deliberately not portable.
23:30:47
hayley
moon-child: Another thing is how long walking the heap could take for a gigantic heap, e.g. for CLOSOS. But there I guess you can play tricks with paging, and trip the read barrier only when loading in new pages.
0:25:04
hayley
That is, we don't want to have to walk the heap to replace the rack of one object. Taking the indirection and a the read barrier to handle CHANGE-CLASS incrementally, but be able to fix pointers eventually could work, but seems nasty itself.
0:46:34
hayley
I found a paper on the issue in Smalltalk, which has similar perils due to the #become: method <https://dl.acm.org/doi/10.1145/2754169.2754186>
0:55:04
hayley
They require firing a read barrier before using "primitives", which would include EQ for us. They rely on forwarding objects always failing method dispatch, much like how obsolete instances fail method dispatch in SICL.