[pypy-svn] r69529 - pypy/extradoc/planning

arigo at codespeak.net arigo at codespeak.net
Mon Nov 23 11:35:27 CET 2009


Author: arigo
Date: Mon Nov 23 11:35:26 2009
New Revision: 69529

Modified:
   pypy/extradoc/planning/jit.txt
Log:
Draft plan for killing the hacks in executioncontext.py.


Modified: pypy/extradoc/planning/jit.txt
==============================================================================
--- pypy/extradoc/planning/jit.txt	(original)
+++ pypy/extradoc/planning/jit.txt	Mon Nov 23 11:35:26 2009
@@ -125,3 +125,25 @@
     - ResOperation
     - ResumeGuardDescr
     - ConstInt
+
+
+Plan for killing the hacks in executioncontext.py
+-------------------------------------------------
+
+1. Finish support for virtualizables.  We need a way to ask,
+   typically from a recursive residual call, for the structure
+   in some parent JITted context.  So the virtualizable and
+   all virtuals need a way to be forced.  The idea is to reuse
+   as much as possible the backend logic of guard failure and
+   the corresponding frontend logic to rebuild virtuals, but
+   called in this case indirectly, in the middle of running a
+   residual call.
+
+2. Reverting to the old logic without "f_forward", we need to
+   make "f_back" and "topframe" pointers that can reference
+   virtuals.  Probably implemented by having them point to a
+   stub object that contains the stack position and the index
+   of the virtual in the list of virtuals.  If we need to
+   access its content, we force it as above.
+
+Open question: how can this be done on CLI?



More information about the Pypy-commit mailing list