Benchmarking verschiedener Listenimplementationen

Ein Beispiel für ein ADT ist die Verkettete Liste. Eine Liste enthält beliebig viele Werte eines Typs T, z.B. Integer-Zahlen. Zudem sind Operationen definiert, die mit der Liste durchgeführt werden können, z.B. anhaengen(val: T). In der objektorientierten Programmierung entspricht das den Methoden.

Die Namen der Operationen und ihre Signatur (also Parameter und Rückgabewert) können in Java durch eine abstrakte Oberklasse oder ein Interface festgelegt werden – dies ist die syntaktische Beschreibung.

Allerdings sagen die Methoden und ihre Signaturen nichts über das Verhalten des ADTs aus, das ist die Semantik. Wir müssen also beschreiben, was die Methode anhaengen(val: T) tut. Prinzipiell könnte die Methode anhaengen einfach einen leeren Rumpf haben – syntaktisch wäre sie damit korrekt, da es sich um eine Methode ohne Rückgabewert handelt.

Ein Programmierer, der die Klasse verwendet, stellt sich aber etwas anderes unter "anhängen" vor. Üblicherweise bedeutet "anhängen", dass das neue Element hinter den vorhandenen Werten angefügt wird. Man könnte sich aber auch vorstellen, dass das neue Element vorne angefügt wird oder nur dann, wenn es noch nicht vorhanden ist oder an der richtigen Stelle im Bezug auf eine Sortierung…¹⁾

Beschreibe das Verhalten der folgenden Methoden im Kontext einer verketteten Liste so eindeutig wie möglich. Was genau sollen diese Methoden machen, was geben Sie zurück, welche Voraussetzungen müssen evtl. erfüllt sein, damit man sie auf die verkettete Liste anwenden kann?

1. vorneAnfuegen(val: T)
2. erstesElement(): T
3. letztesElement(): T
4. findeErstesVorkommen(val: T): int

Eine Eigenschaft abstrakter Datentypen (ADTs) ist, dass sie keine Angaben über ihren inneren Aufbau machen, sondern nach außen nur ihre Methoden anbieten und deren Verhalten definieren.

Eine Liste kann man auf verschiedenste Weisen implementieren, wir wollen jetzt testen, ob sich verschiedene Implementationen verschieden verhalten.

Im Repository https://codeberg.org/Info-Unterricht/verkettete-liste-java-benchmark.git findest du verschiedene Implementationen einer verketteten Liste sowie eine Benchmark-Klasse.

Checke das Repo aus und übersetze den Code in beiden Verzeichnissen. Übersetze auch die Klassen im Unterordner "Liste", sonst können die Tests nicht durchgeführt werden.

Untersuche den Code der Listen-Klassen(n).

• Wo werden die Fähigkeiten der Liste - unabhängig von der konkreten Implementation - definiert?
• Warum ist die Klasse ListeMitArray keine Child-Klasse von ListeMitVerkettung?
• Warum spielt das keine Rolle für einen Programmierer, der die Klasse Liste verwendet?

Die Benchmark-Klasse führt einige Tests mit den verschiedenen Listenvarianten durch und untersucht, wie viel Speicher und wie viel Zeit die Tests benötigen.

• Speichertests:
  • speichertestFuellen: Es werden einige zufällige Werte am Ende der Liste eingefügt.
  • speichertestFuellenUndEntfernen: Wie oben, nur werden danach 75% der Werte wieder entfernt.
• Laufzeittests:
  • laufzeittestHintenEinfuegen: Es werden einige zufällige Werte am Ende der Liste eingefügt.
  • laufzeittestVorneEinfuegen: Es werden einige zufällige Werte am Anfang der Liste eingefügt.
  • laufzeittestZufaelligEinfuegen: Es werden einige zufällige Werte an zufälligen Positionen in der Liste eingefügt
  • laufzeittestAufsummieren: Es werden einige zufällige Werte am Ende der Liste eingefügt. Dann wird mit einer for-Schleife über jedes Element der Liste iteriert und die Summe der Werte bestimmt. Hier wird nur das Iterieren über die Elemente der Liste gemessen.

Die Anzahl der Elemente steigt dabei in Zehnerschritten von 10 bis 1000 an. Die Ausgaben der Testmethoden sehen in etwa wie folgt aus:

Anzahl;ListeMitArray;ListeRekursiv;ListeIterativ;ListeMitEnde
10;240;416;416;424
20;440;816;816;824
....