VMware er et program til Intel-baserede Linux-maskiner, som giver mulighed for at skabe virtuelle maskiner. Vi bruger VMware til at skabe en virtuel maskine med operativsystemet Linux installeret. Da den virtuelle Linux maskine er adskilt fra DAIMI's øvrige Unix maksiner giver det os mulighed for eksperimentere med aspekter af Linux operativsystemet, bla. ændrigner i Linux kernen, som ellers ikke er muligt pga. hensyn til drift og sikkerhed.
I MOS, kap 1, s.41-42, er UNIX kommandofortolkeren shell beskrevet sammen med en række eksempler på kommandoer. På Useful commands kan man se en liste over almindelige kommandoer. Med kommandoen man fås detaljerede oplysninger om de enkelte kommandoer f.eks. man cp. Man kan læse om brug af vinduesystemet X, UNIX filsystem, teksthåndtering i editoren emacs og udskrift på printere i dIntProg Manual (pdf format. Kan købes i boghandlen i Vandrehallen).
Et hypertekst dokument udformet i HTML (HyperText Markup Language), også kaldet et HTML-dokument, består dels af selve teksten dels af specielle kommandoer (HTML tags) der beskriver tekstens struktur og udseende (overskriftmarkeringer, valg af skrifttype, inddeling i afsnit) samt henvisninger til andre HTML-dokumenter (links). Et HTML-dokument kan lagres som fil (en tekstfil) eller kommunikeres over et netværk ved hjælp af en særlig protokol (http, HyperText Transfer Protokol), Kommandoerne i et HTML-dokument kan fortolkes af en såkaldt browser (f.eks. Netscape) som viser resultatet af fortolkningen i et vindue. Eksempler på HTML-dokumenter og oversigt over HTML-tags kan ses i følgende vejledning.
Et dokument udformet i LaTeX består dels af selve teksten dels af specielle kommandoer der beskriver tekstens struktur og udseende. Med LaTeX er det muligt at skrive dokumenter med en meget flot typografi. LaTeX er meget udbredt i universitetsverdenen og mange bøger og videnskabelige artikler skrives vha. LaTeX. Se følgende vejledning for en kort oversigt over relevant LaTeX dokumentation.
Oversættelse og afviklingen af et C-program "hello, world" i et typisk UNIX system er beskrevet i K&R, kapitel 1. Hvordan C-programmer i almindelighed oversættes og afvikles i UNIX på DAIMI kan ses i den vejledning i kørsel af C-programmer på en UNIX maskine der henvises til nedenfor. Desuden beskrives, hvordan et C-program oversættes til et ækvivalent symbolsk maskinsprogsprogram.
I SCO benyttes Java som programmeringssprog f.eks. i figur 5-40, hvor en rekursiv procedure løser Towers of Hanoi. I figur 5-47 ses et symbolsk maskinsprogsprogram til Java Virtual Machine (JVM). På side 386 skriver Tanenbaum hvordan JVM programmet er frembragt, " This program was generated by the Java compiler, disassembled to symbolic assembly language, edited for readability, and annotated." Hvordan dette i almindelighed sker kan ses i følgende vejledning.
I SCO, kap. 4, afsnit 4.2, An example ISA: IJVM, defineres en simpel stakmaskine Integer Java Virtual Machine. Der er tale om en forenklet udgave af Java Virtual Machine (JVM) som er udstyret med en delmængde af dennes instruktionssæt (figur 4-11); der kan kun bruges simple datatyper såsom 32-bit heltal; lagret består af Constant Pool, Method Area, Local Variable Frame samt Operand Stack, der addresseres relativt til registre (CPP, PC, LV samt SP). Et program skrevet i symbolsk maskinsprog til IJVM er vist i figur 4-14. I figur 4-15 er det beskrevet i detaljer, hvad der sker, når programmet afvikles på IJVM. Ønsker man at forsøge sig med at køre andre programmer til IJVM og se en detaljeret kørselsbeskrivelse, kan man bruge værktøjer beskrevet i denne vejledning: En symbolsk maskinsprogsoversætter ijvm-asm samt en IJVM bytecode fortolker ijvm. Hvis man har konto på DAIMI skal man installere værktøjerne først ved at bruge kommandoen daimi-setup -a /users/kursus/dArk/dArk-tools i UNIX. Installationen har virkning ved næste login. Brug af IJVM værktøjerne samt hvorledes de installeres på andre maskiner beskrives i følgende vejledning.