[9fans] /dev/realtime doesn't exist?

[9fans] /dev/realtime doesn't exist?

[dusan3sic]

[-- Attachment #1: Type: text/plain, Size: 885 bytes --]

I was reading an article about plan9's realtime scheduler edf (http://doc.cat-v.org/plan_9/real_time/real_time_in_a_real_operating_system/real_time_in_a_real_operating_system.pdf, page 7), and they mentioned using /dev/realtime to create realtime processes, but /dev/realtime doesn't exist on my machine (I am using 9front). I found a post here from 07 saying something about removing it a long time ago, but it got no answers. 

In proc(3) they mention some commands for configuring realtime processes but I don't know if that is to configure an already made realtime process or to make one from a regular. How do i make realtime processes in these days?
------------------------------------------
9fans: 9fans
Permalink: https://9fans.topicbox.com/groups/9fans/Td0e7a4f73d1eae3b-M41147d163677a52982cd7486
Delivery options: https://9fans.topicbox.com/groups/9fans/subscription

[-- Attachment #2: Type: text/html, Size: 1551 bytes --]

Re: [9fans] /dev/realtime doesn't exist?

[ori]

Quoth dusan3sic@gmail.com:
> I was reading an article about plan9's realtime scheduler edf (http://doc.cat-v.org/plan_9/real_time/real_time_in_a_real_operating_system/real_time_in_a_real_operating_system.pdf, page 7), and they mentioned using /dev/realtime to create realtime processes, but /dev/realtime doesn't exist on my machine (I am using 9front). I found a post here from 07 saying something about removing it a long time ago, but it got no answers. 
> 
> In proc(3) they mention some commands for configuring realtime processes but I don't know if that is to configure an already made realtime process or to make one from a regular. How do i make realtime processes in these days?

it's the bits you found in /proc; there are no (longer?)
any special real time processes; any process can become
real time by setting up deadlines at any point.

/dev/realtime isn't needed any more.

unfortunately, I'm not aware of any programs using it.

(that may be a good question for the list: where was the
real time scheduler used, and does any code using it
survive?)



------------------------------------------
9fans: 9fans
Permalink: https://9fans.topicbox.com/groups/9fans/Td0e7a4f73d1eae3b-Mef6952cc77b2f18134fbaf66
Delivery options: https://9fans.topicbox.com/groups/9fans/subscription

Re: [9fans] /dev/realtime doesn't exist?

[Charles Forsyth]

[-- Attachment #1: Type: text/plain, Size: 1532 bytes --]

There's another paper from an iwp9 http://9p.io/iwp9/Real-time.pdf that
might provide more detail

On Tue, 29 Aug 2023 at 18:19, <ori@eigenstate.org> wrote:

> Quoth dusan3sic@gmail.com:
> > I was reading an article about plan9's realtime scheduler edf (
> http://doc.cat-v.org/plan_9/real_time/real_time_in_a_real_operating_system/real_time_in_a_real_operating_system.pdf,
> page 7), and they mentioned using /dev/realtime to create realtime
> processes, but /dev/realtime doesn't exist on my machine (I am using
> 9front). I found a post here from 07 saying something about removing it a
> long time ago, but it got no answers.
> >
> > In proc(3) they mention some commands for configuring realtime processes
> but I don't know if that is to configure an already made realtime process
> or to make one from a regular. How do i make realtime processes in these
> days?
> 
> it's the bits you found in /proc; there are no (longer?)
> any special real time processes; any process can become
> real time by setting up deadlines at any point.
> 
> /dev/realtime isn't needed any more.
> 
> unfortunately, I'm not aware of any programs using it.
> 
> (that may be a good question for the list: where was the
> real time scheduler used, and does any code using it
> survive?)
> 

------------------------------------------
9fans: 9fans
Permalink: https://9fans.topicbox.com/groups/9fans/Td0e7a4f73d1eae3b-M6b463332615f9ce69ce32d0b
Delivery options: https://9fans.topicbox.com/groups/9fans/subscription

[-- Attachment #2: Type: text/html, Size: 3075 bytes --]

Re: [9fans] /dev/realtime doesn't exist?

[Skip Tavakkolian]

[-- Attachment #1: Type: text/plain, Size: 2218 bytes --]

I wrote an example 20 years ago, but couldn't get it to work. I found a
copy in this thread:

https://9fans.topicbox.com/groups/9fans/T6fea0dd928cee45d-M9987c73da1c5b3190e83c561/9fans-trace-c



On Tue, Aug 29, 2023, 11:29 AM Charles Forsyth <charles.forsyth@gmail.com>
wrote:

> There's another paper from an iwp9 http://9p.io/iwp9/Real-time.pdf that
> might provide more detail
>
> On Tue, 29 Aug 2023 at 18:19, <ori@eigenstate.org> wrote:
>
>> Quoth dusan3sic@gmail.com:
>> > I was reading an article about plan9's realtime scheduler edf (
>> http://doc.cat-v.org/plan_9/real_time/real_time_in_a_real_operating_system/real_time_in_a_real_operating_system.pdf,
>> page 7), and they mentioned using /dev/realtime to create realtime
>> processes, but /dev/realtime doesn't exist on my machine (I am using
>> 9front). I found a post here from 07 saying something about removing it a
>> long time ago, but it got no answers.
>> >
>> > In proc(3) they mention some commands for configuring realtime
>> processes but I don't know if that is to configure an already made realtime
>> process or to make one from a regular. How do i make realtime processes in
>> these days?
>> 
>> it's the bits you found in /proc; there are no (longer?)
>> any special real time processes; any process can become
>> real time by setting up deadlines at any point.
>> 
>> /dev/realtime isn't needed any more.
>> 
>> unfortunately, I'm not aware of any programs using it.
>> 
>> (that may be a good question for the list: where was the
>> real time scheduler used, and does any code using it
>> survive?)
>> 
> *9fans <https://9fans.topicbox.com/latest>* / 9fans / see discussions
> <https://9fans.topicbox.com/groups/9fans> + participants
> <https://9fans.topicbox.com/groups/9fans/members> + delivery options
> <https://9fans.topicbox.com/groups/9fans/subscription> Permalink
> <https://9fans.topicbox.com/groups/9fans/Td0e7a4f73d1eae3b-M6b463332615f9ce69ce32d0b>
>

------------------------------------------
9fans: 9fans
Permalink: https://9fans.topicbox.com/groups/9fans/Td0e7a4f73d1eae3b-Ma9390b0283a268af33ad6e82
Delivery options: https://9fans.topicbox.com/groups/9fans/subscription

[-- Attachment #2: Type: text/html, Size: 3950 bytes --]