Yes please.

Michael

On 04/02/15 09:29, Ramana Kumar wrote:
> Yes, I saw those changes and hoped things might have got better. However, I'm
> using the latest commit and it seems that things are no better and possibly
> worse. I can point you to files that regularly push me out of memory if that
> would be helpful.
>
> On Tue, Feb 3, 2015 at 9:57 PM, Michael Norrish <michael.norr...@nicta.com.au
> <mailto:michael.norr...@nicta.com.au>> wrote:
>
>     My most recent commit to the repository may fix this problem.  We believe 
> that
>     the issue was with Holdep's analysis.  That analysis has just changed
>     significantly.  I'd be interested to hear if the problems get better or
>     worse now.
>
>     Michael
>
>     On 03/02/15 22:45, Ramana Kumar wrote:
>     > I often run into this kind of error:
>     >
>     > Holmake: Analysing fooTheory.sml
>     > Warning - Unable to increase stack - interrupting thread
>     > Fail exception: Got an Interrupt exception, with message <Interrupt> in
>     > make_up_to_date
>     >
>     > especially when fooTheory.sml is large (10s of MBs).
>     >
>     > As I understand it, Holmake is merely trying to collect paths to files 
> on
>     which
>     > fooTheory.sml depends. It doesn't seem to me that this should require 
> lots of
>     > memory, even if fooTheory.sml is large. Is there something I can do to 
> improve
>     > the situation?
>     >
>     >
>     >
>     > 
> ------------------------------------------------------------------------------
>     > Dive into the World of Parallel Programming. The Go Parallel Website,
>     > sponsored by Intel and developed in partnership with Slashdot Media, is 
> your
>     > hub for all things parallel software development, from weekly thought
>     > leadership blogs to news, videos, case studies, tutorials and more. 
> Take a
>     > look and join the conversation now. http://goparallel.sourceforge.net/
>     >
>     >
>     >
>     > _______________________________________________
>     > hol-info mailing list
>     > hol-info@lists.sourceforge.net <mailto:hol-info@lists.sourceforge.net>
>     > https://lists.sourceforge.net/lists/listinfo/hol-info
>     >
>
>
>     ________________________________
>
>     The information in this e-mail may be confidential and subject to legal
>     professional privilege and/or copyright. National ICT Australia Limited
>     accepts no liability for any damage caused by this email or its 
> attachments.
>
>


________________________________

The information in this e-mail may be confidential and subject to legal 
professional privilege and/or copyright. National ICT Australia Limited accepts 
no liability for any damage caused by this email or its attachments.

------------------------------------------------------------------------------
Dive into the World of Parallel Programming. The Go Parallel Website,
sponsored by Intel and developed in partnership with Slashdot Media, is your
hub for all things parallel software development, from weekly thought
leadership blogs to news, videos, case studies, tutorials and more. Take a
look and join the conversation now. http://goparallel.sourceforge.net/
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info

Reply via email to