The Virtual Network System

Martin Casado

Nick McKeown

Department of Computer Science

Stanford University
Stanford, CA 94305-9030

Department of Electrical Engineering

Stanford University
Stanford, CA 94305-9030

casado@cs.stanford.edu

nickm@stanford.edu

ABSTRACT


 
  "!$#% 
" #"! &'#(*)+,*&
$#-$.!*/0#"#"12!$+"
430#5 #6!7!$8"0#5+6 9/ 
;:<#&
=#"*# >?  /-*1"/-=
@ A #B:C#%*#"*D*
6 9$
$ 
E#"*CF/? 9G-1 /$-$C3IH"* 

KJLMN!7/N#/&
O 

34P%"Q$
" 
"R 6!*#S
" 9 -$-*$/T/#"%+N #6!
$#"=? ? $U#*<B/? 9G-1A
"-=
0V R/@+ -*3B #6!
/*-$Q<3%JXWV#6!(Y#" O 

Q3($PSQ$Y$ -?
F 6!*#SX
" 9.
!4!-4 94!B-* O +"*41 #"!. O S!Q >3.
"V*#$
KJZ
"[\Q/" 

]V*<^%3  O`_ [\]a^"bA0 4 -=
0#B%

D!$/#4! >"#&
!*? !"  #6!c? !6 9R#"=<S0#-$/$$JTdeQ
[\]^,1
$ -?
f "!$#%Y-4 #I8"
0!f 5* _  #%3N+6 -=*/&'+%-$$//#
!$S-$9b#"/=/&C/+" -$1"#B
$QE9A#+ 91+$-*4!.+,
Q&
3%1Z #6!N+%-*$/T$ 
:C#S=#"*/? G;-Jc[\]a^
6 Y8,*$#F"/4!
8%39*Yghh5 6!$#% R^%? # >?!( #6! O $
Q3X i O 
*
#"*/Q$$Jj
"+6 +,*@!*/-*8,$;
"B[\]^7%
k1 #6!I
=)+,=0*#"-$$A/0#;QE0#B
"a-$
0 / % O J

#"=<c O *$1~!0 /84!cH6

; 3  O  #6!(
"*T +"+
0-4 9&
#$JZD*
a/%-=*
0 43*E0EP%"Q T
"

0*$
8" /? -*#
 Z
"T"#"!*
Q3#"#*<,1 #"!5/\#X+c A~1: e #6!

