Turning nondeterminism into parallelism

Abstract

Nondeterminism is a useful and prevalent concept in the design and implementation of software systems. An important property of nondeterminism is its latent parallelism: A nondeterministic action can evaluate to multiple behaviors. If at least one of these behaviors does not conflict with concurrent tasks, then there is an admissible execution of the action in parallel with these tasks. Unfortunately, existing implementations of the atomic paradigm-optimistic as well as pessimistic-are unable to fully exhaust the parallelism potential of nondeterministic actions, lacking the means to guide concurrent tasks toward nondeterministic choices that minimize interference. This paper investigates the problem of utilizing parallelism due to nondeterminism. We observe that nondeterminism occurs in many real-world codes. We motivate the need for devising coordination mechanisms that can utilize available nondeterminism. We have developed a system featuring such mechanisms, which leverages nondeterminism in a wide class of query operations, allowing a task to look into the future of concurrent tasks that mutate the shared state during query evaluation and reduce conflict accordingly. We evaluate our system on a suite of 12 algorithmic benchmarks of wide applicability, as well as an industrial application. The results are encouraging.

Solving resource allocation problems in cognitive radio networks: a survey

“…NP-hard problems are problems which may be solvable in polynomial time, but then, only by a non-deterministic algorithm. The description of NP-hard problems are well-established, and references [39,40] provide a good summary. The main point is that, obtaining solutions to NP-hard optimisation problems, into which category RA problems in CRN fall, though possible, can be very difficult and time consuming.…”

Local Livelock Analysis of Component-Based Models

“…The component model proposed in [71] is an example that has followed this concept. In addition, considering nonconflicting nondeterministic choices, is also possible to put tasks in parallel, increasing the performance of the system [88]. In the context of CSP, relatively little research has gone into nondeterminism analysis.…”