Prometheus 提供了一种名为 PromQL（Prometheus 查询语言）的功能性查询语言，使用户可以实时选择和聚合时间序列数据。
当您向 Prometheus 发送查询请求时，它可以是瞬时查询（在某个时间点进行评估），也可以是范围查询（在开始时间和结束时间之间以等间隔的步长进行评估）。PromQL 在每种情况下都完全相同地工作；范围查询就像在不同的时间戳多次运行瞬时查询。
在 Prometheus UI 中，“表格”选项卡用于瞬时查询，“图形”选项卡用于范围查询。
其他程序可以通过 HTTP API 获取 PromQL 表达式的结果。
本文档是 Prometheus 基础语言参考。为了学习，从一些 示例 开始可能会更容易。
在 Prometheus 的表达式语言中，表达式或子表达式可以评估为以下四种类型之一
根据用例（例如，在绘制图形与显示表达式的输出时），只有其中一些类型可以作为用户指定表达式的结果。对于瞬时查询，以上任何数据类型都允许作为表达式的根。范围查询仅支持标量类型和瞬时向量类型表达式。
关于实验性原生直方图的说明
字符串字面量用单引号、双引号或反引号表示。
PromQL 遵循与 Go 相同的转义规则。对于单引号或双引号中的字符串字面量，反斜杠开始一个转义序列，后面可以跟 a、b、f、n、r、t、v 或 \。可以使用八进制 (\nnn) 或十六进制 (\xnn、\unnnn 和 \Unnnnnnnn) 表示法提供特定字符。
相反，反引号表示的字符串字面量中不解析转义字符。重要的是要注意，与 Go 不同，Prometheus 不会丢弃反引号内的换行符。
示例
"this is a string"
'these are unescaped: \n \\ \t'
`these are not unescaped: \n ' " \t`
标量浮点值可以写为字面整数或浮点数，格式如下（仅包含空格以提高可读性）
[-+]?(
[0-9]*\.?[0-9]+([eE][-+]?[0-9]+)?
| 0[xX][0-9a-fA-F]+
| [nN][aA][nN]
| [iI][nN][fF]
)
示例
23
-2.43
3.4e-9
0x8f
-Inf
NaN
此外，下划线 (_) 可以用于十进制或十六进制数字之间以提高可读性。
示例
1_000_000
.123_456_789
0x_53_AB_F3_82
浮点数字面量也用于指定秒为单位的持续时间。为了方便起见，十进制整数可以与以下时间单位组合使用
ms – 毫秒s – 秒 – 1s 等于 1000msm – 分钟 – 1m 等于 60s（忽略闰秒）h – 小时 – 1h 等于 60md – 天 – 1d 等于 24h（忽略所谓的夏令时）w – 周 – 1w 等于 7dy – 年 – 1y 等于 365d（忽略闰日）用上述单位之一后缀十进制整数是对等效秒数的另一种表示，如同一个裸浮点数字面量。
示例
1s # Equivalent to 1.
2m # Equivalent to 120.
1ms # Equivalent to 0.001.
-2h # Equivalent to -7200.
以下示例不起作用
0xABm # No suffixing of hexadecimal numbers.
1.5h # Time units cannot be combined with a floating point.
+Infd # No suffixing of ±Inf or NaN.
多个单位可以通过后缀整数的连接来组合。单位必须从最长到最短排序。给定的单位在每个浮点数字面量中只能出现一次。
示例
1h30m # Equivalent to 5400s and thus 5400.
12h34m56s # Equivalent to 45296s and thus 45296.
54s321ms # Equivalent to 54.321.
这些是基本的构建块，指示 PromQL 获取什么数据。
瞬时向量选择器允许选择一组时间序列以及每个时间序列在给定时间戳（时间点）的单个样本值。在最简单的形式中，仅指定指标名称，这将产生一个瞬时向量，其中包含具有此指标名称的所有时间序列的元素。
返回的值将是查询评估时间戳（在瞬时查询的情况下）或查询中当前步骤（在范围查询的情况下）时或之前的最新样本的值。@ 修饰符允许覆盖选择发生的相对时间戳。只有当时间序列的最新样本小于回溯期前时，才会返回时间序列。
此示例选择所有具有 http_requests_total 指标名称的时间序列，并为每个时间序列返回最新的样本
http_requests_total
可以通过在花括号 ({}) 中附加逗号分隔的标签匹配器列表来进一步过滤这些时间序列。
此示例仅选择那些具有 http_requests_total 指标名称，并且还将 job 标签设置为 prometheus，并将 group 标签设置为 canary 的时间序列
http_requests_total{job="prometheus",group="canary"}
也可以对标签值进行负匹配，或将标签值与正则表达式匹配。存在以下标签匹配运算符
=：选择标签与提供的字符串完全相等的标签。!=：选择标签与提供的字符串不相等的标签。=~：选择标签与提供的字符串进行正则表达式匹配的标签。!~：选择标签与提供的字符串不进行正则表达式匹配的标签。正则表达式匹配是完全锚定的。 env=~"foo" 的匹配被视为 env=~"^foo$"。
例如，这选择所有 http_requests_total 时间序列，用于 staging、testing 和 development 环境以及 GET 以外的 HTTP 方法。
http_requests_total{environment=~"staging|testing|development",method!="GET"}
匹配空标签值的标签匹配器也会选择所有根本没有设置特定标签的时间序列。可以为同一标签名称设置多个匹配器。
例如，给定数据集
http_requests_total
http_requests_total{replica="rep-a"}
http_requests_total{replica="rep-b"}
http_requests_total{environment="development"}
查询 http_requests_total{environment=""} 将匹配并返回
http_requests_total
http_requests_total{replica="rep-a"}
http_requests_total{replica="rep-b"}
并且会排除
http_requests_total{environment="development"}
可以为同一标签名称使用多个匹配器；所有匹配器都必须通过才能返回结果。
查询
http_requests_total{replica!="rep-a",replica=~"rep.*"}
然后会匹配
http_requests_total{replica="rep-b"}
向量选择器必须指定名称，或者至少指定一个不匹配空字符串的标签匹配器。以下表达式是非法的
{job=~".*"} # Bad!
相反，以下表达式是有效的，因为它们都具有不匹配空标签值的选择器。
{job=~".+"} # Good!
{job=~".*",method="get"} # Good!
标签匹配器也可以通过与内部 __name__ 标签匹配应用于指标名称。例如，表达式 http_requests_total 等效于 {__name__="http_requests_total"}。也可以使用 = 以外的匹配器（!=、=~、!~）。以下表达式选择所有名称以 job: 开头的指标
{__name__=~"job:.*"}
指标名称不能是关键字 bool、on、ignoring、group_left 和 group_right 之一。以下表达式是非法的
on{} # Bad!
此限制的解决方法是使用 __name__ 标签
{__name__="on"} # Good!
范围向量字面量的工作方式类似于瞬时向量字面量，不同之处在于它们从当前时刻向后选择一系列样本。在语法上，在向量选择器的末尾附加方括号 ([]) 中的浮点数字面量，以指定应为每个结果范围向量元素获取过去多少秒的值。通常，浮点数字面量使用带有一个或多个时间单位的语法，例如 [5m]。范围是左开右闭区间，即时间戳与范围左边界重合的样本将从选择中排除，而时间戳与范围右边界重合的样本将包含在选择中。
在此示例中，我们选择所有在 5 分钟前记录的值，用于所有具有指标名称 http_requests_total 且 job 标签设置为 prometheus 的时间序列
http_requests_total{job="prometheus"}[5m]
offset 修饰符允许更改查询中单个瞬时向量和范围向量的时间偏移。
例如，以下表达式返回相对于当前查询评估时间过去 5 分钟的 http_requests_total 的值
http_requests_total offset 5m
请注意，offset 修饰符始终需要紧跟在选择器之后，即以下是正确的
sum(http_requests_total{method="GET"} offset 5m) // GOOD.
而以下是不正确的
sum(http_requests_total{method="GET"}) offset 5m // INVALID.
范围向量的工作方式相同。这返回一周前 http_requests_total 的 5 分钟速率
rate(http_requests_total[5m] offset 1w)
当查询过去的样本时，负偏移量将启用时间上的前向比较
rate(http_requests_total[5m] offset -1w)
请注意，这允许查询查看其评估时间之前的时间。
@ 修饰符允许更改查询中单个瞬时向量和范围向量的评估时间。提供给 @ 修饰符的时间是 Unix 时间戳，并用浮点数字面量描述。
例如，以下表达式返回 2021-01-04T07:40:00+00:00 时 http_requests_total 的值
http_requests_total @ 1609746000
请注意，@ 修饰符始终需要紧跟在选择器之后，即以下是正确的
sum(http_requests_total{method="GET"} @ 1609746000) // GOOD.
而以下是不正确的
sum(http_requests_total{method="GET"}) @ 1609746000 // INVALID.
范围向量的工作方式相同。这返回 2021-01-04T07:40:00+00:00 时 http_requests_total 的 5 分钟速率
rate(http_requests_total[5m] @ 1609746000)
@ 修饰符支持上面描述的所有数字字面量表示形式。它与 offset 修饰符一起使用，其中偏移量相对于 @ 修饰符时间应用。结果与修饰符的顺序无关。
例如，以下两个查询将产生相同的结果
# offset after @
http_requests_total @ 1609746000 offset 5m
# offset before @
http_requests_total offset 5m @ 1609746000
此外，start() 和 end() 也可以用作 @ 修饰符的值，作为特殊值。
对于范围查询，它们分别解析为范围查询的开始和结束，并且对于所有步骤保持不变。
对于瞬时查询，start() 和 end() 都解析为评估时间。
http_requests_total @ start()
rate(http_requests_total[5m] @ end())
请注意，@ 修饰符允许查询查看其评估时间之前的时间。
子查询允许您为给定的范围和分辨率运行瞬时查询。子查询的结果是范围向量。
语法：<instant_query> '[' <range> ':' [<resolution>] ']' [ @ <float_literal> ] [ offset <float_literal> ]
<resolution> 是可选的。默认为全局评估间隔。Prometheus 支持许多二元和聚合运算符。这些在表达式语言运算符页面中详细描述。
Prometheus 支持多个函数来操作数据。这些在表达式语言函数页面中详细描述。
PromQL 支持以 # 开头的行注释。示例
# This is a comment
Prometheus 中的所有正则表达式都使用 RE2 语法。
正则表达式匹配始终是完全锚定的。
在查询期间对数据进行采样的时戳是独立于实际存在的时间序列数据选择的。这主要是为了支持聚合（sum、avg 等）等情况，其中多个聚合时间序列在时间上并非精确对齐。由于它们的独立性，Prometheus 需要在这些时间戳为每个相关的时间序列分配一个值。它通过获取回溯期前最新的样本来实现这一点。回溯期默认为 5 分钟，但可以使用 --query.lookback-delta 标志进行设置
如果目标抓取或规则评估不再返回先前存在的时间序列的样本，则此时间序列将被标记为陈旧。如果删除了目标，则先前检索的时间序列将在删除后不久被标记为陈旧。
如果在时间序列被标记为陈旧之后在采样时间戳评估查询，则不会为该时间序列返回任何值。如果随后为该时间序列摄取新样本，则将按预期返回它们。
当时间序列不再导出，或者目标不再存在时，时间序列将变为陈旧。此类时间序列将在其最新收集样本的时间从图形中消失，并且在标记为陈旧后将不会在查询中返回。
一些导出器在其样本上放置自己的时间戳，会获得不同的行为：停止导出的序列在消失之前会保留（默认情况下）5 分钟的最后一个值。track_timestamps_staleness 设置可以更改此行为。
如果查询需要对大量数据进行操作，则绘制图形可能会超时或使服务器或浏览器过载。因此，在构建未知数据的查询时，始终首先在 Prometheus 表达式浏览器的表格视图中开始构建查询，直到结果集看起来合理（最多数百个，而不是数千个时间序列）。只有当您充分过滤或聚合数据后，才切换到图形模式。如果表达式仍然需要太长时间才能临时绘制图形，请通过记录规则预先记录它。
这对于 Prometheus 的查询语言尤其重要，在查询语言中，像 api_http_requests_total 这样的裸指标名称选择器可能会扩展到数千个具有不同标签的时间序列。此外，请记住，即使输出仅是少量时间序列，对许多时间序列进行聚合的表达式也会在服务器上产生负载。这类似于在关系数据库中对列的所有值求和的速度很慢，即使输出值只是一个数字。
本文档是开源的。请通过提交问题或拉取请求来帮助改进它。