facebookincubator / velox

A C++ vectorized database acceleration library aimed to optimizing query engines and data processing systems.
https://velox-lib.io/
Apache License 2.0
3.17k stars 1.05k forks source link

Expression Fuzzer fails in map function: source->size() >= rows.end() #9178

Open spershin opened 1 month ago

spershin commented 1 month ago

Description

https://app.circleci.com/pipelines/github/facebookincubator/velox/46498/workflows/bae0649b-899f-461c-875c-6964445391c2/jobs/321287

Error Reproduction

https://app.circleci.com/pipelines/github/facebookincubator/velox/46498/workflows/bae0649b-899f-461c-875c-6964445391c2/jobs/321287

Relevant logs

https://app.circleci.com/pipelines/github/facebookincubator/velox/46498/workflows/bae0649b-899f-461c-875c-6964445391c2/jobs/321287
mbasmanova commented 1 month ago

@spershin Sergey, full logs should be available in "artifacts":

https://app.circleci.com/pipelines/github/facebookincubator/velox/46498/workflows/bae0649b-899f-461c-875c-6964445391c2/jobs/321287/artifacts

I20240320 05:43:21.349328 12075 ExpressionFuzzerVerifier.cpp:312] ==============================> Started iteration 36302 (seed: 3876552173)

facebook::velox::VeloxRuntimeError'
  what():  Exception: VeloxRuntimeError
Error Source: RUNTIME
Error Code: INVALID_STATE
Reason: (94 vs. 100)
Retriable: False
Expression: source->size() >= rows.end()
Context: map(c2, c3)
Top-Level Context: map_zip_with(map_concat(c0, transform_values(9 elements starting at 0 {m+M"29}:Wyq;kexX(S3Zo@T1* => 5 elements starting at 0 {0.7604249119758606, 0.7604249119758606, 0.7604249119758606, null, 0.7604249119758606}, r]{ga0w]-=fBdSTy)rK3A: => 10 elements starting at 5 {0.7604249119758606, 0.7604249119758606, 0.7604249119758606, 0.7604249119758606, 0.7604249119758606, ...}, cAF.B/!?9|xm$xs;5M@cljf<n9fg => <empty>, 0Tcj"")K<m:,7cIy>6PBdQ<&QVxz`9@rUV/>^9Vd%O$-&{o}th"`H4P0]c7VVMT`~*PK%_.7QD:3qi*VXik(]-rvcL => 18 elements starting at 15 {0.7604249119758606, 0.7604249119758606, 0.7604249119758606, 0.7604249119758606, 0.7604249119758606, ...}, -LT|T;pDjrF&A$TC~'L$!*,DBoS => 7 elements starting at 33 {0.7604249119758606, 0.7604249119758606, 0.7604249119758606, 0.7604249119758606, 0.7604249119758606, ...}, ...}:MAP<VARCHAR,ARRAY<REAL>>, (__a0, __a1) -> {null, 0.3761809919960797, false, 0.9075122475624084, 1999-12-22T11:51:54.647478174}:ROW<f0:REAL,f1:DOUBLE,f2:BOOLEAN,f3:REAL,f4:TIMESTAMP>), c0, switch(c1, map(c2, c3), map(c2, c3)), map(c2, c3), (reduce(c4, c5, (__a0, __a1) -> null:REAL, (__a0) -> {639011303, null, 1 elements starting at 0 {MHdGlS&19bWY&qH;r~e%d.>NybQ2(<\EY#0y'=$wUh-(vo/yE1>,HT]izx~Y!&u>Db<0}glnn*p%`q#PAAIaT'\| => 1 elements starting at 0 {6616668917838935166 => 16879}}}:ROW<row_field0:DATE,row_field1:MAP<VARCHAR,ROW<f0:REAL,f1:DOUBLE,f2:BOOLEAN,f3:REAL,f4:TIMESTAMP>>,row_field2:MAP<VARCHAR,MAP<INTERVAL DAY TO SECOND,SMALLINT>>>)).row_field1), <empty>:MAP<VARCHAR,TINYINT>, (__a0, __a1, __a2) -> yKMP\F*H!A{Ywr=zF=|n%uE7%fVSA|.{1vk:VARCHAR)
Function: copy
File: /root/project/velox/vector/BaseVector.cpp
Line: 717

CC: @kgpai @bikramSingh91 @kagamiori

kgpai commented 1 month ago

Another possible example : https://github.com/facebookincubator/velox/actions/runs/8366230913/job/22908025782?pr=9182

kgpai commented 1 month ago

cc: @bikramSingh91