Outils pour utilisateurs

Outils du site

Traductions de cette page:

votre temps local: :: ()

heure officielle (en France) : ::(TZ:)

Heure UTC client: :: Offset client: s - delai: ms - - timeZone: Heure UTC: ::

Panneau latéral

  • Corrélateurs
  • Bruits inhérent au numérique : bruit de phase, gigue, stabilité temporelle des circuits numériques
  • Compteur à intervalle de temps
  • Détection synchrone
  • Choix ADC/DAC pour applications TF
  • Mesure Sphi(f) et sigma_y(tau)
  • Servo controls (Liens fibrés, …)
  • Manipulation d'objets et fréquences (atomes froids, spectral hole burning, ions ….)
  • Datations « officielles »
  • Compteurs, avec et sans temps morts.
  • Logiciel / Pilotes
  • IP cores (FPGA)
  • Chipscope
fr:ntp_raspberry

Ceci est une ancienne révision du document !


NTP avec entrée PPS sur Raspberry PI 2

A l'Observatoire de Besançon, nous avons voulu vérifier la stabilité du système NTP lorsqu'il est relié à la fois à un serveur de temps et un signal PPS. Dans notre cas, le signal PPS est issu de la même horloge de référence que celle utilisée par le serveur de temps.

Moyens

  • Une carte Raspberry PI 2, équipée d'une carte micro-SD contenant le système Raspbian.
  • Un signal PPS issu de l'horloge de référence (CS1321), avec un atténuateur pour adapter le signal en amplitude (entrées 3,3V pour les GPIO du Raspaberry PI 2).

Installations logicielles préliminaires

Toutes les opérations suivantes sont effectuées en utilisateur “root” et considèrent que les étapes de configurations éventuelles d'un proxy ont été faites préalablement.

  • La Version de Raspbian au moment de l'écriture de ces lignes :
    # uname -a
    Linux raspberrypi 3.18.12-v7+ #782 SMP PREEMPT Tue Apr 28 19:54:13 BST 2015 armv7l GNU/Linux  

Préliminaires

  • Mettre à jour la distribution Raspbian et du micro-logiciel de la carte \\Mettre à jour la liste des fichiers disponibles dans les dépôts APT \\
    # apt-get update 
  • Mettre à jour tous les paquets installés vers les dernières versions en installant de nouveaux paquets si nécessaire \\
    # apt-get dist-upgrade 
  • Mettre à jour le firmware \\
    # rpi-update 
  • Installer le paquet pps-tools \\Le projet LinuxPPS est une implémentation d'une API du PPS pour le noyau Linux. Elle utilise le système de fichiers pour échanger entre l'espace utilisateur et le noyau. Cela permet d'ajouter des sources PPS au noyau simplement (http://linuxpps.org/wiki/index.php)
    # apt-get install pps-tools 

Recompiler et installer NTP

En effet, la version implémentée dans la distribution Raspbian n'inclue pas la prise en compte d'un PPS externe. Pour cela, l'installation de bibliothèques de développement est nécessaire.

  • Installation de bibliothèques
    • libcap : librairie permettant l'utilisation de certaines propriétés du système de fichiers
    • libssl : c'est la partie de OpenSSL qui supporte le protocole TLS ( SSL et TLS )
      # apt-get install libcap-dev libssl-dev 
  • Enregistrement des sources de NTP
    • Se placer dans un répertoire. Si besoin le créer, par exemple :
      # cd /home
      # mkdir root
      # cd root
      # mkdir ntp
      # cd ntp  
    • obtenir les sources :
      # wget http://archive.ntp.org/ntp4/ntp-4.2/ntp-4.2.8p2.tar.gz 
    • Décompresser le fichier “tar” :
      # tar xvfz ntp-4.2.8p2.tar.gz 
    • compiler :
      # cd ntp-4.2.8p2.tar.gz 
      # ./configure --enable-linuxcaps # un peu moins de 6 minutes
      # make -j2 # un peu moins de 6 minutes
    • installer les binaires :
      # make install
      # /etc/init.d/ntp stop 
      # cp /usr/local/bin/ntp* /usr/bin/
      # cp /usr/local/sbin/ntp* /usr/sbin/
    • redémarrer le service NTP :
      #  /etc/init.d/ntp start 
fr/ntp_raspberry.1430921127.txt.gz · Dernière modification: 2015/05/06 16:05 par emeyer