transforms.go 4.42 KB
Newer Older
1
2
3
4
5
6
7
package sample

import (
	"math"
	"slices"
)

8
9
10
11
12
13
14
15
16
17
18
19
// temperature applies scaling and softmax to the logits
func temperature(ts []token, temp float32) []token {
	// Find max logit for numerical stability
	maxLogit := float32(math.Inf(-1))
	for _, t := range ts {
		if t.value > maxLogit {
			maxLogit = t.value
		}
	}

	// Apply temperature and compute exp(x - max)
	temp = max(temp, 1e-7)
20
21
	var sum float32
	for i, v := range ts {
22
		ts[i].value = float32(math.Exp(float64((v.value - maxLogit) / temp)))
23
		sum += ts[i].value
24
25
	}

26
	// Normalize
27
28
	for i := range ts {
		ts[i].value /= sum
29
30
	}

31
	return ts
32
33
}

34
35
36
37
38
39
40
41
42
43
44
// siftDown maintains a min-heap property by recursively moving larger elements down the heap.
//
// The heap is represented as an array where for any node at index i:
// - Left child is at index 2i + 1
// - Right child is at index 2i + 2
// - Parent is at index (i-1)/2
//
// The function compares a node with its children and:
// 1. Finds the smallest value between the node and its children
// 2. If the node is not the smallest, swaps it with its smallest child
// 3. Continues this process down the affected path until the min-heap property is restored
45
func siftDown(data []token, start, end int) {
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
	root := start
	for {
		child := 2*root + 1
		if child >= end {
			break
		}
		// Find smaller child (we want min heap)
		if child+1 < end && data[child+1].value < data[child].value {
			child++
		}
		// Exit if root is already smaller than children
		if data[root].value <= data[child].value {
			break
		}
		// Swap with smaller child and continue
		data[root], data[child] = data[child], data[root]
		root = child
	}
64
65
}

66
// topK limits the number of tokens considered to the k highest logits
67
func topK(ts []token, k int) []token {
68
69
70
71
72
73
74
75
	if k >= len(ts) {
		return ts
	}
	// Heapify + siftDown - O(nlog(k))
	// Build min-heap of first k elements
	heap := ts[:k]
	for i := k/2 - 1; i >= 0; i-- {
		siftDown(heap, i, k)
76
77
	}

78
79
80
81
82
83
	// Process remaining elements - if larger than heap root, replace root
	for i := k; i < len(ts); i++ {
		if ts[i].value > heap[0].value {
			heap[0] = ts[i]
			siftDown(heap, 0, k)
		}
84
85
	}

86
87
88
89
90
91
92
	slices.Reverse(heap)

	ts = heap
	return ts
}

// topP limits tokens to those with cumulative probability p
93
func topP(ts []token, p float32) []token {
94
95
	if p == 1.0 {
		return ts
96
97
	}

98
99
100
101
102
103
104
	// Find cutoff index where cumulative sum exceeds p
	var sum float32
	for i, t := range ts {
		sum += t.value
		if sum > float32(p) {
			ts = ts[:i+1]
			return ts
105
106
107
		}
	}

108
	return ts
109
110
}

111
// minP limits tokens to those with cumulative probability p
112
func minP(ts []token, p float32) []token {
113
114
115
	if p == 1.0 {
		return ts
	}
116

117
118
119
120
121
	maxProb := float32(math.Inf(-1))
	for _, token := range ts {
		if token.value > maxProb {
			maxProb = token.value
		}
122
123
	}

124
	threshold := maxProb * float32(p)
125

126
127
128
129
130
	// Filter tokens in-place
	validTokens := ts[:0]
	for i, token := range ts {
		if token.value >= threshold {
			validTokens = append(validTokens, ts[i])
131
132
133
		}
	}

134
135
136
	ts = validTokens
	return ts
}
137

138
// TODO(parthsareen): possibly replace with simpler implementation https://github.com/ollama/ollama/issues/9584
139
140
// sortLogits sorts implementation to sort tokens by logits using counting sort
// counting sort is faster than built-in sort for this use case
141
func sortLogits(tokens []token) {
142
143
144
	if len(tokens) <= 1 {
		return
	}
145

146
147
148
149
150
151
152
	// Find max/min in a single pass
	minLogit, maxLogit := tokens[0].value, tokens[0].value
	for _, t := range tokens[1:] {
		if t.value < minLogit {
			minLogit = t.value
		} else if t.value > maxLogit {
			maxLogit = t.value
153
154
155
		}
	}

156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
	// Calculate scaling to map to uint32 range
	logitRange := maxLogit - minLogit
	if logitRange < 1e-6 {
		return // All values effectively equal
	}

	// Count frequencies directly from tokens
	const maxInt = (1 << 24) - 1 // Use 24 bits for good granularity
	var counts [256]int          // For first byte

	// First pass: count frequencies
	for _, t := range tokens {
		// Map to [0, maxInt] range
		score := min(uint32((t.value-minLogit)*float32(maxInt)/logitRange), maxInt)
		counts[score>>16]++
	}

	// Calculate offsets
	var offset int
	for i := range counts {
		count := counts[i]
		counts[i] = offset
		offset += count
	}

	// Second pass: place elements in correct position
182
	output := make([]token, len(tokens))
183
184
185
186
187
188
189
190
191
192
193
194
	// Track current positions
	countsCopy := counts

	for i, t := range tokens {
		score := min(uint32((t.value-minLogit)*float32(maxInt)/logitRange), maxInt)

		pos := countsCopy[score>>16]
		countsCopy[score>>16]++
		output[len(tokens)-1-pos] = tokens[i]
	}

	copy(tokens, output)
195
}