mirror of
https://github.com/tendermint/tendermint.git
synced 2026-01-07 05:46:32 +00:00
e80dd00894
* Performance improvements for the event query API (#7319) Rework the implementation of event query parsing and execution to improve performance and reduce memory usage. Previous memory and CPU profiles of the pubsub service showed query processing as a significant hotspot. While we don't have evidence that this is visibly hurting users, fixing it is fairly easy and self-contained. Updates #6439. Typical benchmark results comparing the original implementation (PEG) with the reworked implementation (Custom): ``` TEST TIME/OP BYTES/OP ALLOCS/OP SPEEDUP MEM SAVING BenchmarkParsePEG-12 51716 ns 526832 27 BenchmarkParseCustom-12 2167 ns 4616 17 23.8x 99.1% BenchmarkMatchPEG-12 3086 ns 1097 22 BenchmarkMatchCustom-12 294.2 ns 64 3 10.5x 94.1% ```
36 lines
1019 B
Plaintext
36 lines
1019 B
Plaintext
package query
|
|
|
|
type QueryParser Peg {
|
|
}
|
|
|
|
e <- '\"' condition ( ' '+ and ' '+ condition )* '\"' !.
|
|
|
|
condition <- tag ' '* (le ' '* (number / time / date)
|
|
/ ge ' '* (number / time / date)
|
|
/ l ' '* (number / time / date)
|
|
/ g ' '* (number / time / date)
|
|
/ equal ' '* (number / time / date / value)
|
|
/ contains ' '* value
|
|
/ exists
|
|
)
|
|
|
|
tag <- < (![ \t\n\r\\()"'=><] .)+ >
|
|
value <- < '\'' (!["'] .)* '\''>
|
|
number <- < ('0'
|
|
/ [1-9] digit* ('.' digit*)?) >
|
|
digit <- [0-9]
|
|
time <- "TIME " < year '-' month '-' day 'T' digit digit ':' digit digit ':' digit digit (('-' / '+') digit digit ':' digit digit / 'Z') >
|
|
date <- "DATE " < year '-' month '-' day >
|
|
year <- ('1' / '2') digit digit digit
|
|
month <- ('0' / '1') digit
|
|
day <- ('0' / '1' / '2' / '3') digit
|
|
and <- "AND"
|
|
|
|
equal <- "="
|
|
contains <- "CONTAINS"
|
|
exists <- "EXISTS"
|
|
le <- "<="
|
|
ge <- ">="
|
|
l <- "<"
|
|
g <- ">"
|