Vous êtes ici : Accueil / Debian GNU/Linux / Système / Logiciels / Installer Hoard sur Debian

Installer Hoard sur Debian

Par Pierre-Yves Landuré Dernière modification 06/12/2017 16:32

Hoard est un gestionnaire de mémoire améliorant la function malloc pour les logiciels multi-processus. Il est conçu pour remplacer de manière transparente le malloc par défaut du système.

Ce guide est testé sur:

  • Debian 7.0 Wheezy
  • Ubuntu 13.10 Saucy Salamander

Ce guide est testé avec ces version de Hoard:

  • 3.9
  • 3.10

Installation

Installez les logiciels nécessaires:

command apt-get install build-essential

Téléchargez la dernière version du logiciel:

command wget 'https://raw.github.com/biapy/howto.biapy.com/master/various/sf-downloader' \
--quiet --no-check-certificate --output-document='/tmp/sf-downloader'
SOURCE="$(command bash '/tmp/sf-downloader' --tgz \
--generic='http://www.hoard.org/download-hoard/' \
'hoard' 'Hoard-VERSION-source.tar.gz')"

Placez-vous dans le dossier des sources:

command pushd "${SOURCE}/src"

Détectez l'architecture du système:

ARCH=$(command dpkg --print-architecture)
if [ "${ARCH}" = "i386" ]; then
  ARCH="x86"
elif [ "${ARCH}" = "amd64" ]; then
  ARCH="x86-64"
fi

Compilez la version du logiciel adaptée à l'architecture du système:

command make "linux-gcc-${ARCH}"

Installez le logiciel:

command install -c -m 644 'libhoard.so' '/usr/local/lib/libhoard.so'
cd "${SOURCE}/src/include"
command mkdir --parents '/usr/local/include/hoard' \
'/usr/local/include/superblocks' \
'/usr/local/include/util'
command find '.' -mindepth 2 -type f -name '*.h' \
| command sed -e 's|^\./||' \
| command xargs -iFILE install -c -m 644 FILE '/usr/local/include/FILE'

Quittez le dossier des sources:

command popd

Supprimez les fichiers téléchargés:

command rm -r "${SOURCE}"

Utilisation

Utilisez Hoard pour optimiser un logiciel donné (remplacez /usr/bin/software par la commande optimisée):

LD_PRELOAD='/usr/local/lib/libhoard.so' /usr/bin/software

Si vous le souhaitez, configurez le système pour utiliser Hoard par défaut (dangereux, nécessite un redémarrage):

# command echo 'LD_PRELOAD=/usr/local/lib/libhoard.so' >> '/etc/environment'
# command reboot

Remerciements