<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META content="text/html; charset=utf-8" http-equiv=Content-Type>
<STYLE type=text/css>
BLOCKQUOTE{margin-Top: 0px; margin-Bottom: 0px; margin-Left: 2em}
</STYLE>
<!-- flashmail style begin -->
<STYLE type=text/css>
body {border-width:0;margin:0}
img {border:0;margin:0;padding:0}
</STYLE>
<BASE target=_blank><!-- flashmail style end -->
<META name=GENERATOR content="MSHTML 11.00.10586.545"></HEAD>
<BODY
style="BORDER-LEFT-WIDTH: 0px; FONT-SIZE: 10.5pt; FONT-FAMILY: times new roman; BORDER-RIGHT-WIDTH: 0px; BORDER-BOTTOM-WIDTH: 0px; COLOR: #000000; MARGIN: 12px; LINE-HEIGHT: 1.5; BORDER-TOP-WIDTH: 0px"
marginheight="0" marginwidth="0"><STATIONERY>
<DIV>Hello all:</DIV>
<DIV> </DIV>
<DIV>When we simulate the critical section within one task using 'rtspin'. We
will enter the resource id. But there is no such id information included by
semaphore. So how can we know the semaphore locks which resource. (Different
resources use different wait_queues?)</DIV>
<DIV><BR>Why the function pfp_mpcp_lock( as well as other lock
function) calls 'init_waitqueue_entry' everytime when
the resource is occupied. When more then two tasks try to get the
resource, the wait_queue will be initialized more than once? How to explain
that?<BR></DIV>
<DIV>The last question is about the MPCP_VS protocol in P-FP plugin.</DIV>
<DIV>When we use MPCP_VS protocol:</DIV>
<DIV>cpu_0: task_0 is excuting by holding the resource_0 <BR>cpu_1: task_1 is
excuting by holding the resource_1 <BR>cpu_2: task_2 is spinning but not
excuting for waitting one resource (resource_0 or resource_1)</DIV>
<DIV> </DIV>
<DIV>Now, task_0 is preempted by one higher priority task, but it still hold the
semaphore of resource_0.<BR>Is there any possible that lets task_0 know whether
the task_2 is waitting for resource_0 or resource_1 or not?</DIV>
<DIV> </DIV>
<DIV>Thanks for your help!</DIV>
<DIV style="FONT-SIZE: 10pt; FONT-FAMILY: Verdana; COLOR: #c0c0c0">
<DIV align=left>2016-08-30</DIV>
<HR id=SignNameHR
style="BORDER-TOP: #c0c0c0 1px solid; HEIGHT: 1px; BORDER-RIGHT: 0px; WIDTH: 122px; BORDER-BOTTOM: 0px; BORDER-LEFT: 0px"
align=left>
<SPAN id=_FlashSignName>shijunjie92</SPAN> </DIV></STATIONERY></BODY></HTML>