<?xml version="1.0" encoding="US-ASCII"?>
<!-- This template is for creating an Internet Draft using xml2rfc,
     which is available here: http://xml.resource.org. -->
<!DOCTYPE rfc SYSTEM "rfc2629.dtd" [
<!ENTITY RFC1191 SYSTEM "http://xml.resource.org/public/rfc/bibxml/reference.RFC.1191.xml">
<!ENTITY RFC2119 SYSTEM "http://xml.resource.org/public/rfc/bibxml/reference.RFC.2119.xml">
<!ENTITY RFC2309 SYSTEM "http://xml.resource.org/public/rfc/bibxml/reference.RFC.2309.xml">
<!ENTITY RFC2460 SYSTEM "http://xml.resource.org/public/rfc/bibxml/reference.RFC.2460.xml">
<!ENTITY RFC2581 SYSTEM "http://xml.resource.org/public/rfc/bibxml/reference.RFC.2581.xml">
<!ENTITY RFC2914 SYSTEM "http://xml.resource.org/public/rfc/bibxml/reference.RFC.2914.xml">
<!ENTITY RFC2988 SYSTEM "http://xml.resource.org/public/rfc/bibxml/reference.RFC.2988.xml">
<!ENTITY RFC3168 SYSTEM "http://xml.resource.org/public/rfc/bibxml/reference.RFC.3168.xml">
<!ENTITY RFC3775 SYSTEM "http://xml.resource.org/public/rfc/bibxml/reference.RFC.3775.xml">
<!ENTITY RFC3971 SYSTEM "http://xml.resource.org/public/rfc/bibxml/reference.RFC.3971.xml">
<!ENTITY RFC3972 SYSTEM "http://xml.resource.org/public/rfc/bibxml/reference.RFC.3972.xml">
<!ENTITY RFC4291 SYSTEM "http://xml.resource.org/public/rfc/bibxml/reference.RFC.4291.xml">
<!ENTITY RFC4389 SYSTEM "http://xml.resource.org/public/rfc/bibxml/reference.RFC.4389.xml">
<!ENTITY RFC4429 SYSTEM "http://xml.resource.org/public/rfc/bibxml/reference.RFC.4429.xml">
<!ENTITY RFC4861 SYSTEM "http://xml.resource.org/public/rfc/bibxml/reference.RFC.4861.xml">
<!ENTITY RFC4862 SYSTEM "http://xml.resource.org/public/rfc/bibxml/reference.RFC.4862.xml">
<!ENTITY RFC4919 SYSTEM "http://xml.resource.org/public/rfc/bibxml/reference.RFC.4919.xml">
<!ENTITY RFC4944 SYSTEM "http://xml.resource.org/public/rfc/bibxml/reference.RFC.4944.xml">
<!ENTITY RFC4963 SYSTEM "http://xml.resource.org/public/rfc/bibxml/reference.RFC.4963.xml">

<!ENTITY I-D.van-beijnum-multi-mtu SYSTEM "http://xml.resource.org/public/rfc/bibxml3/reference.I-D.van-beijnum-multi-mtu.xml">
<!ENTITY I-D.thubert-tree-discovery SYSTEM "http://xml.resource.org/public/rfc/bibxml3/reference.I-D.thubert-tree-discovery.xml">
<!ENTITY I-D.ietf-tsvwg-udp-guidelines SYSTEM "http://xml.resource.org/public/rfc/bibxml3/reference.I-D.ietf-tsvwg-udp-guidelines.xml">
<!ENTITY I-D.mathis-frag-harmful SYSTEM "http://xml.resource.org/public/rfc/bibxml3/reference.I-D.mathis-frag-harmful.xml">
]>
<?xml-stylesheet type='text/xsl' href='rfc2629.xslt' ?>
<!-- used by XSLT processors -->
<!-- For a complete list and description of processing instructions (PIs), 
     please see http://xml.resource.org/authoring/README.html. -->
<!-- Below are generally applicable Processing Instructions (PIs) that most I-Ds might want to use.
     (Here they are set differently than their defaults in xml2rfc v1.32) -->
