use non-cryptographic random to generate skipped packet numbers

This commit is contained in:
Marten Seemann 2020-11-26 13:11:53 +07:00
parent 325bc1694d
commit e8e6c7b47e
2 changed files with 38 additions and 64 deletions

View file

@ -2,7 +2,8 @@ package ackhandler
import ( import (
"crypto/rand" "crypto/rand"
"math" "encoding/binary"
mrand "math/rand"
"github.com/lucas-clemente/quic-go/internal/protocol" "github.com/lucas-clemente/quic-go/internal/protocol"
) )
@ -11,6 +12,7 @@ import (
// it randomly skips a packet number every averagePeriod packets (on average). // it randomly skips a packet number every averagePeriod packets (on average).
// It is guaranteed to never skip two consecutive packet numbers. // It is guaranteed to never skip two consecutive packet numbers.
type packetNumberGenerator struct { type packetNumberGenerator struct {
rand *mrand.Rand
averagePeriod protocol.PacketNumber averagePeriod protocol.PacketNumber
next protocol.PacketNumber next protocol.PacketNumber
@ -18,7 +20,10 @@ type packetNumberGenerator struct {
} }
func newPacketNumberGenerator(initial, averagePeriod protocol.PacketNumber) *packetNumberGenerator { func newPacketNumberGenerator(initial, averagePeriod protocol.PacketNumber) *packetNumberGenerator {
b := make([]byte, 8)
rand.Read(b) // it's not the end of the world if we don't get perfect random here
g := &packetNumberGenerator{ g := &packetNumberGenerator{
rand: mrand.New(mrand.NewSource(int64(binary.LittleEndian.Uint64(b)))),
next: initial, next: initial,
averagePeriod: averagePeriod, averagePeriod: averagePeriod,
} }
@ -44,18 +49,6 @@ func (p *packetNumberGenerator) Pop() protocol.PacketNumber {
} }
func (p *packetNumberGenerator) generateNewSkip() { func (p *packetNumberGenerator) generateNewSkip() {
num := p.getRandomNumber()
skip := protocol.PacketNumber(num) * (p.averagePeriod - 1) / (math.MaxUint16 / 2)
// make sure that there are never two consecutive packet numbers that are skipped // make sure that there are never two consecutive packet numbers that are skipped
p.nextToSkip = p.next + 2 + skip p.nextToSkip = p.next + 2 + protocol.PacketNumber(p.rand.Int31n(int32(2*p.averagePeriod)))
}
// getRandomNumber() generates a cryptographically secure random number between 0 and MaxUint16 (= 65535)
// The expectation value is 65535/2
func (p *packetNumberGenerator) getRandomNumber() uint16 {
b := make([]byte, 2)
rand.Read(b) // ignore the error here
num := uint16(b[0])<<8 + uint16(b[1])
return num
} }

View file

@ -1,8 +1,6 @@
package ackhandler package ackhandler
import ( import (
"math"
"github.com/lucas-clemente/quic-go/internal/protocol" "github.com/lucas-clemente/quic-go/internal/protocol"
. "github.com/onsi/ginkgo" . "github.com/onsi/ginkgo"
. "github.com/onsi/gomega" . "github.com/onsi/gomega"
@ -10,9 +8,10 @@ import (
var _ = Describe("Packet Number Generator", func() { var _ = Describe("Packet Number Generator", func() {
var png *packetNumberGenerator var png *packetNumberGenerator
const initialPN protocol.PacketNumber = 8
BeforeEach(func() { BeforeEach(func() {
png = newPacketNumberGenerator(1, 100) png = newPacketNumberGenerator(initialPN, 100)
}) })
It("can be initialized to return any first packet number", func() { It("can be initialized to return any first packet number", func() {
@ -20,19 +19,18 @@ var _ = Describe("Packet Number Generator", func() {
Expect(png.Pop()).To(Equal(protocol.PacketNumber(12345))) Expect(png.Pop()).To(Equal(protocol.PacketNumber(12345)))
}) })
It("gets 1 as the first packet number", func() { It("gets the first packet number", func() {
num := png.Pop() num := png.Pop()
Expect(num).To(Equal(protocol.PacketNumber(1))) Expect(num).To(Equal(initialPN))
}) })
It("allows peeking", func() { It("allows peeking", func() {
png.nextToSkip = 1000 png.nextToSkip = 1000
Expect(png.Peek()).To(Equal(protocol.PacketNumber(1))) Expect(png.Peek()).To(Equal(initialPN))
Expect(png.Peek()).To(Equal(protocol.PacketNumber(1))) Expect(png.Peek()).To(Equal(initialPN))
num := png.Pop() Expect(png.Pop()).To(Equal(initialPN))
Expect(num).To(Equal(protocol.PacketNumber(1))) Expect(png.Peek()).To(Equal(initialPN + 1))
Expect(png.Peek()).To(Equal(protocol.PacketNumber(2))) Expect(png.Peek()).To(Equal(initialPN + 1))
Expect(png.Peek()).To(Equal(protocol.PacketNumber(2)))
}) })
It("skips a packet number", func() { It("skips a packet number", func() {
@ -50,51 +48,34 @@ var _ = Describe("Packet Number Generator", func() {
}) })
It("skips a specific packet number", func() { It("skips a specific packet number", func() {
png.nextToSkip = 2 png.nextToSkip = initialPN + 1
num := png.Pop() Expect(png.Pop()).To(Equal(initialPN))
Expect(num).To(Equal(protocol.PacketNumber(1))) Expect(png.Peek()).To(Equal(initialPN + 2))
Expect(png.Peek()).To(Equal(protocol.PacketNumber(3))) Expect(png.Pop()).To(Equal(initialPN + 2))
num = png.Pop()
Expect(num).To(Equal(protocol.PacketNumber(3)))
}) })
It("generates a new packet number to skip", func() { It("generates a new packet number to skip", func() {
png.next = 100 const averagePeriod = 25
png.averagePeriod = 100 png.averagePeriod = averagePeriod
rep := 5000 periods := make([]protocol.PacketNumber, 0, 500)
var sum protocol.PacketNumber last := initialPN
var lastSkip protocol.PacketNumber
for i := 0; i < rep; i++ { for len(periods) < cap(periods) {
png.generateNewSkip() next := png.Pop()
Expect(png.nextToSkip).ToNot(Equal(protocol.PacketNumber(101))) if next > last+1 {
sum += png.nextToSkip skipped := next - 1
Expect(skipped).To(BeNumerically(">", lastSkip+1))
periods = append(periods, skipped-lastSkip-1)
lastSkip = skipped
}
last = next
} }
average := sum / protocol.PacketNumber(rep) var average float64
Expect(average).To(BeNumerically("==", protocol.PacketNumber(200), 4)) for _, p := range periods {
}) average += float64(p) / float64(len(periods))
It("uses random numbers", func() {
var smallest uint16 = math.MaxUint16
var largest uint16
var sum uint64
rep := 10000
for i := 0; i < rep; i++ {
num := png.getRandomNumber()
sum += uint64(num)
if num > largest {
largest = num
}
if num < smallest {
smallest = num
}
} }
Expect(average).To(BeNumerically("~", averagePeriod+1 /* we never skip two packet numbers at the same time */, 5))
Expect(smallest).To(BeNumerically("<", 300))
Expect(largest).To(BeNumerically(">", math.MaxUint16-300))
Expect(sum / uint64(rep)).To(BeNumerically("==", uint64(math.MaxUint16/2), 1000))
}) })
}) })