[pypy-svn] rev 1380 - pypy/trunk/doc/funding

[tismer at codespeak.net]

Author: tismer
Date: Sat Sep 20 21:02:48 2003
New Revision: 1380

Modified:
   pypy/trunk/doc/funding/B6.wp09_integrate_stackless.txt
   pypy/trunk/doc/funding/B6.wp11_small_os.txt
Log:
Augmented the Stackless stuff with support for interrupts and such.
This avoids having yet another WP, and if I want to
implement an OS at all, then one without threads, just tasklets!

Modified: pypy/trunk/doc/funding/B6.wp09_integrate_stackless.txt
==============================================================================
--- pypy/trunk/doc/funding/B6.wp09_integrate_stackless.txt	(original)
+++ pypy/trunk/doc/funding/B6.wp09_integrate_stackless.txt	Sat Sep 20 21:02:48 2003
@@ -22,9 +22,9 @@
 
 - Integration of Stackless's Technology into PyPy.
 
-  - Enable Massive Parallelism in a Single Thread
-  - Allow Pickling of a Running Program
+- Enable Massive Parallelism in a Single Thread
 
+- Allow Pickling of a Running Program
 
 **Description of work**
 
@@ -39,6 +39,9 @@
   
 - Implement a dedicated run-time component (WP05_) for Stackless.
 
+- Implement a single-threaded, pre-emptive scheduler with
+  priorities. This is necessary to support small OSes, like WP11_.
+
 - Further develop these technologies based on the results gathered in WP07_, 
   e.g. identify when these technologies would guide specific choices among the 
   solutions developed in WP05_ and studying several solutions in WP06_.

Modified: pypy/trunk/doc/funding/B6.wp11_small_os.txt
==============================================================================
--- pypy/trunk/doc/funding/B6.wp11_small_os.txt	(original)
+++ pypy/trunk/doc/funding/B6.wp11_small_os.txt	Sat Sep 20 21:02:48 2003
@@ -26,11 +26,23 @@
 
 **Description of work**
 
-- Analyse the existing device drivers for the embedded device
-  and re-code them in Python.###
+- Analyse the existing device drivers for the embedded device.
+  Figure out which drivers should be interfaced to, which
+  parts of the BIOS must be interfaced, and what has to be
+  recoded in Python. At least all drivers which have
+  blocking calls must be recoded in in Python.
+  
+- Recode the according device drivers in Python. Design tests
+  which ensure functional compatibility with the original ones,
+  as far as these exist.
+ 
+- Extend the simulator of WP10_ accordingly.
+  
+- Implement the OS kernel as a set of prioritized tasklets
+  (WP09_)
+  
+- Test the implementation both on the simulator and on the real hardware.
 
-*Gack! It looks like I have to have another working package
-that adds scheduling and interrupt support to PyPy!*
 
 **Deliverables**