3 ms·

Reconstructing Concurrency Invariants Through Medieval East Asian Logic

19 points by gg582 24d ago

deleted 24d ago
[deleted]
gg582 24d ago
I wrote this post as a bit of an unconventional thought experiment. The idea was to take the concepts of memory reclamation and pointer visibility (stuff you see in EBR or RCU) and map them onto medieval East Asian state-machine logic—specifically the structural and matrix ideas from the Song-Yuan period. To keep it grounded in actual code, I set up a small concurrent deallocation puzzle using C11 atomics and mapped four classical trigram patterns (乾, 坤, 坎, 離) directly to real-world memory invariants: * Revoking visibility via CAS before freeing (orthodox safe reclamation) * Asymmetric pipeline handoffs * Classic use-after-free bugs from premature freeing * Race conditions caused by blind `memset` zeroing It's an attempt to see if ancient structural framing can provide an interesting symbolic vocabulary for modern low-level systems programming, without turning it into philosophical fluff. Thought some folks here might find the crossover interesting.
- contingencies 22d ago
  On a less medieval and more ancient basis, from the original 白馬非馬 ("A white horse is not a horse.") we can derive the following suitably high-gravitas philosophical truth-revelatory statements: 競態非態 ("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 21d ago
    That's cool. Using a same logic, we can say 'Undefined behaviors are not behaviors.'
gg582 24d 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 22d ago
This aroused my curiosity. Tried to get the article. Clicking on the item didn't fetch the site, never did connect.
- perching_aix 22d ago
  Seems to be back online now.
  - gg582 21d ago
    yep. There was a maintenance. :)
gg582 16d ago
some logics were reorganized. 感->減(sensing->reduction)

19 points by gg582 24d ago

deleted 24d ago

[deleted]

gg582 24d ago

I wrote this post as a bit of an unconventional thought experiment. The idea was to take the concepts of memory reclamation and pointer visibility (stuff you see in EBR or RCU) and map them onto medieval East Asian state-machine logic—specifically the structural and matrix ideas from the Song-Yuan period. To keep it grounded in actual code, I set up a small concurrent deallocation puzzle using C11 atomics and mapped four classical trigram patterns (乾, 坤, 坎, 離) directly to real-world memory invariants: * Revoking visibility via CAS before freeing (orthodox safe reclamation) * Asymmetric pipeline handoffs * Classic use-after-free bugs from premature freeing * Race conditions caused by blind `memset` zeroing It's an attempt to see if ancient structural framing can provide an interesting symbolic vocabulary for modern low-level systems programming, without turning it into philosophical fluff. Thought some folks here might find the crossover interesting.

contingencies 22d ago
On a less medieval and more ancient basis, from the original 白馬非馬 ("A white horse is not a horse.") we can derive the following suitably high-gravitas philosophical truth-revelatory statements: 競態非態 ("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 21d ago
  That's cool. Using a same logic, we can say 'Undefined behaviors are not behaviors.'

gg582 24d 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 22d ago

This aroused my curiosity. Tried to get the article. Clicking on the item didn't fetch the site, never did connect.

perching_aix 22d ago
Seems to be back online now.
- gg582 21d ago
  yep. There was a maintenance. :)

gg582 16d ago

some logics were reorganized. 感->減(sensing->reduction)