Reconstructing Concurrency Invariants Through Medieval East Asian Logic (oborona.zip) 1 points by gg582 1mo ago ↗ HN
[–] [dead] gg582 1mo ago ↗ [flagged] [–] contingencies 1mo 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 1mo ago ↗ That's cool. Using a same logic, we can say 'Undefined behaviors are not behaviors.'
[–] contingencies 1mo 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 1mo ago ↗ That's cool. Using a same logic, we can say 'Undefined behaviors are not behaviors.'
[–] gg582 1mo ago ↗ That's cool. Using a same logic, we can say 'Undefined behaviors are not behaviors.'
[–] gg582 1mo 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 1mo ago ↗ This aroused my curiosity. Tried to get the article. Clicking on the item didn't fetch the site, never did connect. [–] perching_aix 1mo ago ↗ [delayed] [–] gg582 1mo ago ↗ yep. There was a maintenance. :)
9 comments
[ 1.6 ms ] story [ 34.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.")