Prometheus Counter如何保证线程安全？相关异常疑问咨询

问题截图 #

1. 为何counter.get()结果始终为200000，变量a却不等于200000？ #

• 变量a是普通非原子数值类型，a++包含读取当前值、加1、写入新值三个非原子步骤。多线程环境下，多个线程可能同时读取到相同的a值，各自加1后写入，导致最终累加结果小于预期的200000。
• Prometheus的Counter的inc()方法是线程安全的，底层通过原子类实现原子性累加，不会出现多线程竞态问题，因此最终能准确累加得到200000。

2. Prometheus如何保证Counter的线程安全性？ #

• 原子变量存储：Java客户端的Counter内部使用AtomicLong（或适配浮点型的原子实现）存储计数值，所有修改操作（如inc()）依赖原子类的线程安全方法（比如incrementAndGet()、addAndGet()），确保单个累加/修改操作是原子性的，避免多线程竞态条件。
• 标签维度隔离：带标签的Counter中，每个标签维度对应的Counter.Child实例持有独立原子变量，多线程操作不同标签的Counter时互不干扰，保证各自计数准确。
• 线程安全读取：get()方法直接调用原子变量的线程安全读取接口，确保获取到最新计数值，不存在可见性问题。

内容的提问来源于stack exchange，提问作者NorthWind