Coverage Report

Created: 2026-06-13 06:24

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/src/llama.cpp/common/sampling.cpp
Line
Count
Source
1
#include "sampling.h"
2
3
#include "common.h"
4
#include "fit.h"
5
#include "log.h"
6
#include "reasoning-budget.h"
7
8
#include "ggml.h"
9
10
#include <algorithm>
11
#include <cctype>
12
#include <climits>
13
#include <cmath>
14
#include <cstring>
15
#include <unordered_map>
16
#include <vector>
17
18
// the ring buffer works similarly to std::deque, but with a fixed capacity
19
// TODO: deduplicate with llama-impl.h
20
template<typename T>
21
struct ring_buffer {
22
0
    ring_buffer(size_t cap) : capacity(cap), data(cap) {}
23
24
    T & front() {
25
        if (sz == 0) {
26
            throw std::runtime_error("ring buffer is empty");
27
        }
28
        return data[first];
29
    }
30
31
    const T & front() const {
32
        if (sz == 0) {
33
            throw std::runtime_error("ring buffer is empty");
34
        }
35
        return data[first];
36
    }
37
38
    T & back() {
39
        if (sz == 0) {
40
            throw std::runtime_error("ring buffer is empty");
41
        }
42
        return data[pos];
43
    }
44
45
    const T & back() const {
46
        if (sz == 0) {
47
            throw std::runtime_error("ring buffer is empty");
48
        }
49
        return data[pos];
50
    }
51
52
0
    void push_back(const T & value) {
53
0
        if (sz == capacity) {
54
            // advance the start when buffer is full
55
0
            first = (first + 1) % capacity;
56
0
        } else {
57
0
            sz++;
58
0
        }
59
0
        data[pos] = value;
60
0
        pos = (pos + 1) % capacity;
61
0
    }
62
63
    T pop_front() {
64
        if (sz == 0) {
65
            throw std::runtime_error("ring buffer is empty");
66
        }
67
        T value = data[first];
68
        first = (first + 1) % capacity;
69
        sz--;
70
        return value;
71
    }
72
73
0
    const T & rat(size_t i) const {
74
0
        if (i >= sz) {
75
0
            throw std::runtime_error("ring buffer: index out of bounds");
76
0
        }
77
0
        return data[(first + sz - i - 1) % capacity];
78
0
    }
79
80
    std::vector<T> to_vector() const {
81
        std::vector<T> result;
82
        result.reserve(sz);
83
        for (size_t i = 0; i < sz; i++) {
84
            result.push_back(data[(first + i) % capacity]);
85
        }
86
        return result;
87
    }
88
89
0
    void clear() {
90
        // here only reset the status of the buffer
91
0
        sz = 0;
92
0
        first = 0;
93
0
        pos = 0;
94
0
    }
95
96
    bool empty() const {
97
        return sz == 0;
98
    }
99
100
0
    size_t size() const {
101
0
        return sz;
102
0
    }
103
104
    size_t capacity = 0;
105
    size_t sz = 0;
106
    size_t first = 0;
107
    size_t pos = 0;
108
    std::vector<T> data;
109
};
110
111
struct common_sampler {
112
    common_params_sampling params;
113
114
    struct llama_sampler * grmr;
115
    struct llama_sampler * rbudget;
116
    struct llama_sampler * chain;
117
118
    ring_buffer<llama_token> prev;
119
120
    std::vector<llama_token_data> cur;
121
122
    llama_token_data_array cur_p;
123
124
0
    void reset() {
125
0
        prev.clear();
126
127
0
        llama_sampler_reset(chain);
128
0
    }
129
130
0
    void set_logits(struct llama_context * ctx, int idx) {
131
0
        const float *       sampled_probs  = llama_get_sampled_probs_ith     (ctx, idx);
132
0
        const float *       sampled_logits = llama_get_sampled_logits_ith    (ctx, idx);
133
0
        const llama_token * sampled_ids    = llama_get_sampled_candidates_ith(ctx, idx);
134
135
0
        const llama_model * model = llama_get_model(ctx);
136
0
        const llama_vocab * vocab = llama_model_get_vocab(model);
137
138
0
        const int n_vocab = llama_vocab_n_tokens(vocab);
139
140
0
        if (sampled_probs) {
141
0
            const uint32_t sampled_probs_count = llama_get_sampled_probs_count_ith(ctx, idx);
142
0
            cur.resize(sampled_probs_count);
143
0
            for (uint32_t i = 0; i < sampled_probs_count; ++i) {
144
0
                cur[i] = llama_token_data{sampled_ids[i], sampled_logits[i], sampled_probs[i]};
145
0
            }
146
0
        } else if (sampled_logits) {
147
0
            const uint32_t sampled_logits_count = llama_get_sampled_logits_count_ith(ctx, idx);
148
0
            cur.resize(sampled_logits_count);
149
0
            for (uint32_t i = 0; i < sampled_logits_count; i++) {
150
0
                cur[i] = llama_token_data{sampled_ids[i], sampled_logits[i], 0.0f};
151
0
            }
152
0
        } else {
153
0
            const auto * logits = llama_get_logits_ith(ctx, idx);
154
0
            GGML_ASSERT(logits != nullptr);
155
0
            cur.resize(n_vocab);
156
0
            for (llama_token token_id = 0; token_id < n_vocab; token_id++) {
157
0
                cur[token_id] = llama_token_data{token_id, logits[token_id], 0.0f};
158
0
            }
159
0
        }
160
161
0
        cur_p = { cur.data(), cur.size(), -1, false };
162
0
    }
163
164
0
    common_time_meas tm() {
165
0
        return common_time_meas(t_total_us, params.no_perf);
166
0
    }
167
168
    mutable int64_t t_total_us = 0;
169
};
170
171
0
std::string common_params_sampling::print() const {
172
0
    char result[1024];
173
174
0
    snprintf(result, sizeof(result),
175
0
            "\trepeat_last_n = %d, repeat_penalty = %.3f, frequency_penalty = %.3f, presence_penalty = %.3f\n"
176
0
            "\tdry_multiplier = %.3f, dry_base = %.3f, dry_allowed_length = %d, dry_penalty_last_n = %d\n"
177
0
            "\ttop_k = %d, top_p = %.3f, min_p = %.3f, xtc_probability = %.3f, xtc_threshold = %.3f, typical_p = %.3f, top_n_sigma = %.3f, temp = %.3f\n"
178
0
            "\tmirostat = %d, mirostat_lr = %.3f, mirostat_ent = %.3f, adaptive_target = %.3f, adaptive_decay = %.3f",
179
0
            penalty_last_n, penalty_repeat, penalty_freq, penalty_present,
180
0
            dry_multiplier, dry_base, dry_allowed_length, dry_penalty_last_n,
181
0
            top_k, top_p, min_p, xtc_probability, xtc_threshold, typ_p, top_n_sigma, temp,
182
0
            mirostat, mirostat_eta, mirostat_tau, adaptive_target, adaptive_decay);
183
184
0
    return std::string(result);
185
0
}
186
187
0
struct common_sampler * common_sampler_init(const struct llama_model * model, struct common_params_sampling & params) {
188
0
    const llama_vocab * vocab = llama_model_get_vocab(model);
189
190
0
    llama_sampler_chain_params lparams = llama_sampler_chain_default_params();
191
192
0
    lparams.no_perf = params.no_perf;
193
194
0
    llama_sampler * grmr = nullptr;
195
0
    llama_sampler * rbudget = nullptr;
196
0
    llama_sampler * chain = llama_sampler_chain_init(lparams);
197
198
0
    std::vector<llama_sampler *> samplers;
199
200
0
    const std::string & grammar_str = common_grammar_value(params.grammar);
201
0
    if (grammar_str.compare(0, 11, "%llguidance") == 0) {
202
#ifdef LLAMA_USE_LLGUIDANCE
203
        grmr = llama_sampler_init_llg(vocab, "lark", grammar_str.c_str());
204
#else
205
0
        GGML_ABORT("llguidance (cmake -DLLAMA_LLGUIDANCE=ON) is not enabled");
206
0
#endif // LLAMA_USE_LLGUIDANCE
207
0
    } else {
208
0
        std::vector<std::string> trigger_patterns;
209
0
        std::vector<llama_token> trigger_tokens;
210
0
        for (const auto & trigger : params.grammar_triggers) {
211
0
            switch (trigger.type) {
212
0
                case COMMON_GRAMMAR_TRIGGER_TYPE_WORD:
213
0
                {
214
0
                    const auto & word = trigger.value;
215
0
                    trigger_patterns.push_back(regex_escape(word));
216
0
                    break;
217
0
                }
218
0
                case COMMON_GRAMMAR_TRIGGER_TYPE_PATTERN:
219
0
                {
220
0
                    trigger_patterns.push_back(trigger.value);
221
0
                    break;
222
0
                }
223
0
                case COMMON_GRAMMAR_TRIGGER_TYPE_PATTERN_FULL:
224
0
                {
225
0
                    const auto & pattern = trigger.value;
226
0
                    std::string anchored = "^$";
227
0
                    if (!pattern.empty()) {
228
0
                        anchored = (pattern.front() != '^' ? "^" : "")
229
0
                            + pattern
230
0
                            + (pattern.back() != '$' ? "$" : "");
231
0
                    }
232
0
                    trigger_patterns.push_back(anchored);
233
0
                    break;
234
0
                }
235
0
                case COMMON_GRAMMAR_TRIGGER_TYPE_TOKEN:
236
0
                {
237
0
                    const auto token = trigger.token;
238
0
                    trigger_tokens.push_back(token);
239
0
                    break;
240
0
                }
241
0
                default:
242
0
                    GGML_ASSERT(false && "unknown trigger type");
243
0
            }
244
0
        }
245
246
0
        std::vector<const char *> trigger_patterns_c;
247
0
        trigger_patterns_c.reserve(trigger_patterns.size());
248
0
        for (const auto & regex : trigger_patterns) {
249
0
            trigger_patterns_c.push_back(regex.c_str());
250
0
        }
251
252
0
        if (!grammar_str.empty()) {
253
0
             if (params.grammar_lazy) {
254
0
                 grmr = llama_sampler_init_grammar_lazy_patterns(vocab, grammar_str.c_str(), "root",
255
0
                         trigger_patterns_c.data(), trigger_patterns_c.size(),
256
0
                         trigger_tokens.data(), trigger_tokens.size());
257
0
             } else {
258
0
                 grmr = llama_sampler_init_grammar(vocab, grammar_str.c_str(), "root");
259
0
             }
260
0
        }
261
0
    }
262
263
    // Compute prefill tokens from the generation prompt
264
0
    std::vector<llama_token> prefill_tokens;
265
0
    if (!params.generation_prompt.empty()) {
266
0
        GGML_ASSERT(vocab != nullptr);
267
0
        auto tokens = common_tokenize(vocab, params.generation_prompt, false, true);
268
0
        for (size_t i = 0; i < tokens.size(); i++) {
269
0
            std::string piece = common_token_to_piece(vocab, tokens[i], true);
270
0
            if (i == 0 && std::isspace(piece[0]) && !std::isspace(params.generation_prompt[0])) {
271
                // Some tokenizers will add a space before the first special token, need to exclude
272
0
                continue;
273
0
            }
274
0
            LOG_DBG("%s: prefill token: %d = %s\n", __func__, tokens[i], piece.c_str());
275
0
            prefill_tokens.push_back(tokens[i]);
276
0
        }
277
0
    }
278
279
    // Feed generation prompt tokens to the grammar sampler so it advances past
280
    // tokens the template already placed in the prompt.
281
    // Only applies to output-format and tool-call grammars; user-supplied grammars must not be prefilled.
282
0
    if (grmr && !params.grammar_lazy && common_grammar_needs_prefill(params.grammar)) {
283
0
        try {
284
0
            for (const auto & token : prefill_tokens) {
285
0
                llama_sampler_accept(grmr, token);
286
0
                LOG_DBG("%s: grammar accepted prefill token (%d)\n", __func__, token);
287
0
            }
288
0
        } catch (std::exception &e) {
289
0
            LOG_ERR("%s: error initializing grammar sampler for grammar:\n%s\n\nGeneration prompt:\n'%s'\n", __func__,
290
0
                common_grammar_value(params.grammar).c_str(), params.generation_prompt.c_str());
291
0
            throw e;
292
0
        }
293
0
    }
294
295
    // reasoning budget sampler (skip when budget is unlimited unless a lazy grammar is active, which needs rbudget for thinking-block suppression)
296
0
    if (!params.reasoning_budget_start.empty() && !params.reasoning_budget_end.empty() && (params.grammar_lazy || params.reasoning_budget_tokens >= 0 || params.reasoning_control)) {
297
0
        rbudget = common_reasoning_budget_init(
298
0
            vocab,
299
0
            params.reasoning_budget_start,
300
0
            params.reasoning_budget_end,
301
0
            params.reasoning_budget_forced,
302
0
            params.reasoning_budget_tokens < 0 ? INT_MAX : params.reasoning_budget_tokens);
303
304
0
        for (const auto & token : prefill_tokens) {
305
0
            llama_sampler_accept(rbudget, token);
306
0
            LOG_DBG("%s: reasoning-budget accepted prefill token (%d)\n", __func__, token);
307
0
        }
308
0
    }
309
310
0
    if (params.has_logit_bias()) {
311
0
        samplers.push_back(llama_sampler_init_logit_bias(llama_vocab_n_tokens(vocab), params.logit_bias.size(), params.logit_bias.data()));
312
0
    }
313
314
0
    if (params.mirostat == 0) {
315
316
0
        bool use_adaptive_p = false; // see below
317
318
0
        for (const auto & cnstr : params.samplers) {
319
0
            switch (cnstr) {
320
0
                case COMMON_SAMPLER_TYPE_DRY:
321
0
                    {
322
0
                        std::vector<const char *> c_breakers;
323
0
                        c_breakers.reserve(params.dry_sequence_breakers.size());
324
0
                        for (const auto & str : params.dry_sequence_breakers) {
325
0
                            c_breakers.push_back(str.c_str());
326
0
                        }
327
0
                        samplers.push_back(llama_sampler_init_dry(vocab, llama_model_n_ctx_train(model), params.dry_multiplier, params.dry_base, params.dry_allowed_length, params.dry_penalty_last_n, c_breakers.data(), c_breakers.size()));
328
0
                    }
329
0
                    break;
330
0
                case COMMON_SAMPLER_TYPE_TOP_K:
331
0
                    samplers.push_back(llama_sampler_init_top_k(params.top_k));
332
0
                    break;
333
0
                case COMMON_SAMPLER_TYPE_TOP_P:
334
0
                    samplers.push_back(llama_sampler_init_top_p(params.top_p, params.min_keep));
335
0
                    break;
336
0
                case COMMON_SAMPLER_TYPE_TOP_N_SIGMA:
337
0
                    samplers.push_back(llama_sampler_init_top_n_sigma(params.top_n_sigma));
338
0
                    break;
339
0
                case COMMON_SAMPLER_TYPE_MIN_P:
340
0
                    samplers.push_back(llama_sampler_init_min_p(params.min_p, params.min_keep));
341
0
                    break;
342
0
                case COMMON_SAMPLER_TYPE_XTC:
343
0
                    samplers.push_back(llama_sampler_init_xtc(params.xtc_probability, params.xtc_threshold, params.min_keep, params.seed));
344
0
                    break;
345
0
                case COMMON_SAMPLER_TYPE_TYPICAL_P:
346
0
                    samplers.push_back(llama_sampler_init_typical(params.typ_p, params.min_keep));
347
0
                    break;
348
0
                case COMMON_SAMPLER_TYPE_TEMPERATURE:
349
0
                    samplers.push_back(llama_sampler_init_temp_ext(params.temp, params.dynatemp_range, params.dynatemp_exponent));
350
0
                    break;
351
0
                case COMMON_SAMPLER_TYPE_INFILL:
352
0
                    samplers.push_back(llama_sampler_init_infill(vocab));
353
0
                    break;
354
0
                case COMMON_SAMPLER_TYPE_PENALTIES:
355
0
                    samplers.push_back(llama_sampler_init_penalties(params.penalty_last_n, params.penalty_repeat, params.penalty_freq, params.penalty_present));
356
0
                    break;
357
0
                case COMMON_SAMPLER_TYPE_ADAPTIVE_P:
358
                    // the `adaptive-p` sampler is like `dist` and `mirostat` in that it selects
359
                    // a single token, so we will add `dist` at the end of the chain by default,
360
                    // unless the user specifically included `adaptive-p`. we set this flag here
361
                    // so we know to add the sampler at the very end.
362
0
                    use_adaptive_p = true;
363
0
                    break;
364
0
                default:
365
0
                    GGML_ASSERT(false && "unknown sampler type");
366
0
            }
367
0
        }
368
0
        if (use_adaptive_p) {
369
            // only if user explicitly included adaptive-p sampler
370
0
            samplers.push_back(llama_sampler_init_adaptive_p(params.adaptive_target, params.adaptive_decay, params.seed));
371
0
        } else {
372
            // default: sample from distribution
373
0
            samplers.push_back(llama_sampler_init_dist(params.seed));
374
0
        }
375
0
    } else if (params.mirostat == 1) {
376
0
        samplers.push_back(llama_sampler_init_temp(params.temp));
377
0
        samplers.push_back(llama_sampler_init_mirostat(llama_vocab_n_tokens(vocab), params.seed, params.mirostat_tau, params.mirostat_eta, 100));
378
0
    } else if (params.mirostat == 2) {
379
0
        samplers.push_back(llama_sampler_init_temp(params.temp));
380
0
        samplers.push_back(llama_sampler_init_mirostat_v2(params.seed, params.mirostat_tau, params.mirostat_eta));
381
0
    } else {
382
0
        GGML_ASSERT(false && "unknown mirostat version");
383
0
    }
384
385
0
    for (auto * smpl : samplers) {
386
0
        llama_sampler_chain_add(chain, smpl);
387
0
    }
388
389
0
    if (grmr && params.backend_sampling) {
390
0
        LOG_WRN("%s: backend sampling is not compatible with grammar, disabling\n", __func__);
391
392
0
        params.backend_sampling = false;
393
0
    }
394
395
0
    if (rbudget && params.backend_sampling) {
396
0
        LOG_WRN("%s: backend sampling is not compatible with reasoning budget, disabling\n", __func__);
397
398
0
        params.backend_sampling = false;
399
0
    }
400
401
0
    auto * result = new common_sampler {
402
0
        /* .params  = */ params,
403
0
        /* .grmr    = */ grmr,
404
0
        /* .rbudget = */ rbudget,
405
0
        /* .chain   = */ chain,
406
0
        /* .prev    = */ ring_buffer<llama_token>(std::max(32, params.n_prev)),
407
0
        /* .cur     = */ {},
408
0
        /* .cur_p   = */ {},
409
0
    };
410
411
0
    return result;
412
0
}
413
414
0
void common_sampler_free(struct common_sampler * gsmpl) {
415
0
    if (!gsmpl) {
416
0
        return;
417
0
    }
418
419
0
    llama_sampler_free(gsmpl->grmr);
420
0
    llama_sampler_free(gsmpl->rbudget);
421
0
    llama_sampler_free(gsmpl->chain);
422
423
0
    delete gsmpl;
424
0
}
425
426
0
static bool grammar_should_apply(struct common_sampler * gsmpl) {
427
0
    if (!gsmpl->grmr) {
428
0
        return false;
429
0
    }
430
0
    if (!gsmpl->rbudget) {
431
0
        return true;
432
0
    }
433
0
    if (gsmpl->params.grammar_lazy) {
434
        // if grammar is lazy, only apply when reasoning budget is not active
435
0
        const auto state = common_reasoning_budget_get_state(gsmpl->rbudget);
436
0
        return state == REASONING_BUDGET_IDLE || state == REASONING_BUDGET_DONE;
437
0
    }
438
0
    return true;
439
0
}
440
441
0
void common_sampler_accept(struct common_sampler * gsmpl, llama_token token, bool is_generated) {
442
0
    if (!gsmpl) {
443
0
        return;
444
0
    }
445
446
0
    const auto tm = gsmpl->tm();
447
448
    // grammar_should_apply() checks the reasoning budget state, so calculate this before we accept
449
0
    const auto accept_grammar = is_generated && grammar_should_apply(gsmpl);
450
451
0
    if (gsmpl->rbudget && is_generated) {
452
0
        llama_sampler_accept(gsmpl->rbudget, token);
453
0
    }
454
455
0
    if (gsmpl->grmr && accept_grammar) {
456
0
        llama_sampler_accept(gsmpl->grmr, token);
457
0
    }
458
459
0
    llama_sampler_accept(gsmpl->chain, token);
460
461
0
    gsmpl->prev.push_back(token);
462
0
}
463
464
0
void common_sampler_reset(struct common_sampler * gsmpl) {
465
0
    if (!gsmpl) {
466
0
        return;
467
0
    }
468
469
0
    gsmpl->reset();
470
0
}
471
472
0
struct common_sampler * common_sampler_clone(common_sampler * gsmpl) {
473
0
    return new common_sampler {
474
0
        /* .params  = */ gsmpl->params,
475
0
        /* .grmr    = */ llama_sampler_clone(gsmpl->grmr),
476
0
        /* .rbudget = */ llama_sampler_clone(gsmpl->rbudget),
477
0
        /* .chain   = */ llama_sampler_clone(gsmpl->chain),
478
0
        /* .prev    = */ gsmpl->prev,
479
0
        /* .cur     = */ gsmpl->cur,
480
0
        /* .cur_p   = */ gsmpl->cur_p,
481
0
    };
482
0
}
483
484
0
void common_perf_print(const struct llama_context * ctx, const struct common_sampler * gsmpl) {
485
    // TODO: measure grammar performance
486
487
0
    const double t_sampling_ms = gsmpl ? 1e-3*gsmpl->t_total_us : 0;
488
489
0
    llama_perf_sampler_data data_smpl;
490
0
    llama_perf_context_data data_ctx;
491
492
0
    memset(&data_smpl, 0, sizeof(data_smpl));
493
0
    memset(&data_ctx,  0, sizeof(data_ctx));
494
495
0
    if (gsmpl) {
496
0
        auto & data = data_smpl;
497
498
0
        data = llama_perf_sampler(gsmpl->chain);
499
500
        // note: the sampling time includes the samplers time + extra time spent in common/sampling
501
0
        LOG_INF("%s:    sampling time = %10.2f ms\n", __func__, t_sampling_ms);
502
0
        LOG_INF("%s:    samplers time = %10.2f ms / %5d tokens\n", __func__, data.t_sample_ms, data.n_sample);
503
0
    }
504
505
0
    if (ctx) {
506
0
        auto & data = data_ctx;
507
508
0
        data = llama_perf_context(ctx);
509
510
0
        const double t_end_ms = 1e-3 * ggml_time_us();
511
512
0
        const double t_total_ms = t_end_ms - data.t_start_ms;
513
0
        const double t_unacc_ms = t_total_ms - (t_sampling_ms + data.t_p_eval_ms + data.t_eval_ms);
514
0
        const double t_unacc_pc = 100.0 * t_unacc_ms /  t_total_ms;
515
516
0
        LOG_INF("%s:        load time = %10.2f ms\n", __func__, data.t_load_ms);
517
0
        LOG_INF("%s: prompt eval time = %10.2f ms / %5d tokens (%8.2f ms per token, %8.2f tokens per second)\n",
518
0
                __func__, data.t_p_eval_ms, data.n_p_eval, data.t_p_eval_ms / data.n_p_eval, 1e3 / data.t_p_eval_ms * data.n_p_eval);
519
0
        LOG_INF("%s:        eval time = %10.2f ms / %5d runs   (%8.2f ms per token, %8.2f tokens per second)\n",
520
0
                __func__, data.t_eval_ms, data.n_eval, data.t_eval_ms / data.n_eval, 1e3 / data.t_eval_ms * data.n_eval);
521
0
        LOG_INF("%s:       total time = %10.2f ms / %5d tokens\n", __func__, (t_end_ms - data.t_start_ms), (data.n_p_eval + data.n_eval));
522
0
        LOG_INF("%s: unaccounted time = %10.2f ms / %5.1f %%      (total - sampling - prompt eval - eval) / (total)\n", __func__, t_unacc_ms, t_unacc_pc);
523
0
        LOG_INF("%s:    graphs reused = %10d\n", __func__, data.n_reused);
524
525
0
        common_memory_breakdown_print(ctx);
526
0
    }
527
0
}
528
529
0
struct llama_sampler * common_sampler_get(const struct common_sampler * gsmpl) {
530
0
    if (!gsmpl) {
531
0
        return nullptr;
532
0
    }
533
534
0
    return gsmpl->chain;
535
0
}
536
537
0
llama_token common_sampler_sample(struct common_sampler * gsmpl, struct llama_context * ctx, int idx, bool grammar_first) {
538
0
    llama_synchronize(ctx);
539
540
    // start measuring sampling time after the llama_context synchronization in order to not measure any ongoing async operations
541
0
    const auto tm = gsmpl->tm();
542
543
0
    llama_token id = LLAMA_TOKEN_NULL;
544
545
0
    auto & grmr  = gsmpl->grmr;
546
0
    auto & rbudget = gsmpl->rbudget;
547
0
    auto & chain = gsmpl->chain;
548
0
    auto & cur_p = gsmpl->cur_p; // initialized by set_logits
549
550
0
    gsmpl->set_logits(ctx, idx);
551
552
    // Check if a backend sampler has already sampled a token in which case we
553
    // return that token id directly.
554
0
    {
555
0
        id = llama_get_sampled_token_ith(ctx, idx);
556
557
0
        if (id != LLAMA_TOKEN_NULL) {
558
0
            LOG_DBG("%s: Backend sampler selected token: '%d'. Will not run any CPU samplers\n", __func__, id);
559
560
0
            GGML_ASSERT(!gsmpl->grmr    && "using grammar in combination with backend sampling is not supported");
561
0
            GGML_ASSERT(!gsmpl->rbudget && "using reasoning budget in combination with backend sampling is not supported");
562
563
0
            for (size_t i = 0; i < cur_p.size; ++i) {
564
0
                if (cur_p.data[i].id == id) {
565
0
                    cur_p.selected = i;
566
0
                    break;
567
0
                }
568
0
            }
569
570
0
            return id;
571
0
        }
572
0
    }
573
574
    // apply reasoning budget first
575
0
    llama_sampler_apply(rbudget, &cur_p);
576
577
0
    if (grammar_first && grammar_should_apply(gsmpl)) {
578
0
        llama_sampler_apply(grmr, &cur_p);
579
0
    }
580
581
0
    llama_sampler_apply(chain, &cur_p);
582
583
0
    id = cur_p.data[cur_p.selected].id;
584
585
0
    if (grammar_first || !grammar_should_apply(gsmpl)) {
586
0
        return id;
587
0
    }
588
589
    // check if it the sampled token fits the grammar (grammar-based rejection sampling)
590
0
    {
591
0
        llama_token_data       single_token_data       = { id, 1.0f, 0.0f };
592
0
        llama_token_data_array single_token_data_array = { &single_token_data, 1, -1, false };
593
594
0
        llama_sampler_apply(grmr, &single_token_data_array);
595
596
0
        const bool is_valid = single_token_data_array.data[0].logit != -INFINITY;
597
0
        if (is_valid) {
598
0
            return id;
599
0
        }
600
0
    }
601
602
    // resampling:
603
    // if the token is not valid, sample again, but first apply the grammar sampler and then the sampling chain
604
0
    gsmpl->set_logits(ctx, idx);
605
606
0
    llama_sampler_apply(rbudget,  &cur_p);
607
608
0
    if (grammar_should_apply(gsmpl)) {
609
0
        llama_sampler_apply(grmr,  &cur_p);
610
0
    }
611
612
0
    llama_sampler_apply(chain, &cur_p);
613
614
0
    GGML_ASSERT(cur_p.selected != -1 && "no selected token during sampling - check your sampling configuration");
615
616
0
    id = cur_p.data[cur_p.selected].id;
617
618
0
    return id;
619
0
}
620
621
0
std::vector<llama_token> common_sampler_sample_and_accept_n(struct common_sampler * gsmpl, struct llama_context * ctx, const std::vector<int> & idxs, const llama_tokens & draft, bool grammar_first) {
622
0
    GGML_ASSERT(idxs.size() == draft.size() + 1 && "idxs.size() must be draft.size() + 1");
623
624
0
    std::vector<llama_token> result;
625
0
    result.reserve(idxs.size());
626
627
0
    size_t i = 0;
628
0
    for (; i < draft.size(); i++) {
629
0
        const llama_token id = common_sampler_sample(gsmpl, ctx, idxs[i], grammar_first);
630
631
0
        common_sampler_accept(gsmpl, id, true);
632
633
0
        result.push_back(id);
634
635
0
        if (draft[i] != id) {
636
0
            break;
637
0
        }
638
0
    }
639
640
0
    if (i == draft.size()) {
641
0
        const llama_token id = common_sampler_sample(gsmpl, ctx, idxs[i], grammar_first);
642
643
0
        common_sampler_accept(gsmpl, id, true);
644
645
0
        result.push_back(id);
646
0
    }
647
648
0
    return result;
649
0
}
650
651
0
std::vector<llama_token> common_sampler_sample_and_accept_n(struct common_sampler * gsmpl, struct llama_context * ctx, const llama_tokens & draft, bool grammar_first) {
652
0
    std::vector<int> idxs(draft.size() + 1);
653
0
    for (size_t i = 0; i < idxs.size(); ++i) {
654
0
        idxs[i] = i;
655
0
    }
656
657
0
    return common_sampler_sample_and_accept_n(gsmpl, ctx, idxs, draft, grammar_first);
658
0
}
659
660
0
uint32_t common_sampler_get_seed(const struct common_sampler * gsmpl) {
661
0
    return llama_sampler_get_seed(gsmpl->chain);
662
0
}
663
664
0
bool common_sampler_reasoning_budget_force(struct common_sampler * gsmpl) {
665
0
    if (!gsmpl) {
666
0
        return false;
667
0
    }
668
669
0
    return common_reasoning_budget_force(gsmpl->rbudget);
670
0
}
671
672
// helpers
673
674
0
llama_token_data_array * common_sampler_get_candidates(struct common_sampler * gsmpl, bool do_sort) {
675
0
    const auto tm = gsmpl->tm();
676
677
0
    auto * res = &gsmpl->cur_p;
678
679
0
    if (do_sort && !res->sorted) {
680
        // remember the selected token before sorting
681
0
        const llama_token id = res->data[res->selected].id;
682
683
0
        std::sort(res->data, res->data + res->size, [](const llama_token_data & a, const llama_token_data & b) {
684
0
            return a.p > b.p;
685
0
        });
686
687
        // restore the selected token after sorting
688
0
        for (size_t i = 0; i < res->size; ++i) {
689
0
            if (res->data[i].id == id) {
690
0
                res->selected = i;
691
0
                break;
692
0
            }
693
0
        }
694
695
0
        res->sorted = true;
696
0
    }
697
698
0
    return res;
699
0
}
700
701
0
llama_token common_sampler_last(const struct common_sampler * gsmpl) {
702
0
    return gsmpl->prev.rat(0);
703
0
}
704
705
0
std::string common_sampler_print(const struct common_sampler * gsmpl) {
706
0
    std::string result = "logits ";
707
708
0
    for (int i = 0; i < llama_sampler_chain_n(gsmpl->chain); i++) {
709
0
        const auto * smpl = llama_sampler_chain_get(gsmpl->chain, i);
710
0
        result += std::string("-> ");
711
0
        result += std::string(llama_sampler_name(smpl)) + " ";
712
0
    }
713
714
0
    return result;
715
0
}
716
717
0
std::string common_sampler_prev_str(common_sampler * gsmpl, llama_context * ctx_main, int n) {
718
0
    n = std::min(n, (int) gsmpl->prev.size());
719
720
0
    if (n <= 0) {
721
0
        return "";
722
0
    }
723
724
0
    std::string result;
725
0
    result.reserve(8*n); // 8 is the average length of a token [citation needed], TODO: compute this from the vocab
726
727
0
    for (int i = n - 1; i >= 0; i--) {
728
0
        const llama_token id = gsmpl->prev.rat(i);
729
730
0
        GGML_ASSERT(id != LLAMA_TOKEN_NULL && "null token in the sampling history - should not happen");
731
732
0
        result += common_token_to_piece(ctx_main, id);
733
0
    }
734
735
0
    return result;
736
0
}
737
738
0
char common_sampler_type_to_chr(enum common_sampler_type cnstr) {
739
0
    switch (cnstr) {
740
0
        case COMMON_SAMPLER_TYPE_DRY:         return 'd';
741
0
        case COMMON_SAMPLER_TYPE_TOP_K:       return 'k';
742
0
        case COMMON_SAMPLER_TYPE_TYPICAL_P:   return 'y';
743
0
        case COMMON_SAMPLER_TYPE_TOP_P:       return 'p';
744
0
        case COMMON_SAMPLER_TYPE_TOP_N_SIGMA: return 's';
745
0
        case COMMON_SAMPLER_TYPE_MIN_P:       return 'm';
746
0
        case COMMON_SAMPLER_TYPE_TEMPERATURE: return 't';
747
0
        case COMMON_SAMPLER_TYPE_XTC:         return 'x';
748
0
        case COMMON_SAMPLER_TYPE_INFILL:      return 'i';
749
0
        case COMMON_SAMPLER_TYPE_PENALTIES:   return 'e';
750
0
        case COMMON_SAMPLER_TYPE_ADAPTIVE_P:  return 'a';
751
0
        default : return '?';
752
0
    }
753
0
}
754
755
0
std::string common_sampler_type_to_str(enum common_sampler_type cnstr) {
756
0
    switch (cnstr) {
757
0
        case COMMON_SAMPLER_TYPE_DRY:         return "dry";
758
0
        case COMMON_SAMPLER_TYPE_TOP_K:       return "top_k";
759
0
        case COMMON_SAMPLER_TYPE_TYPICAL_P:   return "typ_p";
760
0
        case COMMON_SAMPLER_TYPE_TOP_P:       return "top_p";
761
0
        case COMMON_SAMPLER_TYPE_TOP_N_SIGMA: return "top_n_sigma";
762
0
        case COMMON_SAMPLER_TYPE_MIN_P:       return "min_p";
763
0
        case COMMON_SAMPLER_TYPE_TEMPERATURE: return "temperature";
764
0
        case COMMON_SAMPLER_TYPE_XTC:         return "xtc";
765
0
        case COMMON_SAMPLER_TYPE_INFILL:      return "infill";
766
0
        case COMMON_SAMPLER_TYPE_PENALTIES:   return "penalties";
767
0
        case COMMON_SAMPLER_TYPE_ADAPTIVE_P:  return "adaptive_p";
768
0
        default : return "";
769
0
    }
770
0
}
771
772
0
std::vector<common_sampler_type> common_sampler_types_from_names(const std::vector<std::string> & names) {
773
    // sampler names can be written multiple ways; generate aliases from canonical names
774
0
    static const auto sampler_name_map = []{
775
        // canonical sampler name mapping
776
0
        std::unordered_map<std::string, common_sampler_type> canonical_name_map {
777
0
            { "dry",         COMMON_SAMPLER_TYPE_DRY         },
778
0
            { "top_k",       COMMON_SAMPLER_TYPE_TOP_K       },
779
0
            { "top_p",       COMMON_SAMPLER_TYPE_TOP_P       },
780
0
            { "top_n_sigma", COMMON_SAMPLER_TYPE_TOP_N_SIGMA },
781
0
            { "typ_p",       COMMON_SAMPLER_TYPE_TYPICAL_P   },
782
0
            { "min_p",       COMMON_SAMPLER_TYPE_MIN_P       },
783
0
            { "temperature", COMMON_SAMPLER_TYPE_TEMPERATURE },
784
0
            { "xtc",         COMMON_SAMPLER_TYPE_XTC         },
785
0
            { "infill",      COMMON_SAMPLER_TYPE_INFILL      },
786
0
            { "penalties",   COMMON_SAMPLER_TYPE_PENALTIES   },
787
0
            { "adaptive_p",  COMMON_SAMPLER_TYPE_ADAPTIVE_P  }
788
0
        };
789
0
        std::unordered_map<std::string, common_sampler_type> alias_name_map;
790
0
        for (const auto & entry : canonical_name_map) {
791
0
            const std::string & canonical = entry.first;
792
0
            if (canonical.find('_') == std::string::npos) {
793
0
                continue;
794
0
            }
795
            // kebab-case: "top-k", "min-p", etc.
796
0
            {
797
0
                std::string kebab_case = canonical;
798
0
                std::replace(kebab_case.begin(), kebab_case.end(), '_', '-');
799
0
                alias_name_map.insert({kebab_case, entry.second});
800
0
            }
801
            // no dash: "topk", "minp", etc.
802
0
            {
803
0
                std::string no_dash = canonical;
804
0
                no_dash.erase(std::remove(no_dash.begin(), no_dash.end(), '_'), no_dash.end());
805
0
                alias_name_map.insert({no_dash, entry.second});
806
0
            }
807
0
        }
808
        // misc. aliases
809
0
        alias_name_map.insert({"nucleus", COMMON_SAMPLER_TYPE_TOP_P});
810
0
        alias_name_map.insert({"temp",    COMMON_SAMPLER_TYPE_TEMPERATURE});
811
0
        alias_name_map.insert({"typ",     COMMON_SAMPLER_TYPE_TYPICAL_P});
812
        // include aliases + canonical names in the complete mapping
813
0
        alias_name_map.merge(canonical_name_map);
814
0
        return alias_name_map;
815
0
    }();
816
817
0
    std::vector<common_sampler_type> samplers;
818
0
    samplers.reserve(names.size());
819
820
0
    for (const auto & name : names) {
821
0
        std::string name_lower = name;
822
0
        std::transform(name_lower.begin(), name_lower.end(), name_lower.begin(), ::tolower);
823
0
        auto sampler = sampler_name_map.find(name_lower);
824
0
        if (sampler != sampler_name_map.end()) {
825
0
            samplers.push_back(sampler->second);
826
0
            continue;
827
0
        }
828
0
        LOG_WRN("%s: unable to match sampler by name '%s'\n", __func__, name_lower.c_str());
829
0
    }
830
831
0
    return samplers;
832
0
}
833
834
0
std::vector<common_sampler_type> common_sampler_types_from_chars(const std::string & chars) {
835
0
    std::unordered_map<char, common_sampler_type> sampler_name_map = {
836
0
        { common_sampler_type_to_chr(COMMON_SAMPLER_TYPE_DRY),         COMMON_SAMPLER_TYPE_DRY },
837
0
        { common_sampler_type_to_chr(COMMON_SAMPLER_TYPE_TOP_K),       COMMON_SAMPLER_TYPE_TOP_K },
838
0
        { common_sampler_type_to_chr(COMMON_SAMPLER_TYPE_TYPICAL_P),   COMMON_SAMPLER_TYPE_TYPICAL_P },
839
0
        { common_sampler_type_to_chr(COMMON_SAMPLER_TYPE_TOP_P),       COMMON_SAMPLER_TYPE_TOP_P },
840
0
        { common_sampler_type_to_chr(COMMON_SAMPLER_TYPE_TOP_N_SIGMA), COMMON_SAMPLER_TYPE_TOP_N_SIGMA },
841
0
        { common_sampler_type_to_chr(COMMON_SAMPLER_TYPE_MIN_P),       COMMON_SAMPLER_TYPE_MIN_P },
842
0
        { common_sampler_type_to_chr(COMMON_SAMPLER_TYPE_TEMPERATURE), COMMON_SAMPLER_TYPE_TEMPERATURE },
843
0
        { common_sampler_type_to_chr(COMMON_SAMPLER_TYPE_XTC),         COMMON_SAMPLER_TYPE_XTC },
844
0
        { common_sampler_type_to_chr(COMMON_SAMPLER_TYPE_INFILL),      COMMON_SAMPLER_TYPE_INFILL },
845
0
        { common_sampler_type_to_chr(COMMON_SAMPLER_TYPE_PENALTIES),   COMMON_SAMPLER_TYPE_PENALTIES },
846
0
        { common_sampler_type_to_chr(COMMON_SAMPLER_TYPE_ADAPTIVE_P),  COMMON_SAMPLER_TYPE_ADAPTIVE_P },
847
0
    };
848
849
0
    std::vector<common_sampler_type> samplers;
850
0
    samplers.reserve(chars.size());
851
852
0
    for (const auto & c : chars) {
853
0
        const auto sampler = sampler_name_map.find(c);
854
0
        if (sampler != sampler_name_map.end()) {
855
0
            samplers.push_back(sampler->second);
856
0
        } else {
857
0
            LOG_WRN("%s: unable to match sampler by char '%c'\n", __func__, c);
858
0
        }
859
0
    }
860
861
0
    return samplers;
862
0
}