MonetDB: Jul2021 - Fix some data races.

2023-04-24 Thread Sjoerd Mullender
Changeset: 221eed9afe12 for MonetDB URL: https://dev.monetdb.org/hg/MonetDB/rev/221eed9afe12 Modified Files: gdk/gdk.h gdk/gdk_bbp.c gdk/gdk_logger.c monetdb5/mal/mal_client.c monetdb5/mal/mal_interpreter.c sql/storage/bat/bat_utils.h Branch: Jul2021

MonetDB: Jul2021 - Fix some data races.

2022-06-08 Thread Sjoerd Mullender
Changeset: 5b969a829614 for MonetDB URL: https://dev.monetdb.org/hg/MonetDB/rev/5b969a829614 Modified Files: gdk/gdk_align.c gdk/gdk_bat.c gdk/gdk_batop.c gdk/gdk_bbp.c gdk/gdk_heap.c monetdb5/mal/mal_client.c monetdb5/mal/mal_dataflow.c Branc