V2EX › gantleman 的所有回复 › 第 6 页 / 共 9 页

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

现在注册

已注册用户请登录

1 2 3 4 5 6 7 8 9

❮

❯

2020 年 7 月 28 日

回复了 hy1996 创建的主题 › 程序员 › 应届生找工作求各位 V 友意见

你在 V 站上遇到华为无线和消费者部门 hr 的概率有多低?

2020 年 7 月 28 日

回复了 firhome 创建的主题 › 程序员 › 桌面软件的同步数据的策略是怎么样的？

苹果的记事本，非常好用。

2020 年 7 月 28 日

回复了 From313 创建的主题 › 程序员 › 产品经理在设计产品时需要的一些参数是要自己去调研搜索还是技术同学提供？

从产品的角度说，用户上传视频最好没有任何限制。让用户处理长度和大小是不可能的事情。你同学即使拿到这样的参数也很难要求用户遵守。所以上传视频的第三方接口必然也会做相应的处理。例如对不符合要求的视频自动处理。不是技术抵抗你，是很可能第三方接口就没有这方面的标准。

2020 年 7 月 28 日

回复了 JasonLaw 创建的主题 › Redis › 我对 Redlock 算法的疑问

赞同顺序使用锁防止死锁的答复。

锁本身也相当于一种队列，保证随机或顺序使用资源。

因为锁和资源不在同一个服务器，没有强制的使用约束，容易出现不一致的状况

2020 年 7 月 28 日

回复了 gantleman 创建的主题 › 程序员 › 我们来为“死锁的四个必要条件”加一条

@aeon113 别了，好走不送，我没有办法帮你从负能量中解脱。但希望我在技术领域的勤奋努力，积极进取能给你的生活带来一点点阳光。

2020 年 7 月 28 日

回复了 gantleman 创建的主题 › 程序员 › 我们来为“死锁的四个必要条件”加一条

@aeon113 让你说个结论把你的观点补全了，就开始气急败坏的骂街。我特别理解你这种一辈子拿不出半点东西的人，活着非常焦虑。有人一辈子就是做不出东西，该认命的认命，没准靠学习 pelagia 下半辈子还能混口饭吃。

2020 年 7 月 28 日

回复了 gantleman 创建的主题 › 程序员 › 我们来为“死锁的四个必要条件”加一条

@mahogany 虽然前面已经回复过了，对于你这种不看帖子就说话的我也不赚你哪 5 毛钱。但只能享受复制粘贴了。

如果你有 100 个任务，其中 2 个任务死锁。把这两个任务单独放到一个线程里，剩下 98 个任务分别放的 98 个线程里。对于剩下 98 个任务死锁就不是问题吗？我没有否定线程，我只是否定有死锁条件的线程。我没有说有 2 个任务死锁，剩下的 98 个任务就不分线程了！

2020 年 7 月 28 日

回复了 gantleman 创建的主题 › 程序员 › 我们来为“死锁的四个必要条件”加一条

@aeon113 第二种的结论呢？ task 相同和不相同的结论呢？说话千万不要说一半，会让人睡不着觉的。年纪大了起夜就多，一睁眼睛下半夜又睡不着了。

2020 年 7 月 27 日

回复了 gantleman 创建的主题 › 程序员 › 我们来为“死锁的四个必要条件”加一条

@fasionchan 谢谢，不要着急，都会有的。pelagia 只是我工作之余的一个意外。三年前本来只是想写本书，在查找论文资料的过程中发现原来的理论有缺陷。然后扯呀查呀，结果越搞窟窿越大。本来想写个示例，结果三年来写成了 pelagia 。我一个只有两双手呀，慢慢来都会做起来。

2020 年 7 月 27 日

回复了 gantleman 创建的主题 › 程序员 › 我们来为“死锁的四个必要条件”加一条

@fasionchan pelagia 有 4 万行代码，从文件数据库分页开始写，到嵌套锁，多线程日志，线程池，消息路由。每个功能都能拿出写上万八千都字。为了让你们看明白我绞尽脑汁把事情说的简单明了。我把事情说简单了还不行，有说我是民科，有说偷换概念的。当然也有人愿意了解新知识和我讨论到的，今天下载的人也不少。

2020 年 7 月 27 日

回复了 gantleman 创建的主题 › 程序员 › 我们来为“死锁的四个必要条件”加一条

@fasionchan 为了避免多线程的缺陷，把所有服务都塞到一个线程的事情还少吗？ nodejs 和 go 的哪些破烂事无需多说。

2020 年 7 月 27 日

回复了 gantleman 创建的主题 › 程序员 › 我们来为“死锁的四个必要条件”加一条

@LANB0 总结一下你的脑回路，多线程必须服从两个定律，1 必须服从四个必要条件，2 不服从的参考第一条。既然这样，1，pelagia 是解决了现有缺陷。2，反对的请遵守第一条。你要是喜欢玩这种文字游戏我可以和你玩上几天。

2020 年 7 月 27 日

回复了 gantleman 创建的主题 › 程序员 › 我们来为“死锁的四个必要条件”加一条

@LANB0 pelagia 实现了任务调度和锁，请阅读基本代码后再说结论。手写的代码可以解决死锁，那么 pelagia 为什么不能解决死锁？为什么必然会出现死锁？你的结论是怎么推导出来的？

2020 年 7 月 27 日

回复了 gantleman 创建的主题 › 程序员 › 我们来为“死锁的四个必要条件”加一条

@acerlawson 我现在特别理解 Linus 为什么喜欢怼天怼地的，你刚毕业也就一年吧。我 06 年参加工作，先后就职于快车，金山，优信做开发。不看帖子，不看代码，上来指着一个工作 15 年的工程师说这货是民科。你不是，做过什么亮出来看看。

2020 年 7 月 27 日

回复了 gantleman 创建的主题 › 程序员 › 我们来为“死锁的四个必要条件”加一条

@cc100 你是程序就必然能看懂代码，下载示例运行下就会得到结果，计算机是不会骗人的。linus 说的好：“不要和我说狗屁理论，请亮出你的代码。”

2020 年 7 月 27 日

回复了 gantleman 创建的主题 › 程序员 › 我们来为“死锁的四个必要条件”加一条

@crclz 因为这个问题在多线程和多进程下表现出完全不同的性质。

2020 年 7 月 27 日

回复了 gantleman 创建的主题 › 程序员 › 我们来为“死锁的四个必要条件”加一条

@ysmood 考虑对性能的榨取，阿达姆尔定律是多线程的上限，那么死锁就是多线程的下限。只有上下限都确定了，才能正确的使用多线程。死锁的问题在于其随机性无法通过简单测试就能发现，最终导致软件产品在不断升级的过程中走向不可控。pelagia 的意义在于通过一系列的规则让不可控的下限在开发过程中就能被发现。这样就把不可控变成了可控。在完全可控的前提下才能追求极致，去压榨多线程的上限效率。

2020 年 7 月 27 日

回复了 gantleman 创建的主题 › 程序员 › 我们来为“死锁的四个必要条件”加一条

@future0906 既然你都想到了静态分析很难，就说明你也发现原来定义的不严谨。

2020 年 7 月 26 日

回复了 gantleman 创建的主题 › 程序员 › 我们来为“死锁的四个必要条件”加一条

@ysmood 虽然看样子你的思绪已经飘到了外太空，但我决定还是把你拉回来。
这里锁的定义很明确就是 mutex，死锁的范围就是 mutex 嵌套使用的阻塞问题。
更深的问题是涉及了嵌套次序和多层嵌套的问题。

1 2 3 4 5 6 7 8 9

❮

❯