PYP Quiz

Relaxed consistency models at the programming language level address the concern that software complexity is increased by the need for unnecessary synchronization.

• True

• False

The modern C++ memory model exhibits a different behavior when it is running on a weak-consistent architecture (such as ARM).

• True

• False

Programs using C++ atomics might suffer of deadlocks. Assume that the program does not use any other synchronization mechanism (such as mutex or semaphores).

• True

• False

A concurrent program with livelocks will eventually complete when running on a single core processor (assume no SMT: the core does not support multiple hardware threads). Assume that the program creates, runs, and synchronizes multiple threads.

• True

• False

In (safe) Rust, data races are not possible. This means that your Rust code will not have race conditions.

• True

• False

In Rust, a future can only be created using async functions or async blocks.

• True

• False

The code will always print 1

• True

• False

The code might run into an infinite loop

• True

• False

The code will never print 0

• True

• False

The code will print 0, 1, or a value that is assigned to x after 1

• True

• False