Prometheus + Thanos 有人用过吗？好不好用？ Mimir？ Cortex？

[Altale]

在不同集群跑了二十多个 Prometheus ，之前自己写了个 Proxy 将查询请求路由到不同的 Prometheus 。

现在团队里要求能够将分散的数据合并起来查询，还要能做加减乘除运算，搜了一下好像 Thanos 可以。

https://thanos.io/

各位运维大佬在生产环境都用的是什么方案？ Mimir ？ Cortex ？