"vscode:/vscode.git/clone" did not exist on "67d6316784b900663c1476d09cb9d61dc7de77f5"
validation.rs 38.9 KB
Newer Older
Olivier Dehaene's avatar
v0.1.0  
Olivier Dehaene committed
1
/// Payload validation logic
OlivierDehaene's avatar
OlivierDehaene committed
2
use crate::config::Config;
3
use crate::validation::ValidationError::{BestOfSampling, BestOfSeed, EmptyInput};
4
5
6
use crate::{
    GenerateParameters, GenerateRequest, GrammarType, HubPreprocessorConfig, Idefics2Preprocessor,
};
OlivierDehaene's avatar
OlivierDehaene committed
7
use base64::{engine::general_purpose::STANDARD, Engine};
Nicolas Patry's avatar
Nicolas Patry committed
8
use image::{ImageFormat, ImageReader};
9
use jsonschema::{Draft, JSONSchema};
10
use rand::{thread_rng, Rng};
11
use serde_json::Value;
12
use std::io::Cursor;
13
use std::iter;
Olivier Dehaene's avatar
Olivier Dehaene committed
14
use thiserror::Error;
Olivier Dehaene's avatar
Olivier Dehaene committed
15
use tokenizers::tokenizer::Tokenizer;
OlivierDehaene's avatar
OlivierDehaene committed
16
use tokio::sync::mpsc;
17
use tokio::sync::oneshot;
18
use tracing::{instrument, Span};
19
use {once_cell::sync::Lazy, regex::Regex};
Olivier Dehaene's avatar
Olivier Dehaene committed
20

Olivier Dehaene's avatar
v0.1.0  
Olivier Dehaene committed
21
/// Validation
Olivier Dehaene's avatar
Olivier Dehaene committed
22
#[derive(Debug, Clone)]
Olivier Dehaene's avatar
Olivier Dehaene committed
23
pub struct Validation {
24
    /// Validation parameters
25
    max_best_of: usize,
26
    max_stop_sequences: usize,
Nicolas Patry's avatar
Nicolas Patry committed
27
    max_top_n_tokens: u32,
28
29
    max_input_length: usize,
    max_total_tokens: usize,
drbh's avatar
drbh committed
30
    disable_grammar_support: bool,
31
    /// Channel to communicate with the background tokenization task
OlivierDehaene's avatar
OlivierDehaene committed
32
    sender: Option<mpsc::UnboundedSender<TokenizerRequest>>,
Olivier Dehaene's avatar
Olivier Dehaene committed
33
34
35
}

impl Validation {
OlivierDehaene's avatar
OlivierDehaene committed
36
    #[allow(clippy::too_many_arguments)]
37
38
    pub(crate) fn new(
        workers: usize,
39
        tokenizer: Option<Tokenizer>,
40
        config: Option<Config>,
41
        preprocessor_config: Option<HubPreprocessorConfig>,
42
        max_best_of: usize,
43
        max_stop_sequences: usize,
Nicolas Patry's avatar
Nicolas Patry committed
44
        max_top_n_tokens: u32,
45
46
        max_input_length: usize,
        max_total_tokens: usize,
drbh's avatar
drbh committed
47
        disable_grammar_support: bool,
48
    ) -> Self {
49
50
        // If we have a fast tokenizer
        let sender = if let Some(tokenizer) = tokenizer {
OlivierDehaene's avatar
OlivierDehaene committed
51
52
53
            // Create round robin channel
            let (validation_sender, validation_round_robin_receiver) = mpsc::unbounded_channel();
            let mut senders = Vec::with_capacity(workers);
54
55
56
57

            // Create workers
            for _ in 0..workers {
                let tokenizer_clone = tokenizer.clone();
58
                let config_clone = config.clone();
59
                let preprocessor_config_clone = preprocessor_config.clone();
OlivierDehaene's avatar
OlivierDehaene committed
60
61
                let (tokenizer_sender, tokenizer_receiver) = mpsc::unbounded_channel();
                senders.push(tokenizer_sender);
62
63
64

                // Spawn worker
                tokio::task::spawn_blocking(move || {
65
66
67
68
69
70
                    tokenizer_worker(
                        tokenizer_clone,
                        config_clone,
                        preprocessor_config_clone,
                        tokenizer_receiver,
                    )
71
72
                });
            }
OlivierDehaene's avatar
OlivierDehaene committed
73
74
75
76

            // Create tokenization round robin task
            tokio::spawn(round_robin_task(validation_round_robin_receiver, senders));

77
78
79
80
81
82
83
84
            Some(validation_sender)
        } else {
            None
        };

        Self {
            max_best_of,
            sender,
85
            max_stop_sequences,
Nicolas Patry's avatar
Nicolas Patry committed
86
            max_top_n_tokens,
Olivier Dehaene's avatar
v0.1.0  
Olivier Dehaene committed
87
            max_input_length,
88
            max_total_tokens,
drbh's avatar
drbh committed
89
            disable_grammar_support,
90
91
        }
    }
Olivier Dehaene's avatar
Olivier Dehaene committed
92

93
    #[instrument(skip(self, inputs))]
94
    pub async fn tokenize(
95
96
97
        &self,
        inputs: String,
        truncate: Option<usize>,
Nicolas Patry's avatar
Nicolas Patry committed
98
    ) -> Result<Option<(tokenizers::Encoding, Vec<Chunk>)>, ValidationError> {
99
100
101
102
103
104
105
106
107
108
109
110
        // If we have a fast tokenizer
        if let Some(sender) = &self.sender {
            // Create response channel
            let (response_sender, response_receiver) = oneshot::channel();
            // Send request to the background validation task
            // Unwrap is safe here
            sender
                .send(((inputs, truncate), response_sender, Span::current()))
                .unwrap();

            // Await on response channel
            // Unwrap is safe here
111
112
113
114
115
116
117
118
119
120
121
122
123
            let encoding = response_receiver.await.unwrap()?;
            Ok(Some(encoding))
        } else {
            Ok(None)
        }
    }

