If the programmer is restricted to a language that does not allow for dynamic memory allocation
(as I was restricted to Fortran in 1965-75), then he or she must inevitably make the program data-dependent, thus vitiating the essential distinction between program and data.
The kernel design also guarantees bounded computation times by eliminating the need for features such as dynamic memory allocation
and heuristic scheduling.
Dynamic memory allocation
within Verix ensures efficient use of memory by automatically adjusting to the size of each application residing on a terminal, allowing for larger, more complex applications to be added while maximizing the amount of memory available on the terminal.
4K modem, generous memory optimized with dynamic memory allocation
, and a 12.
With true application separation, dynamic memory allocation
and multitasking capability, the Verix operating platform can support a variety of applications running on the same terminal efficiently and securely.
The Verix architecture extends the benefits of application separation and dynamic memory allocation
to applications developed in any of these environments.