Issue147

Title Support 64 bit version of Fast Downward
Priority wish Status resolved
Superseder Nosy List erez, gabi, jendrik, malte
Assigned To Keywords
Optional summary

Created on 2010-11-12.14:32:49 by erez, last changed by malte.

Files
File name Uploaded Type Edit Remove
unnamed erez, 2010-11-15.21:05:03 text/html
Messages
msg1235 (view) Author: malte Date: 2011-02-02.20:14:24
Yes. There's issue213 for the somewhat worrying memory usage of the 64-bit
configuration; other than that, I don't think more needs to be done at the
moment. Thanks for noticing, and another one closed. :-)
msg1234 (view) Author: jendrik Date: 2011-02-02.03:03:58
This bug can probably be closed, can't it?
msg731 (view) Author: malte Date: 2010-11-15.21:21:24
"yY_greedy" should rather be "yY_eager", of course.
msg730 (view) Author: malte Date: 2010-11-15.21:20:50
> Could you please add those configurations to 
> new-scripts/downward_configs.py?

Can you do it? Here's the necessary hints:

 * A* with blind heuristic
   => already there ("blind")
 * A* with m&s with 200000 states
   => could be called "oa200000" for consistency with the existing "oa50000".
      Add "num_states=200000" to the mas() options. If that doesn't work,
      consult Gabi's excellent docs. ;-)
 * Lazy greedy search with h^cea and its preferred operators
   => already there ("yY")
 * Eager greedy search with h^cea and its preferred operators
   => "yY_greedy"; should be like yY with "lazy" => "eager", I hope.
msg729 (view) Author: jendrik Date: 2010-11-15.21:15:03
4 GB
> Just running a bunch of small tests locally without the scripts would also be
> OK. It's not like we need a whole lot of data.
I just like the scripts too much ;)

#! /usr/bin/env python
from issue102 import build_makefile_experiment

def compare_architectures():
     replace = [('32bit', []), ('64bit', [('-m32', '-m64')])]
     build_makefile_experiment(replace)

compare_architectures()

Could you please add those configurations to 
new-scripts/downward_configs.py?
msg728 (view) Author: erez Date: 2010-11-15.21:05:03
That would be a good idea, yes.

On Mon, Nov 15, 2010 at 10:00 PM, Jendrik <downward.issues@googlemail.com>wrote:

>
> Jendrik <jendrik.seipp@mars.uni-freiburg.de> added the comment:
>
> I guess I will have to disable the memory limit for the tests, won't I?
>
> _______________________________________________________
> Fast Downward issue tracker <downward.issues@gmail.com>
> <http://issues.fast-downward.org/issue147>
> _______________________________________________________
>

-- 

--------------------------------------------------------------
"Adventure is just bad planning."
    Roald Amundsen
    Norwegian Arctic & Antarctic explorer
    (1872 - 1928)
--------------------------------------------------------------
msg727 (view) Author: malte Date: 2010-11-15.21:04:06
Just increase the memory limit to whatever makes sense without causing the
machine to swap (physical RAM minus 512 MB should work fine). How much physical
RAM do you have available?

Just running a bunch of small tests locally without the scripts would also be
OK. It's not like we need a whole lot of data. Interesting configurations:

 * A* with blind heuristic on a set of problems of scaling size (domain doesn't
matter).
 * A* with m&s with 200000 states on logistics00
 * Lazy greedy search with h^cea and its preferred operators on the large
Satellite tasks.
 * Eager greedy search with h^cea and its preferred operators on the large
Satellite tasks.
msg726 (view) Author: jendrik Date: 2010-11-15.21:00:03
I guess I will have to disable the memory limit for the tests, won't I?
msg722 (view) Author: erez Date: 2010-11-15.13:53:51
To start - change -m32 to -m64 in the Makefile, and check if the planner still 
compiles and runs.
If it works, then we should compare peak memory (as well as run time) between the 
32 and 64 bit versions.
msg721 (view) Author: jendrik Date: 2010-11-15.13:44:43
My desktop runs 64 bit Ubuntu. What do I have to do to test it?
msg720 (view) Author: malte Date: 2010-11-15.13:42:38
I don't have access to a 64-bit system either. Gabi, Jendrik?
msg718 (view) Author: erez Date: 2010-11-15.09:46:15
As it turns out - we don't have a 64 bit OS installed anywhere.
I can install a 64 bit version on my laptop, but that will take some time.
Can someone else try this?
msg703 (view) Author: erez Date: 2010-11-12.14:32:49
IPC-2011 will have 6 GB of memory, so we should support a 64 bit version of Fast 
Downward.

From malte:
 It would be good to do some preparation of the code though. In
particular, I'd like to add some static assertions to verify the size of
certain key data structures. This would be even more relevant once we
support -m64 in addition to -m32.

For now, I will try to compile it with -m64 and see what happens.
History
Date User Action Args
2011-02-02 20:14:25maltesetstatus: chatting -> resolved
messages: + msg1235
2011-02-02 03:03:58jendriksetmessages: + msg1234
2010-11-15 21:21:24maltesetmessages: + msg731
2010-11-15 21:20:50maltesetmessages: + msg730
2010-11-15 21:15:03jendriksetmessages: + msg729
2010-11-15 21:05:03erezsetfiles: + unnamed
messages: + msg728
2010-11-15 21:04:06maltesetmessages: + msg727
2010-11-15 21:00:03jendriksetmessages: + msg726
2010-11-15 13:53:51erezsetmessages: + msg722
2010-11-15 13:44:43jendriksetmessages: + msg721
2010-11-15 13:42:38maltesetnosy: + gabi, jendrik
messages: + msg720
2010-11-15 09:46:16erezsetmessages: + msg718
2010-11-12 14:32:49erezcreate