this post was submitted on 30 May 2024
74 points (100.0% liked)

Linux

48287 readers
657 users here now

From Wikipedia, the free encyclopedia

Linux is a family of open source Unix-like operating systems based on the Linux kernel, an operating system kernel first released on September 17, 1991 by Linus Torvalds. Linux is typically packaged in a Linux distribution (or distro for short).

Distributions include the Linux kernel and supporting system software and libraries, many of which are provided by the GNU Project. Many Linux distributions use the word "Linux" in their name, but the Free Software Foundation uses the name GNU/Linux to emphasize the importance of GNU software, causing some controversy.

Rules

Related Communities

Community icon by Alpár-Etele Méder, licensed under CC BY 3.0

founded 5 years ago
MODERATORS
 

To get started with the real-time kernel for Ubuntu 24.04, check out the official documentation. One thing to keep in mind if you’re an NVIDIA GPU user is that the real-time Ubuntu kernel does not support the proprietary NVIDIA graphics drivers.

you are viewing a single comment's thread
view the rest of the comments
[–] atzanteol@sh.itjust.works 3 points 5 months ago* (last edited 5 months ago)

I guess i am still skipping on how real time kernel address the pause? it just never pauses or it no longer needs to be paused?

When hardware has data ready for a program it generates an interrupt that lets the OS know that there is data ready for an application. My understanding is that real-time OSs give high priority to interrupts so that they're processed quickly - usually within a fixed period of time (e.g. they may have a max time between interrupt and processing).

as a side note, is this similar technology they use in high precision manufacturing?

In those cases it may be more likely they use a micro-controller that doesn't run any OS at all - at least not a multi-tasking one. If you're just running a single program you don't need to worry about latency due to other applications running.