From 5a42c3ec2801ff21b765fa9e4a7c667a7cd6ac76 Mon Sep 17 00:00:00 2001 From: Nico Schottelius Date: Thu, 22 Aug 2019 15:03:14 +0200 Subject: [PATCH] Minor grammar change --- doc/Design.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/Design.tex b/doc/Design.tex index 03e4ff1..97ed1bc 100644 --- a/doc/Design.tex +++ b/doc/Design.tex @@ -286,7 +286,7 @@ both support cleaning up old session entries, our P4 based solution does not support this feature at the moment. In figure \ref{fig:p4switchstateful} we show the flow of a packet for -stateful translation in a P4 switch in detail. As can be seen an IPv6 +stateful translation in a P4 switch in detail. An IPv6 only host emits a packet that should be translated to IPv4. On a new connection there will be no table entry in the P4 switch to match. Thus the table mismatch causes the P4 switch to forward the @@ -295,7 +295,7 @@ creates a table entry for the session and reinjects the packet into the P4 switch. The P4 switch then processes the packet again, however this time it finds a matching table entry. This entry causes translation to happen to a specific IPv4 address, including higher -level protocol changes. After processing the IPv6 packet is output as +level protocol changes. After processing the IPv6 packet it is output as a translated IPv4 packet. A second packet of the same session will directly take the second path via table match, as the session ID will stay the same.\footnote{We use the quintuple (source address,