<?rfc strict="yes" ?>
<!-- give errors regarding ID-nits and DTD validation -->
<!-- control the table of contents (ToC) -->
<?rfc toc="yes"?>
<!-- generate a ToC -->
<?rfc tocdepth="4"?>
<!-- the number of levels of subsections in ToC. default: 3 -->
<!-- control references -->
<?rfc symrefs="yes"?>
<!-- use symbolic references tags, i.e, [RFC2119] instead of [1] -->
<?rfc sortrefs="yes" ?>
<!-- sort the reference entries alphabetically -->
<!-- control vertical white space
     (using these PIs as follows is recommended by the RFC Editor) -->
<?rfc compact="yes" ?>
<!-- do not start each main section on a new page -->
<?rfc subcompact="no" ?>
<!-- keep one blank line between list items -->
<!-- end of list of popular I-D processing instructions -->

<rfc category="std" ipr="trust200902" docName="draft-thubert-6lowpan-simple-fragment-recovery-06">
<!--<rfc category="std" ipr="full3978" docName="draft-thubert-6lowpan-simple-fragment-recovery-04">-->

<?xml-stylesheet type='text/xsl' href='rfc2629.xslt' ?>

<?rfc toc="yes" ?>
<?rfc symrefs="yes" ?>
<?rfc sortrefs="yes"?>
<?rfc iprnotified="no" ?>
<?rfc strict="yes" ?>

    <front>
        <title>LoWPAN simple fragment Recovery</title>
        <author initials="P" surname="Thubert" fullname="Pascal Thubert" role="editor">
          <organization abbrev="Cisco">
             Cisco Systems
          </organization>
          <address>
            <postal>
             <street>Village d'Entreprises Green Side</street>
             <street>400, Avenue de Roumanille</street>
	     <street>Batiment T3</street>
             <city>Biot - Sophia Antipolis</city>
             <code>06410</code>
             <country>FRANCE</country>
            </postal>
            <phone>+33 4 97 23 26 34</phone>
            <email>pthubert@cisco.com</email>
	  </address>
        </author>
	<author fullname="Jonathan W. Hui" initials="J.H." surname="Hui">
	  <organization>Arch Rock Corporation</organization>
	  <address>
            <postal>
              <street>501 2nd St. Ste. 410</street>
              <city>San Francisco</city>
              <region>California</region>
              <code>94107</code>
              <country>USA</country>
            </postal>
            <phone>+415 692 0828</phone>
            <email>jhui@archrock.com</email>
	  </address>
	</author>
        <date/>

	<area>Internet</area>

	<workgroup>6LoWPAN</workgroup>

        <abstract>
	  <t>

 	    Considering that the IPv6 minimum MTU is 1280 bytes and
	    that an an 802.15.4 frame can have a payload limited to 74
	    bytes in the worst case, a packet might end up fragmented
	    into as many as 18 fragments at the 6LoWPAN shim layer.
	    If a single one of those fragments is lost in
	    transmission, all fragments must be resent, further
	    contributing to the congestion that might have caused the
	    initial packet loss. This draft introduces a simple
	    protocol to recover individual fragments that might be
	    lost over multiple hops between 6LoWPAN endpoints.
	  </t>
	</abstract>
    </front>

    <middle>

	<!-- **************************************************************** -->
	<!-- **************************************************************** -->
	<!-- **************************************************************** -->
	<!-- **************************************************************** -->
	<section anchor='introduction' title="Introduction">

	  <t>
	    In many 6LoWPAN applications, the majority of traffic is
	    spent sending small chunks of data (order few bytes to few
	    tens of bytes) per packet. Given that an 802.15.4 frame
	    can carry 74 bytes or more in all cases, fragmentation is
	    often not needed for most application traffic. However,
	    many applications also require occasional bulk data
	    transfer capabilities to support firmware upgrades of
	    6LoWPAN devices or extraction of logs from 6LoWPAN
	    devices. In the former case, bulk data is transferred to
	    the 6LoWPAN device, and in the latter, bulk data flows
	    away from the 6LoWPAN device. In both cases, the bulk data
	    size is often on the order of 10K bytes or more and
	    end-to-end reliable transport is required.
	  </t>
	  
	  <t>
	    Mechanisms such as TCP or application-layer segmentation
	    will be used to support end-to-end reliable transport. One
	    option to support bulk data transfer over 6LoWPAN links is
	    to set the Maximum Segment Size to fit within the 802.15.4
	    MTU. Doing so, however, can add significant header
	    overhead to each 802.15.4 frame. 

