New slide

presentations/20141019_osc_tokyo_ats/20141019_osc_tokyo_ats.md

@@ -0,0 +1,135 @@
+# Metasepi team meeting #19:　ATS application on Arduino
+
+Kiwamu Okabe @ Metasepi Project
+
+# Demo: ATS on Arduino Uno
+
+* Movie: http://nico.ms/sm24680530
+* Without any GC, and any malloc
+
+![inline](img/niconico_ats_on_avr.png)
+
+# Demo: Arduino Uno
+
+* MCU: ATmega328
+* Flash Memory: 32 KB
+* SRAM: 2 KB
+
+```
+http://arduino.cc/en/Main/ArduinoBoardUno
+```
+
+![inline](img/ArduinoUnoR3.png)
+
+# Demo: LCD Shield
+
+* LinkSprite 16X2 LCD Keypad Shield
+* 16x2 LCD
+* HD44780 compatible
+
+```
+http://store.linksprite.com/linksprite-16x2-lcd-keypad-shield-for-arduino-version-b/
+```
+
+![inline](img/lcd_keypad_shield.png)
+
+# Demo: Software Architecture
+
+xxx Add figure
+
+# Demo: Source Code #1
+
+* main.dats
+
+![inline](img/src_main_dats.png)
+
+# Demo: Source Code #2
+
+* lcs.sats
+
+![inline](img/src_lcd_sats.png)
+
+# Demo: Source Code #3
+
+* lcs.dats # <= We don't read it, today.
+
+![inline](img/src_lcd_dats.png)
+
+# Agenda
+
+* [0] ATS application demo
+* [1] What is Metasepi?
+* [2] How to create Metasepi?
+* [3] What is ATS language?
+* [4] Why ATS language is safe?
+* [5] Let's read the demo code
+* [6] Japan ATS User Group
+
+# [1] What is Metasepi?
+
+http://metasepi.org/
+
+* Unix-like OS designed by strong type.
+* We want to use Metasepi OS for daily desktop usage (e.g. web browser, programming, office suite, ... etc.)
+* We have surveyed may functional languages (e.g. Haskell, OCaml, MLton, ... etc.)
+
+# Kernel developers want type
+![background](img/world_without_trees.png)
+
+* Kernels are developed with C.
+* We should design kernel with the greatest care.
+* C language is unsafe!
+
+# Kernel Bug #1: Buffer overrun
+![background](img/panic.png)
+
+* Pointer to array doesn't know the length.
+
+![inline](draw/buffer_overrun.png)
+
+# Kernel Bug #2: Page fault
+![background](img/panic.png)
+
+* Page fault in user space => SEGV
+* Page fault in kernel space => Halt!
+
+![inline](draw/page_fault.png)
+
+# Kernel Bug #3: Weak type
+![background](img/panic.png)
+
+* Lots of (void *) and unsafe coercion.
+* NetBSD kernel uses it 45130 times!
+
+~~~
+$ pwd
+/home/kiwamu/src/netbsd/sys
+$ grep "void \*" `find . -name "*.c"` | wc -l
+45130
+~~~
+
+* Kernel developers frequently use (void *) for flexibility. It's realy BAD, but there is no other option.
+
+# Scratch or Rewrite
+![background](img/climbing.png)
+
+![inline](draw/need_unixlike_kern.png)
+
+# Snatch-driven development #1
+![background](img/konami.png)
+
+http://en.wikipedia.org/wiki/Snatcher
+
+![inline](draw/snatch-system.png)
+
+# Snatch-driven development #2
+![background](img/konami.png)
+
+![inline](draw/2012-12-27-arafura_design.png)
+
+
+# Follow me!
+
+https://twitter.com/jats_ug
+
+![inline](img/jats-ug_logo_v1.png)

presentations/20141019_osc_tokyo_ats/Makefile

@@ -0,0 +1,14 @@
+ODGS := $(wildcard draw/*.odg)
+PNGS := $(patsubst %.odg,%.png,${ODGS})
+
+all: ${PNGS}
+
+%.png: %.odg
+	unoconv -n -f png -o $@.tmp $< 2> /dev/null   || \
+          unoconv -f png -o [email protected] $<                 || \
+	  unoconv -n -f png -o [email protected] $< 2> /dev/null || \
+          unoconv -f png -o [email protected] $<
+	convert -resize 800x [email protected] $@
+	rm -f [email protected]
+
+.PHONY: distclean