Serializability vs Linearizability

In today (well.. already yesterday..)’s tiny group meeting, this question is raised. And I remember I’ve asked the exactly same question to Gustavo before! :)

[Read More]

C++ Vector Reference after Re-Allocation

昨晚遇到了一个奇怪的bug, 用back()得到的reference用的好好的,突然就啥数据都没有了.. 经诊断,应该是re-allocation之后原本返回的reference都被invalidate了。我就这样找到了一个C/C++中访问invalid address而不被报错的方法。~_~

[Read More]

Weak & Strong Fairness

在CS510 Software Engineering的课上说到了Weak Fairness和Strong Fairness. 以前meeting的时候提到过这个概念,但是当时没听懂.. 复习的时候自己想出一个自洽的解释了,赶快记下来!

[Read More]

Predicate Abstraction

Predicate Abstraction? 那是什么?能吃吗?我曾经被它的标题欺骗过,以为它是那种把几个predicate抽象成一个,然后一个过了,大家就都过了 的这种意思.. 我还是太年轻啊

[Read More]

KLEE & Gcov

KLEE其实已经久仰大名了,在读The PhD Grind的时候就看的胆战心惊.. 这学期的CS510 Software Engineering课上终于可以一展真容了!

[Read More]