Symbol tabel

Inden for datalogi er en symboltabel (fra den engelske  symbol tabel "table of identifiers") en datastruktur, der bruges af en oversætter ( kompiler eller fortolker ), hvor hver variabel eller funktionsidentifikator fra kildekoden er forbundet med information relateret til dens erklæring eller udseende i koden: datatype , omfang og i nogle tilfælde hukommelsesplacering ( offset ).

Implementering

En almindeligt anvendt implementering er hash-tabellen . Compileren kan enten bruge en enkelt tabel til symboler eller adskille symboler i flere hierarkiske tabeller i henhold til forskellige omfang . Der er også implementeringer i form af træer, lineære og selvorganiserende lister.

Ansøgning

Objektmodulet (eng. objektfil) indeholder en symboltabel for eksternt synlige (offentlige) identifikatorer. Når der sammenkædes ( linker ) forskellige objektmoduler , bruger linkeren symboltabeller til at løse referencer mellem moduler.

Symboltabellen eksisterer muligvis kun under oversættelsens varighed, men nogle gange er den indlejret i outputtet af denne proces til senere brug, såsom under interaktiv debugging eller som en kilde til formatering af en diagnostisk rapport under eller efter programafvikling.

Under reverse engineering bruger mange hjælpeprogrammer en tabel til at kontrollere, hvilke adresser der hører til globale variabler og kendte funktioner. Hvis symboltabellen blev fjernet fra objektmodulerne før linkning (for eksempel med strip fra GNU binutils ), vil det være vanskeligere for hjælpeprogrammer at bestemme adresserne på vigtige steder i programmet og analysere det.

Når du får adgang til variabler og dynamisk allokering af hukommelse, skal compileren gøre en masse arbejde, derfor kræver den udvidede stakmodel med dynamisk allokering en symboltabel.[ ryd op ]

Et godt eksempel på brugen af ​​symboltabellen kan tjene som modulære kerner i Unix-familien : Symboltabellen kan bruges af indlæsbare kernemoduler (f.eks. drivere) til at få adgang til bestemte tegn. Dette er dog ikke nødvendigt, hvis modulet ikke får adgang til kernen, ikke bruger interne funktioner, variabler osv. [1] Det er muligt at undvære symboltabellen og tilgå hukommelsen inde i kernen direkte, men i dette tilfælde portabiliteten af ​​moduler vil gå tabt, da med forskellige kernekonfigurationer vil den samme kode blive placeret forskellige steder.

Eksempel

Nedenfor er en symboltabel for et lille program. For at oprette det blev nm -værktøjet fra GNU binutils-pakken brugt . Tabellen har ét datasymbol markeret (markeret som type "D") og mange funktioner (både fra standardbiblioteket og tilhørende selve programmet). Den første kolonne indeholder adressen på forskydningen i hukommelsen, den anden kolonne indeholder symboltypen , og den tredje kolonne indeholder dens navn.

Se også

• Fejlfinding af symboler

Noter

1. ↑ Jonathan Corbet, Alessandro Rubini, Greg Kroah-Hartman. Ch. 2: Montering og lancering af moduler; Kernelsymboltabel // Linux-enhedsdrivere, tredje udgave . - O'Reilly Media, 2005. - ISBN 0-596-00590-3 . Arkiveret 28. marts 2014 på Wayback Machine