死锁和罗素悖论

1430 2022-05-25 17:27

死锁和罗素悖论。以前写过过桥形成死锁的例子。一般百度到的死锁形成条件都是四条。

互斥条件
不剥夺条件（不可强行抢占）
请求和保持条件（占有且等待/占有旧的并请求新的）
循环等待条件

而抓重点，我只说两条：

干一件事至少需要两个步骤，并且这两个步骤需要的资源需要竞争
两个步骤的顺序是不一致的

一条是竞争的资源护食（互相竞争）；一条是自己的操作有顺序（互相等待）。
第一条就是说的互斥条件（竞争）；不可抢占条件（占有则不能被剥夺，护食）；第二条就是说的持有并等待条件（不释放已得到的资源，操作是一系列）；环路等待条件（有顺序才能完成）。比如定义甲要A资源，然后使用B资源；乙要B资源，然后使用A资源。当甲得到A后，使用B发现乙已持有。乙得到B后，使用A发现甲已持有。两方不论自旋多久都不会放弃手中已持有的资源，也得不到对方持有的资源。死锁。第一个互斥条件是无法被破坏的。对于占用且等待，可以一次性申请所有的资源。对于不可抢占，如果申请的资源得不到，那么主动释放自己已经得到的资源。对于循环等待，申请资源的时候按线性化顺序申请。
下面说罗素悖论：罗素将为本城所有不给自己刮脸的人刮脸。他不刮自己的，那么他就可以刮他自己的。他刮他自己的，他就犯了一开始的誓言。
下面说罗素导致的第三次数学危机。导致了集合论是有漏洞的。
下面从物理角度区分。数学集合解决的是可以传递的状态数据。而不是不可以传递的处理过程。还是欧拉-拉格朗日方程最小作用量原理是物理第一性原理。描述的什么是属性、什么是方法。推导出牛二定律F=ma，m是质量。什么是质量？是能够压弯时空的表征物质和能量关系的一个系数E=mc^2.质量就是物质的一个隐含属性。他可以测算。它永不会变，这就是属性，属性就是状态、属性就是数据。什么是方法，一切过程、一切变化就是方法。不用管力是哪个方向、作用了多少时间、作用了多少距离关于时间的，就是拉格朗日函数、关于路径的就是変分法可以确定的最小作用量原理。所以。罗素拿了一个运动的条件来限定状态的分类。竟然无人看破。就是不懂物理的数学家。

博客

死锁和罗素悖论

全部评论

分类

热门文章

Tags

关于