events:tagung-2016
Unterschiede
Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Beide Seiten der vorigen RevisionVorhergehende ÜberarbeitungNächste Überarbeitung | Vorhergehende Überarbeitung | ||
events:tagung-2016 [2016-04-11 20:56] – ew | events:tagung-2016 [2018-04-07 20:59] (aktuell) – [Samstag] uho | ||
---|---|---|---|
Zeile 15: | Zeile 15: | ||
öffentliche Vorträge, Anfänger-tauglich, | öffentliche Vorträge, Anfänger-tauglich, | ||
- | * 10h Bernd Paysan: Forth am PC | + | * 10h Bernd Paysan: Forth am PC [[events: |
- | * 11h Bernd Paysan: Forth im FPGA | + | * 11h Bernd Paysan: Forth im FPGA [[events: |
Mittagessen in der Mensa | Mittagessen in der Mensa | ||
- | * 14h Bernd Paysan: Kryptographie mit/für net2o | + | * 14h Bernd Paysan: Kryptographie mit/für net2o [[events: |
- | * 15h Bernd Paysan: net2o Netzwerkschichten | + | * 15h Bernd Paysan: net2o Netzwerkschichten |
Workshop Raum J4.06 | Workshop Raum J4.06 | ||
- | * 15h Martin Bitter: Forth auf dem LEGO EV3 | + | * 15h Martin Bitter: Forth auf dem LEGO EV3 (kein Video) |
Weitere Informationen: | Weitere Informationen: | ||
Zeile 46: | Zeile 46: | ||
öffentliche Vorträge, Raum J4.19 | öffentliche Vorträge, Raum J4.19 | ||
- | * 9h Klaus Kohl-Schöpe: | + | * 9h Klaus Kohl-Schöpe: |
- | * 10h Klaus Kohl-Schöpe: | + | * 10h Klaus Kohl-Schöpe: |
- | * 11h Bernd Paysan: net2o benutzen | + | * 11h Bernd Paysan: net2o benutzen |
Demo Bitkanone, Triceps | Demo Bitkanone, Triceps | ||
- | * 14h Gerald Wodni: " | + | * 14h Gerald Wodni: " |
- | * 15h Anton Ertl: Sicheres Forth | + | * 15h Anton Ertl: Sicheres Forth [[events: |
- | * 16h Ulli Hoffmann: Forth in Echtzeit durch Zeit-gesteuerte Architektur | + | * 16h Ulrich |
- | * 17h Anton Ertl: Gedanken zu SIMD und Vektorisierung | + | * 17h Anton Ertl: Gedanken zu SIMD und Vektorisierung |
19h Abendessen im Asia Sunshine | 19h Abendessen im Asia Sunshine | ||
Zeile 63: | Zeile 63: | ||
* 9h Jahresversammlung 2016 der Forthgesellschaft e.V. Raum J4.13 | * 9h Jahresversammlung 2016 der Forthgesellschaft e.V. Raum J4.13 | ||
+ | |||
+ | ===== Kurzbeschreibungen ===== | ||
+ | |||
+ | ==== Sicheres Forth — Anton Ertl ==== | ||
+ | |||
+ | Buffer overflows sind ein beliebtes Einfallstor fuer Angriffe auf Software. Forth vermeidet zwar einige Probleme von C, aber es ist auch nicht dagegen gefeit. Das Problem komplett zu eliminieren wuerde Forth zu weit einschraenken, | ||
+ | |||
+ | ==== " | ||
+ | |||
+ | in Paketmanager für Forth. Auch wenn es in Forth üblich ist das Rad immer wieder neu zu erfinden, weil es ja so einfach geht, gibt es komplexere Dinge wie Ullis StringStack, | ||
+ | |||
+ | ==== Übersicht Microcontroller und Tools — Klaus Kohl-Schöpe ==== | ||
+ | |||
+ | Als FAE = "Field Application Engineer" | ||
+ | |||
+ | ==== mcFORTH — Ein Forth für möglichst viele Microcontroller — Klaus Kohl-Schöpe ==== | ||
+ | |||
+ | Schon seit über 25 Jahren befasse ich mich mit FORTH auf Microcontroller und habe mein 16-Bit-KKFORTH auch für berufliche Zwecke eingesetzt. Jetzt habe ich mich erneut mit den Problemen eines portablen FORTH auseinandergesetzt und möchte hier über Themen wie unterschiedliche Prozessorarchitekturen, | ||
+ | |||
+ | ==== Forth in Echtzeit durch Zeit-gesteuerte Architektur — Ulli Hoffmann ==== | ||
+ | |||
+ | Die zeitgesteuerte Architektur von M.J. Pont lässt sich auch einfach in Forth realisieren. Sie erlaubt es, deterministisch in Echtzeit auf Ereignisse zu reagieren und insbesondere systematisch über die zeitlichen Eigenschaften eines Systems nachzudenken. Der Vortrag stellt die Zeit-gesteuerte Architektur vor und demonstriert die Mecrisp-Stellaris-Implementierung. | ||
+ | |||
+ | ==== Gedanken zu SIMD und Vektorisierung — Anton Ertl ==== | ||
+ | |||
+ | Seit zwei Jahrzehnten stellen populäre Prozessoren SIMD-Erweiterungen | ||
+ | wie SSE zur Verfügung. | ||
+ | sollte es auch ermöglichen, | ||
+ | geht das über Intrinsics (sehr architekturspezifisch) oder über | ||
+ | automatische Vektorisierung (sehr kompliziert). | ||
+ | stelle ich einige Überlegungen zu dem Thema vor. Ein zentrales | ||
+ | Element dabei sind Überlegungen zur Speicherverwaltung, | ||
+ | Komplikationen oder Geschwindigkeitsnachteile durch Abhängigkeiten zu | ||
+ | vermeiden. | ||
+ | |||
+ | ==== Forth am PC — Bernd Paysan ==== | ||
+ | |||
+ | Forth kann man nicht nur am Controller benutzen, sondern auch auf dem PC und Androiden. Am Beispiel von Gforth wird gezeigt, was für zusätzliche Features am PC wichtig sind, etwa Anbindung von C-Libraries, | ||
+ | |||
+ | ==== Forth im FPGA — Bernd Paysan ==== | ||
+ | |||
+ | Wie baut man seinen eigenen Prozessor? FPGAs ermöglichen es, digitales Design mit geringen Kosten auszuprobieren. Da Forth-Prozessoren sehr einfach gebaut sind, braucht man wenig Code und wenig Platz, um sie zum Laufen zu bringen. Am Beispiel b16 wird erklärt, wie so ein Forth-Prozessor aussieht, um dann noch andere Forth-Prozessoren wie den J1, MicroCore und die N.I.G.E.-Machine vorzustellen. | ||
+ | |||
+ | ==== Kryptographie mit/für net2o — Bernd Paysan ==== | ||
+ | |||
+ | net2o ist ein Beispiel, was man cooles mit Forth machen kann. Dieser Teil befasst sich mit moderner Kryptographie und wie man sie anwendet, und ist unabhängig von Forth erhellend. Net2o verwendet elliptic Curve Cryptographie mit der Kurve Ed25519 von DJB, und Keccak (SHA-3-Gewinner) in verschiedenen Moden, sowie Threefish. | ||
+ | |||
+ | ==== net2o Netzwerkschichten — Bernd Paysan ==== | ||
+ | |||
+ | net2o " | ||
+ | |||
+ | ==== net2o benutzen — Bernd Paysan ==== | ||
+ | |||
+ | net2o ist so weit gediehen, dass wir es seit etwa einem halben Jahr als Group-Chat-Programm einsetzen. Der Vortrag zeigt, wie man net2o installiert und die bereits implementierten Dienste wie Chat und PKI benutzt. |
events/tagung-2016.1460400976.txt.gz · Zuletzt geändert: 2016-04-11 20:56 von ew