libera/#sicl - IRC Chatlog
Search
22:53:10
Mondenkind
Bike: 'there aren't really a lot of options for a non in house GC' have you looked at mps?
23:01:52
Bike
i'm not sure if it was a lock or a shared atomic flag, but yeah, multithread performance was not good
23:03:23
hayley
The code is quite nice for C. I ported it to ARM about half a year before Ravenbrook did.
23:03:57
Bike
might have been, but neither i nor drmeister is especially interested in (re)writing a GC. kind of kills the non in house aspect
23:06:42
hayley
I still think some not-entirely-essential modifications are better than full in-house; but it's still maintenance effort, yes.
23:41:28
Bike
also fixing mps in this way would have required some pretty deep work, since the allocation stuff is all a bunch of hyper optimized macros and functions
2:21:55
hayley
Though, in the context of BOCL which I assume wouldn't be threaded, MPS failing to scale wouldn't be a big problem either.
3:02:14
Mondenkind
beach: the OED cites the first appearance of 'ersatz' as an 1875 entry in the encyclopaedia britannica: “(German army), Those who are exempted..are passed into the Ersatz reserve.”
3:02:48
beach
Mondenkind: Oh, interesting. Merriam-Webster mentioned the date, but not the original use.
3:19:57
beach
So, I wasn't looking forward to the messy code in COMPUTE-POINTER that would result from all the special cases of ersatz objects. But by going to bed early last night, I found a better way. I will have that part of the computation done by SICL code in E5, in the form of a generic function.
3:22:22
beach
The generic function will return the number of words of the prefix of the rack that must be recursively traversed. The remaining words contain binary stuff and should be stored without processing. The number of words in the prefix is different from the rack size only for specialized arrays.
3:22:51
beach
This is trivial to do as a SICL generic function, but very messy to do using host code.
3:49:32
drmeister
hayley: Boehm is pretty much the only choice at the moment. You should look at mmtk.io
3:50:43
drmeister
I need to get to bed - I'm trying to get more sleep these days. Catch me tomorrow earlier if you want to talk about it.