"
#"%&'
0 43*4JV9 $-= V
"V
$$
2!# V+9Si! 6!*#S
AQ
F*)+,*$#"-*@#F+" -?**&k/? # O 0//#1-$#"* 0#I-$#&
/
K1#\#"2
*-$#"-$$+2*3a\ #Y0#%/S!"-*/3-$
0 /$J
M(+9Si!5
6 #6! &C#j -$-$$/AQ
j
4=/&C
$$
V#*<S#"
-$#"-$$+$1A
"X-$ O +"=B/-*0*#"-$c4!"-4 90#e-$ OO "#C3I
6 
!*$
+,4!B Y#S O 8,* ~+<$-*E$#SS# O $#%ZR/"++"
 O $#%
#%/S!"-=/3@#"*C#R-$/$o 16S19g%16S11414S1$hkJ

"*/.=6$-*T #N i/&'-$Q4!7#"*4!( ; -*
4 ##"5$#SSQ#&
O $#%T0#I#*<S#"c-$/$$JFWE-*@
0$ #"#(#F#"=<S
* 6!$#%*)+,*$#-$V#.
"E/"8
0=0* 
"V!$/#B ~
-$ O +"
*); 3  O 1 D$

+$+6 9V
" O >
E#*<S#"
#6!" //3%J

"*/$#SSQ# O *#S D<3+"-4 
0
Q3 0 #SM 
"D >

4A0#
:<# i?  /-*7 > O +"
 O $#%? 90# ;/? #"/+,/c
$$

+%-*
~9*M -$##"$-=0#&'
$/M+%-$
%/"-?
 \(o4gS1
kJ
[\Q/6 
k1/ O 
i 9#5\ O "
0 #$#SSQ# O *#SD \!=&
$
+0#X/ O +"
QH64!7
#"
0 $3%*YY#"*C(
0 43*R+&
-$
To161"16nS1,m9kJ
W\! O #0 /? 9# #6!69M*#"*

$$
!$$
+ O *#S #*/&
F+,
0*@ !$!-4 $!f
" ?! 5.#"*C4!
Q/" 
O -?
"#"$oQ*1M$1419n%1M49kJ
^ O +"
QH64!. -$-$$/T
0#S&'
0 $3%*#*<;/? 9G-\ E #" 
Q&
3/oQ4h9

Categories and Subject Descriptors

l;J mSJ nRo pTq,r(s2tMu$vSwxay6zM{7|\{Mt~}y"u$>q,zkD O +*Z #6!R:C# >/&

O 9#c^S-$$#"-$aD!"-4 90#

General Terms

$ / O $ #%41"a*/0#1")+,* O $#%? 90#

Keywords

]V*<N^ O 
i 9#12A21~:<#%*#"=Y:C# i?  /"-=1E*
\$/#1"[\]a^

1.

BACKGROUND


a<3+"-4 
#6!*? !6 9a#%/S!"-=/3@#"*C#;-$
0 /
#-$
6!*+? OO 0#I //# O $#%$JW-4 ##"-4 
aH" 5  &
/# O $#%;$; "!$#%R=)+,=0*#"-$.AQ
jWVZ:'&C
$$
/%-?*
+? OO #"X8%3N O +
0 O $#%0#X c/ O +
.$8&'-$
$#%;R i+&
-*
0$#%4JN"/
* //0# O $#%T<3+"-4 
0
Q3F8"
0!F#F
"./%-?*

0 $3%*412 #6!
" 6!$#% O +

 O $#%a O +%-$4!-4 

0$1

Permission to make digital or hard copies of all or part of this work for
personal or classroom use is granted without fee provided that copies are
not made or distributed for profit or commercial advantage and that copies
bear this notice and the full citation on the first page. To copy otherwise, to
republish, to post on servers or to redistribute to lists, requires prior specific
permission and/or a fee.
SIGCSE05, February 2327, 2005, St. Louis, Missouri, USA.
Copyright 2005 ACM 1-58113-997-7/11/0002 ... 5.00.

WD
V#%/S!-*/3R
$$
6
4$=
"=V 
0 -?; 4 -=
&
#"%

"  

9 "!$#%T!$*
0+@ #6!!$+"
43:C#S=#"*
# i?  /"-=-$ O +,#$#%~/"-?
R ~*M
6 9#S=? -*~AQ

-=6 

6 ?!S 9B#I
.:<#%*#"=4J9 $-= Y
".#"*C

$$
 #6!(8,$
9 <3+"-4 

37? "
%T
$=0-$ 

Q3IY"/#"
/+,$-$0 
&'++,/./ O 
0 #($#SQ# O $#%$J@^S O "
0 #7$#SSQ&
# O $#% i$#N4P%"Q;
"R 6!*#S5
4 9#F #"!7"/##&
 ? #"!" 9?!@/-*+0#R#%*/ K -$$E #"!@
8? 9$o S1,n4 #6!@ \#"
!*/0#"4!.R+S0!E4 
 O a -$-$$/Y
\:C#S=#"*4JZ =
-$ O +"=;/-$$#-$5+? O  O 43N
6 4@
i 8";AQ
!4!-4 94!

6 9?! A#;A
"-=
R 6!*#S-4 #.!$$
+;#*< "#-*#" 
Q&
Q<3B A
*#"*

$$
DoQ*1M49kJD\4$*41"/-=
B$#SS# O $#%
4P%"QB*)S$#"/@$/-$$(/="+ #6!f #"! O #6 5 #6!
E#"/? 8"
V >0#%/S!"-*/3-$/$A
*E
A 6!*#S
O $3.#"V
" 4a/G;-$$#%V 3  O A!$$
+ O $#%*)+,*//J
S0#X 6!$#%*)+,*$#"-$.8,$
4
"/%-?*T
i $3%=TAQ

/? G;-5.PSQ5!QG-*"
Q9o g9kJW;
" O -?
"#"B
$$
K1


A
6tMw9v x4r(s
>v  x$vSw,vwx$vSu4tMs>u uMw9vSv
>w9u4tMy u$q6sq >q
6>vx.y"z~{juwvSvcy"sMs
}yu4>q,zx$vSw,vSwx

A
,tMw9v!"$# v&%'%~w9q(;x$vw@y6}}vx4x4z)
Iy*Tv+%x$vw,vSw@}q,z-,
zMv}u$v{ju*q*. /

/6 
0
Q3Y4P%"Q$ O S!Q >3#"V
"*#$
K1A
0-?
;4P%"Q$Z a-$ O &
+*A+,= 6!$#%41" #6!@ R
"
"
Q3@"#" ? 8"
a!$$
+ O $#%$#SSQ&
# O $#%4JB:CY 
/X4P%"Q$T$ Y-4 .#7
"./$-*Q<3( 

#*<,JD A#"*/Q$!#  

9 "!$#%ZY/#%+@
$#"=?  98"Q/? /3c? $ : e+6 -=*a#c
"Y-4 O +"a#*<,J
WE#6!I$$#fQ aQ +,//8"
5 >B  "!$#%;( O +"
 O $#%R
*41Z"
0!;8,-$ O 8,*/ O 8"0
0!; \$ 
 0-E+,
03
Y$ E#" O a#" ? #"-$*$J
:C#R
"+6 +,*A+*/$#% #;4!"-4 90#6 
%
E!*$
+,4!
./+"+,/V+9 *-*a8,$
4U
T/%-?*\
0 43*a 9 $
Q3c #6!5"/#
>*L$/-$$$J
"[\Q/" 
]\*C^S3  O _ [\]^bD V!*&
/#"4!Ya 

9
S"#"!4!~ , "!$#%MS#"\ O $
Q3 _ #%3S&
A
*a#B
"V:<#%*#*=bR!$*
0+B/*/+" -$a+? O 
6 9
>"#-*# ;#*<N# i?  /-*5-* O +,#$#%$1A
"-=
I+&
=? R#5
"T -=6 
2:C#%*#"*E
" #6!
0#.
01,4 
Q&k O /? 9G-J
d7R
" 9R!$$
+,$! .#S O 8,*\ +? OO #"@ //# O $#%
/#"[V]^
6 9 R/"Q? 8
0; >#6!=? !6 9; #"!? !&
9A
0*$
-$/$$JZWV

"-*/ O 9*0 
 9A+""8
0-*
3Y 4 
0 8"
J
"#6! O $#%? 
6Y
"a!$/# 2[V]^0
 8
0QC3BY/"+"+,/
O "
Q+"
V O a-$
0 //$ES#"Y#5! *$#%A+9 $-=E/ O "
Q&
? #"$"/
Q3%J2[V]^YD a+S!-*#; 3  O -$/$#%
Q3Y8,*0#"/4!
#T A# O 8,* -*/*~
%-4 

Q3Y #6!a O $
Q3%JM:'M
" 8,$$#"/4!
#("#6!*? !" ; #6!c? !6 9;#"=<S0#B-*/*
"* 9
^%? # ?! #"!j 
 
#".\+"S#"R4 -?
f
5 O +"
 O $#%? 9&
# 6*D #"!T/"++,/2
A!$*
0+ O $#%2 , #"-*#" 

A-$ O +" 8"

 ? -=S~
" #%*? -*2AQ
Y
"=
" 2#Y

:C#%*#"*4J
2.

THE VIRTUAL NETWORK SYSTEM


Y-*R [V]^B /**!  O #cQ/$#c#c ? #"!" ?!


6 9@-4 #/ O "
0  O 
Q0+
1SQ/6 
V#"*Cf+,
&
$Y i O 5/#"
@
" ; Y/
9A#F#NH"5JcZ -?
FQ/" 

+,
3f0Y4 -?
6 8"
 > O 
"@:<#%*#* #6!F-4 ##%$? 9
AQ
( -*" 
~
" ?!S R!$S-$$V/"-?
c a-* OO S!QC35D\"#&
##"7-* OO #f:<#%*#*/*S-$$$JL
5[\]a^I/=*B!"  O #
-$ #X/"++,/V
S"#6!S4!A "/*\ #6!@+,
$a > O ./#

O -=
#"J

7[V]^/**X -$-$*+X-$#"#"*-*#"5 i O [\]^-$
$#%
A
-=
B V"/*/+" -$V+? O D
6 DA
0
+,*? \ 
" #

S/" 
,+,
$$J
0*#SE"+,#-$#"#$-*#";-$ #4P%$ 

" E
"/**V >/ ?!5
" O /? 9G-T E/$$#X8%3 ;+6 /-$
0 

 V#X Y$#+,
3%J
-$
0*#S O $3.
"$#B#"/+,$-*416! &
-$ ?!1 O S!Q >3# *-*#*/? G;-V#%
"E#"*C,1S0S#"TQ

a 
0
-4 +6 8
0Q$E Z #X -*" 

" V#B
#"*C,J

A
,tMw9v10"/B>v& q23>w9u4tMy au*q6sq >q
4 y6xXx$vSvz5%"46Yv&%

~w9q+x$vSw
%

dN!$/-=08,Z
"D+,*? 90#R 6[\]a^a"/#"V E/ O +

0D*) O +
0J
~ TnT/
"4AV Y+
S3/-4 
#*<+,
3#BA
"-?
5 $8
84A/* +"+
0-$ #fY//3#"X -$-$*/. X$8I/**4J7
"
[\]a^/**R+90!$T 5Q/" 
+,
3N/-=
(
6 
;$8
84A/*V/$$
a#"*C@+,
35/
"4A#5#@H6mJ
:<#B7 $-*41
"[V]^/**E#"/=/E
a[\]a^@-$
$#% _ 
"a &
!*#S4 E-$S!4bA#%;
"a+,
3%1,$$#B
"

[\]^.-$
$#%
+"
%3/-4 

Q3.
%-4 $!B/ O =A
"*E$
/a#.
"E#%*#"* _ ~
nb=J7
"@[\]a^(/*= -?
"$$Y
0T8%37$-*$#( 

+6 -?*
!* 0#4! 0#%*/ -$*AW #69
! 8j #6!.+6 //#T
 O S0 Y /$+&
? 9/%-?*2A
"[V]^a-$
$#%4J
"[\]^a-$
$#%~$-*$$24 -=

+6 -=*E*) -*
Q3X E
=V"
0!5
" 9a$-$$4!5Q _ A? $
2
"*#*E+6 -?*?bA #"!B
"*#X!*= O 0#$A
6 9a -*#16 Z #%3%1
Y? JA*) O +
1%A
"$#.
"V[\]a^-*
0$#%$-*$$ #
%/+
_ *8,b4P%"$ A+" -?*A#5#S=/ K -*YW1AA

