IMB > cellule > Calcul et Développement > PlaFRIM2 (Archives)

PlaFRIM2 - Divers (archives)

S’assurer qu’un programme tourne bien sur plusieurs cœurs

Connaître son utilisation et quota /lustre

[lfacq@devel11 ~]$ lfs quota -u $USER /lustre
Disk quotas for user lfacq (uid 10288):
    Filesystem  kbytes   quota   limit   grace   files   quota   limit   grace
       /lustre 552835140       0 1000000000       - 7072977       0       0       -

Accéder aux sauvegardes de /home

Les sauvegardes se trouvent dans le répertoire /home/.snapshot

Recette pour se connecter avec Putty depuis un système Windows

 !! à valider !!

il faut utiliser pageant pour déclarer la clef de l'utilisateur et pour la charger

Ensuite dans putty :
session : mettre hostname plafrim port 22
connections :
- dans date indiquer le login dans auto-login username
- dans proxy : sélectionner local, mettre ssh.plafrim.fr  dans proxy hostname avec le port 22, dans telnet command or proxy command : plink %user@%proxyhost -P %proxyport -nc %host:%port
- dans ssh : dans auth cocher attempt authentication with pageant et allow agent forwarding et sélectionner la clef de l'utilisateur

Utiliser des miriels hautes et/ou basses

[rouge]Les miriels hautes et basses ont, par défaut, des interfaces de communication rapides incompatibles[/rouge] : omnipath (OPA) et infiniband (IB).

Si vous souhaitez faire du MPI vous avez 2 possibilités :

Utiliser les dépôts gitlab.com et github.com depuis PlaFRIM

Les accès réseau sont très filtrés en sortie de PlaFRIM. Certains sites ont des IPs qui changent très souvent ou de multiples IPs. C’est le cas de gitlab.com et de github.com .

Pour pouvoir utiliser de façon fiable les dépôts de ces sites, il faut ajouter ceci dans votre $HOME/.ssh/config :

#####  git clone git@gitlab.com ....
Host gitlab.com
Hostname altssh.gitlab.com
User git
Port 443

#####  git clone git@github.com ....
Host github.com
Hostname ssh.github.com
User git
Port 443