[pypy-dev] Questions for Armin

Armin Rigo arigo at tunes.org
Sun Jan 19 19:50:28 CET 2003


Hello Bengt,

On Sat, Jan 18, 2003 at 11:25:52PM -0800, Bengt Richter wrote:
> I'm also  picking this  place  to re-introduce  the  related
> "checkpointing" idea, namely some  call into a builtin  that
> can act  like  a yield  and  save  all the  state  that  the
> compiler/psyco etc have worked up.

This might probably be done without Psyco, and would certainly be a nice thing
to have.  Note that a good Psyco could remove any need for it: most
initialization code could theoretically be specialized into something that
just creates the necessary data structures without executing any code at all.

Sometimes I like to point out that if our OS were written in a high-level
language with built-in specializers, they would boot in no more than the time
it takes to do the actual I/O that occurs when booting (mainly displaying the
login screen and waiting for mouse, keyboard and network input) --- everything
else is internal state and can be done lazily.


A bientot,

Armin.



More information about the Pypy-dev mailing list