Que représente le « Champ inconnu » dans une trace de panique ?

Comprendre le « champ inconnu » dans Panic Stack Trace

Lors de l'analyse des traces de pile des paniques, on peut rencontrer un numéro inconnu après le nom de la fonction. Par exemple, exécuter le code suivant :

<code class="go">package main

func F(a int) {
    panic(nil)
}

func main() {
    F(1)
}</code>

produit :

panic: nil

goroutine 1 [running]:
main.F(0x1, 0x10436000)
    /tmp/sandbox090887108/main.go:4 +0x20
main.main()
    /tmp/sandbox090887108/main.go:8 +0x20

Le deuxième nombre (0x10436000) peut sembler énigmatique. Pour le décoder, nous devons approfondir la nature des données de trace de pile.

Décodage du numéro supplémentaire

Les données imprimées dans la trace de pile sont constituées d'arguments de fonction. Cependant, ces valeurs ne correspondent pas directement aux arguments transmis. Au lieu de cela, elles représentent les données brutes stockées en mémoire, en particulier sous forme de valeurs de la taille d'un pointeur.

Dans l'environnement Playground, une situation unique se présente. Son architecture de mots de 64 bits possède des pointeurs de 32 bits (GOARCH=amd64p32). Par conséquent, chaque fois qu'un argument de fonction est imprimé, ce qui suit se produit :

• La taille du mot est deux fois plus grande que la taille du pointeur, ce qui conduit à l'impression d'un nombre pair de valeurs dans les arguments du cadre. .
• Seuls les 32 premiers bits du mot de 64 bits sont utilisés, laissant les bits restants inutilisés.

Exemples de données d'argument

Considérez la fonction suivante call:

<code class="go">F(1)</code>

La trace de pile résultante montre :

main.F(0x97301, 0x10436000)

Dans ce cas, l'argument uint8 (1) occupe uniquement les 8 premiers bits du mot de 64 bits (0x97301 & 0x0f). Le 0x97300 supplémentaire et l'intégralité de 0x10436000 représentent la partie inutilisée du mot.

Pour des fonctions plus complexes, telles que :

<code class="go">func F(a, b, c uint32)</code>

appelé avec :

<code class="go">F(1, 1, 1)</code>

la trace de la pile indique :

main.F(0x100000001, 0xc400000001)

car les trois valeurs de 32 bits occupent deux mots.

Valeurs de retour dans les cadres de pile

Les valeurs de retour sont également allouées sur le stack, comme le montre la fonction suivante :

<code class="go">func F(a int64) (int, int)</code>

Sur amd64, les arguments du cadre de pile apparaîtraient comme :

main.F(0xa, 0x1054d60, 0xc420078058)

avec un mot pour l'entrée et deux pour les valeurs de retour . Notez que les valeurs de retour ne sont pas initialisées, ces informations sont donc d'une utilité limitée.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!