Keykos was a platform intended for program agents from diverse and even hostile interests.
On 2011 Feb 8, at 15:57 , orbitz@ezabel.com wrote:
> One of the benefits, in my opinion, of C++ is SBRM. You can reason about the lifetime of an object and have an give yourself guarantees about its clean up. The method of initialization and clean up are also consistent for every object in the language.
>
> My questions are:
> 1) Do other people in the FP world consider this to be a good strategy?
> 2) Can this be done in a sane way in a GCd language?
> 3) What are the alternatives in a language like Ocaml?
http://cap-lore.com/CapTheory/KK/
It had an adversarial space allocation technology.
http://cap-lore.com/CapTheory/KK/Space.html
It was an operating system with a space allocation facility that was both safer and less safe than GC.
It was safer in that it was feasible to write applications therein safe from space exhaustion.
It was less safe in that programming errors might delete space too soon.
It did not suffer, however, from ‘memory safety’ errors when ‘stale pointers’ were used.
The behavior of stale pointers was determined and ‘threw exceptions’ by default.
Lurking forgotten references that were indeed destined not to be used were not a problem as in GC.
Releasing storage was explicit and indeed an extra additional application burden.
It was also possible for the agent paying for the storage to reclaim the storage despite access by others.
The allocation mechanisms were responsible for space on timescales from milliseconds to years.
Many complex agreements on data access between parties, positive and negative, were possible in Keykos, and enforced by mutually trusted software agents therein.
--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs