2022年10月19日
机器视觉
摘要： https://mp.weixin.qq.com/s/w-OF6nmCjaYAgYdmDVkg1A 阅读全文
posted @ 2022-10-19 21:23 papering 阅读(18) 评论(0) 推荐(0) 编辑
Time, Clocks, and the Ordering of Events in a Distributed System
摘要： https://dl.acm.org/doi/pdf/10.1145/359545.359563 The concept of one event happening before another in a distributed system is examined, and is shown t 阅读全文
posted @ 2022-10-19 10:11 papering 阅读(23) 评论(0) 推荐(0) 编辑
Runtime locking correctness validator 死锁检测 chaos 死锁 deadlock 竟态
摘要： 小结： 1、 every lock in the system (including rwlocks and mutexes, now) is assigned a specific key https://jyywiki.cn/OS/2022/slides/8.slides#/5/2 Lockde 阅读全文
posted @ 2022-10-19 09:57 papering 阅读(102) 评论(0) 推荐(0) 编辑
time of check to time of use 数据竞争 竟态检测 Race detection
摘要： https://jyywiki.cn/OS/2022/slides/8.slides#/4/3 “TOCTTOU” - time of check to time of use TOCTTOU vulnerabilities in UNIX-style file systems: An anatom 阅读全文
posted @ 2022-10-19 09:28 papering 阅读(112) 评论(0) 推荐(0) 编辑