    #[instrument(skip(self, inputs))]
    async fn validate_input(
        &self,
        inputs: String,
        truncate: Option<usize>,
        max_new_tokens: Option<u32>,
Nicolas Patry's avatar
Nicolas Patry committed
124
    ) -> Result<(Vec<Chunk>, usize, u32), ValidationError> {
125
126
127
        // If we have a fast tokenizer
        if let Some((encoding, inputs)) = self.tokenize(inputs.clone(), truncate).await? {
            // Create response channel
Nicolas Patry's avatar
Nicolas Patry committed
128
129
130
131
132
            let input_length = if let Some(truncate) = truncate {
                std::cmp::min(encoding.len(), truncate)
            } else {
                encoding.len()
            };
133
134

            // Get total tokens
135
136
137
138
139
            let max_new_tokens: u32 = if let Some(max_new_tokens) = max_new_tokens {
                max_new_tokens
            } else {
                self.max_total_tokens.saturating_sub(input_length) as u32
            };
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
            let total_tokens = input_length + max_new_tokens as usize;

            // Validate MaxTotalTokens
            if total_tokens > self.max_total_tokens {
                return Err(ValidationError::MaxTotalTokens(
                    self.max_total_tokens,
                    input_length,
                    max_new_tokens,
                ));
            }

            // Validate InputLength
            if input_length > self.max_input_length {
                return Err(ValidationError::InputLength(
                    self.max_input_length,
                    input_length,
                ));
            }

159
            metrics::histogram!("tgi_request_input_length").record(input_length as f64);
160
            Ok((inputs, input_length, max_new_tokens))
161
162
163
164
165
166
        }
        // Return inputs without validation
        else {
            // In this case, we don't know the real length in tokens of the inputs
            // However, the inputs will be truncated by the python servers
            // We make sure that truncate + max_new_tokens <= self.max_total_tokens
167
168
            let max_new_tokens: u32 = if let Some(max_new_tokens) = max_new_tokens {
                max_new_tokens
OlivierDehaene's avatar
OlivierDehaene committed
169
170
            } else if let Some(truncate) = truncate {
                self.max_total_tokens.saturating_sub(truncate) as u32
171
            } else {
OlivierDehaene's avatar
OlivierDehaene committed
172
                return Err(ValidationError::UnsetMaxNewTokens);
173
            };
174
            let mut input_length = truncate.unwrap_or(self.max_input_length);
175

176
177
            // We don't have a tokenizer, therefore we have no idea how long is the query, let
            // them through and hope for the best.
178
            // Validate MaxNewTokens
179
            if (input_length as u32 + max_new_tokens) > self.max_total_tokens as u32 {
180
                input_length = input_length.saturating_sub(max_new_tokens as usize);
181
182
            }

Nicolas Patry's avatar
Nicolas Patry committed
183
            Ok((vec![Chunk::Text(inputs)], input_length, max_new_tokens))
Olivier Dehaene's avatar
Olivier Dehaene committed
184
185
186
        }
    }

Olivier Dehaene's avatar
v0.1.0  
Olivier Dehaene committed
187
    /// Validate a payload and get the number of tokens in the input
188
    #[instrument(skip_all)]
Olivier Dehaene's avatar
Olivier Dehaene committed
189
190
191
    pub(crate) async fn validate(
        &self,
        request: GenerateRequest,
192
    ) -> Result<ValidGenerateRequest, ValidationError> {
193
194
195
196
        let GenerateParameters {
            best_of,
            temperature,
            repetition_penalty,
197
            frequency_penalty,
198
199
200
201
202
203
204
205
206
            top_k,
            top_p,
            typical_p,
            do_sample,
            max_new_tokens,
            stop: stop_sequences,
            truncate,
            seed,
            watermark,
207
            decoder_input_details,
Nicolas Patry's avatar
Nicolas Patry committed
208
            top_n_tokens,
drbh's avatar
drbh committed
209
            grammar,
drbh's avatar
drbh committed
210
            adapter_id,
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
            ..
        } = request.parameters;

        // sampling must be true when best_of > 1
        let best_of = best_of.unwrap_or(1);
        let sampling = do_sample
            || temperature.is_some()
            || top_k.is_some()
            || top_p.is_some()
            || typical_p.is_some();

        if best_of > 1 && !sampling {
            return Err(BestOfSampling);
        }

        let temperature = temperature.unwrap_or(1.0);
        if temperature <= 0.0 {
            return Err(ValidationError::Temperature);
        }

        let repetition_penalty = repetition_penalty.unwrap_or(1.0);
        if repetition_penalty <= 0.0 {
            return Err(ValidationError::RepetitionPenalty);
        }

236
237
238
239
240
        let frequency_penalty = frequency_penalty.unwrap_or(0.0);
        if !(-2.0..=2.0).contains(&frequency_penalty) {
            return Err(ValidationError::FrequencyPenalty);
        }

241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
        // Different because the proto default value is not a valid value
        // for the user
        let top_p = top_p
            .map(|value| {
                if value <= 0.0 || value >= 1.0 {
                    return Err(ValidationError::TopP);
                }
                Ok(value)
            })
            .unwrap_or(Ok(1.0))?;

        let typical_p = typical_p
            .map(|value| {
                if value <= 0.0 || value >= 1.0 {
                    return Err(ValidationError::TypicalP);
                }
                Ok(value)
            })
            .unwrap_or(Ok(1.0))?;

        let top_k: u32 = top_k
            .map(|value| {
                if value <= 0 {
                    return Err(ValidationError::TopK);
                }
                Ok(value as u32)
            })
            .unwrap_or(Ok(0))?;

270
        if max_new_tokens == Some(0) {
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
            return Err(ValidationError::NegativeMaxNewTokens);
        }

        if stop_sequences.len() > self.max_stop_sequences {
            return Err(ValidationError::StopSequence(
                self.max_stop_sequences,
                stop_sequences.len(),
            ));
        }

        // If seed is None, assign a random one
        let seed = match seed {
            None => thread_rng().gen(),
            Some(seed) => {
                if best_of > 1 {
                    return Err(BestOfSeed);
                }
                seed
            }
        };

Nicolas Patry's avatar
Nicolas Patry committed
292
293
294
295
296
297
298
299
300
        let top_n_tokens = top_n_tokens
            .map(|value| {
                if value > self.max_top_n_tokens {
                    return Err(ValidationError::TopNTokens(self.max_top_n_tokens, value));
                }
                Ok(value)
            })
            .unwrap_or(Ok(0))?;

301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
        // Check if inputs is empty
        if request.inputs.is_empty() {
            return Err(EmptyInput);
        }

        // Check if truncate is strictly positive and less than max_input_length
        let truncate = truncate
            .map(|value| {
                if value == 0 || value > self.max_input_length {
                    return Err(ValidationError::Truncate(self.max_input_length, value));
                }
                Ok(Some(value))
            })
            .unwrap_or(Ok(None))?;

        // Validate inputs
317
        let (inputs, input_length, max_new_tokens) = self
318
319
320
            .validate_input(request.inputs, truncate, max_new_tokens)
            .await?;

drbh's avatar
drbh committed
321
322
323
324
325
326
327
        // TODO: we should build the FSM here and pass the compiled FSM instead of the grammar
        // NOTE: this is currently difficult because we need the tokenizer in Python to build
        // the FSM and we'd have to load a copy of the tokenizer into our Pyo3 instance which
        // may be slow and memory intensive. Best case is to have a Rust implementation of the FSM
        // compiler and use that to build the FSM here.

        // Validate grammar and unpack the grammar and type for the proto message
OlivierDehaene's avatar
OlivierDehaene committed
328
        let grammar = match grammar {
drbh's avatar
drbh committed
329
330
331
332
333
            Some(grammar) => {
                // Ensure that grammar is not set if it's not supported
                if self.disable_grammar_support {
                    return Err(ValidationError::Grammar);
                }
OlivierDehaene's avatar
OlivierDehaene committed
334
                let valid_grammar = match grammar {
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
                    GrammarType::Json(json) => {
                        let json = match json {
                            // if value is a string, we need to parse it again to make sure its
                            // a valid json
                            Value::String(s) => serde_json::from_str(&s)
                                .map_err(|e| ValidationError::InvalidGrammar(e.to_string())),
                            Value::Object(_) => Ok(json),
                            _ => Err(ValidationError::Grammar),
                        }?;

                        // Check if the json is a valid JSONSchema
                        JSONSchema::options()
                            .with_draft(Draft::Draft202012)
                            .compile(&json)
                            .map_err(|e| ValidationError::InvalidGrammar(e.to_string()))?;

351
352
353
354
355
356
357
358
                        // The schema can be valid but lack properties.
                        // We need properties for the grammar to be successfully parsed in Python.
                        // Therefore, we must check and throw an error if properties are missing.
                        json.get("properties")
                            .ok_or(ValidationError::InvalidGrammar(
                                "Grammar must have a 'properties' field".to_string(),
                            ))?;

OlivierDehaene's avatar
OlivierDehaene committed
359
360
                        // Serialize json to string
                        ValidGrammar::Json(
361
362
363
364
                            serde_json::to_string(&json)
                                .map_err(|e| ValidationError::InvalidGrammar(e.to_string()))?,
                        )
                    }
OlivierDehaene's avatar
OlivierDehaene committed
365
366
367
                    GrammarType::Regex(regex) => ValidGrammar::Regex(regex),
                };
                Some(valid_grammar)
drbh's avatar
drbh committed
368
            }
OlivierDehaene's avatar
OlivierDehaene committed
369
            None => None,
drbh's avatar
drbh committed
370
371
        };

OlivierDehaene's avatar
OlivierDehaene committed
372
        let parameters = ValidParameters {
373
374
            temperature,
            repetition_penalty,
375
            frequency_penalty,
376
377
378
379
380
381
            top_k,
            top_p,
            typical_p,
            do_sample,
            seed,
            watermark,
drbh's avatar
drbh committed
382
            grammar,
383
        };
OlivierDehaene's avatar
OlivierDehaene committed
384
        let stopping_parameters = ValidStoppingParameters {
385
386
387
388
389
            max_new_tokens,
            stop_sequences,
            ignore_eos_token: false,
        };

390
        metrics::histogram!("tgi_request_max_new_tokens").record(max_new_tokens as f64);
391
392
393

        Ok(ValidGenerateRequest {
            inputs,
394
            decoder_input_details,
395
            input_length: input_length as u32,
396
397
398
            truncate: truncate.unwrap_or(self.max_input_length) as u32,
            parameters,
            stopping_parameters,
Nicolas Patry's avatar
Nicolas Patry committed
399
            top_n_tokens,
drbh's avatar
drbh committed
400
            adapter_id,
401
        })
Olivier Dehaene's avatar
Olivier Dehaene committed
402
    }
403
404
405
406
407
408
409
410
411
412
413
414
415
416

