Re: [racket-dev] call-with-limits memory bound isn't actually bounding memory usage

2013-09-11 Thread Eli Barzilay
An hour ago, J. Ian Johnson wrote: > Okay, stamourv made your response make sense. I added parameterize > ([current-namespace (make-base-namespace)]) inside the thunk, [...] If you're going down that road (which makes sense, of course), then it would probably be much easier to just use the full sa

Re: [racket-dev] call-with-limits memory bound isn't actually bounding memory usage

2013-09-11 Thread Robby Findler
emory limit > is not respected. Why wouldn the globals from a dynamic-require be > considered reachable outside the sandbox that calls dynamic-require? > There's no other way to get it. > > -Ian > - Original Message - > > > From: "J. Ian Johnson" &l

Re: [racket-dev] call-with-limits memory bound isn't actually bounding memory usage

2013-09-11 Thread J. Ian Johnson
ad, though? Thanks, -Ian - Original Message - From: "J. Ian Johnson" To: "Robby Findler" Cc: "dev" , "J. Ian Johnson" Sent: Wednesday, September 11, 2013 3:49:50 PM GMT -05:00 US/Canada Eastern Subject: Re: [racket-dev] call-with-limits memory bo

Re: [racket-dev] call-with-limits memory bound isn't actually bounding memory usage

2013-09-11 Thread J. Ian Johnson
) (require 'B) -Ian - Original Message - From: "Robby Findler" To: "J. Ian Johnson" Cc: "dev" Sent: Wednesday, September 11, 2013 3:34:55 PM GMT -05:00 US/Canada Eastern Subject: Re: [racket-dev] call-with-limits memory bound isn't actually bounding

Re: [racket-dev] call-with-limits memory bound isn't actually bounding memory usage

2013-09-11 Thread Robby Findler
quire in the thunk, rather than require in the module > using call-with-limits? > -Ian > - Original Message - > From: "David Vanderson" > To: "J. Ian Johnson" > Cc: "dev" > Sent: Monday, September 9, 2013 1:50:13 PM GMT -05:00 US/

Re: [racket-dev] call-with-limits memory bound isn't actually bounding memory usage

2013-09-11 Thread J. Ian Johnson
m: "J. Ian Johnson" To: "David Vanderson" Cc: "dev" , "J. Ian Johnson" Sent: Monday, September 9, 2013 2:01:02 PM GMT -05:00 US/Canada Eastern Subject: Re: [racket-dev] call-with-limits memory bound isn't actually bounding memory usage Ah, that would pro

Re: [racket-dev] call-with-limits memory bound isn't actually bounding memory usage

2013-09-09 Thread J. Ian Johnson
y, September 9, 2013 1:16:51 PM GMT -05:00 US/Canada Eastern Subject: Re: [racket-dev] call-with-limits memory bound isn't actually bounding memory usage The framework will, sometimes do stuff that queues callbacks and, depending on how you've set up other things, the code running th

Re: [racket-dev] call-with-limits memory bound isn't actually bounding memory usage

2013-09-09 Thread J. Ian Johnson
David Vanderson" To: "J. Ian Johnson" Cc: "dev" Sent: Monday, September 9, 2013 1:50:13 PM GMT -05:00 US/Canada Eastern Subject: Re: [racket-dev] call-with-limits memory bound isn't actually bounding memory usage Just to make sure, is the memory being allocated

Re: [racket-dev] call-with-limits memory bound isn't actually bounding memory usage

2013-09-09 Thread David Vanderson
s. Or are you talking about the sandbox queuing up callbacks? -Ian - Original Message - From: "Robby Findler" To: "J. Ian Johnson" Cc: "dev" Sent: Monday, September 9, 2013 1:16:51 PM GMT -05:00 US/Canada Eastern Subject: Re: [racket-dev] call-with-limits m

Re: [racket-dev] call-with-limits memory bound isn't actually bounding memory usage

2013-09-09 Thread David Vanderson
J. Ian Johnson" Cc: "dev" Sent: Monday, September 9, 2013 1:50:13 PM GMT -05:00 US/Canada Eastern Subject: Re: [racket-dev] call-with-limits memory bound isn't actually bounding memory usage Just to make sure, is the memory being allocated reachable from outside the sandbox? h

Re: [racket-dev] call-with-limits memory bound isn't actually bounding memory usage

2013-09-09 Thread Robby Findler
lobal > hash-tables and vectors. Or are you talking about the sandbox queuing up > callbacks? > -Ian > - Original Message - > From: "Robby Findler" > To: "J. Ian Johnson" > Cc: "dev" > Sent: Monday, September 9, 2013 1:16:51 PM GMT -05:0

Re: [racket-dev] call-with-limits memory bound isn't actually bounding memory usage

2013-09-09 Thread Robby Findler
The framework will, sometimes do stuff that queues callbacks and, depending on how you've set up other things, the code running there might escape from the limit. Did you try putting the eventspace under the limit too? Robby On Mon, Sep 9, 2013 at 10:54 AM, J. Ian Johnson wrote: > I'm running

Re: [racket-dev] call-with-limits memory bound isn't actually bounding memory usage

2013-09-09 Thread Carl Eastlund
-- > From: "Carl Eastlund" > To: "J. Ian Johnson" > Cc: "dev" > Sent: Monday, September 9, 2013 12:05:21 PM GMT -05:00 US/Canada Eastern > Subject: Re: [racket-dev] call-with-limits memory bound isn't actually > bounding memory usage >

Re: [racket-dev] call-with-limits memory bound isn't actually bounding memory usage

2013-09-09 Thread J. Ian Johnson
the usage over the limit. -Ian - Original Message - From: "Carl Eastlund" To: "J. Ian Johnson" Cc: "dev" Sent: Monday, September 9, 2013 12:05:21 PM GMT -05:00 US/Canada Eastern Subject: Re: [racket-dev] call-with-limits memory bound isn't actually

Re: [racket-dev] call-with-limits memory bound isn't actually bounding memory usage

2013-09-09 Thread Carl Eastlund
Does have the form (lambda () )? Because if not, that's the problem. Carl Eastlund -- WARNING! Poorly-typed cell phone email precedes. On Sep 9, 2013 11:55 AM, "J. Ian Johnson" wrote: > I'm running my analysis benchmarks in the context of (with-limits (* 30 > 60) 2048 ), and it's been good at