M/$#"!B
"\+6 -?*
86 -=\
[\]^T/**AQ
#" /"-=0#"2 D
[\]a^Y/**
R >/ 9?!
"a+" -?*AE 2#%*/ -$3
 8jR
\$8/**4J
^*-$Q<37-$#/0!*? 90#"R* ?!#" 6!*#SY -$-$$/Rc
4&

$$
"#"*CY "#-*#" 
Q<3. 9\ !"!*//4!@#[V]^R8%3;+
i -$#"
XH"* 

A
j  /#$#%/*; \
$;8,*C$$#I
"B/**
#"!I
:C#S=#"*4JI
H"= 

"
$#"
Q3I+6 /; 
0!A
#"!fV +6 -=*RAQ
"; >$!/-$X !"!*//$ _ $$/
H6
Q*#%b=J * $386 /4!? c
 O # O $.Q
" ?!j
 O +"
 O $#%-*
0$#%/&'#"Q0 4!
:^f <3
X/? G-X+" /*# _ J J
^S\]"%S!< ; 
Q
""
N 3%*X*)+,*$#-$;
"<3+,
8,$
" 9S=b=J
2<$-*;/0#c[\]^c<3+"-4 
0
Q3F#S
0.Q#"( 5-$
$#%R
+,*/ > O /+,$-$QH6- >"#-*#f#I
"#*<,JfdN B!$$
Q&

