Bugs item #1771532, was opened at 2007-08-10 12:35
Message generated for change (Comment added) made by stmane
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=482468&aid=1771532&group_id=56967
Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: PF/compiler
Group: Pathfinder CVS Head
Status: Open
Resolution: None
Priority: 5
Private: No
Submitted By: Maurice van Keulen (mvankeulen)
Assigned to: Nobody/Anonymous (nobody)
Summary: MIL-optimizer fails sometimes for big queries
Initial Comment:
When running big queries, i.e., queries with many lines of XQuery code
(possibly due to import of modules), you sometimes run into MonetDB error
messages like
ERROR = !ERROR: BATfetchjoin(tmp_5102,tmp_5122) does not hit always (|bn|=2 !=
4=|l|) => can't use fetchjoin.
!ERROR: CMDleftfetchjoin: operation failed.
The problem is not in the mps generating faulty code, but in the MIL-optimizer
(mil_opt.c) running out of bounds. Switching off the MIL-optimizer by changing
line 697 of mil_opt.c from "* if (!(o->optimize)) {" into "if (1) {" avoids the
bug.
The attached query runs into the bug. Switching off the MIL-optimizer results
in it running into another bug:
ERROR = !ERROR: interpret: no matching MIL operator to 'append(BAT[oid,oid],
BAT[oid,void])'.
!MAYBE YOU MEAN:
! append(BAT[any::1,BAT], any) : BAT[any::1,BAT]
! append(BAT[void,any::1], any::1, bit) : BAT[void,any::1]
! append(BAT[void,any::1], any::1) : BAT[void,any::1]
! append(BAT[oid,any::1], any::1, bit) : BAT[oid,any::1]
! append(BAT[oid,any::1], any::1) : BAT[oid,any::1]
! append(BAT[void,any::1], BAT[oid,any::1], bit) :
BAT[void,any::1]
! append(BAT[void,any::1], BAT[oid,any::1]) : BAT[void,any::1]
! append(BAT[void,any::1], BAT[void,any::1], bit) :
BAT[void,any::1]
! append(BAT[void,any::1], BAT[void,any::1]) : BAT[void,any::1]
! append(BAT[oid,any::1], BAT[oid,any::1], bit) : BAT[oid,any::1]
! append(BAT[oid,any::1], BAT[oid,any::1]) : BAT[oid,any::1]
Apparently, there is a missing assignment to "pos" somewhere in mps, because if
I add "pos:[EMAIL PROTECTED];" to line 11641 in milprint_summer.c (function
PFudfMIL), the code runs fine.
Sorry to report two bugs in one bug-report.
----------------------------------------------------------------------
>Comment By: Stefan Manegold (stmane)
Date: 2007-08-10 12:48
Message:
Logged In: YES
user_id=572415
Originator: NO
next time, *please*
(1) use one report per bug
(2) state clearly that your are using/requiring that PF is configured with
"--enable-probxml"
Would save us a lot of precious time and make us lives much easier!
aTdHvAaNnKcSe!
----------------------------------------------------------------------
Comment By: Stefan Manegold (stmane)
Date: 2007-08-10 12:44
Message:
Logged In: YES
user_id=572415
Originator: NO
$ pf /tmp/bug12.xq
bad usage of XML namespaces: at (46,53-46,78): unknown namespace in
qualified function name pxmlsup:deep-equal
# halted in
/ufs/manegold/_/scratch0/Monet/Testing/Current/source/pathfinder/compiler/semantics/ns.c
(ns_resolve), line 851
----------------------------------------------------------------------
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=482468&aid=1771532&group_id=56967
-------------------------------------------------------------------------
This SF.net email is sponsored by: Splunk Inc.
Still grepping through log files to find problems? Stop.
Now Search log events and configuration files using AJAX and a browser.
Download your FREE copy of Splunk now >> http://get.splunk.com/
_______________________________________________
Monetdb-bugs mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/monetdb-bugs
