Jump to content

Interruptible operating system

From Wikipedia, the free encyclopedia
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

An interruptible operating system[1] is an operating system with ability to handle multiple interrupts concurrently, or in other words, which allow interrupts to be interrupted.

Concurrent interrupt handling essentially mean concurrent execution of kernel code and hence induces the additional complexity of concurrency control in accessing kernel datastructures.

It also means that the system can stop any program that is already running, which is a feature on nearly all modern operating systems.

See also

References

  1. ^ Chen, Hao; Wu, Xiongnan (Newman); Shao, Zhong; Lockerman, Joshua; Gu, Ronghui (2 June 2016). "Toward compositional verification of interruptible OS kernels and device drivers". dl.acm.org. Association for Computing Machinery, Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation. pp. 431–447. doi:10.1145/2908080.2908101. Retrieved 19 August 2025.