<!-- Using TCP, for example,
	    would consume 20 bytes in each frame without header
	    compression - a significant fraction of the available
	    frame payload. Furthermore, 
--> 

This causes the end-to-end transport to be aware of the delivery
properties of 6LoWPAN networks, which is a layer violation.

</t>

<!--
<t>
The
unreliable nature of wireless communication can decrease datagram
delivery rates and multipath forwarding often leads to out-of-order
delivery. As a result, relying completely on transport or
application-layer segmentation is inefficient in both bandwidth and
energy resources and must be adapted to the properties of 6LoWPAN
networks.
	  </t>
-->	  
	  <t>
	    An alternative mechanism combines the use of 6LoWPAN
	    fragmentation in addition to transport or
	    application-layer segmentation. Increasing the Maximum
	    Segment Size reduces header overhead by the end-to-end
	    transport protocol. It also encourages the transport
	    protocol to reduce the number of outstanding datagrams,
	    ideally to a single datagram, thus reducing the need to
	    support out-of-order delivery common to 6LoWPAN networks.
	  </t>
	  
	  <t>
	    <xref target="RFC4944"/> defines a datagram fragmentation
	    mechanism for 6LoWPAN networks. However, because
	    <xref target="RFC4944"/> does not define a mechanism for
	    recovering fragments that are lost, datagram forwarding
	    fails if even one fragment is not delivered properly to
	    the next IP hop. End-to-end transport mechanisms will
	    require retransmission of all fragments, wasting resources
	    in an already resource-constrained network.
	  </t>
	  <t>
	  	<!--
		Lessons about fragmentation were learnt with IPv4 that lead to <xref target="RFC1191"> the
		Path MTU discovery</xref>. 
		-->
		Past experience with fragmentation has shown that
		missassociated or lost fragments can lead to poor network behavior and,
		eventually, trouble at application layer. The reader is encouraged to read
		<xref target="RFC4963"/> and follow the references for more information. 
		That experience led to the definition of <xref target="RFC1191"> the
		Path MTU discovery</xref> protocol that limits fragmentation over the Internet. 
	  </t>
	  <t>
	  	<!--
		Because higher QoS packets might require access to the medium, or because an alternate path
		might be globally more efficient over the LoWPAN at a given point of time, 
		--> 
		For one-hop communications, a number of media propose a local acknowledgement mechanism that is enough to
		protect the fragments. In a multihop environment, an end-to-end fragment recovery mechanism might be a good complement to a 
		hop-by-hop MAC level recovery.
	    This draft introduces a simple protocol to recover individual fragments between 6LoWPAN endpoints.
		 Specifically in the case of UDP, valuable additional information can be found in
		 <xref target="I-D.ietf-tsvwg-udp-guidelines">UDP Usage Guidelines for Application Designers</xref>.
	  </t>
    </section>

	<!-- **************************************************************** -->
	<!-- **************************************************************** -->
	<!-- **************************************************************** -->
	<!-- **************************************************************** -->

        <section title="Terminology">
            <t>The key words "MUST", "MUST NOT", "REQUIRED", "SHALL",
            "SHALL NOT", "SHOULD", "SHOULD NOT", "RECOMMENDED", "MAY",
            and "OPTIONAL" in this document are to be interpreted as
            described in <xref target="RFC2119"/>.</t>

	    <t>Readers are expected to be familiar with all the terms and concepts
	    that are discussed in <xref target="RFC4919">"IPv6 over Low-Power
	    Wireless Personal Area Networks (6LoWPANs): Overview, Assumptions,
	    Problem Statement, and Goals"</xref> and <xref target="RFC4944">
	    "Transmission of IPv6 Packets over IEEE 802.15.4 Networks"</xref>.
           </t>
	 <t>
	   <list style="hanging">
	   <t hangText="ERP"></t>
	    <t>Error Recovery Procedure.
	    </t>
	   <t hangText="LoWPAN endpoints"></t>
	    <t>The LoWPAN nodes in charge of generating or expanding a 6LoWPAN header from/to a full IPv6 packet.
		The LoWPAN endpoints are the points where fragmentation and reassembly take place.
		
	    </t>
	    </list>
		</t>
        </section>

	
	<section anchor='rationale' title="Rationale">
	  <t>

	  There are a number of uses for large packets in Wireless Sensor Networks. Such usages
	  may not be the most typical or represent the largest amount of traffic over the LoWPAN;
	  however, the associated functionality can be critical enough to justify extra care for 
	  ensuring effective transport of large packets across the LoWPAN.
	  </t>
	  
	  <t>
	  The list of those usages includes:
          <list style='hanging'>
		  
	     <t hangText="Towards the LoWPAN node:">
		 
          <list style='hanging'>
		  
	      <t hangText="Packages of Commands:">
	       A number of commands or a full configuration can by packaged as a single message
	       to ensure consistency and enable atomic execution or complete roll back. 
		   Until such commands are fully received and interpreted, the intended operation will not take effect.
	     </t>
	     <t hangText="Firmware update:">
	       For example, a new version of the LoWPAN node software is downloaded from a system
		   manager over unicast or multicast services.
		   Such a reflashing operation typically involves updating a large number of similar
		   6LoWPAN nodes over a relatively short period of time.
		 </t>
		 
		</list>
		
	     </t>
	     <t hangText="From the LoWPAN node:">
        <list style='hanging'>
		  
	     <t hangText="Waveform captures:">
	       A number of consecutive samples are measured at a high rate for a short time and then transferred
		   from a sensor to a gateway or an edge server as a single large report.
	     </t>
	     <t hangText="Data logs:">
	       6LoWPAN nodes may generate large logs of sampled data
	       for later extraction. 6LoWPAN nodes may also generate
	       system logs to assist in diagnosing problems on the
	       node or network.
	     </t>
	     <t hangText="Large data packets:">
	       Rich data types might require more than one fragment.		   
	     </t>
		</list>
		
	     </t>
		</list>
	  </t>
	  <t>
		   Uncontrolled firmware download or waveform upload can easily result in a massive 
		   increase of the traffic and saturate the network. 
		</t>
		<t>
		   When a fragment is lost in transmission, all fragments are resent, further contributing
	       to the congestion that caused the initial loss, and potentially leading to congestion collapse.
		   
	  </t>
	  <t>
		   This saturation may lead to excessive radio interference, or random early discard 
		   (leaky bucket) in relaying nodes. Additional queuing and memory congestion may
		   result while waiting for a low power next hop to emerge from its sleeping state.
		   
			   
	  </t>

	  <t>
	    To demonstrate the severity of the problem, consider a
	    fairly reliable 802.15.4 frame delivery rate of 99.9% over
	    a single 802.15.4 hop. The expected delivery rate of a
	    5-fragment datagram would be about 99.5% over a single
	    802.15.4 hop. However, the expected delivery rate would
	    drop to 95.1% over 10 hops, a reasonable network diameter
	    for 6LoWPAN applications. The expected delivery rate for a
	    1280-byte datagram is 98.4% over a single hop and 85.2%
	    over 10 hops.
	  </t>

	  <t>
	    Considering that the IPv6 minimum MTU is 1280 bytes and
	    that a 802.15.4 frame can limit the MAC payload to as
	    little as 74 bytes, a packet might be fragmented into at
	    least 18 fragments at the 6LoWPAM shim layer.  Taking into
	    account the worst-case header overhead for 6LoWPAN
	    Fragmentation and Mesh Addressing headers will increase
	    the number of required fragments to around 32.  This level
	    of fragmentation is much higher than that traditionally
	    experienced over the Internet with IPv4 fragments.  At the
	    same time, the use of radios increases the probability of
	    transmission loss and Mesh-Under techniques compound that
	    risk over multiple hops.
		<!--n the other hand, Layer
		2 retries alleviate the risk of packet loss but lead to less controlled overall latency, 
		monopolize a hop, and might not be as efficient as trying an alternate path entirely.-->
		
		
	  </t>

	</section>
	<section anchor='req' title="Requirements">

	   <t>
	      This paper proposes a method to recover individual fragments between LoWPAN endpoints. The
		  method is designed to fit the following requirements of a LoWPAN (with or without a Mesh-Under 
		  routing protocol):
		  
	   <list style="hanging">
	   <t hangText="Number of fragments"></t>
	   
	   <t>The recovery mechanism must support highly fragmented packets, with a maximum of 32 fragments per packet.
	   </t>
	   <t hangText="Minimum acknowledgement overhead"></t>  
	   <t> Because the radio is half duplex, and because of silent time spent in the 
	   various medium access mechanisms, an acknowledgment consumes roughly as many resources as data fragment.  
	    </t><t>The recovery mechanism should be able to acknowledge multiple fragments in a single message and
		not require an acknowledgement at all if fragments are already protected at a lower layer.
		</t>
           
	   <t hangText="Controlled latency"></t>
	   
	   <t>The recovery mechanism must succeed or give up within the time boundary imposed by the recovery process 
	   of the Upper Layer Protocols. 
	   </t>
	   <t hangText="Support for out-of-order fragment delivery"></t>  
	   <t> A Mesh-Under load balancing mechanism such as the ISA100 Data Link Layer can introduce out-of-sequence packets.</t>
	   <t>The recovery mechanism must account for packets that appear lost but are actually only delayed over a different path.
	    </t>
           
	   <t hangText="Optional congestion control"></t>  
	   <t> The aggregation of multiple concurrent flows may lead to the saturation of the radio network and congestion collapse.
		</t>
		<t>The recovery mechanism should provide means for controlling the number of fragments in transit over the LoWPAN.
	    </t>
