Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Towards Multi-Threaded Local Tabling Using a Common Table Space   Multi-threading is currently supported by several well-known Prolog systems
providing a highly portable solution for applications that can benefit from
concurrency. When multi-threading is combined with tabling, we can exploit the
power of higher procedural control and declarative semantics. However, despite
the availability of both threads and tabling in some Prolog systems, the
implementation of these two features implies complex ties to each other and to
the underlying engine. Until now, XSB was the only Prolog system combining
multi-threading with tabling. In XSB, tables may be either private or shared
between threads. While thread-private tables are easier to implement, shared
tables have all the associated issues of locking, synchronization and potential
deadlocks. In this paper, we propose an alternative view to XSB's approach. In
our proposal, each thread views its tables as private but, at the engine level,
we use a common table space where tables are shared among all threads. We
present three designs for our common table space approach: No-Sharing (NS)
(similar to XSB's private tables), Subgoal-Sharing (SS) and Full-Sharing (FS).
The primary goal of this work was to reduce the memory usage for the table
space but, our experimental results, using the YapTab tabling system with a
local evaluation strategy, show that we can also achieve significant reductions
on running time.

18
The categories of this paper are: econ
10
The categories of this paper are: q-bio
36
The categories of this paper are: cmp-lg
30
The categories of this paper are: q-alg
7
The categories of this paper are: hep-th
37
The categories of this paper are: supr-con
26
The categories of this paper are: bayes-an
24
The categories of this paper are: dg-ga
8
The categories of this paper are: hep-ex
23
The categories of this paper are: solv-int
4
The categories of this paper are: cond-mat
0
The categories of this paper are: hep-ph
19
The categories of this paper are: eess
15
The categories of this paper are: nucl-ex
27
The categories of this paper are: comp-gas
5
The categories of this paper are: gr-qc