mserver5 crash due (assertion failure in gdk_bat.c)

[monetdb-team]

Date: 2014-07-18 15:52:10 +0200
From: Martin van Dinther <<martin.van.dinther>>
To: SQL devs <>
Version: 11.17.17 (Jan2014-SP2)

Last updated: 2014-07-31 09:50:19 +0200

Comment 19913

Date: 2014-07-18 15:52:10 +0200
From: Martin van Dinther <<martin.van.dinther>>

User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:30.0) Gecko/20100101 Firefox/30.0
Build Identifier:

mserver5: gdk_bat.c:2852: BATassertHeadProps: Assertion `!b->H->revsorted || cmp >= 0' failed.

Reproducible: Always

Steps to Reproduce:

1.compile monetdb with --enable-assert
2.start mserver5
3.make connection e.g. via mclient and issue follwing SQL statements:
CREATE TABLE ceil_floor_round (a numeric);
INSERT INTO ceil_floor_round VALUES ('-5.499999');
INSERT INTO ceil_floor_round VALUES ('0.0');
SELECT a, round(a, 0) FROM ceil_floor_round;

bash-4.2$ mclient
Welcome to mclient, the MonetDB/SQL interactive terminal (unreleased)
Database: MonetDB v11.17.17 (Jan2014-SP2), 'demo'
Type \q to quit, ? for a list of available commands
auto commit mode: on
sql>CREATE TABLE ceil_floor_round (a numeric);
operation successful (49.181ms)
sql>INSERT INTO ceil_floor_round VALUES ('-5.499999');
1 affected rows (3.253ms)
sql>SELECT a, round(a, 0) FROM ceil_floor_round;
+------+---------+
| a | round_a |
+======+=========+
| -4 | -4 |
+------+---------+
1 tuple (1.231ms)
sql>INSERT INTO ceil_floor_round VALUES ('0.0');
1 affected rows (1.433ms)
sql>SELECT a, round(a, 0) FROM ceil_floor_round;
sql>
bash-4.2$

Actual Results:

builtin opt gdk_dbpath = /ufs/dinther/MonetDB201407/var/monetdb5/dbfarm/demo
builtin opt gdk_debug = 0
builtin opt gdk_vmtrim = no
builtin opt monet_prompt = >
builtin opt monet_daemon = no
builtin opt mapi_port = 50000
builtin opt mapi_open = false
builtin opt mapi_autosense = false
builtin opt sql_optimizer = default_pipe
builtin opt sql_debug = 0
MonetDB 5 server v11.17.17 "Jan2014-SP2"
Serving database 'demo', using 8 threads
Compiled for x86_64-unknown-linux-gnu/64bit with 64bit OIDs dynamically linked
Found 15.356 GiB available main-memory.
Copyright (c) 1993-July 2008 CWI.
Copyright (c) August 2008-2014 MonetDB B.V., all rights reserved
Visit http://www.monetdb.org/ for further information
Listening for connection requests on mapi:monetdb://127.0.0.1:50000/
MonetDB/GIS module loaded
MonetDB/JAQL module loaded
MonetDB/SQL module loaded

Bulk operator required for str.stringleft
Bulk operator required for str.stringleft
mserver5: gdk_bat.c:2852: BATassertHeadProps: Assertion `!b->H->revsorted || cmp >= 0' failed.
./start_mserver5.sh: line 3: 11239 Aborted ./MonetDB201407/bin/mserver5 -d10

Expected Results:

no crash

Comment 19914

Date: 2014-07-18 16:25:28 +0200
From: MonetDB Mercurial Repository <>

Changeset e5dff2bf969c made by Sjoerd Mullender sjoerd@acm.org in the MonetDB repo, refers to this bug.

For complete details, see http//devmonetdborg/hg/MonetDB?cmd=changeset;node=e5dff2bf969c

Changeset description:

We must set revsorted property as well when rounding a bat.
This fixes bug #3515.

Comment 19915

Date: 2014-07-18 16:25:32 +0200
From: MonetDB Mercurial Repository <>

Changeset 7ea2745f8204 made by Sjoerd Mullender sjoerd@acm.org in the MonetDB repo, refers to this bug.

For complete details, see http//devmonetdborg/hg/MonetDB?cmd=changeset;node=7ea2745f8204

Changeset description:

Added test for bug #3515.