<!--
	   <t hangText="Backward compatibility"></t>  
	   <t> A node that implements this draft should be able to communicate with a node that implements 
	   <xref target="RFC4944"/>. This draft assumes that compatibility information about the
	   remote LoWPAN endpoint is obtained by external means.
	    </t>
-->		
	    </list>
	    </t>
	</section>
	<section anchor='overview' title="Overview">	
	 
	<t>Considering that a multi-hop LoWPAN can be a very sensitive environment
	due to the limited queuing capabilities of a
	large population of its nodes, this draft recommends a simple and
	conservative approach to congestion control, based on TCP congestion avoidance.
	</t>
	<!--t>	Congestion on the forward path is assumed in case of packet loss, and packet loss is assumed upon time out.
	</t>
	<t>	Congestion on the forward path can also be indicated by an Explicit Congestion Notification (ECN) mechanism.
	Though whether and how ECN <xref target="RFC3168"/> is carried out over the LoWPAN is out of scope, 
	this draft provides a way for the destination endpoint to echo an ECN indication
	back to the source endpoint in an acknowledgment message as represented in
	<xref target='ackfig'/> in <xref target='ackfrag'/>.
	</t-->
	<t>	From the standpoint of a source LoWPAN endpoint, an outstanding fragment is a fragment that was
	sent but for which no explicit acknowledgment was received yet. 
	This means that the fragment might be on the way, received but not yet acknowledged, 
	or the acknowledgment might be on the way back. It is also possible that either
	the fragment or the acknowledgment was lost on the way.
	</t>
	<t>Because a meshed LoWPAN might deliver frames out of order, it is virtually
	impossible to differentiate these situations. In other words, from the sender standpoint,
	all outstanding fragments might still be in the network and contribute to its congestion.
	There is an assumption, though, that after a certain amount of time, a frame is either received
    or lost, so it is not causing congestion anymore. This amount of time can be estimated based on the round trip
	delay between the LoWPAN endpoints. The method detailed in <xref target="RFC2988"/> is recommended for that computation.
	</t>
	<!--t>The reader is encouraged to read through <xref target="RFC2914">"Congestion Control Principles"</xref>. 
	Additionally <xref target="RFC2309"/> and <xref target="RFC2581"/> provide deeper information on why this
	mechanism is needed and how TCP handles Congestion Control. Basically, the goal here is to
	manage the amount of fragments present in the network; this is achieved by to reducing the number of outstanding
	fragments over a congested path by throttling the sources.
	</t>
	<t> <xref target="ffc"/> describes how the sender decides how many fragments are (re)sent before
	an acknowledgment is required, and how the sender adapts that number to the network conditions.
		</t-->
