-
- 2014-04-20
- 英语
学习英语第七周至第九周
阅读英文原著
Read More ...Book Time Total Time Progress Harry Potter and the Chamber of Secrets 2014.03.31 12:30-14:30 2h 341/341 Harry Potter And The Prisoner Of Azkaban 2014.04.02 12:30-13:30 1h 30/435 Harry Potter And The Prisoner Of Azkaban 2014.04.03 ~ 2014.04.20 1h 435/435 -
- 2014-03-30
- 英语
学习英语第六周
阅读英文原著
Read More ...Book Time Total Time Progress Harry Potter and the Chamber of Secrets 2014.03.24 12:39-13:15 36m 139/341 Harry Potter and the Chamber of Secrets 2014.03.25 13:49-14:09 20m 160/341 Harry Potter and the Chamber of Secrets 2014.03.26 12:30-13:00 30m 181/341 Harry Potter and the Chamber of Secrets 2014.03.27 12:20-13:07 47m 204/341 Harry Potter and the Chamber of Secrets 2014.03.28 13:10-13:46 36m 226/341 Harry Potter and the Chamber of Secrets 2014.03.29 11:38-12:13 35m 248/341 Harry Potter and the Chamber of Secrets 2014.03.30 12:00-12:30 35m 264/341 -
- 2014-03-23
- 英语
学习英语第五周
阅读英文原著
这周按照预定计划，把每天的阅读量降低了一半，每天20页左右。下面是时间表。
Read More ...Book Time Total Time Progress Harry Potter and the Philosopher's Stone 2014.03.17 12:45-14:15 1.5h 309/309 Harry Potter and the Chamber Of Secrets 2014.03.18 12:41-13:44 1h 41/341 Harry Potter and the Chamber Of Secrets 2014.03.19 12:26-13:04 0.6h 64/341 Harry Potter and the Chamber Of Secrets 2014.03.20 12:25-13:00 35m 86/341 Harry Potter and the Chamber Of Secrets 2014.03.23 20:53-21:22 29m 124/341 -
- 2014-03-16
- 英语
学习英语第四周
阅读英文原著
这周按照预定计划，把每天的阅读量降低了一半，每天20页左右。下面是时间表。
Read More ...Book Time Total Time Progress Harry Potter and the Philosopher's Stone 2014.03.10 12:30-13:30 1h 80/309 Harry Potter and the Philosopher's Stone 2014.03.11 12:30-13:30 1h 112/309 Harry Potter and the Philosopher's Stone 2014.03.12 12:40-13:40 1h 142/309 Harry Potter and the Philosopher's Stone 2014.03.13 12:45-13:45 1h 180/309 Harry Potter and the Philosopher's Stone 2014.03.14 12:36-13:14 0.5h 214/309 Harry Potter and the Philosopher's Stone 2014.03.15 14:43-15:05 0.3h 227/309 Harry Potter and the Philosopher's Stone 2014.03.13 13:39-14:45 1h 261/309 -
- 2014-03-14
- 科研
内存模型的验证论文阅读
动态验证
Hangal2004
论文名 Hangal S, Vahia D, Manovit C, et al. TSOtool: A program for verifying memory systems using the memory consistency model[C]//ACM SIGARCH Computer Architecture News. IEEE Computer Society, 2004, 32(2): 114.
主要内容
- 实现工具TSOtool，用于检测多处理器的共享内存系统
- 内存模型TSO
- 随机生成包含data race的程序
- 提出多项式时间算法，incomplete
- 检测出商业系统中的设计错误
- 根据内存模型定义一种次序关系，通过程序及结果构造有向图， 在图中找环
- 时间复杂度：最坏O(n^5)
参考文献
- 验证SC的复杂度, 将问题定义为VSC, VSC-read(map read to write), VSC-conflict(VSC-read + total order of write): Gibbons P B, Korach E. Testing shared memories[J]. SIAM Journal on Computing, 1997, 26(4): 1208-1244.
Manovit 2005
论文名 Manovit C, Hangal S. Efficient algorithms for verifying memory consistency[C]//Proceedings of the seventeenth annual ACM symposium on Parallelism in algorithms and architectures. ACM, 2005: 245-252.
主要内容
- 将vector clock引入TSOtool工具
- 为VSC-conflict问题提出一个多项式算法
- 为VSC-read提出多项式算法，快速，有效，但不完备
- 时间复杂度：O(k*n^3)
参考文献
Manovit 2006
论文名 Manovit C, Hangal S. Completely verifying memory consistency of test program executions[C]//High-Performance Computer Architecture, 2006. The Twelfth International Symposium on. IEEE, 2006: 166-175.
主要内容
- 在TSOtool中引入回溯，使验证TSO内存模型的算法完备
- 时间复杂度: O(p*n^3)
参考文献