Synchronized不一定是线程安全的吧？_wait释放同步锁

在做并发开发的时候，为了保证某对象的线程安全，一般都会对其用Synchronized进行保护，比如：
synchronized(obj) {
// Do something with obj.
}
当所有对obj进行的操作，都用同步块保护时，我们一般认为其是线程安全的。

但这个线程安全到底有多安全呢？请先看看这个简单的例子：
代码实现很简单，两个线程同时修改一个对象的属性，在其属性原值基础上进行计算，然后再回写；
但是这里面故意使用了 obj.wait()，实际上造成对synchronized同步锁的释放。

public class synchronizedWrongUse {    public static void main(String[] args) throws Exception{        //初始化        SomeoneObject obj = new SomeoneObject();        Worker a = new Worker("A", obj);        Worker b = new Worker("B", obj);        //启动线程        a.start();        b.start();        //等待线程启动        Thread.sleep(100);        //唤醒obj        synchronized(obj){            obj.notifyAll();            System.out.println("notifyAll done.");        }        //等待线程结束        a.join();        b.join();        //输出结果        System.out.println("Amount:"+obj.getAmount());//只有50    }    static class Worker extends Thread{        private SomeoneObject obj;        public Worker(String name,SomeoneObject obj){            super(name);            this.obj = obj;        }        public void run(){            System.out.println("Worker["+this.getName()+"]started.");            synchronized(obj){//为保证obj操作的互斥性，加同步锁,但是wait释放了同步锁                int amount = obj.getAmount();                amount += 50;//              try{//                  obj.wait();//这里wait释放了同步锁//              }catch(InterruptedException e){//                  return;//              }                obj.setAmount(amount);                System.out.println("Worker["+this.getName()+"]setting done.");            }        }    }    /**     * @author lix     *某对象     */    static class SomeoneObject{        int amount;//属性        public int getAmount(){            return amount;        }        public void setAmount(int amount){            this.amount = amount;        }    }}

两个线程各 +50，期望结果是100；但实际结果仍然只有50。

接触过事务的人应该能很快理解，在synchronized块中，未必能绝对保证事务一致性；因为wait释放了同步锁。

当然，避免这种情况发生一般来说也很简单：
1、尽量不要将基于原有状态的计算过程被中断，也就是你别在 amount += 50; 中间插入wait；
2、可以做乐观检查，也就是set之前重新检查下当前状态是否与原状态保持一致，不一致就要重新发起计算。