</section>


<section anchor='dispatch' title="New Dispatch types and headers">

	<t>This specification extends <xref target="RFC4944">
    "Transmission of IPv6 Packets over IEEE 802.15.4 Networks"</xref>
	with 4 new dispatch types, for Recoverable Fragments (RFRAG)	
	headers with or without Acknowledgment Request, and for the Acknowledgment 
	back.<!--, with or without ECN Echo. --> </t>
	
<figure anchor='difig' title="Additional Dispatch Value Bit Patterns">
<artwork>
           Pattern    Header Type
         +------------+-----------------------------------------------+
         | 11  101000 | RFRAG      - Recoverable Fragment             |
         | 11  101001 | RFRAG-AR   - RFRAG with Ack Request           |
         | 11  10101x | RFRAG-ACK  - RFRAG Acknowledgment             |
         +------------+-----------------------------------------------+
</artwork>
</figure>
<!--         | 11  101011 | RFRAG-AEC  - RFRAG Ack with ECN Echo          | -->

	<t>
	In the following sections, the semantics of "datagram_tag,"
	"datagram_offset" and "datagram_size" and the reassembly process
	are unchanged from 	<xref target="RFC4944"/> Section 5.3. 
	"Fragmentation Type and Header."
	</t>
	<section anchor='RF' title="Recoverable Fragment Dispatch type and Header">
