Cardinality

[Simon Peyton-Jones]

I don't know how to account for that.  Make sure you are compiling everything with -dcore-lint.  I guess you are on a Mac?  I'm using 64-bit Linux.  Is it definitely ok with the old demand analyser?

Note for others: this is nofib/imaginary/integrate.

Simon

From: ilyas239 at gmail.com [mailto:ilyas239 at gmail.com] On Behalf Of Ilya Sergey
Sent: 16 January 2013 17:25
To: Simon Peyton-Jones
Subject: Re: Cardinality

I run nofib and at some point I get the following output:

==nofib== integrate: time to run integrate follows...
../../runstdtest/runstdtest ./integrate  -o1 integrate.stdout -o1 integrate.stdout  -ghc-timing  +RTS -K20m -H100m -RTS    50000;   ../../runstdtest/runstdtest ./integrate  -o1 integrate.stdout -o1 integrate.stdout  -ghc-timing  +RTS -K20m -H100m -RTS    50000;   ../../runstdtest/runstdtest ./integrate  -o1 integrate.stdout -o1 integrate.stdout  -ghc-timing  +RTS -K20m -H100m -RTS    50000;   ../../runstdtest/runstdtest ./integrate  -o1 integrate.stdout -o1 integrate.stdout  -ghc-timing  +RTS -K20m -H100m -RTS    50000;   ../../runstdtest/runstdtest ./integrate  -o1 integrate.stdout -o1 integrate.stdout  -ghc-timing  +RTS -K20m -H100m -RTS    50000;
/bin/sh: line 1: 33635 Bus error: 10           ././integrate +RTS -s/var/folders/c1/pbj77lbx6fnc3qkj984xp44h0000gn/T//stats33626 -RTS +RTS -K20m -H100m -RTS 50000 < /dev/null > /var/folders/c1/pbj77lbx6fnc3qkj984xp44h0000gn/T//runtest33626.1.raw 2> /var/folders/c1/pbj77lbx6fnc3qkj984xp44h0000gn/T//runtest33626.2.raw 3> /var/folders/c1/pbj77lbx6fnc3qkj984xp44h0000gn/T//runtest33626.3.raw

real     0m0.922s
user    0m0.004s
sys     0m0.009s
././integrate +RTS -K20m -H100m -RTS 50000 < /dev/null
**** expected exit status 0 not seen ; got 138
/bin/sh: line 1: 33651 Bus error: 10


If I remove integrate from the nofib Makefile, the rest of the benchmarks works just fine.

Ilya

On Wed, Jan 16, 2013 at 9:19 PM, Simon Peyton-Jones <simonpj at microsoft.com<mailto:simonpj at microsoft.com>> wrote:
no, I don't.  That's odd.  How does it manifest for you?

S

From: ilyas239 at gmail.com<mailto:ilyas239 at gmail.com> [mailto:ilyas239 at gmail.com<mailto:ilyas239 at gmail.com>] On Behalf Of Ilya Sergey
Sent: 16 January 2013 17:13

To: Simon Peyton-Jones
Subject: Re: Cardinality

Thank you.

I ran nofib myself too, and it seems to be fine, except that issue with imaginary/integrate.
Did you have that error when running nofib as well?

Ilya
On Wed, Jan 16, 2013 at 5:39 PM, Simon Peyton-Jones <simonpj at microsoft.com<mailto:simonpj at microsoft.com>> wrote:
fixed thanks.

I'm doing another nofib run now.

S

From: ilyas239 at gmail.com<mailto:ilyas239 at gmail.com> [mailto:ilyas239 at gmail.com<mailto:ilyas239 at gmail.com>] On Behalf Of Ilya Sergey
Sent: 16 January 2013 12:38

To: Simon Peyton-Jones
Subject: Re: Cardinality

Hi Simon.

I tried to build from the `new-demand-to-merge` branch recently, and I got the following Lint error when building libraries/base/GHC/Event/Array.hs by a stage-1 compiler:

*** Core Lint errors : in result of Common sub-expression ***
<no location info>: Warning:
    In a case alternative: (GHC.ForeignPtr.ForeignPtr fo_s3mr :: GHC.Prim.Addr#,
                                                      ds1_s3mq :: GHC.ForeignPtr.ForeignPtrContents)
    Occurrence of a dead Id wild_s3ms

Any ideas, how it could be fixed, so I could integrate your changes into the cardinality branch and run the experiments?

Kind regards,
Ilya

On Tue, Jan 8, 2013 at 11:22 PM, Simon Peyton-Jones <simonpj at microsoft.com<mailto:simonpj at microsoft.com>> wrote:
ok. busy working on it now.

From: ilyas239 at gmail.com<mailto:ilyas239 at gmail.com> [mailto:ilyas239 at gmail.com<mailto:ilyas239 at gmail.com>] On Behalf Of Ilya Sergey
Sent: 07 January 2013 11:53

To: Simon Peyton-Jones
Subject: Re: Cardinality

Great, thank you.

Please, let me know when it's in the stable state, so I could implement the optimisation making use of single-used thunks (and it would not interfere with your changes).

Kind regards,
Ilya
On Fri, Jan 4, 2013 at 3:11 PM, Simon Peyton-Jones <simonpj at microsoft.com<mailto:simonpj at microsoft.com>> wrote:
I've been working on the code.  Will commit shortly.  Integrate seems ok, happily.

SImon

From: ilyas239 at gmail.com<mailto:ilyas239 at gmail.com> [mailto:ilyas239 at gmail.com<mailto:ilyas239 at gmail.com>] On Behalf Of Ilya Sergey
Sent: 23 December 2012 16:57

To: Simon Peyton-Jones
Subject: Re: Cardinality

Hi Simon.