Eksempler på operating system

• Applications based on this framework are shielded from any operating system dependence.

• This appears to be caused by different installed sets of vendor-supplied operating system patches.

• The read-eval-print loop approach fits neither of these categories because it acts as another operating system inside an operating system.

• Another approach is to implement the desired concurrency directly, foregoing any time-sharing facilities provided by the operating system itself.

• The initial basis is not large enough to write real programs that use nontrivial input/output, or that interact much with the operating system.

• A small number only are exclusive to one or another operating system.

• At the operating system level, standard process communication mechanisms are used to establish and maintain connections between processes.

• The modelling of operating system structures is a real test for a specification method.