+,4!N/ O +"
.
08? $Y0#FV1Z #6!* 9 X/*@ T

8" /a >V-$
0*#S$JD
$/
08? $E+9S0!a
4U
$$
+ O Q0$
>Z#%*? -*#YAQ
Y
/*=/"-?
R ~$/*S#" E
" 414 !&
#;#S=/ K -*T#  O 9#X 8,E Y+6 /-$
0 E
" 414 !#";
+" -?*~ i O 
#*< #"!T# $-*#a A+6 -?*~86 -?#%E

#*<,JWE
0
S-$ OO #"-4 #"28,*C$$#T
"/=*Z #"!Y-$
$#%
9!#"aS0 T Y++*? 9/3B+%-$
*E RAI-$##"$-=0#J
V/#"; Y/ O +
1"/*/&'
$$

8? 9/3@Y
6 #6!

a
4L
$$
+6 -=*
-$-$$/
" Z
"E ! #S? $D / O +"
-$Q<3%1%+,/? 8"
Q<3. #6!/ O &
+
H"4!I!$8"#"J7
B
8? 9$;
6 4
B 8"
Q<3Nc-*4 9

 o -* O +6 98"
R+" -?*a/? -$YH"
0*  

Z+" -?*a/*#S
V*-$$4!8%3.
"\-$
0*#SA >\ #6 
Q3/E ? #"!" ?!@%
\/-=
 
    oQ*kJ


 o ~
3.

REPRESENTATIVE PROJECTS

[ ]^V Y%S!5-4 #6!0! $#SSQ# O *#SD a #S3@+<$-*A*&

V
P%#7
4&C
$$
V#*<I -$-$$/$Jede

00#Qi 

3j!*/0#"4!
( 0!I 6!$#%R#f!$*
0+"#"#"=<F# >?  /"-*-$ O &
+,#"$#%EQ\E4P%6 

Q3B"/* >"
M >\! O #" /? ##"*C@-$#&
-*$+D/"-?
. AN-?
6 9? -*=0 -$/#"a4 
,:<#%*#"=Z/? 9G-J
:C#R
"/$-*#RE!*/-*8,< //# O *#SZ!$/#"$!; "#6!
[V]^R #6!;Z-$/*#SD7 /D-*$ V a/" 
6! O # /? #
%
>V"/a#5-$
0 /V
$-*$E #"!B 6!$#%A
0 85$#SSQ# O $#%$J

3.1 Building an Internet Router with VNS

V*D ^%? # ?![\]a^V~"/$!#
"Z#%/S!"-=/3a#*<%&

#@-*/;4 -=
X
" O +"
 O *#S? 9#5 D:C#%*#"*A*$J

E //# O $#% /-*$!; "#6!R / O +
0+,
3-$#&
/ #"F  *AQ
j
$5#%*/ K -$$.-$#"#"*-*4!f<
+"+
0-4 9#/**\#"#0# ? #"!" ?!X:C#S=#"*E/*S-$$a/-=

V
%/+ #6!@ >+JDZ -?
X 6!$#%A0E //0#"4!5
$QV4A#5+ 9
+,
3N #6! #(: ? #R 

%-4 ;@
"Y*4 #%*/&
-$*$Ja\/#.
Y[V]^B-*
0$#%\
08? /3c a 86 /1,
"T 6!$#%
!$$
+c >"

Q35 #"-*#6 
~*$Ja
"* O  E/"+"+,/

a 
0
4A#".86 /-a "#-*#" 
Q<3
WVVfPS*/3"9$/+,#"/-4 +6 8"
C3
WVVI-4 -?
"aAQ
 O $
: f
"4 !*A-?
"*-=S/ O -4 
-$
i 9#
F!*-* O $#%# / ?!4!+" -?*
*#"*? 9T: 5j7=)-*$4!$!BA
"$#B#"$-*$/ /3
]a ae
+
%+5#B >/ 9?!#"? 8"

