RE: Garbage Collector Problem

[Richter, Jörg <Joerg.Richter@...>]

> Can you check whether the table is handled again by 'traverseephemeron'
> when 'atomic' is called? It should be (through the call to
> 'retraversegrays'), and this late 'traverseephemeron' should mark the
> callback...

Here are all 'atomic' calls and all calls to 'traverseephemeron' with the relevant table:
(I cut out some calls to atomic at the beginning.)

atomic{
traverseephemeron 0x288c480 prop=0 hasclears=1 marked=0
atomic}
traverseephemeron 0x288c480 prop=1 hasclears=1 marked=1
atomic{
traverseephemeron 0x288c480 prop=0 hasclears=1 marked=0
atomic}
atomic{
atomic}
traverseephemeron 0x288c480 prop=1 hasclears=1 marked=1
atomic{
traverseephemeron 0x288c480 prop=0 hasclears=1 marked=0
atomic}
traverseephemeron 0x288c480 prop=1 hasclears=1 marked=1
atomic{
atomic}
atomic{
traverseephemeron 0x288c480 prop=1 hasclears=1 marked=0
traverseephemeron 0x288c480 prop=1 hasclears=1 marked=0
traverseephemeron 0x288c480 prop=0 hasclears=1 marked=1
atomic}
traverseephemeron 0x288c480 prop=1 hasclears=1 marked=1
atomic{
atomic}
atomic{
traverseephemeron 0x288c480 prop=1 hasclears=1 marked=0
traverseephemeron 0x288c480 prop=1 hasclears=1 marked=0
traverseephemeron 0x288c480 prop=1 hasclears=1 marked=1
traverseephemeron 0x288c480 prop=1 hasclears=1 marked=0
atomic}
traverseephemeron 0x288c480 prop=1 hasclears=1 marked=1
atomic{
traverseephemeron 0x288c480 prop=1 hasclears=1 marked=0
traverseephemeron 0x288c480 prop=1 hasclears=1 marked=0
traverseephemeron 0x288c480 prop=1 hasclears=1 marked=1
traverseephemeron 0x288c480 prop=1 hasclears=1 marked=0
atomic}
atomic{
atomic}
traverseephemeron 0x288c480 prop=1 hasclears=1 marked=1
atomic{
traverseephemeron 0x288c480 prop=1 hasclears=1 marked=0
traverseephemeron 0x288c480 prop=1 hasclears=1 marked=0
traverseephemeron 0x288c480 prop=1 hasclears=1 marked=0
atomic}
traverseephemeron 0x288c480 prop=0 hasclears=1 marked=1
atomic{
atomic}
atomic{
-> abort due to invariant violation

Note that the last call to 'traverseephemeron' was outside 'atomic'.

- Jörg