2022 年 10月 19 日随笔档案 - papering

2022年10月19日

摘要： https://mp.weixin.qq.com/s/w-OF6nmCjaYAgYdmDVkg1A 阅读全文

posted @ 2022-10-19 21:23 papering 阅读(15) 评论(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 阅读(20) 评论(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 阅读(86) 评论(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 阅读(96) 评论(0) 推荐(0) 编辑