$/+,#"/R: 5j$-?
"R4P%$ 
*#"*? 9@: 5U~/YV#4 -=
( YADVU+6 -=*
!* 0#4!BR R
%-4 
~#%*/ -$
We-$ O +"
*4!*A

8,a 8
VE/? G-E > O #%3S&
A
*\#@
V:C#%*#"*D
"E-$##"$-*$!@:C#S=#"*D/** #6!
A

$/+,#6!F-$/*-*
Q3NX+"#" #6!7/? -**Ja#"c!*&
$
+ O *#SY 5 "!$#%T-4 #N* R
0YY
"*T*Y8S3("/#c
 ? #6! ?!F$8f; i+I-$
0*#S!Q$-*4!f ;#"B E
"B ++"
-4 &
#L/=*-*#"#$-*4!jF
$QB+,
3%J W O 8"Q. &
!$#% O 43cA/
7c !"!(/+"+,/T >R ! #"-$4!c #"-*#" 
Q<3
#f
$QR*$Jf^%6!$#%Y
" 9@=)*#6!$!F
$QR*R
/+"+,/V]\WD\1S$85/*=V #6!@: FH6
Q*#"J

3.2 Implementing a Full TCP/IP Network Stack

[\]a^50\"/4!c8%3X 6!$#%a#(#%/S!-*/3X#*<S#"

-$/B!$$
+f cA -$ O +
i #%R/? #/+,/R
i $3%=-4 

4!
^A~Jd
"
7^A -4 #e0#%*/&'+,*? XAQ
#%3 ? #6! ?!
A  O +"
 O $#%? #NQ;-$#"/ ; \ X/"8/*; \A >"#"-=&
#" 
Q<3B
0$ 9S#"Y O a-$ O +"
*) >4 $V/-=
B A-$#"$ &
#I-$#S/
KJI^S"!$#%T8,$#F
".+<$-*8%3N O +
0 O $#%0#
^A *T\~1"/#"5VL >T
"#*<
i $3%=4JX
"=3
O #" Y8,
X/i!$\ D
TA-*#"#$-*#JAde
"$#5
*358,=&

$
"=3Y
" 4DS#" O +"

 O $#%? 90#"$19
"=3 O ? 
"*
/? #/+,/A-$S!aR:<I/#";[V]^ #"!@$ 
$QA O +
 O $#%? &
#~  #" M ? #"!" ?!AX ? -=S #%3SA
"*#a
:<#%*#"=4J

"Y[\]a^+,/#c Z
"Y //# O $#%a!#Y/0#@ @/ O +"

#
 41##%*/ K -$+,
3%J2M$ #"E2!#"/#"V # >+
-$
$#%
*3!$$
+#
"*!Q$-*D+? OO 0# //# O $#%4J
WE O $!@AQ
 #c ++"
-4 #( #6!5 R/? #"/+,/a
0 $3%*41"
*3B-4 #
/? # *EH6
$ i O #%3. >+&'/**A#
a:<#%*#*4J

"=; Y .# O 8,*V  ! #%? *V@"/#"B #c: 8" /4!1
A-* O +6 98"
/? #/+,/@
0 $3%*4JL^%6!*#SY*.(*)+,*Q&
$#-$\
"\/"8
*$A 2#S=/&C+,*? #RAQ
5-$ OO S!Q<3.A
 ? -?S$J2)+,/(
:
0 $3%*.;$+$/$#%? B a4 


0!j/? #"/+,/
0 $3%*@ O +"
 O *#S? 9#"A
0-?
j >B*) O +"

O $3\
" 42
6 #"!
-=
$-?/ OO #"9=
: +/$6!&'
"4 !*4J
^S"!$#%T-4 #I*)S$#"!N
"$Q;-*S!Bc/+"+,/R ? #"!" ?!IA
$ *;/"-?
f ;/
4&' ? /41!S3#6 O -.A#6!4&k$/ $#"1 #6!

