软件构造----多线程注意事项总结

同步：

一个线程可以重复请求它已经拥有的锁，同步会记录申请的次数，只有释放的次数和申请的次数一样的时候，锁才能被释放。

MIT的例题

ADT加锁的原则：

1.任何共享的可变数据都要被锁锁保证，就是读和写一定要在一个锁内。

2.如果一个表示不变量涉及多个可变数据，那么这些数据全部都要加同一个锁。

对于一些方法：

这里buf的所有操作都保证了是原子操作，但是这个方法是线程不安全的，当其他线程也在操作这个方法的时候。

因此这个方法也要用同步保证安全。

线程安全策略：

1.限制

就是避免共享数据，将共享数据尽可能用局部数据替代。

2.不可变性

使用不可变引用或者数据类型。给变量加上final。甚至有时要对引用指向的对象也不可改变做出说明、

3.使用线程安全的数据类型

给集合类加上包装

4.使用同步和锁

在ADT的spec中，需要加入线程安全性说明。比如对象是不可变的

同步的说明

volatile关键字：能保证对一个共享变量的修改对于其他线程是可见的。