Java Python CS-350 - Fundamentals of Computing Systems
Final Exam
Fall 2022
Problem 1
Label each of the statements below with either True (T) or False (F):
Statement T/F
a. Two single-processor systems A and B have identical input tra c and mean service time. If the standard deviation of the service time in A is less than in B, A is expected to exhibit lower response time.
b. A discrete event simulator cannot be used to study the behavior of queuing systems with limited queue size, like an M/M/1/K system.
c. The input tra c to an M/M/1 queuing system must be Poisson-distributed. In which case, the output tra c will also be Poisson-distributed.
d. In a complex system, the resource which constitutes the bottleneck may vary over time if the behavior of the users changes.
e. A typical magnetic disk can be modeled as a stateful resource, and the same is true for a traditional DRAM memory controller.
f. In global real-time multi-processor scheduling, tasks are never allowed to migrate from one processor to another to prevent deadline misses.
g. In a system where real-time scheduling is performed, no more than two processes can be in the ready state at the same time.
h. Performing a signal operation on a semaphore might trigger a state transition from blocked to ready in some process.
i. Like Dekker's Algorithm, the Peterson's Algorithm guarantees 2-party mutual ex- clusion on in-order CPUs.
j. FIFO and SJN are non-preemptive and work-conserving schedulers, therefore they always perform identically in terms of average response time.
k. If resource A has higher availability than B, then A will likely operate continuously and correctly over a longer time window compared to B.
l. Consider two jobs that have waited inside the ready queue for the same amount of time before being processed. Their slowdown might still be di erent.
m. If the average response time of a resource at steady-state is Tq , then its average throughput can be computed as 1/Tq .
n. Only at most 4 processes can be involved in a deadlock.
o. EDF-FF is always capable of producing a valid task-to-CPU assignment for tasksets where RM-FF fails to do so.
p. EDF