同步：
一个线程可以重复请求它已经拥有的锁，同步会记录申请的次数，只有释放的次数和申请的次数一样的时候，锁才能被释放。
MIT的例题
ADT加锁的原则：
1.任何共享的可变数据都要被锁锁保证，就是读和写一定要在一个锁内。
2.如果一个表示不变量涉及多个可变数据，那么这些数据全部都要加同一个锁。
对于一些方法：
这里buf的所有操作都保证了是原子操作，但是这个方法是线程不安全的，当其他线程也在操作这个方法的时候。
因此这个方法也要用同步保证安全。
线程安全策略：
1.限制
就是避免共享数据，将共享数据尽可能用局部数据替代。
2.不可变性
使用不可变引用或者数据类型。给变量加上final。甚至有时要对引用指向的对象也不可改变做出说明、
3.使用线程安全的数据类型
给集合类加上包装
4.使用同步和锁
在ADT的spec中，需要加入线程安全性说明。比如对象是不可变的
同步的说明
volatile关键字：能保证对一个共享变量的修改对于其他线程是可见的。