Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: DiSquawk: 512 cores, 512 memories, 1 JVM   Trying to cope with the constantly growing number of cores per processor,
hardware architects are experimenting with modular non-cache-coherent
architectures. Such architectures delegate the memory coherency to the
software. On the contrary, high productivity languages, like Java, are designed
to abstract away the hardware details and allow developers to focus on the
implementation of their algorithm. Such programming languages rely on a process
virtual machine to perform the necessary operations to implement the
corresponding memory model. Arguing about the correctness of such
implementations is not trivial though.
  In this work we present our implementation of the Java Memory Model in a Java
Virtual Machine targeting a 512-core non-cache-coherent memory architecture. We
shortly discuss design decisions and present early evaluation results, which
demonstrate that our implementation scales with the number of cores. We model
our implementation as the operational semantics of a Java Core Calculus that we
extend with synchronization actions, and prove its adherence to the Java Memory
Model.

7
The categories of this paper are: hep-th
3
The categories of this paper are: physics
35
The categories of this paper are: mtrl-th
24
The categories of this paper are: dg-ga
16
The categories of this paper are: stat
18
The categories of this paper are: econ
15
The categories of this paper are: nucl-ex
23
The categories of this paper are: solv-int
21
The categories of this paper are: adap-org
10
The categories of this paper are: q-bio
31
The categories of this paper are: ao-sci
20
The categories of this paper are: acc-phys
34
The categories of this paper are: chem-ph
37
The categories of this paper are: supr-con
25
The categories of this paper are: patt-sol
22
The categories of this paper are: chao-dyn