假设有20个线程同时对一个共享整数变量执行i++操作，最终i的值一定是20吗？请说明原因。

回答思路

1. 能否识别i++非原子操作由读改写三步组成
2. 能否说明线程交错导致丢失更新
3. 能否正确判断最大值边界和不确定性
4. 能否提出原子类或加锁等解决方案