Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: DePa: Simple, Provably Efficient, and Practical Order Maintenance for
  Task Parallelism   A number of problems in parallel computing require reasoning about the
dependency structure in parallel programs. For example, dynamic race detection
relies on efficient "on-the-fly" determination of dependencies between
sequential and parallel tasks (e.g. to quickly determine whether or not two
memory accesses occur in parallel). Several solutions to this "parallel order
maintenance" problem has been proposed, but they all have several drawbacks,
including lack of provable bounds, high asymptotic or practical overheads, and
poor support for parallel execution.
  In this paper, we present a solution to the parallel order maintenance
problem that is provably efficient, fully parallel, and practical. Our
algorithm -- called DePa -- represents a computation as a graph and encodes
vertices in the graph with two components: a dag-depth and a fork-path. In this
encoding, each query requires $O(f/\omega)$ work, where $f$ is the minimum
dynamic nesting depth of the two vertices compared, and $\omega$ is the
word-size. In the common case (where $f$ is small, e.g., less than 100), each
query requires only a single memory lookup and a small constant number of
bitwise instructions. Furthermore, graph maintenance at forks and joins
requires only constant work, resulting in no asymptotic impact on overall work
and span. DePa is therefore work-efficient and fully parallel.

14
The categories of this paper are: math-ph
10
The categories of this paper are: q-bio
16
The categories of this paper are: stat
34
The categories of this paper are: chem-ph
13
The categories of this paper are: quant-ph
26
The categories of this paper are: bayes-an
12
The categories of this paper are: nucl-th
21
The categories of this paper are: adap-org
18
The categories of this paper are: econ
31
The categories of this paper are: ao-sci
11
The categories of this paper are: hep-lat
25
The categories of this paper are: patt-sol
5
The categories of this paper are: gr-qc
36
The categories of this paper are: cmp-lg
22
The categories of this paper are: chao-dyn
8
The categories of this paper are: hep-ex