Pauls Abkürzungen

From Planetk.de

Während der Vorlesung Systemarchitektur 2005 hat Herr Prof. W. J. Paul viele "offizielle" Abkürzungen eingeführt, die verwendet werden dürfen/sollen... ganze 234 konnte ich bisher hier auflisten. Sei diese Liste den folgenden Semestern eine Hilfe, Mehrfachbelegungen und Redundanzen zu erkennen und sich weniger oft über eine neu eingeführte Abkürzung zu wundern als wir das taten...

Liste der Abkürzungen

A	algebraischer Ausdruck
a	left ALU operand
aba	allocated base address
ad	Adresse
add	Addition mit Register
addi	add immediate
adr	Adresse
alloc	allocate
ALU	arithmetic logic unit
aluf	eine ALU-Funktion
aluop	Schaltfunktion zur ALU
An	Anweisung
and	logical and mit einem Registerinhalt
andi	logical and mit einer immediate
AnF	Anweisungsfolge
arr	Array
Atom	Boolsche Variable
AU	arithmetic unit
b	right ALU operand
ba	base address
BA	boolsche Ausdrücke
beqz	branch equal zero test
BF	Boolscher Faktor
bjtaken	ein Nichtterminal, eingeführt zur Auswertung von Ausdrücken, bzw. dessen Hardware-Signal
bnez	branch not equal zero test
BT	Boolscher Term
btaken	ein Nichtterminal, eingeführt zur Auswertung von Ausdrücken, bzw. dessen Hardware-Signal
Bu	Buchstabe
BuZi	alphanumerisches Zeichen
BuZiF	alphanumerische Zeichenfolge
bx	byte index
C	Menge von Konfigurationen
C	Konstante innerhalb der C0-Grammatik
c	eine Konfiguration der DLX-Maschine
c	Übertragsbit innerhalb eines Schaltkreises, nicht Ausgangssignal
c-consis	control consistency
c'	δ(c)
C0	C0 mit Assembler-Code
CA	cause
CAV	computer aided verification
ce	clock enable
CFG	context free grammar
clr	setze das ganze Register auf 0
clri	setze das ganze Register auf 0
comp.imm	eine Unterklasse von Instruktionen, fasst alles, was innerhalb I-type auf aluop abgebildet wird, zusammen
compute	eine Unterklasse von Instruktionen, fasst alles, was innerhalb R-type auf aluop abgebildet wird, zusammen
consis	Konsistenzbedingung
cp	current process
CSA	conditional sum adder
CVM	communicating virtual machines
D	device
Dekl	Deklaration
δ	die Übergangsfunktion C->C, δ(c)=c'
DF	Deklarationsfolge
Din	Eingang eines beliebigen Registers
displ	displacement
DLX	"Deluxe"-Prozessor
DNF	disjunktive Normalform
Dout	Ausgang eines beliebigen Registers
e	Ausdruck
E	Exception
e-consis	elementary consistency
ea	effective address
ECA	exception cause
ecode	elementary code
EDATA	exception data
eev	external interrupt event
elTyp	elementare Typen
EPC	Rücksprungadresse
ESR	exception status register
ex	execute-Phase
F	Faktor
F	function frame
fu	function code
FuD	Funktionsdeklaration
ft	function table
G	Gatter
G	eine Grammatik zu einer Sprache
GPR	general purpose register, in h
gpr	general purpose register, in c
GPRglue	eine Komponente (MUX-Baum) des DLX
gprw	write-Signal des GPR
h	Hardware-Konfiguration
hm	heap memory
I	Instruction
I-type	eine Klasse von Instruktionen, die das Rechnen mit immediate constants abdeckt
id	Identifier
iev	internal interrupt event
il	interrupt level
ill	illegal
imm	immediate constant (Konstante, die direkt in ein Programm übergeben werden kann)
IR	instruction register
j	jump
J-type	eine Klasse von Instruktionen, mittels derer gesprungen wird
jal	jump and link
jalr	jump and link register
JISR	jump to interrupt service routine
jr	jump [according to content of] register
k	abstrakter Kern
K	konkreter Kern
K	Menge von C0-Konfigurationen
K	durch Deklarationen in p festgelegt
kcd	kernel call definition function
KompD	Komponentendeklaration
KompDF	Komponentendeklarationsfolge
L	Sprache
LEL	list element
lhg	lädt den vorderen Teil einer großen Konstanten aus einem Register
lhgi	lädt den vorderen Teil einer großen Konstanten von einer imm
lms	local memory stack
lop	left operand
lw	load word
m	memory
MCA	masked cause
misa	misaligned
movi2s	move integer to special
movs2i	move special to integer
MUX	Multiplexer
mw	write-Signal des memory
n	eine natürliche Zahl, meist auf der mathematischen Ebene verwendet
n	Anzahl an Variablen
N	Nichtterminal-Alphabet
Na	Name
NaF	Namenfolge
neg	Ausgabe eines Schaltkreises, der testet, ob die Rechnung ein negatives Ergebnis bringt
nextpc	pc der nächsten Konfiguration
nextpc	Schaltkreis, der nextpc berechnet
nf	Anzahl an Funktionen
nk	number of kernel calls
nt	number of types
opc	operation code ("op-code")
or	logical or mit einem Registerinhalt
ori	logical or mit einer immediate
ovf	Overflow bit
P	Produktionensystem
p-consis	pointer consistency
ParD	Parameterdeklaration
ParDF	Parameterdeklarationsfolge
pbase	previous base
pc	program counter
pcb	process control block
pcinc	ein Signal, das an nextpc gegeben wird
PF	Parameterfolge
pff	page fault fetch
pfls	page fault load or store
ph	Hardware-Prädikat
PLA	programmed logic array
pm	physical memory
pma	physical memory address
pos	Ausgabe eines Schaltkreises, der testet, ob die Rechnung ein positives Ergebnis bringt
ppx	physical page index
pr	program rest
pte	page table entry
ptea	page table entry address
ptl	page table length
ptlef	page table length exception fetch
ptlels	page table length exception load or store
pto	page table origin
ptr	Pointer
px	page index
pxh	high page index
pxl	low page index
r-consis	recursion consistency
R-type	eine Klasse von Instruktionen, die ausschließlich mit Werten aus Registern arbeiten
Ra	Range
RAM	random access memory
rb	return binding
rbs	return binding stack
Rce	clock enable von Register R
RD	register destination (Müsste eigentlich "destination register" heißen...)
rd	recursion depth
rfe	return from exception
rop	right operand
Rout	Ausgang von Register R
RS1	register source 1 (Müsste eigentlich "source register 1" heißen...)
RS2	register source 2 (Müsste eigentlich "source register 2" heißen...)
S	Schaltkreis
S	Startsymbol
s	Schrittzahl
S	Selektor
s	Summe
S	Subvariable
SA	special purpose register address
seq	Test, ob Registerinhalt gleich einem anderen Registerinhalt
seqi	Test, ob Registerinhalt gleich einer imm
set	setze das ganze Register auf 1
seti	setze das ganze Register auf 1
sge	Test, ob Registerinhalt größer oder gleich einem anderen Registerinhalt
sgei	Test, ob Registerinhalt größer oder gleich einer imm
sgr	Test, ob Registerinhalt größer einem anderen Registerinhalt
sgri	Test, ob Registerinhalt größer einer imm
SISR	start of interrupt service routine
sle	Test, ob Registerinhalt kleiner oder gleich einem anderen Registerinhalt
slei	Test, ob Registerinhalt kleiner oder gleich einer imm
sls	Test, ob Registerinhalt kleiner einem anderen Registerinhalt
slsi	Test, ob Registerinhalt kleiner einer imm
sm	swap memory
sma	swap memory address
smpt	swap page table
smptl	swap page table length
sne	Test, ob Registerinhalt ungleich einem anderen Registerinhalt
snei	Test, ob Registerinhalt ungleich einer imm
SPR	special purpose register
SR	status register
st	symbol table
sub	subtrahiert zwei Registerinhalte
sub	Subtraktionsbit
subi	subtract immediate
sw	store word
sxtimm	sign extended immetiate constant, manchmal auch "sextimm" geschrieben
sy	Symboltabellen-Abbild
T	Term
T	Tiefenfunktion über rekursiven Schaltkreisen und -funktionen
T	Terminal-Alphabet
tc	type code
trap	rufe eine funktion des Kerns auf
tt	type table
TWOC	two's-complement-Zahlen
TypD	Typdeklaration
u	Übertragsbit
va	virtual address
va	value
VaD	Variablendeklaration
VaDF	Variablendeklarationsfolge
VC	Variable oder Konstante
vm	virtual machine
w	write-Signal
x	Variable für ein Signal
xcc	fixed point condition code
xor	logical xor mit einem Registerinhalt
xori	logical xor mit einer immediate
zero	Ausgabe eines Schaltkreises, der testet, ob die Rechnung "0" ergibt
Zi	Ziffer
ZiF	Ziffernfolge