1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
|
\section{SWI-Prolog and 64-bit machines}
\label{sec:64bits}
\index{bits, 64}%
Most of today's 64-bit platforms are capable of running both 32-bit and
64-bit applications. This asks for some clarifications on the advantages
and drawbacks of 64-bit addressing for (SWI-)Prolog.
\subsection{Supported platforms}
\label{sec:64bitsplatforms}
\index{64-bits,platforms}%
SWI-Prolog can be compiled for a 32- or 64-bit address space on any system
with a suitable C compiler. Pointer arithmetic is based on the type
(u)intptr_t from \file{stdint.h}, with suitable emulation on MS-Windows.
\subsection{Comparing 32- and 64-bits Prolog}
\label{sec:32vs64bits}
Most of Prolog's memory usage consists of pointers. This indicates the
primary drawback: Prolog memory usage almost doubles when using the
64-bit addressing model. Using more memory means copying more data between
CPU and main memory, slowing down the system.
What then are the advantages? First of all, SWI-Prolog's addressing of
the Prolog stacks does not cover the whole address space due to the use
of \jargon{type tag bits} and \jargon{garbage collection flags}. On
32-bit hardware the stacks are limited to 128~MB each. This tends to be
too low for demanding applications on modern hardware. On 64-bit
hardware the limit is $2^{32}$ times higher, exceeding the addressing
capabilities of today's CPUs and operating systems. This implies Prolog
can be started with stack sizes that use the full capabilities of your
hardware.
Multi-threaded applications profit much more because every thread has
its own set of stacks. The Prolog stacks start small and are dynamically
expanded (see \secref{memlimit}). The C stack is also dynamically
expanded, but the maximum size is \emph{reserved} when a thread is
started. Using 100 threads at the maximum default C stack of 8Mb (Linux)
costs 800Mb virtual memory!\footnote{C-recursion over Prolog
data structures is removed from most of SWI-Prolog. When removed from all
predicates it will often be possible to use lower limits in threads.
See \url{http://www.swi-prolog.org/Devel/CStack.html}}
\index{IA32}\index{AMD64}%
The implications of theoretical performance loss due to increased memory
bandwidth implied by exchanging wider pointers depend on the design of
the hardware. We only have data for the popular IA32 vs.\ AMD64
architectures. Here, it appears that the loss is compensated for by an
instruction set that has been optimized for modern programming. In
particular, the AMD64 has more registers and the relative addressing
capabilities have been improved. Where we see a 10\% performance
degradation when placing the SWI-Prolog kernel in a Unix shared object,
we cannot find a measurable difference on AMD64.
\subsection{Choosing between 32- and 64-bit Prolog}
\label{sec:32vs64bitschoice}
For those cases where we can choose between 32 and 64 bits, either
because the hardware and OS support both or because we can still choose
the hardware and OS, we give guidelines for this decision.
First of all, if SWI-Prolog needs to be linked against 32- or 64-bit
native libraries, there is no choice as it is not possible to link 32-
and 64-bit code into a single executable. Only if all required libraries
are available in both sizes and there is no clear reason to use either
do the different characteristics of Prolog become important.
Prolog applications that require more than the 128~MB stack limit
provided in 32-bit addressing mode must use the 64-bit edition. Note
however that the limits must be doubled to accommodate the same Prolog
application.
If the system is tight on physical memory, 32-bit Prolog has the clear
advantage of using only slightly more than half of the memory of 64-bit
Prolog. This argument applies as long as the application fits in the
\jargon{virtual address space} of the machine. The virtual address space
of 32-bit hardware is 4GB, but in many cases the operating system
provides less to user applications.
\index{RDF,memory usage}%
The only standard SWI-Prolog library adding significantly to this
calculation is the RDF database provided by the \jargon{semweb} package.
It uses approximately 80 bytes per triple on 32-bit hardware and 150
bytes on 64-bit hardware. Details depend on how many different resources
and literals appear in the dataset as well as desired additional literal
indexes.
Summarizing, if applications are small enough to fit comfortably in
virtual and physical memory, simply take the model used by most of the
applications on the OS. If applications require more than 128~MB per
stack, use the 64-bit edition. If applications approach the size of
physical memory, fit in the 128~MB stack limit and fit in virtual memory,
the 32-bit version has clear advantages. For demanding applications on
64-bit hardware with more than about 6GB physical memory the 64-bit
model is the model of choice.
|