    /// Validate the best_of parameter
    #[instrument(skip_all)]
    pub(crate) fn validate_best_of(&self, best_of: usize) -> Result<usize, ValidationError> {
        if self.max_best_of == 1 && best_of != 1 {
            return Err(ValidationError::BestOfDisabled);
        }

        if best_of > self.max_best_of {
            return Err(ValidationError::BestOf(self.max_best_of, best_of));
        }

        Ok(best_of)
    }
Olivier Dehaene's avatar
Olivier Dehaene committed
417
418
}

OlivierDehaene's avatar
OlivierDehaene committed
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
/// Round robin tokenization task
async fn round_robin_task(
    mut receiver: mpsc::UnboundedReceiver<TokenizerRequest>,
    senders: Vec<mpsc::UnboundedSender<TokenizerRequest>>,
) {
    loop {
        for sender in &senders {
            match receiver.recv().await {
                None => return,
                Some(request) => sender.send(request).unwrap(),
            };
        }
    }
}

434
/// Start tokenization workers
435
436
437
fn tokenizer_worker(
    tokenizer: Tokenizer,
    config: Option<Config>,
438
    preprocessor_config: Option<HubPreprocessorConfig>,
439
440
    mut receiver: mpsc::UnboundedReceiver<TokenizerRequest>,
) {
Olivier Dehaene's avatar
v0.1.0  
Olivier Dehaene committed
441
    // Loop over requests
OlivierDehaene's avatar
OlivierDehaene committed
442
    while let Some(((inputs, truncate), response_tx, parent_span)) = receiver.blocking_recv() {
443
444
        parent_span.in_scope(|| {
            response_tx
445
446
447
448
449
450
451
                .send(prepare_input(
                    inputs,
                    truncate,
                    &tokenizer,
                    config.as_ref(),
                    preprocessor_config.as_ref(),
                ))
452
453
                .unwrap_or(())
        })
454
455
    }
}
Olivier Dehaene's avatar
Olivier Dehaene committed
456

