4 ms·
The word is misrepresenting the problem of synchronization and reducing to only memory safety. If it was that simple, Tokio wouldn't need to formally verify th
by mratsim 6y ago
The word is misrepresenting the problem of synchronization and reducing to only memory safety.
If it was that simple, Tokio wouldn't need to formally verify their implementation with an external tool and it wouldn't have found dozens of well hidden bugs.