1// Copyright 2014 The Go Authors. All rights reserved. 2// Use of this source code is governed by a BSD-style 3// license that can be found in the LICENSE file. 4 5package hpack 6 7import ( 8 "io" 9) 10 11const ( 12 uint32Max = ^uint32(0) 13 initialHeaderTableSize = 4096 14) 15 16type Encoder struct { 17 dynTab dynamicTable 18 // minSize is the minimum table size set by 19 // SetMaxDynamicTableSize after the previous Header Table Size 20 // Update. 21 minSize uint32 22 // maxSizeLimit is the maximum table size this encoder 23 // supports. This will protect the encoder from too large 24 // size. 25 maxSizeLimit uint32 26 // tableSizeUpdate indicates whether "Header Table Size 27 // Update" is required. 28 tableSizeUpdate bool 29 w io.Writer 30 buf []byte 31} 32 33// NewEncoder returns a new Encoder which performs HPACK encoding. An 34// encoded data is written to w. 35func NewEncoder(w io.Writer) *Encoder { 36 e := &Encoder{ 37 minSize: uint32Max, 38 maxSizeLimit: initialHeaderTableSize, 39 tableSizeUpdate: false, 40 w: w, 41 } 42 e.dynTab.table.init() 43 e.dynTab.setMaxSize(initialHeaderTableSize) 44 return e 45} 46 47// WriteField encodes f into a single Write to e's underlying Writer. 48// This function may also produce bytes for "Header Table Size Update" 49// if necessary. If produced, it is done before encoding f. 50func (e *Encoder) WriteField(f HeaderField) error { 51 e.buf = e.buf[:0] 52 53 if e.tableSizeUpdate { 54 e.tableSizeUpdate = false 55 if e.minSize < e.dynTab.maxSize { 56 e.buf = appendTableSize(e.buf, e.minSize) 57 } 58 e.minSize = uint32Max 59 e.buf = appendTableSize(e.buf, e.dynTab.maxSize) 60 } 61 62 idx, nameValueMatch := e.searchTable(f) 63 if nameValueMatch { 64 e.buf = appendIndexed(e.buf, idx) 65 } else { 66 indexing := e.shouldIndex(f) 67 if indexing { 68 e.dynTab.add(f) 69 } 70 71 if idx == 0 { 72 e.buf = appendNewName(e.buf, f, indexing) 73 } else { 74 e.buf = appendIndexedName(e.buf, f, idx, indexing) 75 } 76 } 77 n, err := e.w.Write(e.buf) 78 if err == nil && n != len(e.buf) { 79 err = io.ErrShortWrite 80 } 81 return err 82} 83 84// searchTable searches f in both stable and dynamic header tables. 85// The static header table is searched first. Only when there is no 86// exact match for both name and value, the dynamic header table is 87// then searched. If there is no match, i is 0. If both name and value 88// match, i is the matched index and nameValueMatch becomes true. If 89// only name matches, i points to that index and nameValueMatch 90// becomes false. 91func (e *Encoder) searchTable(f HeaderField) (i uint64, nameValueMatch bool) { 92 i, nameValueMatch = staticTable.search(f) 93 if nameValueMatch { 94 return i, true 95 } 96 97 j, nameValueMatch := e.dynTab.table.search(f) 98 if nameValueMatch || (i == 0 && j != 0) { 99 return j + uint64(staticTable.len()), nameValueMatch 100 } 101 102 return i, false 103} 104 105// SetMaxDynamicTableSize changes the dynamic header table size to v. 106// The actual size is bounded by the value passed to 107// SetMaxDynamicTableSizeLimit. 108func (e *Encoder) SetMaxDynamicTableSize(v uint32) { 109 if v > e.maxSizeLimit { 110 v = e.maxSizeLimit 111 } 112 if v < e.minSize { 113 e.minSize = v 114 } 115 e.tableSizeUpdate = true 116 e.dynTab.setMaxSize(v) 117} 118 119// MaxDynamicTableSize returns the current dynamic header table size. 120func (e *Encoder) MaxDynamicTableSize() (v uint32) { 121 return e.dynTab.maxSize 122} 123 124// SetMaxDynamicTableSizeLimit changes the maximum value that can be 125// specified in SetMaxDynamicTableSize to v. By default, it is set to 126// 4096, which is the same size of the default dynamic header table 127// size described in HPACK specification. If the current maximum 128// dynamic header table size is strictly greater than v, "Header Table 129// Size Update" will be done in the next WriteField call and the 130// maximum dynamic header table size is truncated to v. 131func (e *Encoder) SetMaxDynamicTableSizeLimit(v uint32) { 132 e.maxSizeLimit = v 133 if e.dynTab.maxSize > v { 134 e.tableSizeUpdate = true 135 e.dynTab.setMaxSize(v) 136 } 137} 138 139// shouldIndex reports whether f should be indexed. 140func (e *Encoder) shouldIndex(f HeaderField) bool { 141 return !f.Sensitive && f.Size() <= e.dynTab.maxSize 142} 143 144// appendIndexed appends index i, as encoded in "Indexed Header Field" 145// representation, to dst and returns the extended buffer. 146func appendIndexed(dst []byte, i uint64) []byte { 147 first := len(dst) 148 dst = appendVarInt(dst, 7, i) 149 dst[first] |= 0x80 150 return dst 151} 152 153// appendNewName appends f, as encoded in one of "Literal Header field 154// - New Name" representation variants, to dst and returns the 155// extended buffer. 156// 157// If f.Sensitive is true, "Never Indexed" representation is used. If 158// f.Sensitive is false and indexing is true, "Incremental Indexing" 159// representation is used. 160func appendNewName(dst []byte, f HeaderField, indexing bool) []byte { 161 dst = append(dst, encodeTypeByte(indexing, f.Sensitive)) 162 dst = appendHpackString(dst, f.Name) 163 return appendHpackString(dst, f.Value) 164} 165 166// appendIndexedName appends f and index i referring indexed name 167// entry, as encoded in one of "Literal Header field - Indexed Name" 168// representation variants, to dst and returns the extended buffer. 169// 170// If f.Sensitive is true, "Never Indexed" representation is used. If 171// f.Sensitive is false and indexing is true, "Incremental Indexing" 172// representation is used. 173func appendIndexedName(dst []byte, f HeaderField, i uint64, indexing bool) []byte { 174 first := len(dst) 175 var n byte 176 if indexing { 177 n = 6 178 } else { 179 n = 4 180 } 181 dst = appendVarInt(dst, n, i) 182 dst[first] |= encodeTypeByte(indexing, f.Sensitive) 183 return appendHpackString(dst, f.Value) 184} 185 186// appendTableSize appends v, as encoded in "Header Table Size Update" 187// representation, to dst and returns the extended buffer. 188func appendTableSize(dst []byte, v uint32) []byte { 189 first := len(dst) 190 dst = appendVarInt(dst, 5, uint64(v)) 191 dst[first] |= 0x20 192 return dst 193} 194 195// appendVarInt appends i, as encoded in variable integer form using n 196// bit prefix, to dst and returns the extended buffer. 197// 198// See 199// https://httpwg.org/specs/rfc7541.html#integer.representation 200func appendVarInt(dst []byte, n byte, i uint64) []byte { 201 k := uint64((1 << n) - 1) 202 if i < k { 203 return append(dst, byte(i)) 204 } 205 dst = append(dst, byte(k)) 206 i -= k 207 for ; i >= 128; i >>= 7 { 208 dst = append(dst, byte(0x80|(i&0x7f))) 209 } 210 return append(dst, byte(i)) 211} 212 213// appendHpackString appends s, as encoded in "String Literal" 214// representation, to dst and returns the extended buffer. 215// 216// s will be encoded in Huffman codes only when it produces strictly 217// shorter byte string. 218func appendHpackString(dst []byte, s string) []byte { 219 huffmanLength := HuffmanEncodeLength(s) 220 if huffmanLength < uint64(len(s)) { 221 first := len(dst) 222 dst = appendVarInt(dst, 7, huffmanLength) 223 dst = AppendHuffmanString(dst, s) 224 dst[first] |= 0x80 225 } else { 226 dst = appendVarInt(dst, 7, uint64(len(s))) 227 dst = append(dst, s...) 228 } 229 return dst 230} 231 232// encodeTypeByte returns type byte. If sensitive is true, type byte 233// for "Never Indexed" representation is returned. If sensitive is 234// false and indexing is true, type byte for "Incremental Indexing" 235// representation is returned. Otherwise, type byte for "Without 236// Indexing" is returned. 237func encodeTypeByte(indexing, sensitive bool) byte { 238 if sensitive { 239 return 0x10 240 } 241 if indexing { 242 return 0x40 243 } 244 return 0 245} 246