2017

今年的确发生了很多事情,因此有必要在这里记录一下以防忘记。 不像之前几篇,这篇打算写得稍微正式一些。 实习 这学期从2月开始一直在贾老板的公司实习

Optimistic Concurrency Control

数据库大作业准备做CC方向的东西……一些备考的资料: https://www.ijarcce.com/upload/2015/march-15/IJARCCE%2060.pdf 不错的综述 http://www.agiledata.org/essays/concurrencyControl.html#Figure1OptimisticLocking Validation-based protocol…… See also http://www.cse.scu.edu/~jholliday/COEN317S05/RamirezSlides.ppt http://blog.csdn.net/chen77716/article/details/6742128 MySQL的repetable read实现的

GLIBCXX_CONCEPT_CHECKS_

最近发现了libstdc++中的_GLIBCXX_CONCEPT_CHECKS这个宏,感觉很有意思……在此记录一下。 Introduction _GLIBCXX_CONCEPT_CHECKS, according to online doc of gcc, is a macro that

Scheduling Aliyun Lesson

https://edu.aliyun.com/course/31 虽然广告略多不过作为入门讲座还是不错的。 更多内容可以看之前搜集的一个Scheduling Algo Paper Collection on Zotero: https://api.zotero.org/users/2718444/collections/GUAS2Z6N/items/top?start=0&limit=25&format=atom&v=1&key=E3GieSbhHINhqkCVggs9PncS

Correct by Construction

http://wiki.c2.com/?CorrectByConstruction 似乎早就不是什么新名词了 + 已经BuzzWord(?)化了……不过还是有必要了解一下 读http://assured-cloud-comput