<figure anchor='RFfig' title="Recoverable Fragment Dispatch type and Header">
<artwork>
                           1                   2                   3
       0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1
      +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
      |1 1 1 0 1 0 0 X|datagram_offset|         datagram_tag          |
      +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
      |Sequence |    datagram_size    |   
      +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ 
                                                 X set == Ack Requested      
</artwork>
</figure>
	 <t>
	   <list style="hanging">
	   <t hangText="X bit"></t>
	    <t>When set, the sender requires an Acknowledgment from the receiver
	    </t>
	   <t hangText="Sequence"></t>
	    <t>The sequence number of the fragment. Fragments are numbered [0..N] where N is in [0..31].
		
	    </t>
	    </list>
		</t>
    </section>
	<section anchor='ackfrag' title="Fragment Acknowledgement Dispatch type and Header">
	<t>The specification also defines an acknowledgement bitmap that is used
	to carry selective acknowlegements for the received fragments. A given
	offset in the bitmap maps one to one with a given sequence number.
	</t><t>
	The	bitmap is compressed as a variable length field formed by control bits
	and acknowledgement bits. The leftmost bits of the compressed form are
	control bits up to the first 0. The rest is ack bits encoded right to left:
	
<figure anchor='dCack' title="Compressed acknowledgement bitmap encoding">
<artwork>
           Pattern                                   Size      Ack
         +--------------------------------------+----------+----------+
         | 0XXXXXXX                             | 1 octet  |  1 -> 7  | 
         | 10XXXXXX XXXXXXXX                    | 2 octets |  1 -> 14 |
         | 110XXXXX XXXXXXXX XXXXXXXX           | 3 octets |  1 -> 21 |
         | 1110XXXX XXXXXXXX XXXXXXXX XXXXXXXX  | 4 octets |  1 -> 28 |
         +------------+-----------------------------------------------+
</artwork>
</figure>
     The highest sequence number to be acknowledged determines the pattern to be used. 
	 The format can be extended for more fragments in the future but this specification
	 only requires the support of up to 4 octets encoding, which enables to acknowledge
	 up to 28 fragments.
	 </t>
	 <t>
	 A 32 bits uncompressed bitmap is obtained by prepending zeroes to the XXX 
	 in the pattern above. For instance:

	 <figure anchor='dCack1' title="Expanding 1 octet encoding">
<artwork>         
        0 1 2 3 4 5 6 7 
       +-+-+-+-+-+-+-+-+
       |0|1|1|0|1|1|1|1|  is expanded as:
       +-+-+-+-+-+-+-+-+
                            1                   2                   3
        0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1
       +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
       |0|0|0|0|0|0|0|0|0|0|0|0|0|0|0|0|0|0|0|0|0|0|0|0|0|1|1|0|1|1|1|1|
       +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
</artwork>
</figure>
	  and