457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
fn format_from_mimetype(mimetype: &str) -> Option<ImageFormat> {
    match mimetype {
        "image/png" => Some(ImageFormat::Png),
        "image/jpeg" => Some(ImageFormat::Jpeg),
        "image/jpg" => Some(ImageFormat::Jpeg),
        "image/gif" => Some(ImageFormat::Gif),
        "image/webp" => Some(ImageFormat::WebP),
        "image/tiff" => Some(ImageFormat::Tiff),
        // "image/pnm"=>Some(ImageFormat::Pnm),
        // "image/tga"=>Some(ImageFormat::Tga),
        // "image/dds"=>Some(ImageFormat::Dds),
        // "image/bmp"=>Some(ImageFormat::Bmp),
        // "image/ico"=>Some(ImageFormat::Ico),
        // "image/x-exr"=>Some(ImageFormat::OpenExr),
        _ => None,
    }
}
OlivierDehaene's avatar
OlivierDehaene committed
474

475
476
477
478
479
480
481
482
483
484
485
486
fn format_to_mimetype(format: ImageFormat) -> String {
    match format {
        ImageFormat::Png => "image/png",
        ImageFormat::Jpeg => "image/jpeg",
        ImageFormat::Gif => "image/gif",
        ImageFormat::WebP => "image/webp",
        ImageFormat::Tiff => "image/tiff",
        _ => "application/octet-stream",
    }
    .to_string()
}

487
fn fetch_image(input: &str) -> Result<(Vec<u8>, String, usize, usize), ValidationError> {
488
489
490
491
492
493
494
495
496
497
    if input.starts_with("![](http://") || input.starts_with("![](https://") {
        let url = &input["![](".len()..input.len() - 1];
        let data = reqwest::blocking::get(url)?.bytes()?;

        let format = image::guess_format(&data)?;
        // TODO Remove this clone
        let img = ImageReader::with_format(Cursor::new(data.clone()), format).decode()?;
        let height: usize = img.height().try_into()?;
        let width: usize = img.width().try_into()?;
        let mimetype = format_to_mimetype(format);
498
        Ok((data.to_vec(), mimetype, height, width))
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
    } else if input.starts_with("![](data:") {
        // Remove ![](....)
        let content = &input["![](data:".len()..input.len() - 1];
        let tokens: Vec<_> = content.split(';').collect();
        if tokens.len() != 2 {
            return Err(ValidationError::InvalidImageContent(content.to_string()));
        }
        let mimetype = tokens[0];
        let content = tokens[1];

        if !content.starts_with("base64,") {
            return Err(ValidationError::InvalidImageContent(content.to_string()));
        }

        let data = STANDARD.decode(content["base64,".len()..].as_bytes())?;
        let img = if let Some(format) = format_from_mimetype(mimetype) {
515
            ImageReader::with_format(Cursor::new(&data), format).decode()?
516
        } else {
517
            ImageReader::new(Cursor::new(&data))
518
519
520
521
522
523
524
                .with_guessed_format()
                .map_err(|_io_error| ValidationError::InvalidImageContent(content.to_string()))?
                .decode()?
        };

        let height: usize = img.height().try_into()?;
        let width: usize = img.width().try_into()?;
525
        Ok((data, mimetype.to_string(), height, width))
526
527
528
529
530
    } else {
        Err(ValidationError::InvalidImageContent(input.to_string()))
    }
}

531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
fn image_tokens(
    config: &Config,
    preprocessor_config: Option<&HubPreprocessorConfig>,
    height: usize,
    width: usize,
) -> String {
    use Config::*;
    use HubPreprocessorConfig::*;
    match config {
        Idefics => "<image>".to_string(),
        Idefics2(config) => {
            const FAKE: &str = "<fake_token_around_image>";
            const IMAGE: &str = "<image>";

            let slots = config.get_number_of_features(height, width);

            let mut image_string = String::with_capacity(2 * FAKE.len() + slots * IMAGE.len());
            image_string.push_str(FAKE);
            image_string.extend(iter::repeat(IMAGE).take(slots));
            image_string.push_str(FAKE);

            if matches!(
                preprocessor_config,
                Some(Idefics2Processor(Idefics2Preprocessor {
                    do_image_splitting: true,
                    ..
                }))
            ) {
                image_string = image_string.repeat(5);
            };

            image_string
        }
        Paligemma(config) => "<image>".repeat(config.get_number_of_features(height, width)),
        LlavaNext(config) => "<image>".repeat(config.get_number_of_features(height, width)),
        _ => unimplemented!("Images tokens are not supported for this model configuration"),
    }
}

fn image_tokens_fixup(config: &Config, text: String) -> String {
    match config {
        Config::Idefics2(_) => {
            const FAKE: &str = "<fake_token_around_image>";
            text.replace(&format!("{FAKE}{FAKE}"), FAKE)
        }
        _ => text,
    }
}

