I implemented what I thought would do this a long time ago, so if it isn't
there then I must be misremembering or things have changed in the code to
make it not happen.
Sam
On Sep 9, 2013 9:13 PM, "Eric Dobson" wrote:
> When did you add this? Last time I checked (June-ish) this was not
> added.
The Lord of heaven and earth bless your fine bug reporting skills with many
and happy days, that, as his heavenly hand hath enriched you with many
singular and extraordinary graces, so you may be the wonder of the world in
this latter age for happiness and true felicity, to the honour of that
great
Our own Sam: one step ahead. :)
Robby
On Mon, Sep 9, 2013 at 7:55 PM, Sam Tobin-Hochstadt wrote:
> Not only did our own Sam write about this, but he thought that he changed
> Typed Racket to do this. Am I missing something here, or are you describing
> more optimization than we do already or ..
When did you add this? Last time I checked (June-ish) this was not
added. Can you point to the code that does it?
On Mon, Sep 9, 2013 at 5:55 PM, Sam Tobin-Hochstadt
wrote:
> Not only did our own Sam write about this, but he thought that he changed
> Typed Racket to do this. Am I missing somethin
Not only did our own Sam write about this, but he thought that he changed
Typed Racket to do this. Am I missing something here, or are you describing
more optimization than we do already or ...?
Sam
On Sep 9, 2013 8:33 PM, "Robby Findler" wrote:
> FWIW, this is something that's been studied in s
Hello devs,
This week, at least 2 students destroyed the File -> Install Package
feature of DrRacket on their machines. The students copied a URL into
the Package Source field several times, resulting in this error.
Appearently, the only way to solve this problem is to delete
racket-prefs.rktd.
S
FWIW, this is something that's been studied in small calculi in the
literature. Nothing that will have to get thru all of the little details
that you have to get right to make it work in a real language design like
TR, but maybe you'll find some useful ways to look at the problem. (Mostly
the paper
I have ideas to remove about the contracts from TR code, but currently
that is only prototyped.
Example:
#lang typed/racket
(provide f)
(: f (Number -> Number))
(define (f x) x)
Currently f is exported with the contract (number? . -> . number?),
but this can be safely reduced to (number . -> . a
I don't use the gui framework at all. This is all just pounding on global
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 -0
Ah, that would probably be the problem. Without having to modify too much code,
would the proper way to call a function entirely within the sandbox be to use
dynamic-require in the thunk, rather than require in the module using
call-with-limits?
-Ian
- Original Message -
From: "David Van
Just to make sure, is the memory being allocated reachable from outside
the sandbox?
http://www.cs.utah.edu/plt/publications/ismm04-addendum.txt
On 09/09/2013 01:29 PM, J. Ian Johnson wrote:
I don't use the gui framework at all. This is all just pounding on global
hash-tables and vectors. Or
I don't know if I understand. It sounds like you want to the limit the
total memory allocated during the dynamic extent of the function
called. I don't know of functionality that does that.
The limit is on the total amount of memory reachable only from within
the function. Without knowing m
I'm running my analysis benchmarks in the context of (with-limits (* 30 60)
2048 ), and it's been good at killing the process when the run
should time out, but now I have an instantiation of the framework that just
gobbles up 15GiB of memory without getting killed. What might be going on here?
I assumed that when you wrote "the framework" you were referring to the
library you get by (require framework), but perhaps you weren't?
Robby
On Mon, Sep 9, 2013 at 12:29 PM, J. Ian Johnson wrote:
> I don't use the gui framework at all. This is all just pounding on global
> hash-tables and ve
Nice, and thanks for the explanation. Just to make sure I get it: does
this mean fully expanded TR modules are smaller?
Does it reduce the number of generated contracts?
On 09/08/2013 12:24 PM, Sam Tobin-Hochstadt wrote:
Typed Racket has to expand into code that registers the type of each
modu
On Mon, Sep 9, 2013 at 11:35 AM, Neil Toronto wrote:
> Nice, and thanks for the explanation. Just to make sure I get it: does this
> mean fully expanded TR modules are smaller?
Yes.
> Does it reduce the number of generated contracts?
No.
>
>
> On 09/08/2013 12:24 PM, Sam Tobin-Hochstadt wrote:
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
Argh, sorry, I read the docs for the wrong one, sorry for the misleading
response.
Carl Eastlund
--
WARNING! Poorly-typed cell phone email precedes.
On Sep 9, 2013 12:16 PM, "J. Ian Johnson" wrote:
> I changed it to (call-with-limits (* 30 60) 2048 (lambda ()
> )) for a sanity check, which I t
I changed it to (call-with-limits (* 30 60) 2048 (lambda () ))
for a sanity check, which I thought with-limits was just a macro for. Same
problem. The execution takes at least 20 seconds to get to 15GiB, so it can't
be just that GC isn't running in order for the custodian to notice the usage
ov
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
20 matches
Mail list logo