4 ms·
Double yep! I plan on covering how this stuff relates to concurrency next.
by mrbbk 13y ago
Double yep! I plan on covering how this stuff relates to concurrency next.
- handymanne 13y agoCool. I, for one, will also be keeping an eye out for more real-time garbage collection articles. I'm specifically interested in real-world implementations that have actually been helpful. I'm sold on the value but I don't think that most languages provide the kind of guarantees that you need for RTGC. Again, its the problem with proving temporal properties, which is hard in functional programming. But I don't know any real languages for which RTGC should be easily integrated... maybe Mercury? TLA+/PlusCal feels closer to the right direction but is focused on specification instead of compilation (a distinction that we have turned into a difference). But I don't see how a traditional imperative language could handle RTGC without time-consuming and error-prone manual instrumentation. (I'm hoping I'm wrong about that.)
- mrbbk 13y agoI think whichever way you slice it, program analysis is an essential aspect of true hard RTGC.