Programmiertechnik I

Sommersemester 2012

Dr. Martin v. Löwis

Die mündlichen Prüfungen finden am 17.7., 18.7., 19.7., 26.7., 27.7., und vom 24.9.-28.9. in A-2.1 statt. Die Anmeldung zur Prüfung ist elektronisch nicht mehr möglich. Bei Terminänderungen wenden Sie sich bitte an Frau Wagner.

Ab sofort stehen die Protokolle der Codedurchsicht zur Verfügung.

Die Lehrveranstaltung vermittelt Theorie und Praxis der Programmierung von Software am Beispiel der Sprachen C, Java und Prolog.

Diskutiert werden Algorithmen und Datenstrukturen zum Sortieren und Suchen, Graphenalgorithmen, Algorithmen und Datenstrukturen zur Implementierung objekt-orientierter Sprachen sowie die deklarative Programmierung. Diese Inhalte werden im allgemeineren Kontext der Softwareproduktion eingebettet.

Die Leistungserfassung besteht aus einer mündlichen Prüfung und der semesterbegleitenden Bearbeitung der Übungsaufgaben. Zur Zulassung zur mündlichen Prüfung muss die Hälfte der Punkte aus den Übungsaufgaben erreicht werden; die Note wird in der mündlichen Prüfung festgelegt.

Vorlesungen

  1. Übersicht
  2. C
  3. Repräsentation von Objecten
  4. Freispeicherverwaltung
  5. Polymorphie und spätes Binden (macro1.c, macro2.c, funcptr.c)
  6. Automatische Speicherverwaltung
  7. Weitere Konzepte
  8. Analyse von Algorithmen
  9. Datentypen in Java
  10. Modultests
  11. Sortieren: Einfache Algorithmen
  12. Sortieren: Quicksort und Mergesort
  13. Code-Durchsicht
  14. Sortieren: Priority Queues and Heapsort
  15. Sortieren: Radixsort
  16. Bäume
  17. Prolog
  18. Hash-Tabellen

Praktikumsaufgaben

1. Aufgabe

Abgabetermin: 8. Mai (17:00 UTC)

Punktzahl: 20P

  1. Machen Sie sich mit dem Editor /usr/bin/vim vertraut
  2. Richten Sie in Ihrem Browser ein exportierbares DFN-Zertifikat ein sofern Sie nicht bereits ein solches Zertifikat installiert haben.
  3. Melden Sie sich beim Abgabesystem für die Übungsaufgaben an
  4. Implementieren Sie eine Freispeicherverwaltung mit der Schnittstelle
    /* allocate.h */
    void* allocate();
    void deallocate(void *data);
    die den Speicher aus einem festen Speicherblock entsprechend der Deklarationen
    #define BLOCKSIZE 40
    #define NUM_BLOCKS 1024
    extern unsigned char arena[BLOCKSIZE*NUM_BLOCKS];
    extern unsigned short allocated_map[NUM_BLOCKS/16];
    erhält; verwenden Sie zu Ihrer Lösung die Bibliothek libarena. Die Funktion allocate() alloziert Blöcke fester Größe (BLOCKSIZE); die Funktion deallocate() gibt diese Blöcke wieder frei. Falls alle Blöcke alloziert sind, gibt allocate() als Ergebnis 0. Das Feld allocated_map speichert mit einem Bit pro Block, welche Blöcke alloziert sind.
  5. Senden Sie Ihre Lösung in Form eines einzelen gzip-komprimierten Tarfiles ein. Dieses sollte im Wurzelverzeichnis ein Makefile haben, mit zwei Zielen "liballocate.a" und "testapp" (basierend auf testapp.c). Gehen Sie in Ihrer Lösung davon aus, dass die Makefile-Variable LIBARENA das Verzeichnis angibt, in dem sich libarena.a und arena.h befinden.
  6. Zusatzaufgabe:Erweitern Sie Ihre Speicherverwaltung auf mehrere Arena-Blöcke; verwenden Sie dazu sbrk(2) (wahlweise mmap(2)), um vom Betriebssystem weiteren Speicher anzufordern. Zur Verwaltung der verschiedenen Arenas wird eine einfach-verkettete Liste empfohlen.

2. Aufgabe

Abgabetermin: 22. Mai (17:00 UTC)