<figure anchor='dCack2' title="Expanding 3 octets encoding">
<artwork>                                     1                   2       
        0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 2 3 
       +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
       |1|1|0|1|1|1|1|0|1|1|1|1|1|1|1|1|1|1|1|1|1|0|0|1| is expanded as:
       +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
                            1                   2                   3
        0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1
       +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
       |0|0|0|0|0|0|0|0|0|0|0|1|1|1|1|0|1|1|1|1|1|1|1|1|1|1|1|1|1|0|0|1|
       +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
</artwork>
</figure>
     whereas the 4 octets encoding is expanded by simply setting the first 3 bits to 0.
	The 32 bits uncompressed bitmap is written and read as follows:
<figure anchor='dCack3' title="Expanded bitmap encoding">
<artwork>                                     
                            1                   2                   3
        0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1
       +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
       |           Acknowledgment Bitmap                               |
       +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
                                                  ^                   ^
            bitmap indicating whether:            |                   |
         Fragment with sequence 10 was received --+                   |
         Fragment with sequence 00 was received ----------------------+
</artwork>
</figure>
     So in the example in <xref target="dCack2"/> it appears that all
	 fragments from sequence 0 to 20 were received but for sequence 1, 
	 2 and 16 that were either lost or are still in the network over
	 a slower path.
	</t>
	<t>The compressed form of the acknowledgement bitmap is carried in
	a  Fragment Acknowledgement as follows:
	</t>
	<figure anchor='ackfig' title="Fragment Acknowledgement Dispatch type and Header">
<artwork>
                           1                   2                   3
       0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1
                      +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
                      |1 1 1 0 1 0 1 Y|         datagram_tag          |
      +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
      |  Compressed Acknowledgment Bitmap (8 to 32 bits)
      +-+-+-+-+-+-+-+-+-+ ....
 </artwork>
</figure>
	 <t>
	   <list style="hanging">
	
<!--
	   <t hangText="Y bit"></t>
	    <t>When set, the sender indicates that at least one of the acknowledged fragments
		was received with an Explicit Congestion Notification, indicating that the 
		path followed by the fragments is subject to congestion.
	    </t>
-->
	   <t hangText="Compressed Acknowledgement Bitmap"></t>
	    <t>An encoded form of an acknowledgement bitmap.
	    </t>
	    </list>
		</t>
    </section>
	
    </section>


    <section anchor="ffc" title="Fragments Recovery">
	
	<t>
	The  Recoverable Fragments header  RFRAG and RFRAG-AR deprecate the original
	fragment headers from <xref target="RFC4944"/> and replace them in the 
	fragmented packets. The Fragment Acknowledgement RFRAG-ACK is introduced 
	as a standalone header in message that is sent
	back to the fragment source endpoint as known by its MAC address. This 
	assumes that the source MAC address in the fragment (is any) and datagram_tag 
	are enough information to send the Fragment Acknowledgement back to the source
	fragmentation endpoint.
	
