Root server and root task

6 messages Options
Embed this post
Permalink
XavierL

Root server and root task

Reply Threaded More More options
Print post
Permalink
Hi,

In Gernot Heiser's lectures, I found a slide showing a root server and references to a root task.
Are these parts no more in OKL4 3?
Otherwise, what are these root stuffs? is the root task simply the first task created by OKL4? And what is the purpose of the root server?

Thanks for answers

Xavier langellier.


_______________________________________________
Developer mailing list
[hidden email]
https://lists.okl4.org/mailman/listinfo/developer
XavierL

Re: Root server and root task

Reply Threaded More More options
Print post
Permalink
I reply on the list because it may interest someone else.
the lectures are at: http://www.cse.unsw.edu.au/~cs9242/08/lectures
Best regards,

Xavier Langellier.

-----Message d'origine-----
De : cheng.guanghui [mailto:[hidden email]]
Envoyé : jeudi 30 avril 2009 11:33
À : [hidden email]
Objet : Re: [okl4-developer] Root server and root task


On Thursday 30 April 2009 04:01:28 pm you wrote:
> root
        Hello, you mentioned that the Gernot Heiser's lectures. Can you give
me the
link?
        Before all the time i studied the lectures about L4 provided by
Dresden and
Karlsuhe. I don't find the similar lectures in the UNSW website.
        Thanks a lot.
       
Cheng Guanghui

_______________________________________________
Developer mailing list
[hidden email]
https://lists.okl4.org/mailman/listinfo/developer
Guanghui, Cheng

Re: Root server and root task

Reply Threaded More More options
Print post
Permalink
On Thursday 30 April 2009 05:52:33 pm [hidden email]
wrote:
> http://www.cse.unsw.edu.au/~cs9242/08/lectures

        Thanks for your your post. It is really not easy to find this link in the
from the homepage.
                                                                                        Cheng

_______________________________________________
Developer mailing list
[hidden email]
https://lists.okl4.org/mailman/listinfo/developer
Gernot Heiser

Re: Root server and root task

Reply Threaded More More options
Print post
Permalink
In reply to this post by XavierL
>>>>> On Thu, 30 Apr 2009 10:01:28 +0200, [hidden email] said:
XL> Hi,
XL> In Gernot Heiser's lectures, I found a slide showing a root server and references to a root task.
XL> Are these parts no more in OKL4 3?
XL> Otherwise, what are these root stuffs? is the root task simply the first task created by OKL4? And what is the purpose of the root server?

As the slides say (Week 1, p27) these slides describe OKL4 version
2.1, which is what was used for last year's offering of the COMP9242
course. The very next slide indicates that the concept of a
(privileged) root task was removed in the following (non-public)
release.

The next (and latest) public release (3.0) is described in the slide
set linked ("Overview of the OKL4 3.0 API") from the OKL4 developer
wiki (http://okl4.org). In the first few pages it contains a summary
of changes with respect to earlier versions, and changes to earlier
versions are highlighted throughout. It specifically lists the concept
of a root task as having been removed (and replaced by
capability-mediated authority).

Gernot

_______________________________________________
Developer mailing list
[hidden email]
https://lists.okl4.org/mailman/listinfo/developer
Gernot Heiser

Re: Root server and root task

Reply Threaded More More options
Print post
Permalink
In reply to this post by XavierL
>>>>> On Thu, 30 Apr 2009 11:52:33 +0200, [hidden email] said:
CQ> Hello, you mentioned that the Gernot Heiser's lectures. Can you give
CQ> me the
CQ> link?
CQ> Before all the time i studied the lectures about L4 provided by
CQ> Dresden and
CQ> Karlsuhe. I don't find the similar lectures in the UNSW website.

Try googling "unsw l4 lectures" (and "I feel lucky" ;-)

I was teaching this course since 1997, the Karlsruhe and Dresden
courses are in fact an adaptation of mine.

Gernot

_______________________________________________
Developer mailing list
[hidden email]
https://lists.okl4.org/mailman/listinfo/developer
XavierL

Re: Root server and root task

Reply Threaded More More options
Print post
Permalink
In reply to this post by XavierL
Thank you for the answer.

Xavier.

_______________________________________________
Developer mailing list
[hidden email]
https://lists.okl4.org/mailman/listinfo/developer