baggage.go 15 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556
  1. // Copyright The OpenTelemetry Authors
  2. //
  3. // Licensed under the Apache License, Version 2.0 (the "License");
  4. // you may not use this file except in compliance with the License.
  5. // You may obtain a copy of the License at
  6. //
  7. // http://www.apache.org/licenses/LICENSE-2.0
  8. //
  9. // Unless required by applicable law or agreed to in writing, software
  10. // distributed under the License is distributed on an "AS IS" BASIS,
  11. // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  12. // See the License for the specific language governing permissions and
  13. // limitations under the License.
  14. package baggage // import "go.opentelemetry.io/otel/baggage"
  15. import (
  16. "errors"
  17. "fmt"
  18. "net/url"
  19. "regexp"
  20. "strings"
  21. "go.opentelemetry.io/otel/internal/baggage"
  22. )
  23. const (
  24. maxMembers = 180
  25. maxBytesPerMembers = 4096
  26. maxBytesPerBaggageString = 8192
  27. listDelimiter = ","
  28. keyValueDelimiter = "="
  29. propertyDelimiter = ";"
  30. keyDef = `([\x21\x23-\x27\x2A\x2B\x2D\x2E\x30-\x39\x41-\x5a\x5e-\x7a\x7c\x7e]+)`
  31. valueDef = `([\x21\x23-\x2b\x2d-\x3a\x3c-\x5B\x5D-\x7e]*)`
  32. keyValueDef = `\s*` + keyDef + `\s*` + keyValueDelimiter + `\s*` + valueDef + `\s*`
  33. )
  34. var (
  35. keyRe = regexp.MustCompile(`^` + keyDef + `$`)
  36. valueRe = regexp.MustCompile(`^` + valueDef + `$`)
  37. propertyRe = regexp.MustCompile(`^(?:\s*` + keyDef + `\s*|` + keyValueDef + `)$`)
  38. )
  39. var (
  40. errInvalidKey = errors.New("invalid key")
  41. errInvalidValue = errors.New("invalid value")
  42. errInvalidProperty = errors.New("invalid baggage list-member property")
  43. errInvalidMember = errors.New("invalid baggage list-member")
  44. errMemberNumber = errors.New("too many list-members in baggage-string")
  45. errMemberBytes = errors.New("list-member too large")
  46. errBaggageBytes = errors.New("baggage-string too large")
  47. )
  48. // Property is an additional metadata entry for a baggage list-member.
  49. type Property struct {
  50. key, value string
  51. // hasValue indicates if a zero-value value means the property does not
  52. // have a value or if it was the zero-value.
  53. hasValue bool
  54. // hasData indicates whether the created property contains data or not.
  55. // Properties that do not contain data are invalid with no other check
  56. // required.
  57. hasData bool
  58. }
  59. func NewKeyProperty(key string) (Property, error) {
  60. if !keyRe.MatchString(key) {
  61. return newInvalidProperty(), fmt.Errorf("%w: %q", errInvalidKey, key)
  62. }
  63. p := Property{key: key, hasData: true}
  64. return p, nil
  65. }
  66. func NewKeyValueProperty(key, value string) (Property, error) {
  67. if !keyRe.MatchString(key) {
  68. return newInvalidProperty(), fmt.Errorf("%w: %q", errInvalidKey, key)
  69. }
  70. if !valueRe.MatchString(value) {
  71. return newInvalidProperty(), fmt.Errorf("%w: %q", errInvalidValue, value)
  72. }
  73. p := Property{
  74. key: key,
  75. value: value,
  76. hasValue: true,
  77. hasData: true,
  78. }
  79. return p, nil
  80. }
  81. func newInvalidProperty() Property {
  82. return Property{}
  83. }
  84. // parseProperty attempts to decode a Property from the passed string. It
  85. // returns an error if the input is invalid according to the W3C Baggage
  86. // specification.
  87. func parseProperty(property string) (Property, error) {
  88. if property == "" {
  89. return newInvalidProperty(), nil
  90. }
  91. match := propertyRe.FindStringSubmatch(property)
  92. if len(match) != 4 {
  93. return newInvalidProperty(), fmt.Errorf("%w: %q", errInvalidProperty, property)
  94. }
  95. p := Property{hasData: true}
  96. if match[1] != "" {
  97. p.key = match[1]
  98. } else {
  99. p.key = match[2]
  100. p.value = match[3]
  101. p.hasValue = true
  102. }
  103. return p, nil
  104. }
  105. // validate ensures p conforms to the W3C Baggage specification, returning an
  106. // error otherwise.
  107. func (p Property) validate() error {
  108. errFunc := func(err error) error {
  109. return fmt.Errorf("invalid property: %w", err)
  110. }
  111. if !p.hasData {
  112. return errFunc(fmt.Errorf("%w: %q", errInvalidProperty, p))
  113. }
  114. if !keyRe.MatchString(p.key) {
  115. return errFunc(fmt.Errorf("%w: %q", errInvalidKey, p.key))
  116. }
  117. if p.hasValue && !valueRe.MatchString(p.value) {
  118. return errFunc(fmt.Errorf("%w: %q", errInvalidValue, p.value))
  119. }
  120. if !p.hasValue && p.value != "" {
  121. return errFunc(errors.New("inconsistent value"))
  122. }
  123. return nil
  124. }
  125. // Key returns the Property key.
  126. func (p Property) Key() string {
  127. return p.key
  128. }
  129. // Value returns the Property value. Additionally a boolean value is returned
  130. // indicating if the returned value is the empty if the Property has a value
  131. // that is empty or if the value is not set.
  132. func (p Property) Value() (string, bool) {
  133. return p.value, p.hasValue
  134. }
  135. // String encodes Property into a string compliant with the W3C Baggage
  136. // specification.
  137. func (p Property) String() string {
  138. if p.hasValue {
  139. return fmt.Sprintf("%s%s%v", p.key, keyValueDelimiter, p.value)
  140. }
  141. return p.key
  142. }
  143. type properties []Property
  144. func fromInternalProperties(iProps []baggage.Property) properties {
  145. if len(iProps) == 0 {
  146. return nil
  147. }
  148. props := make(properties, len(iProps))
  149. for i, p := range iProps {
  150. props[i] = Property{
  151. key: p.Key,
  152. value: p.Value,
  153. hasValue: p.HasValue,
  154. }
  155. }
  156. return props
  157. }
  158. func (p properties) asInternal() []baggage.Property {
  159. if len(p) == 0 {
  160. return nil
  161. }
  162. iProps := make([]baggage.Property, len(p))
  163. for i, prop := range p {
  164. iProps[i] = baggage.Property{
  165. Key: prop.key,
  166. Value: prop.value,
  167. HasValue: prop.hasValue,
  168. }
  169. }
  170. return iProps
  171. }
  172. func (p properties) Copy() properties {
  173. if len(p) == 0 {
  174. return nil
  175. }
  176. props := make(properties, len(p))
  177. copy(props, p)
  178. return props
  179. }
  180. // validate ensures each Property in p conforms to the W3C Baggage
  181. // specification, returning an error otherwise.
  182. func (p properties) validate() error {
  183. for _, prop := range p {
  184. if err := prop.validate(); err != nil {
  185. return err
  186. }
  187. }
  188. return nil
  189. }
  190. // String encodes properties into a string compliant with the W3C Baggage
  191. // specification.
  192. func (p properties) String() string {
  193. props := make([]string, len(p))
  194. for i, prop := range p {
  195. props[i] = prop.String()
  196. }
  197. return strings.Join(props, propertyDelimiter)
  198. }
  199. // Member is a list-member of a baggage-string as defined by the W3C Baggage
  200. // specification.
  201. type Member struct {
  202. key, value string
  203. properties properties
  204. // hasData indicates whether the created property contains data or not.
  205. // Properties that do not contain data are invalid with no other check
  206. // required.
  207. hasData bool
  208. }
  209. // NewMember returns a new Member from the passed arguments. An error is
  210. // returned if the created Member would be invalid according to the W3C
  211. // Baggage specification.
  212. func NewMember(key, value string, props ...Property) (Member, error) {
  213. m := Member{
  214. key: key,
  215. value: value,
  216. properties: properties(props).Copy(),
  217. hasData: true,
  218. }
  219. if err := m.validate(); err != nil {
  220. return newInvalidMember(), err
  221. }
  222. return m, nil
  223. }
  224. func newInvalidMember() Member {
  225. return Member{}
  226. }
  227. // parseMember attempts to decode a Member from the passed string. It returns
  228. // an error if the input is invalid according to the W3C Baggage
  229. // specification.
  230. func parseMember(member string) (Member, error) {
  231. if n := len(member); n > maxBytesPerMembers {
  232. return newInvalidMember(), fmt.Errorf("%w: %d", errMemberBytes, n)
  233. }
  234. var (
  235. key, value string
  236. props properties
  237. )
  238. parts := strings.SplitN(member, propertyDelimiter, 2)
  239. switch len(parts) {
  240. case 2:
  241. // Parse the member properties.
  242. for _, pStr := range strings.Split(parts[1], propertyDelimiter) {
  243. p, err := parseProperty(pStr)
  244. if err != nil {
  245. return newInvalidMember(), err
  246. }
  247. props = append(props, p)
  248. }
  249. fallthrough
  250. case 1:
  251. // Parse the member key/value pair.
  252. // Take into account a value can contain equal signs (=).
  253. kv := strings.SplitN(parts[0], keyValueDelimiter, 2)
  254. if len(kv) != 2 {
  255. return newInvalidMember(), fmt.Errorf("%w: %q", errInvalidMember, member)
  256. }
  257. // "Leading and trailing whitespaces are allowed but MUST be trimmed
  258. // when converting the header into a data structure."
  259. key = strings.TrimSpace(kv[0])
  260. var err error
  261. value, err = url.QueryUnescape(strings.TrimSpace(kv[1]))
  262. if err != nil {
  263. return newInvalidMember(), fmt.Errorf("%w: %q", err, value)
  264. }
  265. if !keyRe.MatchString(key) {
  266. return newInvalidMember(), fmt.Errorf("%w: %q", errInvalidKey, key)
  267. }
  268. if !valueRe.MatchString(value) {
  269. return newInvalidMember(), fmt.Errorf("%w: %q", errInvalidValue, value)
  270. }
  271. default:
  272. // This should never happen unless a developer has changed the string
  273. // splitting somehow. Panic instead of failing silently and allowing
  274. // the bug to slip past the CI checks.
  275. panic("failed to parse baggage member")
  276. }
  277. return Member{key: key, value: value, properties: props, hasData: true}, nil
  278. }
  279. // validate ensures m conforms to the W3C Baggage specification, returning an
  280. // error otherwise.
  281. func (m Member) validate() error {
  282. if !m.hasData {
  283. return fmt.Errorf("%w: %q", errInvalidMember, m)
  284. }
  285. if !keyRe.MatchString(m.key) {
  286. return fmt.Errorf("%w: %q", errInvalidKey, m.key)
  287. }
  288. if !valueRe.MatchString(m.value) {
  289. return fmt.Errorf("%w: %q", errInvalidValue, m.value)
  290. }
  291. return m.properties.validate()
  292. }
  293. // Key returns the Member key.
  294. func (m Member) Key() string { return m.key }
  295. // Value returns the Member value.
  296. func (m Member) Value() string { return m.value }
  297. // Properties returns a copy of the Member properties.
  298. func (m Member) Properties() []Property { return m.properties.Copy() }
  299. // String encodes Member into a string compliant with the W3C Baggage
  300. // specification.
  301. func (m Member) String() string {
  302. // A key is just an ASCII string, but a value is URL encoded UTF-8.
  303. s := fmt.Sprintf("%s%s%s", m.key, keyValueDelimiter, url.QueryEscape(m.value))
  304. if len(m.properties) > 0 {
  305. s = fmt.Sprintf("%s%s%s", s, propertyDelimiter, m.properties.String())
  306. }
  307. return s
  308. }
  309. // Baggage is a list of baggage members representing the baggage-string as
  310. // defined by the W3C Baggage specification.
  311. type Baggage struct { //nolint:golint
  312. list baggage.List
  313. }
  314. // New returns a new valid Baggage. It returns an error if it results in a
  315. // Baggage exceeding limits set in that specification.
  316. //
  317. // It expects all the provided members to have already been validated.
  318. func New(members ...Member) (Baggage, error) {
  319. if len(members) == 0 {
  320. return Baggage{}, nil
  321. }
  322. b := make(baggage.List)
  323. for _, m := range members {
  324. if !m.hasData {
  325. return Baggage{}, errInvalidMember
  326. }
  327. // OpenTelemetry resolves duplicates by last-one-wins.
  328. b[m.key] = baggage.Item{
  329. Value: m.value,
  330. Properties: m.properties.asInternal(),
  331. }
  332. }
  333. // Check member numbers after deduplicating.
  334. if len(b) > maxMembers {
  335. return Baggage{}, errMemberNumber
  336. }
  337. bag := Baggage{b}
  338. if n := len(bag.String()); n > maxBytesPerBaggageString {
  339. return Baggage{}, fmt.Errorf("%w: %d", errBaggageBytes, n)
  340. }
  341. return bag, nil
  342. }
  343. // Parse attempts to decode a baggage-string from the passed string. It
  344. // returns an error if the input is invalid according to the W3C Baggage
  345. // specification.
  346. //
  347. // If there are duplicate list-members contained in baggage, the last one
  348. // defined (reading left-to-right) will be the only one kept. This diverges
  349. // from the W3C Baggage specification which allows duplicate list-members, but
  350. // conforms to the OpenTelemetry Baggage specification.
  351. func Parse(bStr string) (Baggage, error) {
  352. if bStr == "" {
  353. return Baggage{}, nil
  354. }
  355. if n := len(bStr); n > maxBytesPerBaggageString {
  356. return Baggage{}, fmt.Errorf("%w: %d", errBaggageBytes, n)
  357. }
  358. b := make(baggage.List)
  359. for _, memberStr := range strings.Split(bStr, listDelimiter) {
  360. m, err := parseMember(memberStr)
  361. if err != nil {
  362. return Baggage{}, err
  363. }
  364. // OpenTelemetry resolves duplicates by last-one-wins.
  365. b[m.key] = baggage.Item{
  366. Value: m.value,
  367. Properties: m.properties.asInternal(),
  368. }
  369. }
  370. // OpenTelemetry does not allow for duplicate list-members, but the W3C
  371. // specification does. Now that we have deduplicated, ensure the baggage
  372. // does not exceed list-member limits.
  373. if len(b) > maxMembers {
  374. return Baggage{}, errMemberNumber
  375. }
  376. return Baggage{b}, nil
  377. }
  378. // Member returns the baggage list-member identified by key.
  379. //
  380. // If there is no list-member matching the passed key the returned Member will
  381. // be a zero-value Member.
  382. // The returned member is not validated, as we assume the validation happened
  383. // when it was added to the Baggage.
  384. func (b Baggage) Member(key string) Member {
  385. v, ok := b.list[key]
  386. if !ok {
  387. // We do not need to worry about distiguising between the situation
  388. // where a zero-valued Member is included in the Baggage because a
  389. // zero-valued Member is invalid according to the W3C Baggage
  390. // specification (it has an empty key).
  391. return newInvalidMember()
  392. }
  393. return Member{
  394. key: key,
  395. value: v.Value,
  396. properties: fromInternalProperties(v.Properties),
  397. }
  398. }
  399. // Members returns all the baggage list-members.
  400. // The order of the returned list-members does not have significance.
  401. //
  402. // The returned members are not validated, as we assume the validation happened
  403. // when they were added to the Baggage.
  404. func (b Baggage) Members() []Member {
  405. if len(b.list) == 0 {
  406. return nil
  407. }
  408. members := make([]Member, 0, len(b.list))
  409. for k, v := range b.list {
  410. members = append(members, Member{
  411. key: k,
  412. value: v.Value,
  413. properties: fromInternalProperties(v.Properties),
  414. })
  415. }
  416. return members
  417. }
  418. // SetMember returns a copy the Baggage with the member included. If the
  419. // baggage contains a Member with the same key the existing Member is
  420. // replaced.
  421. //
  422. // If member is invalid according to the W3C Baggage specification, an error
  423. // is returned with the original Baggage.
  424. func (b Baggage) SetMember(member Member) (Baggage, error) {
  425. if !member.hasData {
  426. return b, errInvalidMember
  427. }
  428. n := len(b.list)
  429. if _, ok := b.list[member.key]; !ok {
  430. n++
  431. }
  432. list := make(baggage.List, n)
  433. for k, v := range b.list {
  434. // Do not copy if we are just going to overwrite.
  435. if k == member.key {
  436. continue
  437. }
  438. list[k] = v
  439. }
  440. list[member.key] = baggage.Item{
  441. Value: member.value,
  442. Properties: member.properties.asInternal(),
  443. }
  444. return Baggage{list: list}, nil
  445. }
  446. // DeleteMember returns a copy of the Baggage with the list-member identified
  447. // by key removed.
  448. func (b Baggage) DeleteMember(key string) Baggage {
  449. n := len(b.list)
  450. if _, ok := b.list[key]; ok {
  451. n--
  452. }
  453. list := make(baggage.List, n)
  454. for k, v := range b.list {
  455. if k == key {
  456. continue
  457. }
  458. list[k] = v
  459. }
  460. return Baggage{list: list}
  461. }
  462. // Len returns the number of list-members in the Baggage.
  463. func (b Baggage) Len() int {
  464. return len(b.list)
  465. }
  466. // String encodes Baggage into a string compliant with the W3C Baggage
  467. // specification. The returned string will be invalid if the Baggage contains
  468. // any invalid list-members.
  469. func (b Baggage) String() string {
  470. members := make([]string, 0, len(b.list))
  471. for k, v := range b.list {
  472. members = append(members, Member{
  473. key: k,
  474. value: v.Value,
  475. properties: fromInternalProperties(v.Properties),
  476. }.String())
  477. }
  478. return strings.Join(members, listDelimiter)
  479. }