Re: [Softwires] 4rd-addmapping - Possible independence of the IPv6 addressing plan from IPv4 prefixes

Rémi Després <despres.remi@laposte.net> Sun, 23 October 2011 17:22 UTC

Return-Path: <despres.remi@laposte.net>
X-Original-To: softwires@ietfa.amsl.com
Delivered-To: softwires@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 7026521F8A69 for <softwires@ietfa.amsl.com>; Sun, 23 Oct 2011 10:22:49 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.124
X-Spam-Level:
X-Spam-Status: No, score=-2.124 tagged_above=-999 required=5 tests=[AWL=-0.176, BAYES_00=-2.599, HELO_EQ_FR=0.35, HTML_MESSAGE=0.001, MIME_8BIT_HEADER=0.3]
Received: from mail.ietf.org ([12.22.58.30]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id H9lAvZHLpxiB for <softwires@ietfa.amsl.com>; Sun, 23 Oct 2011 10:22:43 -0700 (PDT)
Received: from smtp21.services.sfr.fr (smtp21.services.sfr.fr [93.17.128.4]) by ietfa.amsl.com (Postfix) with ESMTP id 37B4C21F8AE9 for <softwires@ietf.org>; Sun, 23 Oct 2011 10:22:43 -0700 (PDT)
Received: from filter.sfr.fr (localhost [127.0.0.1]) by msfrf2117.sfr.fr (SMTP Server) with ESMTP id 8F9F37000118; Sun, 23 Oct 2011 19:22:42 +0200 (CEST)
Received: from [192.168.1.73] (17.204.170.89.rev.sfr.net [89.170.204.17]) by msfrf2117.sfr.fr (SMTP Server) with ESMTP id 3675B7000112; Sun, 23 Oct 2011 19:22:42 +0200 (CEST)
X-SFR-UUID: 20111023172242223.3675B7000112@msfrf2117.sfr.fr
Mime-Version: 1.0 (Apple Message framework v1084)
Content-Type: multipart/alternative; boundary="Apple-Mail-11--366537981"
From: Rémi Després <despres.remi@laposte.net>
In-Reply-To: <CAFUBMqW13cMFSzNYR3yudQJE4q5tv78akT1ikzoBvVRYabdnVA@mail.gmail.com>
Date: Sun, 23 Oct 2011 19:22:41 +0200
Message-Id: <DF426613-2232-40E2-860F-157D404FCC42@laposte.net>
References: <D8334AA7-5001-4A92-B977-CE32931F4197@laposte.net> <CAAuHL_Cm6WYiM2Cu-fmu=gBLgTYDZ6hr56BfcXMoeS=Af4Q_jw@mail.gmail.com> <CAFUBMqUvrP-s1yrJ0=ToAA_SvRLWQtq7JCTtpASNiS1GAxdSNQ@mail.gmail.com> <4E9B9BC5.2090200@jacni.com> <CAFUBMqUS1cATWr07Os4d6aLUbNaVwuOCcthObOiMPuDv8VfU1g@mail.gmail.com> <4E9BE001.3060202@jacni.com> <6CADC58598A4D249AD3B5026CE8CC33906D75AC8@CI-EXMB-09V.bb.local> <CAFUBMqW7xqxwzToxn1=0y4q48Dr5U8rx3pDoavcWGhPyO-OLpw@mail.gmail.com> <927947AB-FD61-4CCA-8E42-2DEC1854F2EA@free.fr> <CAFUBMqX9rrmTpksw7R4_59=rN0qDVkA_6y5B5cBP_7zgaRt=rQ@mail.gmail.com> <817DF09F-2196-4A61-BC4C-5A7EE56EEFD1@free.fr> <CAFUBMqW13cMFSzNYR3yudQJE4q5tv78akT1ikzoBvVRYabdnVA@mail.gmail.com>
To: Maoke <fibrib@gmail.com>
X-Mailer: Apple Mail (2.1084)
Cc: Softwires WG <softwires@ietf.org>
Subject: Re: [Softwires] 4rd-addmapping - Possible independence of the IPv6 addressing plan from IPv4 prefixes
X-BeenThere: softwires@ietf.org
X-Mailman-Version: 2.1.12
Precedence: list
List-Id: softwires wg discussion list <softwires.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/softwires>, <mailto:softwires-request@ietf.org?subject=unsubscribe>
List-Archive: <http://www.ietf.org/mail-archive/web/softwires>
List-Post: <mailto:softwires@ietf.org>
List-Help: <mailto:softwires-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/softwires>, <mailto:softwires-request@ietf.org?subject=subscribe>
X-List-Received-Date: Sun, 23 Oct 2011 17:22:49 -0000

Le 23 oct. 2011 à 18:25, Maoke a écrit :

> hi Remi,
>  
> 2011/10/21 Rémi Després <remi.despres@free.fr>
> Maoke,
> Please see below.
> 
> Le 20 oct. 2011 à 16:48, Maoke a écrit :
> 
>> hi Remi,
>>  
>> thanks a lot for the reply! it is very helpful and my latest understanding almost approach it. but still some minor clarifications.
>> 2011/10/20 Rémi Després <remi.despres@free.fr>
>> Hi Maoke,
>> 
>> Thank you for your questions concerning relationships between IPv6 and IPv4 addressing plans.
>> 
>> Here are address-planning steps that illustrate how an IPv6 addressing plan can be kept independent from IPv4 prefixes used for IPv4 residual deployment, even if CEs must be able to have different sharing ratios.
>>  
>>   (A) IPv6 considerations
>> (A1) Determine the maximum number N of CEs you want to support, a power of 2 (N = 2 ^ n).
>> (A2) Choose the length x of IPv6 prefixes you want to assign to ordinary customers (e.g. x = 60)
>> (A2) Multiply M by a margin coefficient K, a power of two (K = 2 ^ k), to take into account that:
>>  
>>  
>> here the M should be a typo of "N", right? ;-) 
> 
> Yes, thanks.
> 
>>  
>>  
>>  - Some privileged customers may be assigned IPv6 prefixes of length x', shorter than x, to have larger addressing spaces than ordinary customers, both in IPv6 and IPv4.  
>>  - Due to the hierarchy of routable prefixes, many theoretically delegatable prefixes may not be actually delegatable (ref: host density ratio of RFC 3194).
>> 
>>   (B) IPv4 considerations
>> (B1) List all (non overlapping) IPv4 prefixes Hi that are available for IPv4 residual deployment.
>> (B2) Take enough of them, among the shortest ones, to get a total space whose size M is a power of two (M = 2 ^ m), and includes a good proportion of the available IPv4 space (ref www.ietf.org/mail-archive/web/softwires/current/msg02261.html).
>> (B3) For each IPv4 prefix Hi of length hi, choose a "Rule index" Ri of length ri = m - hi. All these indexes must be non overlapping prefixes (e.g. 0, 10, 110, 111 for one /10, one /11, and two /12).
> 
> Oops, another bug :-(.
> The right formula for ri is:  ri = m - (32 - hi) 
> 
>> 
>>   (C) After (A) and (B)
>> (C1) Derive the length c of the "Common prefix" C that will appear at the beginning of all delegatable prefixes (c = n + k - m)
>>  
> 
>  
>  is this another bug? i think:

>  
> |<------------        x       ---------------->|
> |            |<---------   n   ----------->|<k>|
> +------------+---------+-------------+-----+---+
> |Common Pref.|Rule idx | IPv4 suffix |PSID |   |
> +------------+---------+-------------+-----+---+
> |            |<---------   m  ------>|
> |<--- c ---->|<-- ri ->|<--- hi ---->| 

Correct (with the correction made in your next mail: hi replaced by 32 - hi)

> and thus c = x - (n + k), right? ;-)

Indeed.
Thanks fot the careful review.

Cheers,
RD