Comment un programme vérifie-t-il s'il fonctionne sur un RPi de 512 Mo?

Les RPI de 512 Mo ont-ils une révision de carte différente?

c'est-à-dire, pouvez-vous simplement regarder la révision /proc/cpuinfopour déterminer si vous avez un RPi de 512 Mo?

Sinon, quelle est la façon la plus simple de vérifier?

Comme vous l'avez dit, la cat /proc/cpuinfo | grep Revisioncommande vous donnera la révision de la carte. Veuillez noter que la révision est une valeur hexadécimale. Pour afficher l'équivalent décimal, exécutez cette commande printf '%d\n' 0x#, où #est la valeur hexadécimale affichée avec la commande précédente.

Selon le tableau suivant, les codes 13 , 14 et 15 représentent la carte 512 Mo.

Model and revision                                          Decimal code(s)     Hexadecimal equivalent
Model B Revision 1.0                                        2                   0x2
Model B Revision 1.0 + ECN0001 (no fuses, D14 removed)      3                   0x3
Model B Revision 2.0                                        4, 5, 6             0x4, 0x5, 0x6
Model B Revision 2.0 (512 MB)                               13, 14, 15          0xd, 0xe, 0xf

Source: documentation de la communauté Element14

Dans un système d'exploitation moderne tel que Linux, ce que vous devez vraiment vérifier, c'est la quantité de mémoire disponible pour un usage général; qui peut être inférieur au total installé physiquement. Ainsi, par exemple, un 512 Mo pi exécutant une installation destinée à un 256 Mo ne mettrait pas cette mémoire à votre disposition.

Ensuite, sur le pi, il y a le problème supplémentaire de la division de la mémoire CPU vs GPU - quelque chose de nettement inférieur à la mémoire actuelle serait même disponible pour l'utilisation du processeur ARM au moment du démarrage de Linux, car le processus de démarrage du GPU a déjà a réclamé un montant substantiel selon le fichier start.elf utilisé.

Pour répondre à la question directe, la première ligne de /proc/meminfoou la freecommande devrait vous indiquer la quantité totale de mémoire physique disponible pour Linux.

La quantité de mémoire disponible pour une application donnée est encore plus compliquée - le noyau, les tampons et d'autres applications réclameront de la mémoire. Et bien qu'elle ne soit peut-être pas couramment utilisée avec une carte SD comme seul «disque», une partition de swap pourrait faire dépasser la mémoire virtuelle physique par la mémoire virtuelle disponible.