Concurrency 好的并发编程的四个条件是什么？

我对这两个部分有点麻烦：“速度独立”和“没有放弃所有权/没有未使用的扣押”。我不确定我写的“没有饥饿”是否正确。我已经浏览了我的课程讲座和网络讲座，以及Tanenbaum的《现代操作系统》一书：我找不到关于并发编程良好实践的这两个术语。我在网上找到的最佳实践没有提到这两个术语

我浏览过的网站：

“速度无关”可能是一种表示“无竞争条件”的方式，即程序的整体行为不应取决于线程完成其工作或执行关键部分的顺序。