"\l #&C2 9//i! 
0Q
O J

3.3 Clack : A GUI Router Builder

dN 
/"/[\]a^@#
-$
0 / % O ;? +"
0-$ 

Q3X! O #&
 /? A#*<R-*#"-*$+$Ja
"D*#6!1E!*$
+,4!.
0 -=,1S

-=%&'#"/+"Q4!1 \:[\]a^-$
$#%aQ/$#c0#  4 oQ$mkJT
0 -?
a ? +"
0-$ 
K1-$ O +,#"$#%/&'86 /4!B*V8"0
0!*V
" V-4 #c8,
"/$!@Y! O #" /? \ 90"*A /+,$-*A"/#R
a:<#%*/&
#"=/? G-JZ:'-$/*#S
Q3@-$#S? #"A YS#"R/8"/*A Z
-=, 
86 /-Y+SS.*V-$ O +,#"*#SV #"!5/"++,/VWVVj
6 #6!
#"1
: c
"$ !=D-?
"*-=S$1: X / ?!0#1S:<(5!$-* O *#S2 #6!T86 9&
/-.:/5U
" #6!
0#X #"!($#"*? 9#JX
0 -?(-$#"#$-*
"
[\]a^/=*  
0A #%3Y
"*[V]^-$
0*#SZ #6!R-$ #Y4 

#"=<@/? 9G-J

0 -?R!$/#4!RS0/" 

Q3;

" /? E#"=<R# i?  /-*&
T-$#"-$$+$JT"a*) O +"
1,R/
9  6!*#SV#4 
Q&' O 

"4
"\8"( =#5 Y*A$
$AQ
5#*<.-$#$ -# ;

"4 +,=/  O #"-$Y-=
" #$V +6 -==a R!+"+,4!5? #"! O
3
#" 4 !@ M i O 
V? 0
, 2 TP%"$ ; #"!A
" 
" ++,$#"D 
"
* O  &'/4P%"$#-$$Z
"\+" -?*$J
a-$
$#%-$#S? #" O #S3
"/=/&C-*#H"? 8"
;-* O +,#$#%$1/"-?
N  B~: ) : PS$"Y-$ O &
+,#$#%AQ
5-$#H6? 8
/ * #6!B!++,
-*3@
6 9E!/+"
0 $3
Qa%-$-$+6 #"-*3c#c4 
2 O J
;P%"$R 
/5
6  @? +
"#"
$ BA
"-=
f+"
;
"5 8"/
0X #"! 4=? 5PS$"B%-$-$&
+6 #"-*39*\ ;+,*S!c  O JA
"\-$ #c8,"/4!/
9 
"
Ae/
9&' ? 9/T 

O 1\
Y $&k%
  @Ae"4
#5-$#"* 0#c 40!" #"-$J
a$$
+ O *#SV#(
0 -?Xa#0#Jd7Y+
i #X!$$
+
/*. a
 !" 8
*-$#H6? 90#";
" -4 #j8,B"/4!F 
! O #" /? 9#"!#T
$-=$ #6!.8%3 6!$#%D#B T
0 8@$#&
SQ# O *#S4J

4. EXPERIENCES WITH VNS IN THE

CLASSROOM

[\]a^T
" 8,$-$ O  #;#%$? 

"+" /Z ,C #"#S6 
-*/* 9
S^ ? # >?!7 #6!c"/4!c O $
Q3c8%3 #"++,*
$*
Z:<L+&
-$
0-$/R 3
"#"V+#\\#*/Q<3%JY
"Y-$/*#Sa-$#&

deQ
c/"++,/a i O 
Y]\ #" 

D^-$$#-$;"#"!" 90#1
 \+<3+"#R #6 90#6 
-*$#%* A#S=#"*# >?  /-*
4 -=
0#J :\;
i 8/="+f
6 Y
"#$-$$/ 9/3f0# >?  /"-*1
#"-$
"!#"
8" 
A: /+" -$1D#"=<F #"!f/=*;-$ +6 -$Q<3F
/"++,/a
 #6!  6!*#S\/ O "
Q? #$/
Q3%JR
;0!4 @
N * 
0
E/"++,/41-*/-$"
 O #6!f/"++"
 O $#%? 