</t>
	<t>	The node that fragments the packets at 6LoWPAN level (the sender) controls the  
	Fragment Acknowledgements. If may do that at any fragment to implement its own
	policy or perform congestion control which is out of scope for this document.
	When the sender of the fragment knows that an underlying mechanism protects the 
	Fragments already it MAY refrain from using the Acknowledgement mechanism, and
	never set the Ack Requested bit. The node that recomposes the packets at 6LoWPAN 
	level (the receiver) MUST acknowledge the fragments it has received when asked
	to, and MAY slightly defer that acknowledgement.

	</t>


	
	<!--t>A mechanism based on TCP congestion avoidance dictates the maximum number of outstanding fragments.
	</t>

	<t>
	</t>

	<t>
	The maximum number of outstanding fragments for a given packet toward a given LoWPAN
	endpoint is initially set to a configured value, unless recent history indicates
	otherwise. 
	</t>	
	<t> Each time that maximum number of fragments is fully acknowledged, that
	number can be incremented by 1. ECN echo and packet loss cause the number to
	be divided by 2.
	</t-->	
	<t> 
	The sender transfers a controlled number of fragments and MAY flag the last
	fragment of a series with an acknowledgment request. The received MUST acknowledge a 
	fragment with the acknowledgment request bit set. If any fragment immediately preceding
	an acknowledgment request is still missing, the receiver MAY intentionally 
	delay its acknowledgment to allow in-transit fragments to arrive. delaying the acknowledgement
	might defeat the round trip delay computation so it should be configurable and not enabled 
	by default.
	</t>	
	<t>The receiver interacts with the sender using an Acknowledgment message with a bitmap that 
	indicates which fragments were actually received. 
	The bitmap is a 32bit SWORD, which accommodates up to 32 fragments and is sufficient for the 6LoWPAN MTU.
	For all n in [0..31], bit n is set to 1 in the bitmap to indicate that fragment with sequence n was received, 
	otherwise the bit is set to 0. All zeroes is a NULL bitmap that indicates that the fragmentation
	process was cancelled by the receiver for that datagram.
	</t>
	<t>The receiver MAY issue unsolicited acknowledgments. An unsolicited acknowledgment
	enables the sender endpoint to resume sending if it had reached its maximum number
	of outstanding fragments or indicate that the receiver has cancelled the process of an individual
	datagram. Note that acknowledgments might consume precious resources so the use of unsolicited
	acknowledgments should be configurable and not enabled by default.
	</t>
	<t> 
	The sender arms a retry timer to cover the fragment that carries the Acknowledgment request. 
	Upon time out, the sender assumes that all the fragments on the way are received or lost. 
	The process must have completed within an acceptable time that is within the boundaries of 
	upper layer retries. The method detailed in <xref target="RFC2988"/> is recommended for the 
	computation of the retry timer. It is expected that the upper layer retries obey the same or 
	friendly rules in which case a single round of fragment recovery should fit within the upper 
	layer recovery timers.
	</t>	
	<!--t> It divides the maximum number of 
	outstanding fragments by 2 and resets the number of outstanding fragments to 0. 
	</t-->

	<t>Fragments are sent in a round robin fashion: the sender sends all the fragments for a first time
	before it retries any lost fragment; lost fragments are retried in sequence, oldest first. 
	This mechanism enables the receiver to acknowledge fragments that were delayed in the network
	before they are actually retried.
	</t>
	
	<t>When the sender decides that a packet should be dropped and the fragmentation process canceled, it sends a 
	pseudo fragment with the datagram_offset, sequence and datagram_size all set to zero, and no data.
	Upon reception of this message, the receiver should clean up all resources for the packet
	associated to the datagram_tag. If an acknowledgement is requested, the receiver responds with a NULL bitmap.
	</t>
	<t>The receiver might need to cancel the process of a fragmented packet for internal reasons, for instance if
	it is out of recomposition buffers, or considers that this packet is already fully recomposed and passed
	to the upper layer. In that case, the receiver SHOULD indicate so to the sender with a NULL bitmap.
	Upon an acknowledgement with a NULL bitmap, the sender MUST drop the datagram.
	</t>
    </section>
		
    <section title="Security Considerations">
	<t>	The process of recovering fragments does not appear to create any opening for new threat compared to
	<xref target="RFC4944"> "Transmission of IPv6 Packets over IEEE 802.15.4 Networks"</xref>.
	</t>
        </section>
        <section title="IANA Considerations">
        <t>Need extensions for formats defined in <xref target="RFC4944">
	    "Transmission of IPv6 Packets over IEEE 802.15.4 Networks"</xref>.
		</t>
        </section>

<!------------------------------------------------------>
<!--	SECTION: ACKNOWLEDGMENTS		      --> 
<!------------------------------------------------------>

<section title="Acknowledgments">
<t>The author wishes to thank Jay Werb, Christos Polyzois, Soumitri Kolavennu and Harry Courtice for their contribution and review.</t>
</section>

    </middle>

    <back>
    <references title='Normative References'>
       &RFC2119;
	   
       &RFC2988;

       &RFC4944;

    </references>
    <references title='Informative References'>

       &RFC1191;

       &RFC2309;
	   
       &RFC2581;
	   
       &RFC2914;

       &RFC3168;
	   
       &RFC4919;
	   
       &RFC4963;
	   
       &I-D.ietf-tsvwg-udp-guidelines;	   
	   
	   &I-D.mathis-frag-harmful;

    </references>
    </back>

</rfc>
