[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Gcl-devel] Re: hashing and memoizing
From: |
Camm Maguire |
Subject: |
[Gcl-devel] Re: hashing and memoizing |
Date: |
26 Sep 2005 12:52:17 -0400 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 |
Robert Boyer <address@hidden> writes:
> Here may be the numb of the problem as I see it with any proposed use of
> hashing and memoizing or any general facility for supporting same. When to
> flush? These hash/memo techniques tend to gradually fill up memory and
> someone has to decide when to "forget" or death from memory exhaustion will
> ensue. But it's not very clear in general when to flush. compile-file might
> provide a good beginning/end pair for the forgetting process.
>
P.S. we flush the cache on each compile-file now in cvs HEAD.
Take care,
> Bob
>
>
>
>
--
Camm Maguire address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens." -- Baha'u'llah