[okl4-developer] temporal partitioning

[Stefan M. Petters]

Dear Hugues,

we have done work in that area here at NICTA/ERTOS. The code is by now
outdated (that was student work on an old kernel version which so far
hasn't received the cleanup to be published).
Google for RBED and Scott Brandt. That's roughly what we implemented
(there's currently a paper in review, the fate of which should be known
in a week, in which case we should have something public in a  couple of
weeks.
Comparing with Scott's work we put the resource allocator into the root
task and the actual task management into the kernel. I intend to pick
that up again soon and it should be a piece of cake with the scheduler
interface compared to the 1.5.2 we used.

Regards,
    Stefan.
Hugues Balp wrote:
>
>           Hi all,
>
>    is it possible with OKL4 to respect a fixed temporal partitioning
> like in ARINC 653 ?
>
>    For example with the GreenHills Integrity operating system we can
> plannify a strict scheduling for our application by a file descriptor to
> allocate each time slice to a specific partition, as the one joined to
> this mail...
>
>    Would it be possible to imagine the same kind of example running on
> top of OKL4 ?
>
> Regards,
>
>          Hugues.
>
> ------------------------------------------------------------------------
>
> _______________________________________________
> Developer mailing list
> Developer at okl4.org
> https://lists.okl4.org/mailman/listinfo/developer


-- 

Stefan M. Petters

Senior Researcher

Embedded Systems

 

NICTA | Locked Bag 9013 | Alexandria NSW 1435

T +61 2 8306 0560 | F +61 2 8306 0406
www.nicta.com.au <http://www.nicta.com.au/> |
stefan.m.petters at nicta.com.au <mailto:stefan.m.petters at nicta.com.au>