process_text.go 7.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334
  1. package model
  2. import (
  3. "cmp"
  4. "iter"
  5. "log/slog"
  6. "strings"
  7. "sync"
  8. "github.com/dlclark/regexp2"
  9. heap "github.com/emirpasic/gods/v2/trees/binaryheap"
  10. )
  11. type Special int32
  12. const (
  13. SpecialBOS Special = iota
  14. SpecialEOS
  15. )
  16. type TextProcessor interface {
  17. Encode(s string, addSpecial bool) ([]int32, error)
  18. Decode([]int32) (string, error)
  19. Is(int32, Special) bool
  20. }
  21. type Vocabulary struct {
  22. Values []string
  23. Types []uint32
  24. Scores []uint32
  25. Merges []string
  26. BOS, EOS int32
  27. AddBOS, AddEOS bool
  28. specialOnce sync.Once
  29. special []string
  30. valuesOnce sync.Once
  31. values map[string]int32
  32. mergeOnce sync.Once
  33. merge map[string]int32
  34. }
  35. func (v *Vocabulary) Is(id int32, special Special) bool {
  36. switch special {
  37. case SpecialBOS:
  38. return id == v.BOS
  39. case SpecialEOS:
  40. return id == v.EOS
  41. default:
  42. return false
  43. }
  44. }
  45. func (v *Vocabulary) Encode(s string) int32 {
  46. v.valuesOnce.Do(func() {
  47. v.values = make(map[string]int32, len(v.Values))
  48. for i, value := range v.Values {
  49. v.values[value] = int32(i)
  50. }
  51. })
  52. if id, ok := v.values[s]; ok {
  53. return id
  54. }
  55. return -1
  56. }
  57. func (v *Vocabulary) Decode(id int32) string {
  58. return v.Values[id]
  59. }
  60. func (v *Vocabulary) SpecialVocabulary() []string {
  61. v.specialOnce.Do(func() {
  62. for i := range v.Values {
  63. if v.Types[i] == 3 {
  64. v.special = append(v.special, v.Values[i])
  65. }
  66. }
  67. })
  68. return v.special
  69. }
  70. func (v *Vocabulary) Merge(left, right string) int {
  71. v.mergeOnce.Do(func() {
  72. v.merge = make(map[string]int32, len(v.Merges))
  73. for i, merge := range v.Merges {
  74. v.merge[merge] = int32(i)
  75. }
  76. })
  77. if id, ok := v.merge[left+" "+right]; ok {
  78. return int(id)
  79. }
  80. return -1
  81. }
  82. type BytePairEncoding struct {
  83. pre *regexp2.Regexp
  84. vocab *Vocabulary
  85. }
  86. func NewBytePairEncoding(pre string, vocab *Vocabulary) BytePairEncoding {
  87. return BytePairEncoding{
  88. pre: regexp2.MustCompile(pre, regexp2.Unicode|regexp2.RE2),
  89. vocab: vocab,
  90. }
  91. }
  92. func (bpe BytePairEncoding) Is(id int32, special Special) bool {
  93. return bpe.vocab.Is(id, special)
  94. }
  95. func (bpe *BytePairEncoding) split(s string) iter.Seq[string] {
  96. return func(yield func(string) bool) {
  97. for m, _ := bpe.pre.FindStringMatch(s); m != nil; m, _ = bpe.pre.FindNextMatch(m) {
  98. if !yield(m.String()) {
  99. break
  100. }
  101. }
  102. }
  103. }
  104. // fragment is a string fragment and their corresponding token IDs
  105. type fragment struct {
  106. value string
  107. ids []int32
  108. }
  109. // pair is a pair of runes and its rank
  110. type pair struct {
  111. a, b int
  112. rank int
  113. value string
  114. }
  115. type merge struct {
  116. p, n int
  117. runes []rune
  118. }
  119. func (bpe BytePairEncoding) Encode(s string, addSpecial bool) ([]int32, error) {
  120. fragments := []fragment{{value: s}}
  121. for _, special := range bpe.vocab.SpecialVocabulary() {
  122. // TODO: process special tokens concurrently
  123. id := bpe.vocab.Encode(special)
  124. for i := 0; i < len(fragments); i++ {
  125. frag := fragments[i]
  126. if len(frag.ids) > 0 {
  127. continue
  128. }
  129. var middle []fragment
  130. switch i := strings.Index(frag.value, special); {
  131. case i < 0:
  132. middle = append(middle, frag)
  133. case i > 0:
  134. middle = append(middle, fragment{value: frag.value[:i]})
  135. fallthrough
  136. default:
  137. middle = append(middle, fragment{value: special, ids: []int32{id}})
  138. if rest := frag.value[i+len(special):]; rest != "" {
  139. middle = append(middle, fragment{value: rest})
  140. }
  141. }
  142. fragments = append(fragments[:i], append(middle, fragments[i+1:]...)...)
  143. }
  144. }
  145. var ids []int32
  146. for _, frag := range fragments {
  147. if len(frag.ids) > 0 {
  148. ids = append(ids, frag.ids...)
  149. slog.Debug("encoded", "text", frag.value, "ids", frag.ids, "special", true)
  150. continue
  151. }
  152. for split := range bpe.split(frag.value) {
  153. // TODO: process splits concurrently
  154. var sb strings.Builder
  155. for _, b := range []byte(split) {
  156. r := rune(b)
  157. switch {
  158. case r == 0x00ad:
  159. r = 0x0143
  160. case r <= 0x0020:
  161. r = r + 0x0100
  162. case r >= 0x007e && r <= 0x00a0:
  163. r = r + 0x00a2
  164. }
  165. sb.WriteRune(r)
  166. }
  167. // short circuit if the fragment is in the vocabulary
  168. if id := bpe.vocab.Encode(sb.String()); id >= 0 {
  169. ids = append(ids, id)
  170. slog.Debug("encoded", "text", sb.String(), "ids", []int32{id})
  171. continue
  172. }
  173. runes := []rune(sb.String())
  174. merges := make([]merge, len(runes))
  175. for r := range runes {
  176. merges[r] = merge{
  177. p: r - 1,
  178. n: r + 1,
  179. runes: []rune{runes[r]},
  180. }
  181. }
  182. pairwise := func(a, b int) *pair {
  183. if a < 0 || b >= len(runes) {
  184. return nil
  185. }
  186. left, right := string(merges[a].runes), string(merges[b].runes)
  187. rank := bpe.vocab.Merge(left, right)
  188. if rank < 0 {
  189. return nil
  190. }
  191. return &pair{
  192. a: a,
  193. b: b,
  194. rank: rank,
  195. value: left + right,
  196. }
  197. }
  198. pairs := heap.NewWith(func(i, j *pair) int {
  199. return cmp.Compare(i.rank, j.rank)
  200. })
  201. for i := range len(runes) - 1 {
  202. if pair := pairwise(i, i+1); pair != nil {
  203. pairs.Push(pair)
  204. }
  205. }
  206. for !pairs.Empty() {
  207. pair, _ := pairs.Pop()
  208. left, right := merges[pair.a], merges[pair.b]
  209. if len(left.runes) == 0 || len(right.runes) == 0 ||
  210. string(left.runes)+string(right.runes) != pair.value {
  211. continue
  212. }
  213. merges[pair.a].runes = append(left.runes, right.runes...)
  214. merges[pair.b].runes = nil
  215. merges[pair.a].n = right.n
  216. if right.n < len(merges) {
  217. merges[right.n].p = pair.a
  218. }
  219. if pair := pairwise(merges[pair.a].p, pair.a); pair != nil {
  220. pairs.Push(pair)
  221. }
  222. if pair := pairwise(pair.a, merges[pair.a].n); pair != nil {
  223. pairs.Push(pair)
  224. }
  225. }
  226. for _, merge := range merges {
  227. if len(merge.runes) > 0 {
  228. // TODO: handle the edge case where the rune isn't in the vocabulary
  229. if id := bpe.vocab.Encode(string(merge.runes)); id >= 0 {
  230. ids = append(ids, id)
  231. slog.Debug("encoded", "text", string(merge.runes), "ids", []int32{id})
  232. }
  233. }
  234. }
  235. }
  236. }
  237. if addSpecial && len(ids) > 0 {
  238. if bpe.vocab.AddBOS {
  239. if ids[0] == bpe.vocab.BOS {
  240. slog.Warn("adding bos token to prompt which already has it", "id", bpe.vocab.BOS)
  241. }
  242. slog.Debug("adding bos token to prompt", "id", bpe.vocab.BOS)
  243. ids = append([]int32{bpe.vocab.BOS}, ids...)
  244. }
  245. if bpe.vocab.AddEOS {
  246. if ids[len(ids)-1] == bpe.vocab.EOS {
  247. slog.Warn("adding eos token to prompt which already has it", "id", bpe.vocab.EOS)
  248. }
  249. slog.Debug("adding eos token to prompt", "id", bpe.vocab.EOS)
  250. ids = append(ids, bpe.vocab.EOS)
  251. }
  252. }
  253. return ids, nil
  254. }
  255. func (bpe BytePairEncoding) Decode(ids []int32) (string, error) {
  256. var sb strings.Builder
  257. for _, id := range ids {
  258. for _, r := range bpe.vocab.Decode(id) {
  259. switch {
  260. case r == 0x0100:
  261. // this produces 0x00 aka NULL
  262. continue
  263. case r == 0x0143:
  264. r = 0x00ad
  265. case r > 0x0100 && r <= 0x0120:
  266. r = r - 0x0100
  267. case r > 0x0120 && r <= 0x0142:
  268. r = r - 0x00a2
  269. }
  270. // NOTE: not using WriteRune here because it writes the UTF-8
  271. // encoding of the rune which is _not_ what we want
  272. if err := sb.WriteByte(byte(r)); err != nil {
  273. return "", err
  274. }
  275. }
  276. }
  277. slog.Debug("decoded", "ids", ids, "text", sb.String())
  278. return sb.String(), nil
  279. }