/-$
-$S!Y@0# Q#a#S=$ 4!c0#c/0#B[V]^,JM$-?
"#0-$ 
!=&
? 
T #"!(-$ O +"
* //0# O $#% O 9*0 
T +, $!(#
"
+9 *-*$8"/Q( B
S/+ 9386 J  ? # ?!J 4!,S#$J dN 
/$$S#"5*)+6 #"!
;#S O 8,= A-$/$
6 9T"/[\]a^#
 O T-*

$$a #6!5#"*/Q$$Jd7T*#"-$? R #%3B -$
C3
-$#"/0!*#N"/#"(
"5+<$-*.7-$#%? -*.B!Q$-*
Q3f8S3I=&
O 
KJ
A
6tMw9v
-/~t  azMvSu Tq6wx$u$y6}ey6z~{Lw9q,tMu$vSw{Mv&,v+ >q6sv{
%"4x$u4t~{Mvzu4x.zeq,tMwBzu*wq{~tM}u$q6w4LzMvSu Tq6wf}q,tMwx$v(t~x7,
>)z
. /
H"? #c
6 \
" #6!
4!5$#"E D 6!$#%V/ O 
Q? #"*"/
Q35 #6!

S#6!$! ~ 6!*#S#X RPS" /*4J
d
X[V]^@Y
" 48,$$#c 8"
T. #$T
+9 $-*\0#
#%/S!-*/3N#"*CS#"-$/5/c
6 98%37
"B$#6!F

@PS" /*
@ "!$#%
6 4.!$$
+,4!F  
0
#"*CS#"
 ? -=I
6 9@-4 ##%*/&'+,=? 5AQ

X
" B#
"X:C#%*/&
#*4J@
";H"#6 
Z+<$-* Y
;-$/;4P%"Q$a
 6!$#%
T+"$-*V*
"=A 

 
"$Q+$S"/
Q3-* O +"
*$!.+? O &
O #f+<$-*$
"* >+-$
$#%X ++"
-4 # +,*? $*

$Q2A5/? #/+,/M
i $3%=41 i O A
"-=
+" -?* D >/ ?!$!


c
"$Q4A#(*a@-$#"#"*-*aB
Y:C#%*#"*4JY

[V]^V+,
3R #6!a-$ O +,#$#%M 
"2H"#6 
%+<$-* 9/
9A#
#H"aJ
$4!8" -? > O 
 6!$#%2
6 Z8,$$#Y*/3T+,/QJMde
"

O   ! O QZ
6 D
"A+9 *-* V 
 ,1S O +"
 O $#%? 9&
#"<3+"-4 

3f? #5 i O 1 hhhN&RnS1 hhhN
0#$B -$S!X+,*
+<$-*41 O #S3jH6#6!/ O *#6!"B 
0N#LS#"j!Q$-*
Q3
AQ
F4 
:<#%*#*/? G-@"/#"X ? #6! ?!F+%-$
$J(:<#7

?! #V "!$#%Z$/+,#"!#"T YP%"* 0#.#@ #@ ##%3S&
O "$1  O 
$ 
6 #

 D$$1"V$ 

Q35
$
+,4! O 3@"#"!* ? #6!0#J: $*


6 9X:@-$
i!fL-* OO *-$0 
0
Q3e# *
#"4J 

d7 
6 !\#S O *",4P%"$  > O  "!$#%  i*M
PS" /&
=*R( 

4 
 O 7"/@[\]a^7(*)+,* O $#%YA

0!4 E ~
$QE9A#J
d7Y
" 4 #6!5
6 9a "!$#%$,*)+,*$#-$$\ R4 
Q3c 9 >&
>$-*4!;8%3T
"/? #"/+6 9$#"-=3R ,
" 3  O J2
" D$1S a 6!$#%
O " 
" 9 -$-*$/Za 

+,//8"
A+6 
2
6 2/? 9G- O 
%2? 
#I?!*;!*8""X
$Q; O +"
 O $#%? 90#"$JN9S0!#" 
 &
-* O +6 98"
! O +H6
$A*/3."/= "
Y
\ "!$#%A #"!.
9-$#%#S"#"Ea*)+"

"= O *
"S!~ Z+S0!#a!*8""
-$-$$/A;[V]^B 9"#% O J
5.

CONCLUSIONS AND FUTURE WORK

[ ]^;* 6!$#%D
"E++,/#"Q<3;T+%-*$/4 

:C#%*/&
V
#*/? 9G-\#."/=/&C/+" -$A > O #S3SA
*V#
"E:<#%*#*4J :\
 O +
0 O $#%? #( 
"R[\]^c/**T8" 41 #6!7-4 #N/"+&
+,/2
S"#"!4!MM
" #"!~ 6 6!$#%M > O  O /-?
"%
0$1
AQ
5$ -?
5 6!$#%A
6 4S0#Y
$QV4A#5+ 9\+,
03%J

6. ACKNOWLEDGMENTS


"@ B "#"!4!8%3
"]^1? #S5hn4&<hn%J dN

"
0!j
57
" #"fWE#6!$ .M**0@ 
#"@\+S0#; 
+9S0!#"T*/3R
"$
+ "
6 >$4!86 -?. #"!@/$ #"$1 $dF 9/&
/#; >$#*? 
6&C#$/Z #"! "0!WE+,$# $*
0
* #"!;[\%? O
[\ 43% ? 
6 4 #Y >Z
"*
0+Y#;!*/0#"#"1%!$$
+#"a #6!T!$8"&
#R
"#*)SA$#*? #Q/" 
=V 3  O J

7. REFERENCES

oQ=T
"*
*4 
#"=< #6 
3$=4J

S/+ 9J *
*4 
kJ -$ O J
o n4T
"#"=<./ O "
0 A&D# &<nSJ

S/+ 9J /KJ 4!6#"/#" O 9#"?SJ
o m9$
:\+"#"=A#"*C./ O 
0 4J
%/+ 4J +"#*4J -$ O J
o -$+! O +@#*<@/#" *4J
%/+ 4J -*+! O +J J
o g4Y^J"WVS
%? 41S]YJ"WV
Q&'\
16(J"~0*#+1 J,\J"~#"
*3%1
TJ"^JE%$1, #6!^J"~ ##"KJ6
#"*CS-$/
:\
i!@+8"
 O $1#"*L/
0#"$
J    

   

 
 
 


  
       



 
 
  16+6 $Vmh @m1M4J
o 9:=J 8VJ6*A 8 #"=/4J6WE#*
*#"*A+,=/  O #"-$
/ O "
0 A E#6!=? !6 9#"*CS#""J ! #
 
$%
   '&   (   ) 
 *


  
  
     




 
  1,+" $$%+g 64gh12$mJ
o 4]YJ%d (J 8D? !BE0-?
6 9?!$JS:C
0
 /? #";#*<S#"T-$#-$$+
A
BA*
0*/\
6 #6!
"$
0!@!$S-$$$J"!  
 
$%    -, 

 *    
     
 .      1"/ +6 

 $ \n1 S mmS 1
n h h n%  J 0
$








o 9T2Ja#6! J
" O #*-$+,9+ ? -?,J324  &    

5 /      8      9 
: 
   2<
7;=6 5 (  (8> ?%(8>@ 1  #S6 /3 nhhn%J






o 9TJRJ"Z#-$. #0 #"KJ
a#"=<AQ O 
i 9Z Y%

A4 -=
#" #6!#6!= ? #6!#"R#*<S$J"A B

C%ED   
$ 16mm _ mb=4gmF" 9g1MnhhJ


oQ4h9Y(JJ+"+0#1"WTJ8" 9=1,J,
6 

9 S16 #6!RJJ
~/*4J\/#"V/ 4 TR4 -?
5#*<S#";-$#"-$*+AQ

R+? OO 8"
a#*<./#" *4"J !  
 
$%   
G1H <C% 
 *


  
       



 
 
  16+6 $9nh X4n1nhhmJ
oQ=TZJ"AJ /*+"
5RJ"M"-?
1& ^S
S"#;dF #"J"[V/" 

0#%*#* \
0 8X #"!B-$
0 /E*)+,* O $#%$J IC ( J: (8K%L G 1
WV"" Vnhhn%J
oQ9n43
8VJ"l#4 
 #6!5J 84)J"W SQ/6 

4 ##";$#SSQ# O $#%

A4 
Q&'
0!5#"=<S0#J   +
  
  


=1
+6 TS1 #"nhhmSJ
oQ4m9TAJl

0=41"J,/$1 8VJ,
"$#1 J  #"#"/K16 #6!X(J"J
l  /
%$,J,
a-$
-= O S!
i 9A=4MJ A B

  *

 *             1M4 _ mb= n.m Bn%1
WV VnhhhJ
oQ*3J,(J,5 $3% #6!B2Jl4 9#"$J"W /$-$"#$ /-*4!
! #"-$$!B 3  O 
0 8,? /3%J  #
 
$   

 
 C% 
 *

3I
  I
        



 
 
  16+" $T$+g 6412$SJ
oQ4g93
8VJV-?
6 9?!$J+ZWL/? #"/+,/V
0 $3%*E O +"
 O *#S? 9#
+9 *-*4JM! #
 
$    
    
 
      
  1" +6   $
 74 m X  $ 1 1 n h hS J  
 

$    
  





oQ$3J"V-? O #1(J6-$a#6 
0!1 J6-$a#" 
0!16 #"!
~J"V$$
*4J"Z#
6 #"-$#"Y
"a-$ O +"*A#"*C#
-$/0-*"
 O "J ! #
 
$    L  *  
    
   * /  
    
     9
$
    




 
  1,+6 $9g1 "4hS1nhhJ

$%

oQ94T2J6^S*$#"S JWU#"=<.+9 $-*V-$/86 /4!#

#"*C.+%-$$//$JM!  
 
$%    G1H C 



*


  
        


 
 
  1

6+ $Vnn Bn1nhhmJ

oQ49Y^J%R #6!5^J\9S$J"E O a -$-$*/V#%*#"=<S0#

i 8,? 9/3%MJ ! #
 

$%    G K  C% 
 *


I
  I
         


 
 
  1,+6 $
mI SmS$1nhhJ