580
581
/// Get input length and optionally truncate it
fn prepare_input(
582
    inputs: String,
583
    _truncate: Option<usize>,
584
    tokenizer: &Tokenizer,
585
586
    config: Option<&Config>,
    preprocessor_config: Option<&HubPreprocessorConfig>,
Nicolas Patry's avatar
Nicolas Patry committed
587
) -> Result<(tokenizers::Encoding, Vec<Chunk>), ValidationError> {
588
    use Config::*;
589
    static RE: Lazy<Regex> = Lazy::new(|| Regex::new(r"!\[\]\([^\)]*\)").unwrap());
590
    let (tokenizer_query, input_chunks) = match config {
591
        Some(config @ (Idefics | Idefics2(_) | Paligemma(_) | LlavaNext(_))) => {
592
            let mut input_chunks = Vec::new();
593
594
595
596
            let mut tokenizer_query = String::with_capacity(inputs.len());
            let mut start = 0;
            for chunk in RE.find_iter(&inputs) {
                let chunk_start = chunk.start();
drbh's avatar
drbh committed
597
598
                let chunk_end = chunk.end();
                if chunk_start != start {
Nicolas Patry's avatar
Nicolas Patry committed
599
                    input_chunks.push(Chunk::Text(inputs[start..chunk_start].to_string()));
drbh's avatar
drbh committed
600
601
                    tokenizer_query.push_str(&inputs[start..chunk_start]);
                }
602
                let (data, mimetype, height, width) = fetch_image(&inputs[chunk_start..chunk_end])?;
Nicolas Patry's avatar
Nicolas Patry committed
603
                input_chunks.push(Chunk::Image(Image { data, mimetype }));
604
                tokenizer_query.push_str(&image_tokens(config, preprocessor_config, height, width));
drbh's avatar
drbh committed
605
606
                start = chunk_end;
            }
607
            if start != inputs.len() {
Nicolas Patry's avatar
Nicolas Patry committed
608
                input_chunks.push(Chunk::Text(inputs[start..].to_string()));
drbh's avatar
drbh committed
609
610
                tokenizer_query.push_str(&inputs[start..]);
            }
Nicolas Patry's avatar
Nicolas Patry committed
611

612
613
            tokenizer_query = image_tokens_fixup(config, tokenizer_query);

614
            (tokenizer_query, input_chunks)
Nicolas Patry's avatar
Nicolas Patry committed
615
        }
Nicolas Patry's avatar
Nicolas Patry committed
616
        _ => (inputs.clone(), vec![Chunk::Text(inputs)]),
617
    };
618

619
    // Get the number of tokens in the input
620
621
    let encoding = tokenizer
        .encode(tokenizer_query, true)
622
623
        .map_err(|err| ValidationError::Tokenizer(err.to_string()))?;

624
    Ok((encoding, input_chunks))
Olivier Dehaene's avatar
Olivier Dehaene committed
625
}
Olivier Dehaene's avatar
v0.1.0  
Olivier Dehaene committed
626

627
628
type TokenizerRequest = (
    (String, Option<usize>),
Nicolas Patry's avatar
Nicolas Patry committed
629
    oneshot::Sender<Result<(tokenizers::Encoding, Vec<Chunk>), ValidationError>>,
630
    Span,
Olivier Dehaene's avatar
v0.1.0  
Olivier Dehaene committed
631
632
);

Nicolas Patry's avatar
Nicolas Patry committed
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
#[derive(Debug, Clone, Eq, PartialEq)]
pub struct Image {
    pub data: Vec<u8>,
    pub mimetype: String,
}

#[derive(Debug, Clone, Eq, PartialEq)]
pub enum Chunk {
    Text(String),
    Image(Image),
}

/// Convert input chunks to a stringly-typed input for backwards
/// compat for backends that haven't implemented chunked inputs.
pub trait ChunksToString {
    /// Convert chunks to string.
    fn chunks_to_string(&self) -> String;
}

impl ChunksToString for Vec<Chunk> {
    fn chunks_to_string(&self) -> String {
        let mut output = String::new();
        self.iter().for_each(|c| match &c {
            Chunk::Text(text) => output.push_str(text),
            Chunk::Image(Image { data, mimetype }) => {
                let encoded = STANDARD.encode(data);
                output.push_str(&format!("![](data:{};base64,{})", mimetype, encoded))
            }
        });
        output
    }
}

OlivierDehaene's avatar
OlivierDehaene committed
666
#[derive(Debug, Clone)]
Nicolas Patry's avatar
Nicolas Patry committed
667
pub enum ValidGrammar {
OlivierDehaene's avatar
OlivierDehaene committed
668
669
670
671
672
    Json(String),
    Regex(String),
}

#[derive(Debug, Clone)]
Nicolas Patry's avatar
Nicolas Patry committed
673
pub struct ValidParameters {
OlivierDehaene's avatar
OlivierDehaene committed
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
    /// / exponential scaling output probability distribution
    pub temperature: f32,
    /// / restricting to the k highest probability elements
    pub top_k: u32,
    /// / restricting to top tokens summing to prob_cut_off <= prob_cut_off
    pub top_p: f32,
    /// / restricting to top tokens summing to prob_cut_off <= prob_cut_off
    pub typical_p: f32,
    /// / apply sampling on the logits
    pub do_sample: bool,
    /// / random seed for sampling
    pub seed: u64,
    /// / repetition penalty
    pub repetition_penalty: f32,
    /// / frequency penalty
    pub frequency_penalty: f32,
    /// / token watermarking using "A Watermark for Large Language Models"
    pub watermark: bool,
    /// / grammar (applied if not empty)
    pub grammar: Option<ValidGrammar>,
}

#[derive(Debug, Clone)]
Nicolas Patry's avatar
Nicolas Patry committed
697
pub struct ValidStoppingParameters {
OlivierDehaene's avatar
OlivierDehaene committed
698
699
700
701
702
703
704
705
706
    /// / Maximum number of generated tokens
    pub max_new_tokens: u32,
    /// / Optional stopping sequences
    pub stop_sequences: Vec<String>,
    /// / Ignore end of sequence token
    /// / used for benchmarking
    pub ignore_eos_token: bool,
}

707
#[derive(Debug, Clone)]
Nicolas Patry's avatar
Nicolas Patry committed
708
709
pub struct ValidGenerateRequest {
    pub inputs: Vec<Chunk>,
710
    pub input_length: u32,
711
    pub truncate: u32,
712
    pub decoder_input_details: bool,
OlivierDehaene's avatar
OlivierDehaene committed
713
714
    pub parameters: ValidParameters,
    pub stopping_parameters: ValidStoppingParameters,
Nicolas Patry's avatar
Nicolas Patry committed
715
    pub top_n_tokens: u32,
drbh's avatar
drbh committed
716
    pub adapter_id: Option<String>,
717
718
}

