组织：中国互动出版网（http://www.china-pub.com/）<br />
RFC文档中文翻译计划（http://www.china-pub.com/compters/emook/aboutemook.htm）<br />
E-mail：ouyang@china-pub.com<br />
译者：李密（smartsnake&nbsp;&nbsp;&nbsp;&nbsp;smartsnake@sina.com）<br />
译文发布时间：2002-1-30<br />
版权：本中文翻译文档版权归中国互动出版网所有。可以用于非商业用途自由转载，但必须保留本文档的翻译及版权信息。<br />
<br />
序列号算法<br />
（RFC1982——Serial&nbsp;Number&nbsp;Arithmetic）<br />
<br />
本备忘录状态<br />
本文档描述了一个用于Internet社团的Internet标准跟踪协议，希望得到有关进一步改进的讨论及建议。有关本协议的标准状态及状态，请参照“Internet正式协议标准”（STD1）&nbsp;&nbsp;的当前版本。本备忘录的发布不受任何限制。<br />
<br />
摘要<br />
&nbsp;&nbsp;&nbsp;本备忘录定义了用于DNS的序列号算法。域名系统长期依赖于序列号算法，尽管序列号算法已经得到了广泛地理解，但它是一个从未被真正定义过的概念，当然在IETF的文档中也一样。本备忘录提供这份被遗忘的定义，它将用于更新RFC1034和RFC1035两份文档。<br />
<br />
1．介绍<br />
&nbsp;&nbsp;&nbsp;在RFC1035中定义SOA资源档案的序列号领域如下：<br />
&nbsp;&nbsp;&nbsp;序列号&nbsp;&nbsp;&nbsp;在存储区中原份拷贝的32位无符号数码。传送拷贝时保留这个数据。这个数据被封装并通过空间序列算法来进行比较。<br />
&nbsp;&nbsp;&nbsp;当对副服务器存储区连接程序进行定义时，RFC1034使用相同的术语。<br />
&nbsp;&nbsp;&nbsp;但是“空间序列算法”这个术语不仅没有在RFC1034或RFC1035中进行定义，也没有在它们的参考文献中提供更多的信息。<br />
&nbsp;&nbsp;&nbsp;这个术语似乎一直试图在TCP序列号[RFC793]中指定算法并在[IEN-74]中进行定义。<br />
&nbsp;&nbsp;&nbsp;不幸的是，在[IEN-74]中定义的这个算法并不适合DNS的需要，因为它没有定义通用的比较运算符。<br />
&nbsp;&nbsp;&nbsp;为了避免在这个单一领域中出现更多的问题，这份文件将对这个领域及相关可能的操作进行定义。这份定义仅仅是试图澄清RFC1034和RFC1035中的有关意图而且将主要遵循当前已经生效的声明。然而，某些旧的、淘汰的声明将序列号看成是一个简单的无符号整数，并不试图实现任何形式的“空间序列算法”。虽然它们已经被解释过，但却忽略了数据封装的要求。只有放弃这些声明，否则用它们什么都干不成。<br />
<br />
2．序列号算法<br />
&nbsp;&nbsp;&nbsp;序列号是由非负整数组成的，它是所有整数列的一个有限子集。用于这个目的的每个子集中最小的整数是零，最大的总是比2的乘方小1。<br />
&nbsp;&nbsp;&nbsp;当一个数被看成是一个序列号，那么无论它的值是多少都不具备任何特殊的含义，没有最小的或者是最大的序列号，每个数值都有一个前继和一个后继。<br />
&nbsp;&nbsp;&nbsp;用这种方式来定义一个序列号，必须给定序列号的空间大小。这个数值，称之为“比特位”，是2的乘方，比相应序列号的最大值大1。同样，指定的位数必须在已经定义好的序列号的可能数值范围之中。序列号的操作方法如下章所示。<br />
<br />
3．序列号的操作<br />
&nbsp;&nbsp;&nbsp;对序列号仅定义了两种操作，一个是有限正整数数列的加法，另一个是同其他序列号进行对比。<br />
<br />
3.1&nbsp;加法<br />
&nbsp;&nbsp;&nbsp;序列号可以通过加上一个正整数n来增大数值，其中n属于整数列[0&nbsp;..&nbsp;(2^(比特位&nbsp;-&nbsp;1)&nbsp;-&nbsp;1)]。设原序列号为s，增加后的序列号为s',&nbsp;s'的计算公式如下：<br />
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;s'=(s&nbsp;+&nbsp;n)&nbsp;模&nbsp;(2&nbsp;^&nbsp;比特位)<br />
&nbsp;&nbsp;&nbsp;这儿增加数值的加法和取模操作都是利用整数运算的一般法则来求得的一个非负极限值。<br />
&nbsp;&nbsp;&nbsp;在[0&nbsp;..&nbsp;(2^(比特位&nbsp;-&nbsp;1)&nbsp;-&nbsp;1)]之外的数的加法没有定义。<br />
<br />
3.2&nbsp;比较<br />
&nbsp;&nbsp;&nbsp;任何两个序列号，s1和s2，都能进行比较。比较的结果定义如下：<br />
&nbsp;&nbsp;&nbsp;为了建立这个定义，先比较两个整数，i1和i2，这两个数都是非负的极限值，i1是s1的极限值，i2是s2的极限值。求得i1和i2的运算和比较符合普通的极限运算法则。<br />
&nbsp;&nbsp;&nbsp;如果i1等于i2，那么就认为s1和s2相等。如果是其他情况，那么s1和s2不相等。<br />
&nbsp;&nbsp;&nbsp;如果有(i1&nbsp;&lt;&nbsp;i2&nbsp;and&nbsp;i2&nbsp;-&nbsp;i1&nbsp;&lt;&nbsp;2^(比特位&nbsp;-&nbsp;1))&nbsp;或&nbsp;(i1&nbsp;&gt;&nbsp;i2&nbsp;and&nbsp;i1&nbsp;-&nbsp;i2&nbsp;&gt;&nbsp;2^(比特位&nbsp;-&nbsp;1))成立，那么s1小于s2。<br />
&nbsp;&nbsp;&nbsp;如果有(i1&nbsp;&lt;&nbsp;i2&nbsp;and&nbsp;i2&nbsp;-&nbsp;i1&nbsp;&gt;&nbsp;2^(比特位&nbsp;-&nbsp;1))或(i1&nbsp;&gt;&nbsp;i2&nbsp;and&nbsp;i1&nbsp;-&nbsp;i2&nbsp;&lt;&nbsp;2^(比特位&nbsp;-&nbsp;1))成立，那么s1大于s2。<br />
&nbsp;&nbsp;&nbsp;值得注意的是存在某些数组使得s1和s2不相等，但是同时s1既不大于也不小于s2。试图用这种数组进行的操作将得到不确定的结果。<br />
&nbsp;&nbsp;&nbsp;造成这样的原因是这些数组是仅作了简单的定义，如（s1,s2）定义为s1比s2小，这样当数组为（s2,s1）时就是s2比s1小。这将意味着对某个测试的不同选择顺序将使得计算结果发生变化，最终导致不可预测的执行结果。<br />
&nbsp;&nbsp;&nbsp;当不使用这种方式定义测试时，不等式将不会出现这个奇怪的性质；但若被定义为适合所有的数值时，那么这种定义将导致没必要的繁琐执行结果，而且难于理解，甚至会导致当s1&nbsp;&lt;&nbsp;s2却有&nbsp;(s1&nbsp;+&nbsp;1)&nbsp;&gt;&nbsp;(s2&nbsp;+&nbsp;1)这样明显不符合逻辑的结果出现。<br />
&nbsp;&nbsp;&nbsp;因此，这个问题被留下未作定义，执行结果将返回任意的可能结果，或者是一个实际值，或者标志一个错误，所以用户必须注意不要依赖于任何特殊的返回值。通常这将意味着用户要避免允许让那些特殊的数组导致退出程序。<br />
&nbsp;&nbsp;&nbsp;两个序列号的关系是大于等于还是小于等于，服从以上所作的普通定义。<br />
<br />
4.推论<br />
&nbsp;&nbsp;&nbsp;这些定义得到以下推论。<br />
<br />
4.1推论1<br />
&nbsp;&nbsp;&nbsp;对于任意序列号s和任意整数n，n加上s的结果定义为&nbsp;(s&nbsp;+&nbsp;n)&nbsp;&gt;=&nbsp;s，当且仅当n=0时，才有(s&nbsp;+&nbsp;n)&nbsp;=&nbsp;s，而对于其他数值均有：(s&nbsp;+&nbsp;n)&nbsp;&gt;&nbsp;s&nbsp;。<br />
<br />
4.2推论2<br />
&nbsp;&nbsp;&nbsp;设序列号s加上一个不为零的整数n的结果为s'，m为另一个整数且能够和一个序列号相加，s''是m和s'相加的结果，那么尽管可以肯定s''和s不相等，但并不明确s''究竟是大于s还是小于s&nbsp;<br />
<br />
4.3推论3<br />
&nbsp;&nbsp;&nbsp;如果s''是从先前的结果增加而来的，那么将不再明确s和s''之间的关系。<br />
<br />
4.4推论4<br />
&nbsp;&nbsp;&nbsp;如果在推论2中，(n&nbsp;+&nbsp;m)确定是序列号s的增加值，那么将产生一个有定义的结果，由推论1可知，s''是大于s的。<br />
<br />
5.例子<br />
<br />
5.1一个简单的例子<br />
&nbsp;&nbsp;&nbsp;最简单的序列号，其比特位等于2。在这种情况下，符合这个条件的整数有0，1，2，3。那是因为3&nbsp;=&nbsp;2^比特位&nbsp;-&nbsp;1&nbsp;。<br />
&nbsp;&nbsp;&nbsp;推广这个结果，那么能和一个序列号相加的最大的整数应该为2^(比特位&nbsp;-&nbsp;1)&nbsp;-&nbsp;1&nbsp;，即1&nbsp;。<br />
&nbsp;&nbsp;&nbsp;因此，若定义0+1&nbsp;=&nbsp;1,&nbsp;1+1&nbsp;=&nbsp;2,&nbsp;2+1&nbsp;=&nbsp;3,&nbsp;并且&nbsp;3+1&nbsp;=&nbsp;0，那么我们得到1&nbsp;&gt;&nbsp;0,&nbsp;2&nbsp;&gt;&nbsp;1,&nbsp;3&nbsp;&gt;&nbsp;2,&nbsp;且&nbsp;0&nbsp;&gt;&nbsp;3&nbsp;。但究竟是2&nbsp;&gt;&nbsp;0&nbsp;还是&nbsp;0&nbsp;&gt;&nbsp;2&nbsp;或者&nbsp;1&nbsp;&gt;&nbsp;3&nbsp;还是&nbsp;3&nbsp;&gt;&nbsp;1&nbsp;，这个没有作出定义。<br />
<br />
5.2一个稍微复杂的例子<br />
&nbsp;&nbsp;&nbsp;假设在这个例子中，比特位为8。那么符合这个序列号比特位条件的整数是0，1，2，...&nbsp;254,&nbsp;255&nbsp;。其中255=2^比特位&nbsp;-&nbsp;1&nbsp;。<br />
&nbsp;&nbsp;&nbsp;在这种情况下，能和一个序列号相加的最大的整数为2^(比特位&nbsp;-&nbsp;1)&nbsp;-&nbsp;1&nbsp;，即127&nbsp;。<br />
&nbsp;&nbsp;&nbsp;这时，加法被期望作如下定义，例：255+1&nbsp;=&nbsp;0,&nbsp;100+100&nbsp;=&nbsp;200,&nbsp;200+100&nbsp;=&nbsp;44&nbsp;。<br />
&nbsp;&nbsp;&nbsp;比较大小将变得更为有趣，如：1&nbsp;&gt;&nbsp;0,&nbsp;44&nbsp;&gt;&nbsp;0,&nbsp;100&nbsp;&gt;&nbsp;0,&nbsp;100&nbsp;&gt;&nbsp;44,&nbsp;200&nbsp;&gt;&nbsp;100,&nbsp;255&nbsp;&gt;&nbsp;200,&nbsp;0&nbsp;&gt;&nbsp;255,&nbsp;100&nbsp;&gt;&nbsp;255,&nbsp;0&nbsp;&gt;&nbsp;200,&nbsp;44&nbsp;&gt;&nbsp;200&nbsp;。<br />
&nbsp;&nbsp;&nbsp;注意到如下情况：100+100&nbsp;&gt;&nbsp;100,&nbsp;但是&nbsp;(100+100)+100&nbsp;&lt;&nbsp;100&nbsp;。对一个序列号进行加法将导致它变得“更小”。当然，如果和一个足够小的数值相加将使得序列号变大而不是变小。我们要避免上述情况发生，因为这将导致某些奇怪的错误，或者将它定义为代表一个序列号的减小也可以使得这种情况变得有用。<br />
&nbsp;&nbsp;&nbsp;从0&nbsp;和128,&nbsp;1&nbsp;和&nbsp;129,&nbsp;2&nbsp;和&nbsp;130,&nbsp;直到&nbsp;127&nbsp;和&nbsp;255&nbsp;，这些数组都不相等，但在每一对数中，既没有定义哪个比哪个大，或哪个比哪个小。<br />
&nbsp;&nbsp;&nbsp;当然，对于以上的问题，我们能够通过改变比较运算符来定义（非常武断地）128&nbsp;&gt;&nbsp;0,&nbsp;129&nbsp;&gt;&nbsp;1,130&nbsp;&gt;&nbsp;2,&nbsp;...,&nbsp;255&nbsp;&gt;&nbsp;127&nbsp;，然而值得注意的是会导致如下问题：由于0&nbsp;&lt;&nbsp;128&nbsp;，所以有(255&nbsp;+&nbsp;1)&nbsp;&lt;&nbsp;(127&nbsp;+&nbsp;1)&nbsp;，但是实际上255&nbsp;&gt;&nbsp;127&nbsp;。这样的定义，即使不武断，也将在处理中付出昂贵的代价。<br />
<br />
6.引用<br />
&nbsp;&nbsp;&nbsp;这个已定义的算法除了用于DNS序列号，还能够用于其他领域，所有这些都将参考于“序列号算法”（RFC1982）。任何参考都意味着本文档的第2章到第5章的规则将应用于一定数值的计算。<br />
<br />
7.DNS&nbsp;SOA序列号<br />
&nbsp;&nbsp;&nbsp;用于DNS&nbsp;SOA资源档案的序列号即上述所定义的具有32个比特位的序列号。这意味着，这个序列号是一个非负整数，其数值从0&nbsp;一直到&nbsp;4294967295&nbsp;。这也就是一个32位无符号整数的范围。<br />
&nbsp;&nbsp;&nbsp;最大的增加值是2147483647&nbsp;=&nbsp;(2^31&nbsp;-&nbsp;1)&nbsp;。<br />
&nbsp;&nbsp;&nbsp;值得注意的是，在SOA.expire的数值内，不能一步或多步增加序列号数值，使之超过上述的最大值。否则，将可能导致一些副服务器出现存储区数据越限，使得序列号比主服务器的序列号还要“大”。当然，特殊的环境下可能需要放弃这个规则，例如，由于某种原因需要降低序列号数值的时候。如果这种情况出现了，请密切关注所有的服务器在主服务器的序列号变化的每一步下是否工作正常。<br />
&nbsp;&nbsp;&nbsp;请注意，对于序列号的每一个增量都必须看作是为了这个目的所得到的一个新序列的开始。同样，这也是SOA.expire所指定的期限中所有先前序列继续的开端。<br />
&nbsp;&nbsp;&nbsp;同样值得注意的是将序列号清零的情况。因为这个数值在序列号算法中没有任何特殊作用，而且在DNS&nbsp;SOA序列号中，DNS执行管理器会错误地把零当作一个特殊的情况，赋予特殊的性质。如果零用作一个DNS&nbsp;SOA序列号，那么将有可能导致一些不平常的处理结果。<br />
<br />
8.文档更新<br />
&nbsp;&nbsp;&nbsp;RFC1034和RFC1035被看作是“序列空间算法”的参考，它将被这个文档中所定义的序列号算法所取代。<br />
<br />
9.安全考虑<br />
&nbsp;&nbsp;&nbsp;这份文档没有考虑安全因素。<br />
&nbsp;&nbsp;&nbsp;在这份文档中没有加入了任何安全条款，即使它可能存在于DNS之中，与此同时，也没有加入任何降低系统安全的条款。<br />
<br />
参考文献<br />
&nbsp;&nbsp;&nbsp;[RFC1034]&nbsp;&nbsp;&nbsp;Domain&nbsp;Names&nbsp;-&nbsp;Concepts&nbsp;and&nbsp;Facilities,<br />
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;P.&nbsp;Mockapetris,&nbsp;STD&nbsp;13,&nbsp;ISI,&nbsp;November&nbsp;1987.<br />
&nbsp;&nbsp;&nbsp;[RFC1035]&nbsp;&nbsp;&nbsp;Domain&nbsp;Names&nbsp;-&nbsp;Implementation&nbsp;and&nbsp;Specification<br />
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;P.&nbsp;Mockapetris,&nbsp;STD&nbsp;13,&nbsp;ISI,&nbsp;November&nbsp;1987<br />
&nbsp;&nbsp;&nbsp;[RFC793]&nbsp;&nbsp;&nbsp;&nbsp;Transmission&nbsp;Control&nbsp;protocol<br />
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Information&nbsp;Sciences&nbsp;Institute,&nbsp;STD&nbsp;7,&nbsp;USC,&nbsp;September&nbsp;1981<br />
&nbsp;&nbsp;&nbsp;[IEN-74]&nbsp;&nbsp;&nbsp;&nbsp;Sequence&nbsp;Number&nbsp;Arithmetic<br />
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;William&nbsp;W.&nbsp;Plummer,&nbsp;BB&N&nbsp;Inc,&nbsp;September&nbsp;1978<br />
<br />
致谢<br />
&nbsp;&nbsp;&nbsp;感谢Rob&nbsp;Austein的建议，它澄清了一些未定义的比较算符，感谢Michael&nbsp;Patton为了这份文档查找了其他的参考书。同样还要感谢IETF&nbsp;DNSIND&nbsp;1995-6&nbsp;工作组的成员们，特别是Paul&nbsp;Mockapetris&nbsp;。<br />
<br />
作者的地址<br />
&nbsp;&nbsp;&nbsp;Robert&nbsp;Elz&nbsp;&nbsp;&nbsp;<br />
Computer&nbsp;Science&nbsp;University&nbsp;of&nbsp;Melbourne&nbsp;Parkville,&nbsp;Vic,&nbsp;3052&nbsp;&nbsp;Australia.&nbsp;&nbsp;&nbsp;&nbsp;<br />
EMail:&nbsp;kre@munnari.OZ.AU<br />
<br />
&nbsp;&nbsp;&nbsp;Randy&nbsp;Bush<br />
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;RGnet,&nbsp;Inc.&nbsp;10361&nbsp;NE&nbsp;Sasquatch&nbsp;Lane&nbsp;Bainbridge&nbsp;Island,&nbsp;Washington,&nbsp;98110&nbsp;United&nbsp;States.<br />
EMail:&nbsp;randy@psg.com<br />
<br />
<br />
<br />
RFC1982——Serial&nbsp;Number&nbsp;Arithmetic&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;序&nbsp;列&nbsp;号&nbsp;算&nbsp;法<br />
<br />
<br />
<br />
<br />
1<br />
RFC文档中文翻译计划<br />
<br />