[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Priority modeling with CSP?
Thanks for all the comments! That was very refreshing - after three weeks of
the new term...
I think I was looking for something along the line of Gerald's response. I had
reading recently of (non-CSP) attempts to solve the priority inversion problem
systems - e.g., via the priority ceiling protocol.
It struct me that CSP might be useful for proving the correctness of such
protocols - since
we are dealing with interacting processes (including the scheduler). Priority
be represented by a parameter associated with each process - which the scheduler
then deal with explicitly. Thus the CSP itself does not need any inherent notion
(I had just finished Ryan & Schneider's book on the use of CSP to check security
which seem far more complex than the priority problem...)
Department of Electrical and Computer Engineering
Utah State University
4120 Old Main Hill
Logan UT 84322-4120
Voice: +1-435-797-2840 FAX: +1-435-797-3054