Olivier Dehaene's avatar
v0.1.0  
Olivier Dehaene committed
719
720
#[derive(Error, Debug)]
pub enum ValidationError {
721
722
723
724
725
726
727
728
729
730
    #[error("`best_of` must be > 0 and <= {0}. Given: {1}")]
    BestOf(usize, usize),
    #[error("`best_of` != 1 is not allowed for this endpoint")]
    BestOfDisabled,
    #[error("you must use sampling when `best_of` is > 1")]
    BestOfSampling,
    #[error("`seed` must not be set when `best_of` > 1")]
    BestOfSeed,
    #[error("`best_of` != 1 is not supported when streaming tokens")]
    BestOfStream,
Nicolas Patry's avatar
Nicolas Patry committed
731
732
733
734
    #[error("`top_n_tokens` must be >= 0 and <= {0}. Given: {1}")]
    TopNTokens(u32, u32),
    #[error("`top_n_tokens` != 0 is not allowed for this endpoint")]
    TopNTokensDisabled,
735
736
    #[error("`decoder_input_details` == true is not supported when streaming tokens")]
    PrefillDetailsStream,
737
    #[error("`temperature` must be strictly positive")]
Olivier Dehaene's avatar
v0.1.0  
Olivier Dehaene committed
738
    Temperature,
739
    #[error("`repetition_penalty` must be strictly positive")]
740
    RepetitionPenalty,
741
742
    #[error("`frequency_penalty` must be >= -2.0 and <= 2.0")]
    FrequencyPenalty,
743
    #[error("`top_p` must be > 0.0 and < 1.0")]
Olivier Dehaene's avatar
v0.1.0  
Olivier Dehaene committed
744
    TopP,
745
    #[error("`top_k` must be strictly positive")]
Olivier Dehaene's avatar
v0.1.0  
Olivier Dehaene committed
746
    TopK,
747
748
    #[error("`truncate` must be strictly positive and less than {0}. Given: {1}")]
    Truncate(usize, usize),
749
750
    #[error("`typical_p` must be > 0.0 and < 1.0")]
    TypicalP,
751
752
    #[error("one of `max_new_tokens` or `truncate` must be set if a fast tokenizer is not in use")]
    UnsetMaxNewTokens,
753
    #[error("`max_new_tokens` must be strictly positive")]
754
755
756
    NegativeMaxNewTokens,
    #[error("`max_new_tokens` must be <= {0}. Given: {1}")]
    MaxNewTokens(usize, u32),
757
    #[error("`inputs` tokens + `max_new_tokens` must be <= {0}. Given: {1} `inputs` tokens and {2} `max_new_tokens`")]
758
    MaxTotalTokens(usize, usize, u32),
759
    #[error("`inputs` must have less than {0} tokens. Given: {1}")]
760
    InputLength(usize, usize),
761
    #[error("`inputs` cannot be empty")]
762
    EmptyInput,
763
    #[error("`stop` supports up to {0} stop sequences. Given: {1}")]
764
    StopSequence(usize, usize),
765
766
    #[error("tokenizer error {0}")]
    Tokenizer(String),
drbh's avatar
drbh committed
767
768
    #[error("grammar is not supported")]
    Grammar,
769
770
    #[error("grammar is not valid: {0}")]
    InvalidGrammar(String),
771
772
773
774
775
776
777
778
779
780
    #[error("base64 encoding is invalid: {0}")]
    InvalidBase64(#[from] base64::DecodeError),
    #[error("invalid image: {0}")]
    InvalidImage(#[from] image::ImageError),
    #[error("invalid integer: {0}")]
    InvalidInt(#[from] core::num::TryFromIntError),
    #[error("invalid image content: {0}")]
    InvalidImageContent(String),
    #[error("Could not fetch image: {0}")]
    FailedFetchImage(#[from] reqwest::Error),
Nicolas Patry's avatar
Nicolas Patry committed
781
782
    #[error("{0} modality is not supported")]
    UnsupportedModality(&'static str),
Olivier Dehaene's avatar
v0.1.0  
Olivier Dehaene committed
783
}
784
785

#[cfg(test)]
786
mod tests {
787
    use super::*;
788
    use crate::config::{Idefics2, PaliTextConfig, Paligemma};
789
790
    use crate::default_parameters;
    use crate::tests::get_tokenizer;
791
792

    #[tokio::test]
793
    async fn test_validation_max_new_tokens() {
794
795
796
        let tokenizer = None;
        let max_best_of = 2;
        let max_stop_sequence = 3;
Nicolas Patry's avatar
Nicolas Patry committed
797
798
799
        let max_top_n_tokens = 4;
        let max_input_length = 5;
        let max_total_tokens = 6;
800
        let workers = 1;
drbh's avatar
drbh committed
801
        let disable_grammar_support = true;
802
        let config = None;
803
804
805
        let validation = Validation::new(
            workers,
            tokenizer,
806
            config,
807
            None,
808
809
            max_best_of,
            max_stop_sequence,
Nicolas Patry's avatar
Nicolas Patry committed
810
            max_top_n_tokens,
811
812
            max_input_length,
            max_total_tokens,
drbh's avatar
drbh committed
813
            disable_grammar_support,
814
        );
815
816

        let max_new_tokens = 10;
817
        match validation
818
            .validate_input("Hello".to_string(), None, Some(max_new_tokens))
819
820
            .await
        {
821
822
823
            // Err(ValidationError::MaxNewTokens(1, 10)) => (),
            Ok((_s, 0, 10)) => (),
            r => panic!("Unexpected not max new tokens: {r:?}"),
824
825
826
827
        }
    }

    #[tokio::test]
828
    async fn test_validation_input_length() {
829
830
831
        let tokenizer = Some(get_tokenizer().await);
        let max_best_of = 2;
        let max_stop_sequence = 3;
Nicolas Patry's avatar
Nicolas Patry committed
832
833
834
        let max_top_n_tokens = 4;
        let max_input_length = 5;
        let max_total_tokens = 6;
drbh's avatar
drbh committed
835
        let disable_grammar_support = true;
836
        let workers = 1;
837
        let config = None;
838
839
840
        let validation = Validation::new(
            workers,
            tokenizer,
841
            config,
842
            None,
843
844
            max_best_of,
            max_stop_sequence,
Nicolas Patry's avatar
Nicolas Patry committed
845
            max_top_n_tokens,
846
847
            max_input_length,
            max_total_tokens,
drbh's avatar
drbh committed
848
            disable_grammar_support,
849
        );
850
851

        let max_new_tokens = 10;
852
        match validation
853
            .validate_input("Hello".to_string(), None, Some(max_new_tokens))
854
855
            .await
        {
Nicolas Patry's avatar
Nicolas Patry committed
856
            Err(ValidationError::MaxTotalTokens(6, 1, 10)) => (),
857
            _ => panic!("Unexpected not max new tokens"),
858
859
        }
    }
860
861

    #[tokio::test]
862
    async fn test_validation_best_of_sampling() {
863
864
865
        let tokenizer = Some(get_tokenizer().await);
        let max_best_of = 2;
        let max_stop_sequence = 3;
Nicolas Patry's avatar
Nicolas Patry committed
866
867
868
        let max_top_n_tokens = 4;
        let max_input_length = 5;
        let max_total_tokens = 6;
869
        let workers = 1;
drbh's avatar
drbh committed
870
        let disable_grammar_support = true;
871
        let config = None;
872
873
874
        let validation = Validation::new(
            workers,
            tokenizer,
875
            config,
876
            None,
877
878
            max_best_of,
            max_stop_sequence,
Nicolas Patry's avatar
Nicolas Patry committed
879
            max_top_n_tokens,
880
881
            max_input_length,
            max_total_tokens,
drbh's avatar
drbh committed
882
            disable_grammar_support,
883
884
885
886
887
888
889
890
891
892
893
894
        );
        match validation
            .validate(GenerateRequest {
                inputs: "Hello".to_string(),
                parameters: GenerateParameters {
                    best_of: Some(2),
                    do_sample: false,
                    ..default_parameters()
                },
            })
            .await
        {
895
            Err(ValidationError::BestOfSampling) => (),
896
            _ => panic!("Unexpected not best of sampling"),
897
898
899
900
        }
    }

    #[tokio::test]
901
    async fn test_validation_top_p() {
902
903
904
        let tokenizer = Some(get_tokenizer().await);
        let max_best_of = 2;
        let max_stop_sequence = 3;
Nicolas Patry's avatar
Nicolas Patry committed
905
906
        let max_top_n_tokens = 4;
        let max_input_length = 5;
907
        let max_total_tokens = 106;
908
        let workers = 1;
drbh's avatar
drbh committed
909
        let disable_grammar_support = true;
910
        let config = None;
911
912
913
        let validation = Validation::new(
            workers,
            tokenizer,
914
            config,
915
            None,
916
917
            max_best_of,
            max_stop_sequence,
Nicolas Patry's avatar
Nicolas Patry committed
918
            max_top_n_tokens,
919
920
            max_input_length,
            max_total_tokens,
drbh's avatar
drbh committed
921
            disable_grammar_support,
922
923
924
925
926
927
        );
        match validation
            .validate(GenerateRequest {
                inputs: "Hello".to_string(),
                parameters: GenerateParameters {
                    top_p: Some(1.0),
928
                    max_new_tokens: Some(5),
929
930
931
932
933
                    ..default_parameters()
                },
            })
            .await
        {
934
            Err(ValidationError::TopP) => (),
935
            _ => panic!("Unexpected top_p"),
936
937
        }

938
939
940
941
942
        match validation
            .validate(GenerateRequest {
                inputs: "Hello".to_string(),
                parameters: GenerateParameters {
                    top_p: Some(0.99),
943
                    max_new_tokens: Some(5),
944
945
946
947
948
                    ..default_parameters()
                },
            })
            .await
        {
949
            Ok(_) => (),
950
            _ => panic!("Unexpected top_p error"),
951
952
        }

953
954
955
956
957
        let valid_request = validation
            .validate(GenerateRequest {
                inputs: "Hello".to_string(),
                parameters: GenerateParameters {
                    top_p: None,
958
                    max_new_tokens: Some(5),
959
960
961
962
963
                    ..default_parameters()
                },
            })
            .await
            .unwrap();
964
965
966
        // top_p == 1.0 is invalid for users to ask for but it's the default resolved value.
        assert_eq!(valid_request.parameters.top_p, 1.0);
    }
Nicolas Patry's avatar
Nicolas Patry committed
967
968
969
970
971
972
973
974

    #[tokio::test]
    async fn test_validation_top_n_tokens() {
        let tokenizer = Some(get_tokenizer().await);
        let max_best_of = 2;
        let max_stop_sequences = 3;
        let max_top_n_tokens = 4;
        let max_input_length = 5;
975
        let max_total_tokens = 106;
Nicolas Patry's avatar
Nicolas Patry committed
976
        let workers = 1;
drbh's avatar
drbh committed
977
        let disable_grammar_support = true;
978
        let config = None;
Nicolas Patry's avatar
Nicolas Patry committed
979
980
981
        let validation = Validation::new(
            workers,
            tokenizer,
982
            config,
983
            None,
Nicolas Patry's avatar
Nicolas Patry committed
984
985
986
987
988
            max_best_of,
            max_stop_sequences,
            max_top_n_tokens,
            max_input_length,
            max_total_tokens,
drbh's avatar
drbh committed
989
            disable_grammar_support,
Nicolas Patry's avatar
Nicolas Patry committed
990
991
992
993
994
995
        );
        match validation
            .validate(GenerateRequest {
                inputs: "Hello".to_string(),
                parameters: GenerateParameters {
                    top_n_tokens: Some(5),
996
                    max_new_tokens: Some(5),
Nicolas Patry's avatar
Nicolas Patry committed
997
998
999
1000
1001
1002
1003
1004
1005
1006
1007
1008
1009
1010
                    ..default_parameters()
                },
            })
            .await
        {
            Err(ValidationError::TopNTokens(4, 5)) => (),
            _ => panic!("Unexpected top_n_tokens"),
        }

        validation
            .validate(GenerateRequest {
                inputs: "Hello".to_string(),
                parameters: GenerateParameters {
                    top_n_tokens: Some(4),
1011
                    max_new_tokens: Some(5),
Nicolas Patry's avatar
Nicolas Patry committed
1012
1013
1014
1015
1016
1017
1018
1019
1020
1021
1022
                    ..default_parameters()
                },
            })
            .await
            .unwrap();

        validation
            .validate(GenerateRequest {
                inputs: "Hello".to_string(),
                parameters: GenerateParameters {
                    top_n_tokens: Some(0),
1023
                    max_new_tokens: Some(5),
Nicolas Patry's avatar
Nicolas Patry committed
1024
1025
1026
1027
1028
1029
1030
1031
1032
1033
1034
                    ..default_parameters()
                },
            })
            .await
            .unwrap();

        let valid_request = validation
            .validate(GenerateRequest {
                inputs: "Hello".to_string(),
                parameters: GenerateParameters {
                    top_n_tokens: None,
1035
                    max_new_tokens: Some(5),
Nicolas Patry's avatar
Nicolas Patry committed
1036
1037
1038
1039
1040
1041
1042
1043
                    ..default_parameters()
                },
            })
            .await
            .unwrap();

        assert_eq!(valid_request.top_n_tokens, 0);
    }
1044
1045
1046
1047
1048
1049
1050
1051
1052
1053
1054
1055
1056
1057
1058
1059
1060
1061
1062
1063
1064
1065
1066
1067
1068

    static PIXEL_GIF: &str = "R0lGODdhAQABAIEAAP///wAAAAAAAAAAACwAAAAAAQABAAAIBAABBAQAOw==";

    #[tokio::test]
    async fn test_prepare_input_chunks() {
        let pixel_data = STANDARD.decode(PIXEL_GIF).unwrap();

        let tokenizer = Some(get_tokenizer().await);

        let max_best_of = 2;
        let max_stop_sequence = 3;
        let max_top_n_tokens = 4;
        let max_input_length = 5;
        let max_total_tokens = 6;
        let disable_grammar_support = true;
        let workers = 1;
        let config = Config::Paligemma(Paligemma {
            text_config: PaliTextConfig {
                num_image_tokens: 1,
            },
        });
        let validation = Validation::new(
            workers,
            tokenizer,
            Some(config),
1069
            None,
1070
1071
1072
1073
1074
1075
1076
1077
1078
1079
1080
1081
1082
1083
1084
1085
1086
1087
1088
1089
1090
1091
1092
1093
1094
1095
1096
1097
1098
1099
1100
1101
            max_best_of,
            max_stop_sequence,
            max_top_n_tokens,
            max_input_length,
            max_total_tokens,
            disable_grammar_support,
        );

        let chunks = match validation
            .tokenize(
                format!("test![](data:image/gif;base64,{})", PIXEL_GIF),
                None,
            )
            .await
        {
            Ok(Some((_encoding, chunks))) => chunks,
            _ => panic!("Unexpected tokenization failure"),
        };

        assert!(
            chunks
                == vec![
                    Chunk::Text("test".to_string()).into(),
                    Chunk::Image(Image {
                        data: pixel_data.clone(),
                        mimetype: "image/gif".to_string()
                    })
                    .into()
                ],
            "Failed to process images",
        );
    }
1102
1103
1104
1105
1106
1107
1108
1109
1110
1111
1112
1113
1114
1115
1116
1117
1118
1119
1120
1121
1122
1123
1124
1125
1126
1127
1128
1129
1130
1131
1132
1133
1134
1135
1136
1137
1138
1139
1140
1141
1142
1143
1144
1145
1146
1147
1148
1149
1150
1151
1152
1153
1154
1155
1156
1157
1158
1159
1160
1161
1162
1163
1164
1165
1166
1167
1168
1169
1170
1171
1172
1173
1174
1175
1176
1177
1178
1179
1180

    #[tokio::test]
    async fn test_idefics2_correct_n_fake_tokens() {
        let pixel_data = STANDARD.decode(PIXEL_GIF).unwrap();

        let tokenizer = Some(get_tokenizer().await);

        let max_best_of = 2;
        let max_stop_sequence = 3;
        let max_top_n_tokens = 4;
        let max_input_length = 5;
        let max_total_tokens = 6;
        let disable_grammar_support = true;
        let workers = 1;
        let config = Config::Idefics2(Idefics2 {});
        let validation = Validation::new(
            workers,
            tokenizer,
            Some(config),
            Some(HubPreprocessorConfig::Idefics2Processor(
                Idefics2Preprocessor {
                    do_image_splitting: true,
                },
            )),
            max_best_of,
            max_stop_sequence,
            max_top_n_tokens,
            max_input_length,
            max_total_tokens,
            disable_grammar_support,
        );

        let (encoding, chunks) = match validation
            .tokenize(
                format!(
                    "test![](data:image/gif;base64,{})![](data:image/gif;base64,{})",
                    PIXEL_GIF, PIXEL_GIF
                ),
                None,
            )
            .await
        {
            Ok(Some((encoding, chunks))) => (encoding, chunks),
            _ => panic!("Unexpected tokenization failure"),
        };

        assert!(
            chunks
                == vec![
                    Chunk::Text("test".to_string()).into(),
                    Chunk::Image(Image {
                        data: pixel_data.clone(),
                        mimetype: "image/gif".to_string()
                    })
                    .into(),
                    Chunk::Image(Image {
                        data: pixel_data.clone(),
                        mimetype: "image/gif".to_string()
                    })
                    .into()
                ],
            "Failed to process images",
        );

        // Verify the number of fake tokens:
        //
        // - Two images surrounded/separated by a fake token = 3.
        // - Both are split in 5 subimages, separated by a fake token: 2 * 4
        //
        // Fake tokens get split up by the testing tokenizer, but we don't care.
        assert_eq!(
            encoding
                .get_tokens()
                .iter()
                .filter(|t| *t == "fake")
                .count(),
            11
        );
    }
1181
}