Jump to content

Interruptible operating system

From Wikipedia, the free encyclopedia
This is the current revision of this page, as edited by JoeNMLC (talk | contribs) at 20:03, 19 August 2025 (chg unref. to one source tag; ► Wikipedia:WikiProject Unreferenced articles; you can help! ●). The present address (URL) is a permanent link to this version.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

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

[edit]

References

[edit]
  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.