freenode/#sbcl - IRC Chatlog
Search
15:32:46
dkny
scymtym: my verify-freelist patch isn't valid for synchronized tables because the lock is already release by the verify step. So my hash-table.impure failure is just noise
15:35:24
scymtym
dkny: i didn't have time to look into the issue further, but i don't think the hash-table in clx is synchronized
15:36:48
scymtym
dkny: i had one more idea that i couldn't try yet: i could encapsulate the hash-table functions to find all static call sites and calling threads. may that reveals a usage error clx
15:37:02
dkny
right. But I was concerned about the invariant failure in hash-table impure, until I realized that the verified itself was not valid
15:53:35
dkny
if the synchronization is external to gethash/puthash/remhash such as in 'with-display', it would be ok
15:54:59
dkny
moving the verify inside the lock fixed all the failures in hash-table.impure, so I'm once again convinced that the invariant is correct
16:06:56
scymtym
i'll continue to look for failures and usage errors in clx, but the reproduction probability is very low and i don't have a lot of time at the moment
20:52:13
Krystof
chances that my 75kloc diff makes it through the commit mailer: minimal. So, go me: Update to Unicode 8.0
21:18:03
Krystof
(there was still much too much annoying manual stuff in that update; I want to tidy some of that up before updating to the next version)
21:33:27
Shinmera
I wish fast lookup of UCD data was portable. I've been working on some Unicode algorithms recently (scream!) and rolling my own databases of the necessary parts has been a bit.. :/