SYSC 3303 Study Guide - Priority Inversion, Mathematical Proof, Mathematical Notation

• School: Carleton University
• Department: Systems and Computer Engineering
• Course: SYSC 3303
• Professor: all

Document Summary

Question a [17 marks: briefly explain the difference between verification and validation. [in other words, testing that each piece of the system does what it is supposed to do. [in other words, does the system do what it is supposed to do, i. e. does it meet the specification or does it meet the customers needs. This can only be done informally (i. e. no mathematical proof, unless the specification is written in mathematical notation)]. Note that words in square brackets are not required for full marks: we discussed two protocols that permit us to deal with unbounded priority inversion, name one of the two. [1 mark: briefly describe, in general terms, how it deals with unbounded priority inversion. [2 marks: give a specific example in terms of threads (e. g. t1, t2, t3, etc. ) that shows how this protocol resolves the issue. When the thread gives up the lock, its priority returns to its original priority. )