Suppose a thread holds a mutex lock and gets preempted, what does it do with the lock? - Concurrency & Logic Programming - Use this assignment in your class!

Concurrency & Logic Programming

1.What are mutexes?

2.What is the role of a scheduler?

3.Following the class example with characters in The Iliad, write a rule that could prove that Telemachus is a prince, given the knowledge that his father is a king.

4.Suppose a thread holds a mutex lock and gets preempted, what does it do with the lock?

5.Suppose we create two mutex locks, L1 and L2, and they are grabbed by threads T1 and T2 respectively. Now imagine T1 calls wait on L2 and T2 calls wait on L1, what happens?

6.What are some similarities and differences between lists in SML, Prolog, and Racket?

7.How can we define named constants in Prolog?

8.In what way is a declarative Prolog rule more powerful than the usual imperative function?

9.How do we assign arithmetic results in Prolog?

10.What is the relationship between wait and signal?

You answeredJUST NOW

Did you like this question?