(JP) shmem_alloc/shmem_freeを並列実行すると、shmem_alloc時にダブルブッキングすることがある about pg-strom

[kaigai]

pgstrom_shmem_zone_block_free()が未使用ブロック同士を併合するロジックの中で、
例えば 0 - 7 番目のブロックが
0-1 Free
2-3 Active
4-7 Active -> Free
状態の時に、4-7ブロックとペアになるブロック列0-3をチェックし、その先頭ブロックの状態
だけを確認して 0-7 をFree状態にするロジックを発見。

現在修正中。

[kaigai]

250c8db に修正を入れました。

上記バグが原因だと並列実行は関係ありませんが、再現をトライしてみてください。

テストに使ったクエリは以下の通りです。

select count(*) from (select pgstrom_shmem_free(p) from (select pgstrom_shmem_alloc((random() * 1000000)::int) p from generate_series(1,100000) order by random()) as foo where p > 0) as var;

[taiki-k]

250c8db で再現するかを確認しました。

10並列まで試して再現しませんでしたので、修正できたと判断します。

[kaigai]

ありがとうございます。

後で発現すると厄介なバグになりかねない場所なので、早期発見できてよかったです。