[plt-scheme] Typed-Scheme Memory Issues

So is the memory consumption all due to the debugging mode? That  
sounds bad, too -- Matthias




On Apr 8, 2009, at 9:54 AM, Paulo J. Matos wrote:

> On Wed, Apr 8, 2009 at 1:18 PM, Robby Findler
> <robby at eecs.northwestern.edu> wrote:
>> Is profiling turned on? (or maybe try disabling debugging?)
>>
>
> You're right... debugging was enabled. Without debugging the
> performance is similar as mzc compilation. But with debugging on, my
> PC just goes nuts. Since I started working on this I had to increase
> my swap from 512Mb to 4.5Gb because my machine would just stop after
> DrScheme consumed all of the 2Gb of memory and the 512Mb of swap...
>
>> Robby
>>
>> On Wednesday, April 8, 2009, Carl Eastlund  
>> <carl.eastlund at gmail.com> wrote:
>>> On Wed, Apr 8, 2009 at 5:25 AM, Paulo J. Matos  
>>> <pocmatos at gmail.com> wrote:
>>>> On Wed, Apr 8, 2009 at 6:26 AM, Matthias Felleisen  
>>>> <matthias at ccs.neu.edu> wrote:
>>>>>
>>>>> It might still be worth examining why TS uses so much memory.
>>>>> Type checking should be linear in space in the source code,
>>>>> though I suspect that this is not quite true when you use
>>>>> unions and other commutative/associative things that require
>>>>> extra work. But, type checking 3000 lines of code should
>>>>> never use 2GB. -- Matthias
>>>>
>>>> It seems it doesn't take that much space (if you use mzc)...
>>>> I guess there's something wrong between typed-scheme and drscheme.
>>>> Let me know what kind of debug I can provide to aid in your  
>>>> search for
>>>> a problem [I have no problems in sending you the files I am working
>>>> on, if you wish].
>>>
>>> Paulo,
>>>
>>> Have you tried writing untyped versions of the modules and
>>> compiling/running those?  That would be a quick way to see whether
>>> Typed Scheme is involved in this issue or not.  It could always be
>>> some other artifact of your code causing the blow-up in space and
>>> time.
>>>
>>> --Carl
>>> _________________________________________________
>>>   For list-related administrative tasks:
>>>   http://list.cs.brown.edu/mailman/listinfo/plt-scheme
>>>
>>
>
>
>
> -- 
> Paulo Jorge Matos - pocmatos at gmail.com
> Webpage: http://www.personal.soton.ac.uk/pocm