ABSTRACT

In order to construct a real-time symbolic processing system, it is indispensable to implement realtime garbage collection and an interrupt handling mechanism with small response delay. The latter needs to be based upon a preemptive lightweight process mechanism.