home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / comp / sys / transput / 1181 < prev    next >
Encoding:
Internet Message Format  |  1992-11-12  |  2.0 KB
  1. Path: sparky!uunet!inmos!wraxall.inmos.co.uk!butcombe!geoffb
  2. Newsgroups: comp.sys.transputer
  3. From: geoffb@inmos.co.uk (Geoff Barrett)
  4. Subject: Re: IS Occam3 recursive?
  5. Message-ID: <1992Nov12.094835.8563@wraxall.inmos.co.uk>
  6. X-Newsreader: Tin 1.1 PL5
  7. References: <1992Nov11.033835.21118@netcom.com>
  8. Date: Thu, 12 Nov 92 09:48:34 GMT
  9. Lines: 49
  10.  
  11. Tim Walker (tsw@netcom.com) wrote:
  12. : 
  13. :  Does anyone know if Occam3 will be recursive? This is a big drawback
  14. : in Occam2 when trying to implement things like parallel searchs.
  15. : 
  16. :  -- Tim Walker  (tsw@netcom.com)
  17.  
  18. The short answer is `no'.
  19.  
  20. There is, however, a way to get fixed depth recursion.  Suppose the
  21. definition you want to achieve is:
  22.  
  23.   PROC foo (formals)
  24.     body  --  contains call to foo
  25.   :
  26.  
  27. Then you can achieve recursion to depth n by repeating the code thus:
  28.  
  29.   PROC foo (formals)
  30.     STOP
  31.   :
  32.   PROC foo (formals)
  33.     body  --  contains call to foo
  34.   :
  35.   ...  repeat n-2 times
  36.   PROC foo (formals)
  37.     body  --  contains call to foo
  38.   :
  39.  
  40. This might be regarded as a dirty hack.
  41.  
  42. More seriously, it does illustrate an important property of occam
  43. processes, namely that their workspace requirements can be determined
  44. statically.  If you can't do this, then the implementation of parallel
  45. processes becomes much more difficult.  In current implementations of
  46. occam, it is possible to allocate a fixed amount of workspace for each
  47. parallel process.  If you allow recursive processes you cannot
  48. determine statically how much workspace each process will need.  This
  49. means that you have to know what to do with stack overflow when the
  50. obvious place to extend it has been allocated to something else
  51. already.  If you think you have a solution to this, and it does not
  52. have an adverse affect on the context switch time, then I will be
  53. interested to hear it.  In general, it is more important for an
  54. embedded application to be sure of enough space in which to run.  After
  55. all, you don't want to run out of memory just as you reach a critical
  56. section of control code.
  57.  
  58. Geoff Barrett
  59. INMOS Limited
  60.