synchronized 是可重入的吗？它能保证可见性吗？

回答思路

1. 明确说明 synchronized 是可重入的并给出依据
2. 解释可重入的实现机制（计数器与持有线程）
3. 说明 synchronized 保证可见性的原理（Happens-Before）
4. 区分锁互斥与可见性两个不同层面的保证