synchronized既保证原子性，又保证内存可见性，是一种线程同步的方式，是锁机制的一种java实现。synchronized的实现基于JVM底层，JVM是基于monitor实现的，而monitor的实现依赖于操作系统的互斥实现。
语义
synchronized语义是同步，但同步有两层含义：
互斥，即锁的特点。同一时间只能有一个线程持有监视器，因此一旦线程进入监视器保护的代码块（即临界区），其他线程是不允许监视器保护的代码块，直到前一个线程退出代码块。互斥阻止了其他线程看到对象不一致的状态，与原子性有相同的语义。
可见。synchronized保证进入同步代码块的线程，都可以看到由同一个锁保护的之前所有的修改效果。原因是：在释放监视器时（即退出同步代码块），会将工作内存中未映射到主内存的工作拷贝，强制刷新回主内容。在获取监视器是（即进入同步代码块时），监视器会使本地内存失效，强制从主内存拷贝到工作内存。
互斥保证在线程退出前，所有对象状态变更都对其他线程不可见；可见保证在线程进入同步代码块时，可以看到上一个线程对对象状态变更的最终状态。
线程安全与同步
延伸阅读
- ssh框架 2016-09-30
- 阿里移动安全 [无线安全]玩转无线电——不安全的蓝牙锁 2017-07-26
- 消息队列NetMQ 原理分析4-Socket、Session、Option和Pipe 2024-03-26
- Selective Search for Object Recognition 论文笔记【图片目标分割】 2017-07-26
- 词向量-LRWE模型-更好地识别反义词同义词 2017-07-26
- 从栈不平衡问题 理解 calling convention 2017-07-26
- php imagemagick 处理 图片剪切、压缩、合并、插入文本、背景色透明 2017-07-26
- Swift实现JSON转Model - HandyJSON使用讲解 2017-07-26
- 阿里移动安全 Android端恶意锁屏勒索应用分析 2017-07-26
- 集合结合数据结构来看看(二) 2017-07-26
学习是年轻人改变自己的最好方式