I don't have many iron rules, but I have one that I refuse to bend on: You've either proved your bespoke multi-threaded code mathematically, or it is guaranteed to be Wrong with a capital W.

If you've proved it correct, you now have just a 50% chance of it being merely wrong when deployed on actual hardware.