Punktzahl: 20P

  1. Machen Sie sich mit dem Debugger /usr/bin/gdb vertraut
  2. Gegeben sei ein C++-Programm zur Manipulation, Darstellung und Berechnung von Ausdrücken. Übertragen Sie dieses Programm in ein struktur-ähnliches C-Programm; gehen Sie dazu von beiliegendem Gerüst aus. Achten Sie darauf, dass Ihre Lösung auf die gleiche Art wie das C++-Programm um neue Typen von Ausdrücken erweiterbar ist.
  3. Generieren Sie mittels /usr/bin/script eine Abschrift einer Debugger-Sitzung, aus der Ausschnitte aus dem Ablauf Ihres Programms ersichtlich werden (wie etwa die Berechnung des Ausdrucks).
  4. Senden Sie Ihre Lösung in Form eines gzip-komprimierten Tarfiles ein.
  5. Zusatzaufgabe:Erweitern Sie Ihre Lösung um ein Konstrukt instanceof(e, T), welches für einen Ausdruck e überprüft, ob er ein Exemplar des Typs T oder eines Subtyps von T ist. Beispielsweise sollten in main() instanceof(p, Binary) und instanceof(p, Plus) gelten, instanceof(p, Number) aber nicht. Hinweis: Zur Berücksichtigung der Vererbung eignen sich virtuelle Funktionen.

3. Aufgabe

Abgabgetermin: 12. Juni (17:00 UTC)

Punktzahl: 20P

Gegeben sind zwei Programme zur Matrizenmultiplikation, multiply.c und multiply.java. Bestimmen Sie die Komplexität der Multiplikation empirisch und theoretisch.

Zur empirischen Analyse:

  1. Ändern Sie die Programme so, dass Matrizen der Größen 10, 20, 30, 40, 50, 100, 500, 1000 Eingabe sind.
  2. Verwenden Sie einerseits das Programm /usr/bin/time zur Ermittlung der Gesamtlaufzeit, und andererseits die C-Funktion clock(3) und die Java-Methode java.lang.System.nanoTime() zur Ermittlung der Laufzeit von mult.
  3. Protokollieren Sie Ihre Experimente; geben Sie im Protokoll alle für die Messung relevanten Einflussparameter an.
  4. Stellen Sie die Gesamtergebnisse tabellarisch oder graphisch dar.

Zur theoretischen Analyse bestimmen Sie die Komplexitätsklasse der verwendeten Algorithmen, und erläutern Sie Ihre Analyse. Vergleichen Sie die theoretischen und die experimentellen Ergebnisse.

Bestimmen Sie außerdem, ob die folgenden Aussagen wahr sind. Beweisen Sie die wahren Aussagen.

  • O(100*N2) ⊆ O(N3)
  • 10*N+20 ∈ O(N)
  • N3/2 ∈ O(N log N)

Geben Sie Ihre Lösung in Form eines Tarfiles ab, das einerseits Ihre Protokolle und Analysen als Text- oder PDF-Datei enthält und andererseits Anhänge zu den Protokollen, wie etwa modifizierten Quelltextdateien.

Zusatzaufgabe: Messen Sie für das C-Programm auch die Zahl der Takte, die zur Berechnung benötigt werden, mithilfe der x86-Anweisung rdtsc.

4. Aufgabe

Abgabgetermin: 19. Juni (17:00 UTC)

Punktzahl: 20P

Implementieren Sie die folgende Schnittstelle, die den abstrakte Deque (Doule-Ended QUEue) repräsentiert, zwei Mal:

package de.uni_potsdam.hpi;
public interface Deque
  int capacity();
  int size();
  void clear();
  void addFirst(Object e) throws DequeFull;
  void addLast(Object e) throws DequeFull;
  Object removeFirst() throws DequeEmpty;
  Object removeLast() throws DequeEmpty;

Eine Klasse, die die Schnittstelle Deque implementiert, soll dabei folgende Eigenschaften besitzen:

  • Der Konstruktor der Klasse erwartet die maximale Kapazität des Deque-Exemplars. Die Methode capacity() gibt diese Größe zurück.
  • Mit der Methode addLast(Object) wird ein Element in die Warteschlange am Ende eingefügt. Falls die Kapazität bereits erreicht ist, löst .addLast die Ausnahme de.uni_potsdam.hpi.DequeFull aus. Gleichermaßen fügt addFirst am Anfang ein.
  • Die Methode removeFirst() liefert das erste Elemente der Warteschlange und entfernt es aus dieser. Sollte die Warteschlange leer sein, so löst .removeFirst die Ausnahme de.uni_potsdam.hpi.DequeEmpty aus. Gleichermaßen löscht removeLast ein Element am Ende.
  • Die Methode size() liefert die aktuelle Zahl von Elementen in der Warteschlange.
  • Die Methode clear() löscht alle Elemente aus der Warteschlange.

