Reconstructing Concurrency Invariants Through Medieval East Asian Logic (oborona.zip) 1 points by gg582 4d ago ↗ HN
[–] [dead] gg582 4d ago ↗ [flagged] [–] contingencies 3d ago ↗ From the original 白馬非馬 ("A white horse is not a horse.") we can derive the following:競態非態 ("A race race condition is not a condition.")釋後非釋 ("Use-after-free is not free.")隱後非隱 ("Things hidden are not.")單向交接非交接 ("A one-way handoff is not a handoff.") [–] gg582 2d ago ↗ That's cool. Using a same logic, we can say 'Undefined behaviors are not behaviors.'
[–] contingencies 3d ago ↗ From the original 白馬非馬 ("A white horse is not a horse.") we can derive the following:競態非態 ("A race race condition is not a condition.")釋後非釋 ("Use-after-free is not free.")隱後非隱 ("Things hidden are not.")單向交接非交接 ("A one-way handoff is not a handoff.") [–] gg582 2d ago ↗ That's cool. Using a same logic, we can say 'Undefined behaviors are not behaviors.'
[–] gg582 2d ago ↗ That's cool. Using a same logic, we can say 'Undefined behaviors are not behaviors.'
[–] gg582 4d ago ↗ tried a silly crossover mapping memory reclamation invariants (visibility, UAF, CAS) to old trigram structures in c11. surprisingly mapped 1:1 pretty well. put the puzzle and code snippets here
[–] jrapdx3 3d ago ↗ This aroused my curiosity. Tried to get the article. Clicking on the item didn't fetch the site, never did connect. [–] perching_aix 2d ago ↗ [delayed] [–] gg582 2d ago ↗ yep. There was a maintenance. :)
8 comments
[ 0.24 ms ] story [ 20.4 ms ] thread競態非態 ("A race race condition is not a condition.")
釋後非釋 ("Use-after-free is not free.")
隱後非隱 ("Things hidden are not.")
單向交接非交接 ("A one-way handoff is not a handoff.")