死锁和罗素悖论

80 2022-05-25 17:27

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

全部评论

·