Achten Sie bei Ihrer Implementierung darauf, dass alle Methoden die Komplexität O(1) besitzen (vorausgesetzt, dass alle Elementaroperationen, einschließlich der Speicherallozierung, in konstanter Zeit erfolgen).

  1. Implementieren Sie Deque zum einen als doppelt verkettete Liste. Zur Erreichung konstanter Zeit für alle Operationen empfiehlt es sich, eine Referenz nicht nur auf den Anfang der Liste, sondern auch auf das Ende der Liste zu führen. Alternativ ist es auch erlaubt, erstes und letztes Element der List miteinander zu verbinden, ggf. unter Einsatz eines Wächterelements.
  2. Implementieren Sie Deque zum anderen als Ringpuffer auf Basis eines Arrays. Für einen solchen Ringpuffer sind neben dem Array selbst zwei Integer-Variablen (etwa first und last) erforderlich, die den ersten und den letzten belegten Index anzeigen.
  3. Vergleichen Sie die Laufzeit beider Implementierungen für folgendes Anwendungsszenario: In eine Warteschlange der Kapazität 1000 werden 500 Elemente eingefügt, danach wird oft abwechselnd ein Element entfernt und der Leerstring ("") eingefügt; vergleichen Sie insbesondere die Zeit für dieses Einfügen und Entfernen.
  4. Schreiben Sie auf Basis von JUnit eine Sammlung von Testfällen für Ihre Klassen, die wenigstens die folgenden Eigenschaften testet:
    • Für eine leere Deque q gilt nach q.addLast(o): o == q.removeFirst()
    • Fügt man in eine Deque mit 7 Elementen eines mit addLast ein, erhält man es mit removeLast sofort zurück
    • Fügt man in eine Deque mit 7 Elementen eines mit addFirst ein, erhält man es mit removeFirst sofort zurück
    • Fügt man in eine Deque 6 mal den Wert null ein und danach ein von null verschiedenes Objekt o, und führt danach wiederholt removeFirst aus, so erhält man 6 mal den Wert null, und danach o.
    • Nach Aufruf von .clear() liefert .size() den Wert 0.
    • .removeLast liefert für eine leere Deque eine Ausnahme.
    • .addFirst liefert für eine volle Deque eine Ausnahme.

Geben Sie im Abgabesystem ein Tarfile ab, welches sämtliche Klassen im Quelltext sowie ein Ant-File enthält. Das Ant-File soll Ihre Klassen übersetzen und die Testsuite ausführen. Sie können für das ant-File davon ausgehen, dass sowohl junit.jar als auch ant-junit.jar im Klassenpfad aufgeführt sind.

Ihre Lösung wird in einer Folgeaufgabe zur Code-Durchsicht einigen Kommilitonen zur Verfügung gestellt. Achten Sie darauf, dass aus Ihrem Code Ihre Autorenschaft möglichst nicht hervorgeht.

Zusatzaufgabe: Ermitteln Sie mithilfe eines Analysewerkzeugs (wie Covertura, Clover, Quilt oder NoUnit), wie vollständig Ihre Testsuite ist, und vervollständigen Sie sie zu 100% Code-Abdeckung (bezüglich des von Ihrem Werkzeug realisierten Messverfahrens).

5. Aufgabe

Abgabgetermin: 3. Juli (17:00 UTC)

Punktzahl: 20P

  1. Implementieren Sie eine stabile Version von Quicksort für verkettete Listen. Verwenden Sie zum Vergleichen die Annahme, dass die Elemente in der Liste java.lang.Comparable konsistent implementieren. Verzichten Sie dabei auf indexbasierte Zugriffe.
  2. Testen Sie Ihren Algorithmus, in dem Sie eine zufällige Zahl von Zufallsexemplaren des Typs java.lang.Integer generieren und diese sortieren.
  3. Entwickeln Sie eine Anwendung Ihres Sortierverfahrens, die die Standardeingabe zeilenweise sortiert und ausgibt.
  4. Führen Sie eine Code-Durchsicht der Ihnen zugeteilten Teillösung zugeteilten Teillösung von Aufgabe 4 durch. Sollten bei dieser Zuteilung Probleme aufgetreten sein, wenden Sie sich bitte an Dr. v. Löwis.
  5. Zusatzaufgabe: Implementieren Sie Mergesort für verkettete Listen.
  6. Senden Sie Ihre Lösung in Form eines Tarfiles ein. Verwenden Sie als Dateinamen für die Codedurchsicht review.txt; dieser Text wird dann den Originalautoren zur Verfügung gestellt.

6. Aufgabe

Abgabgetermin: 10. Juli (17:00 UTC)

Punktzahl: 20P

Über 4 Jungen im Alter von 11 bis 14 Jahren, die alle ein verschiedenes Alter, verschiedene Wohnorte haben und unterschiedliche Hobbies haben, ist folgendes bekannt:

  1. David wohnt in Berlin.
  2. Der Schachspieler ist jünger als der Mainzer.
  3. Alexander wohnt in Leipzig.
  4. Florian, der Klavier spielt, ist älter als David.
  5. Der Handballspieler ist ein Jahr älter als der Leipziger.
  6. Der Fussballspieler ist 11 Jahre alt.
  7. Lukas wohnt in Hamburg.
  8. Alexander ist 12.
  9. Lukas ist 13.

Formulieren Sie ein Prolog-Programm, welches aus diesen Aussagen für jeden der Jungen ermittelt, in welcher Stadt er lebt, wie alt er ist und welches Hobby er hat.

Hinweis: Jede Eigenschaft (Name, Alter, Wohnort, Hobby) kommt in der Lösung nur einmal vor.