[Xsb-development] [ xsb-Bugs-1044508 ] memory violation on fedora core 2

[SourceForge.net <no...@so...>]

Bugs item #1044508, was opened at 2004-10-11 11:08
Message generated for change (Comment added) made by dwarren
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=101176&aid=1044508&group_id=1176

Category: None
Group: None
>Status: Closed
>Resolution: Fixed
Priority: 5
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: memory violation on fedora core 2

Initial Comment:
After normal installation: 

# configure
# makexsb
...
/usr/local/XSB/bin/xsb -e "segfault_handler(warn)." <
cmd...
 
++Memory violation occurred during evaluation.
++Please report this problem using the XSB bug tracking
system accessible from
++       http://sourceforge.net/projects/xsb
++Please supply the steps necessary to reproduce the bug.
 
Exiting XSB abnormally...
make[2]: *** [all] Error 1
make[2]: Leaving directory `/usr/local/XSB/cmplib'
make[1]: *** [cmplib] Error 2
make[1]: Leaving directory `/usr/local/XSB'
make: *** [remake_dot_O_files] Error 2

    INSTALLATION SUMMARY
                        --------------------
 
XSB Version:       2.6
Code name:         Duff
Release date:      2003-06-24
Configuration:     i686-pc-linux-gnu
Installation date: Mon Oct 11 12:54:17 CEST 2004



----------------------------------------------------------------------

>Comment By: David S. Warren (dwarren)
Date: 2005-02-13 17:47

Message:
Logged In: YES 
user_id=13069

This is probably due to the problem with tagging.  XSB
steals the high-order bit of addresses, so if the OS
allocates addresses in the upper half of virtual memory
(above 2 Gigs), there is a problem.  XSB has now been
revised to include a GENERAL_TAGGING compiler flag that
allows it to work with Fedora's memory allocation scheme.  
 So this should be fixed.  It can be obtained by anonymous
checkout of the current CVS, and it will be available in the
next release, which should be coming within the next week or
so.  -DSW

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=101176&aid=1044508&group_id=1176