Guarded entries and deadlocks in Ada [Solved]

  • Thread starter Dafydd
  • Start date
  • #1
12
0
This is a pretty general question that I haven't found an answer to, so I'd really appreciate the help.

Let's say we have 3 tasks - Alpha, Bravo and Charlie, all within the one and same procedure.

Alpha takes calls from Bravo, which in turn takes calls from Charlie.

Alpha's entry is guarded by some condition, which prevents accepting a call from Bravo.

Meanwhile, Bravo has the following loop:

loop
select
accept Call_from_Charlie;
exit;
or
delay 0.0;
Alpha.Do_stuff;
end select;
end loop;

... and all Charlie does is call Bravo.Call_from_Charlie.

Now, my question is: will Bravo ever get stuck waiting for Alpha to accept its call, ignoring Call_from_Charlie until Alpha accepts the Do_stuff call, causing a deadlock with Charlie waiting for Bravo, which is in turn waiting for Alpha?

In other words, when Bravo reaches the line of code reading "Alpha.Do_stuff;", and Alpha won't accept the call because the entry is guarded, what does Bravo do?

I haven't been able to produce a deadlock this way, but I'd like to know whether it's at all possible.

EDIT: I have now been able to produce a deadlock this way. Don't know why it didn't happen the first time, but it does now.
 
Last edited:

Answers and Replies

  • #2
1,522
1,386
Glad to know that the logic worked out. Additionally, thanks for sharing the logic.
 

Related Threads on Guarded entries and deadlocks in Ada [Solved]

  • Last Post
Replies
0
Views
2K
  • Last Post
Replies
7
Views
897
Replies
13
Views
747
Replies
9
Views
793
Replies
2
Views
12K
  • Last Post
Replies
5
Views
732
Replies
1
Views
614
Top