utils.hpp 27 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757
  1. #pragma once
  2. #include "common.h"
  3. #include "log.h"
  4. #include "llama.h"
  5. #ifndef NDEBUG
  6. // crash the server in debug mode, otherwise send an http 500 error
  7. #define CPPHTTPLIB_NO_EXCEPTIONS 1
  8. #endif
  9. // increase max payload length to allow use of larger context size
  10. #define CPPHTTPLIB_FORM_URL_ENCODED_PAYLOAD_MAX_LENGTH 1048576
  11. #include "httplib.h"
  12. // Change JSON_ASSERT from assert() to GGML_ASSERT:
  13. #define JSON_ASSERT GGML_ASSERT
  14. #include "json.hpp"
  15. #include <random>
  16. #include <sstream>
  17. #include <string>
  18. #include <vector>
  19. #include <memory>
  20. #define DEFAULT_OAICOMPAT_MODEL "gpt-3.5-turbo"
  21. using json = nlohmann::ordered_json;
  22. #define SLT_INF(slot, fmt, ...) LOG_INF("slot %12.*s: id %2d | task %d | " fmt, 12, __func__, (slot).id, (slot).id_task, __VA_ARGS__)
  23. #define SLT_WRN(slot, fmt, ...) LOG_WRN("slot %12.*s: id %2d | task %d | " fmt, 12, __func__, (slot).id, (slot).id_task, __VA_ARGS__)
  24. #define SLT_ERR(slot, fmt, ...) LOG_ERR("slot %12.*s: id %2d | task %d | " fmt, 12, __func__, (slot).id, (slot).id_task, __VA_ARGS__)
  25. #define SLT_DBG(slot, fmt, ...) LOG_DBG("slot %12.*s: id %2d | task %d | " fmt, 12, __func__, (slot).id, (slot).id_task, __VA_ARGS__)
  26. #define SRV_INF(fmt, ...) LOG_INF("srv %12.*s: " fmt, 12, __func__, __VA_ARGS__)
  27. #define SRV_WRN(fmt, ...) LOG_WRN("srv %12.*s: " fmt, 12, __func__, __VA_ARGS__)
  28. #define SRV_ERR(fmt, ...) LOG_ERR("srv %12.*s: " fmt, 12, __func__, __VA_ARGS__)
  29. #define SRV_DBG(fmt, ...) LOG_DBG("srv %12.*s: " fmt, 12, __func__, __VA_ARGS__)
  30. #define QUE_INF(fmt, ...) LOG_INF("que %12.*s: " fmt, 12, __func__, __VA_ARGS__)
  31. #define QUE_WRN(fmt, ...) LOG_WRN("que %12.*s: " fmt, 12, __func__, __VA_ARGS__)
  32. #define QUE_ERR(fmt, ...) LOG_ERR("que %12.*s: " fmt, 12, __func__, __VA_ARGS__)
  33. #define QUE_DBG(fmt, ...) LOG_DBG("que %12.*s: " fmt, 12, __func__, __VA_ARGS__)
  34. template <typename T>
  35. static T json_value(const json & body, const std::string & key, const T & default_value) {
  36. // Fallback null to default value
  37. if (body.contains(key) && !body.at(key).is_null()) {
  38. try {
  39. return body.at(key);
  40. } catch (NLOHMANN_JSON_NAMESPACE::detail::type_error const &) {
  41. LOG_WRN("Wrong type supplied for parameter '%s'. Expected '%s', using default value\n", key.c_str(), json(default_value).type_name());
  42. return default_value;
  43. }
  44. } else {
  45. return default_value;
  46. }
  47. }
  48. const static std::string build_info("b" + std::to_string(LLAMA_BUILD_NUMBER) + "-" + LLAMA_COMMIT);
  49. //
  50. // tokenizer and input processing utils
  51. //
  52. static bool json_is_array_of_numbers(const json & data) {
  53. if (data.is_array()) {
  54. for (const auto & e : data) {
  55. if (!e.is_number_integer()) {
  56. return false;
  57. }
  58. }
  59. return true;
  60. }
  61. return false;
  62. }
  63. // is array having BOTH numbers & strings?
  64. static bool json_is_array_of_mixed_numbers_strings(const json & data) {
  65. bool seen_string = false;
  66. bool seen_number = false;
  67. if (data.is_array()) {
  68. for (const auto & e : data) {
  69. seen_string |= e.is_string();
  70. seen_number |= e.is_number_integer();
  71. if (seen_number && seen_string) {
  72. return true;
  73. }
  74. }
  75. }
  76. return false;
  77. }
  78. // get value by path(key1 / key2)
  79. static json json_get_nested_values(const std::vector<std::string> & paths, const json & js) {
  80. json result = json::object();
  81. for (const std::string & path : paths) {
  82. json current = js;
  83. const auto keys = string_split<std::string>(path, /*separator*/ '/');
  84. bool valid_path = true;
  85. for (const std::string & k : keys) {
  86. if (valid_path && current.is_object() && current.contains(k)) {
  87. current = current[k];
  88. } else {
  89. valid_path = false;
  90. }
  91. }
  92. if (valid_path) {
  93. result[path] = current;
  94. }
  95. }
  96. return result;
  97. }
  98. /**
  99. * this handles 2 cases:
  100. * - only string, example: "string"
  101. * - mixed string and tokens, example: [12, 34, "string", 56, 78]
  102. */
  103. static llama_tokens tokenize_mixed(const llama_context * ctx, const json & json_prompt, bool add_special, bool parse_special) {
  104. // If `add_bos` is true, we only add BOS, when json_prompt is a string,
  105. // or the first element of the json_prompt array is a string.
  106. llama_tokens prompt_tokens;
  107. if (json_prompt.is_array()) {
  108. bool first = true;
  109. for (const auto & p : json_prompt) {
  110. if (p.is_string()) {
  111. auto s = p.template get<std::string>();
  112. llama_tokens p;
  113. if (first) {
  114. p = common_tokenize(ctx, s, add_special, parse_special);
  115. first = false;
  116. } else {
  117. p = common_tokenize(ctx, s, false, parse_special);
  118. }
  119. prompt_tokens.insert(prompt_tokens.end(), p.begin(), p.end());
  120. } else {
  121. if (first) {
  122. first = false;
  123. }
  124. prompt_tokens.push_back(p.template get<llama_token>());
  125. }
  126. }
  127. } else {
  128. auto s = json_prompt.template get<std::string>();
  129. prompt_tokens = common_tokenize(ctx, s, add_special, parse_special);
  130. }
  131. return prompt_tokens;
  132. }
  133. /**
  134. * break the input "prompt" object into multiple prompt if needed, then tokenize them
  135. * this supports these cases:
  136. * - "prompt": "string"
  137. * - "prompt": [12, 34, 56]
  138. * - "prompt": [12, 34, "string", 56, 78]
  139. * and multiple prompts (multi-tasks):
  140. * - "prompt": ["string1", "string2"]
  141. * - "prompt": ["string1", [12, 34, 56]]
  142. * - "prompt": [[12, 34, 56], [78, 90, 12]]
  143. * - "prompt": [[12, 34, "string", 56, 78], [12, 34, 56]]
  144. */
  145. static std::vector<llama_tokens> tokenize_input_prompts(llama_context * ctx, const json & json_prompt, bool add_special, bool parse_special) {
  146. std::vector<llama_tokens> result;
  147. if (json_prompt.is_string() || json_is_array_of_mixed_numbers_strings(json_prompt)) {
  148. // string or mixed
  149. result.push_back(tokenize_mixed(ctx, json_prompt, add_special, parse_special));
  150. } else if (json_is_array_of_numbers(json_prompt)) {
  151. // array of tokens
  152. result.push_back(json_prompt.get<llama_tokens>());
  153. } else if (json_prompt.is_array()) {
  154. // array of prompts
  155. result.reserve(json_prompt.size());
  156. for (const auto & p : json_prompt) {
  157. if (p.is_string() || json_is_array_of_mixed_numbers_strings(p)) {
  158. result.push_back(tokenize_mixed(ctx, p, add_special, parse_special));
  159. } else if (json_is_array_of_numbers(p)) {
  160. // array of tokens
  161. result.push_back(p.get<llama_tokens>());
  162. } else {
  163. throw std::runtime_error("element of \"prompt\" must be a string, an list of tokens, or a list of mixed strings & tokens");
  164. }
  165. }
  166. } else {
  167. throw std::runtime_error("\"prompt\" must be a string, an list of tokens, a list of mixed strings & tokens, or a list of prompts");
  168. }
  169. if (result.empty()) {
  170. throw std::runtime_error("\"prompt\" must not be empty");
  171. }
  172. return result;
  173. }
  174. // return the last index of character that can form a valid string
  175. // if the last character is potentially cut in half, return the index before the cut
  176. // if validate_utf8(text) == text.size(), then the whole text is valid utf8
  177. static size_t validate_utf8(const std::string& text) {
  178. size_t len = text.size();
  179. if (len == 0) return 0;
  180. // Check the last few bytes to see if a multi-byte character is cut off
  181. for (size_t i = 1; i <= 4 && i <= len; ++i) {
  182. unsigned char c = text[len - i];
  183. // Check for start of a multi-byte sequence from the end
  184. if ((c & 0xE0) == 0xC0) {
  185. // 2-byte character start: 110xxxxx
  186. // Needs at least 2 bytes
  187. if (i < 2) return len - i;
  188. } else if ((c & 0xF0) == 0xE0) {
  189. // 3-byte character start: 1110xxxx
  190. // Needs at least 3 bytes
  191. if (i < 3) return len - i;
  192. } else if ((c & 0xF8) == 0xF0) {
  193. // 4-byte character start: 11110xxx
  194. // Needs at least 4 bytes
  195. if (i < 4) return len - i;
  196. }
  197. }
  198. // If no cut-off multi-byte character is found, return full length
  199. return len;
  200. }
  201. //
  202. // template utils
  203. //
  204. // format rerank task: [BOS]query[EOS][SEP]doc[EOS]
  205. static llama_tokens format_rerank(const struct llama_model * model, const llama_tokens & query, const llama_tokens & doc) {
  206. llama_tokens result;
  207. result.reserve(doc.size() + query.size() + 4);
  208. result.push_back(llama_token_bos(model));
  209. result.insert(result.end(), query.begin(), query.end());
  210. result.push_back(llama_token_eos(model));
  211. result.push_back(llama_token_sep(model));
  212. result.insert(result.end(), doc.begin(), doc.end());
  213. result.push_back(llama_token_eos(model));
  214. return result;
  215. }
  216. // format infill task
  217. static llama_tokens format_infill(
  218. const llama_context * ctx,
  219. const json & input_prefix,
  220. const json & input_suffix,
  221. const json & input_extra,
  222. const int n_batch,
  223. const int n_predict,
  224. const int n_ctx,
  225. const bool spm_infill,
  226. const llama_tokens & tokens_prompt
  227. ) {
  228. // TODO: optimize this block by reducing memory allocations and movement
  229. // use FIM repo-level pattern:
  230. // ref: https://arxiv.org/pdf/2409.12186
  231. //
  232. // [FIM_REP]myproject
  233. // [FIM_SEP]filename0
  234. // extra chunk 0
  235. // [FIM_SEP]filename1
  236. // extra chunk 1
  237. // ...
  238. // [FIM_SEP]filename
  239. // [FIM_PRE]prefix[FIM_SUF]suffix[FIM_MID]prompt
  240. //
  241. llama_tokens extra_tokens;
  242. extra_tokens.reserve(n_ctx);
  243. auto model = llama_get_model(ctx);
  244. auto tokens_prefix = tokenize_mixed(ctx, input_prefix, false, false);
  245. auto tokens_suffix = tokenize_mixed(ctx, input_suffix, false, false);
  246. if (llama_token_fim_rep(model) != LLAMA_TOKEN_NULL) {
  247. // TODO: make project name an input
  248. static const auto k_fim_repo = common_tokenize(ctx, "myproject\n", false, false);
  249. extra_tokens.push_back(llama_token_fim_rep(model));
  250. extra_tokens.insert(extra_tokens.end(), k_fim_repo.begin(), k_fim_repo.end());
  251. }
  252. for (const auto & chunk : input_extra) {
  253. // { "text": string, "filename": string }
  254. const std::string text = json_value(chunk, "text", std::string());
  255. const std::string filename = json_value(chunk, "filename", std::string("tmp"));
  256. if (llama_token_fim_sep(model) != LLAMA_TOKEN_NULL) {
  257. const auto k_fim_file = common_tokenize(ctx, filename + "\n", false, false);
  258. extra_tokens.insert(extra_tokens.end(), llama_token_fim_sep(model));
  259. extra_tokens.insert(extra_tokens.end(), k_fim_file.begin(), k_fim_file.end());
  260. } else {
  261. // chunk separator in binary form to avoid confusing the AI
  262. static const char k_chunk_prefix_str[] = {0x0a, 0x0a, 0x2d, 0x2d, 0x2d, 0x20, 0x73, 0x6e, 0x69, 0x70, 0x70, 0x65, 0x74, 0x20, 0x2d, 0x2d, 0x2d, 0x0a, 0x0a, 0x00};
  263. static const auto k_chunk_prefix_tokens = common_tokenize(ctx, k_chunk_prefix_str, false, false);
  264. extra_tokens.insert(extra_tokens.end(), k_chunk_prefix_tokens.begin(), k_chunk_prefix_tokens.end());
  265. }
  266. const auto chunk_tokens = common_tokenize(ctx, text, false, false);
  267. extra_tokens.insert(extra_tokens.end(), chunk_tokens.begin(), chunk_tokens.end());
  268. }
  269. if (llama_token_fim_sep(model) != LLAMA_TOKEN_NULL) {
  270. // TODO: current filename
  271. static const auto k_fim_file = common_tokenize(ctx, "filename\n", false, false);
  272. extra_tokens.insert(extra_tokens.end(), llama_token_fim_sep(model));
  273. extra_tokens.insert(extra_tokens.end(), k_fim_file.begin(), k_fim_file.end());
  274. }
  275. // for now pick FIM context to fit in a batch (ratio prefix:suffix = 3:1, TODO: configurable?)
  276. const int n_prefix_take = std::min<int>(tokens_prefix.size(), 3*(n_batch/4));
  277. const int n_suffix_take = std::min<int>(tokens_suffix.size(), std::max<int>(0, (n_batch/4) - (2 + tokens_prompt.size())));
  278. SRV_DBG("n_prefix_take = %d, n_suffix_take = %d, total = %d\n", n_prefix_take, n_suffix_take, (n_prefix_take + n_suffix_take));
  279. // fill the rest of the context with extra chunks
  280. const int n_extra_take = std::min<int>(std::max<int>(0, n_ctx - (n_batch) - 2*n_predict), extra_tokens.size());
  281. tokens_prefix.erase(tokens_prefix.begin(), tokens_prefix.begin() + tokens_prefix.size() - n_prefix_take);
  282. tokens_suffix.resize(n_suffix_take);
  283. tokens_prefix.insert(tokens_prefix.begin(), llama_token_fim_pre(model));
  284. tokens_prefix.insert(tokens_prefix.end(), tokens_prompt.begin(), tokens_prompt.end());
  285. tokens_suffix.insert(tokens_suffix.begin(), llama_token_fim_suf(model));
  286. auto embd_inp = spm_infill ? tokens_suffix : tokens_prefix;
  287. auto embd_end = spm_infill ? tokens_prefix : tokens_suffix;
  288. if (llama_add_bos_token(model)) {
  289. embd_inp.insert(embd_inp.begin(), llama_token_bos(model));
  290. }
  291. SRV_DBG("extra: n_ctx = %d, n_extra_take = %d, n_extra = %d\n", n_ctx, n_extra_take, (int) extra_tokens.size());
  292. // put the extra context before the FIM prefix
  293. embd_inp.insert(embd_inp.begin(), extra_tokens.end() - n_extra_take, extra_tokens.end());
  294. embd_inp.insert(embd_inp.end(), embd_end.begin(), embd_end.end());
  295. embd_inp.push_back(llama_token_fim_mid(model));
  296. return embd_inp;
  297. }
  298. // Format given chat. If tmpl is empty, we take the template from model metadata
  299. inline std::string format_chat(const struct llama_model * model, const std::string & tmpl, const std::vector<json> & messages) {
  300. std::vector<common_chat_msg> chat;
  301. for (size_t i = 0; i < messages.size(); ++i) {
  302. const auto & curr_msg = messages[i];
  303. std::string role = json_value(curr_msg, "role", std::string(""));
  304. std::string content;
  305. if (curr_msg.contains("content")) {
  306. if (curr_msg["content"].is_string()) {
  307. content = curr_msg["content"].get<std::string>();
  308. } else if (curr_msg["content"].is_array()) {
  309. for (const auto & part : curr_msg["content"]) {
  310. if (part.contains("text")) {
  311. content += "\n" + part["text"].get<std::string>();
  312. }
  313. }
  314. } else {
  315. throw std::runtime_error("Invalid 'content' type (ref: https://github.com/ggerganov/llama.cpp/issues/8367)");
  316. }
  317. } else {
  318. throw std::runtime_error("Missing 'content' (ref: https://github.com/ggerganov/llama.cpp/issues/8367)");
  319. }
  320. chat.push_back({role, content});
  321. }
  322. const auto formatted_chat = common_chat_apply_template(model, tmpl, chat, true);
  323. LOG_DBG("formatted_chat: '%s'\n", formatted_chat.c_str());
  324. return formatted_chat;
  325. }
  326. static std::string llama_get_chat_template(const struct llama_model * model) {
  327. std::string template_key = "tokenizer.chat_template";
  328. // call with NULL buffer to get the total size of the string
  329. int32_t res = llama_model_meta_val_str(model, template_key.c_str(), NULL, 0);
  330. if (res < 2) {
  331. return "";
  332. } else {
  333. std::vector<char> model_template(res + 1, 0);
  334. llama_model_meta_val_str(model, template_key.c_str(), model_template.data(), model_template.size());
  335. return std::string(model_template.data(), model_template.size() - 1);
  336. }
  337. }
  338. //
  339. // base64 utils (TODO: move to common in the future)
  340. //
  341. static const std::string base64_chars =
  342. "ABCDEFGHIJKLMNOPQRSTUVWXYZ"
  343. "abcdefghijklmnopqrstuvwxyz"
  344. "0123456789+/";
  345. static inline bool is_base64(uint8_t c) {
  346. return (isalnum(c) || (c == '+') || (c == '/'));
  347. }
  348. static inline std::vector<uint8_t> base64_decode(const std::string & encoded_string) {
  349. int i = 0;
  350. int j = 0;
  351. int in_ = 0;
  352. int in_len = encoded_string.size();
  353. uint8_t char_array_4[4];
  354. uint8_t char_array_3[3];
  355. std::vector<uint8_t> ret;
  356. while (in_len-- && (encoded_string[in_] != '=') && is_base64(encoded_string[in_])) {
  357. char_array_4[i++] = encoded_string[in_]; in_++;
  358. if (i == 4) {
  359. for (i = 0; i < 4; i++) {
  360. char_array_4[i] = base64_chars.find(char_array_4[i]);
  361. }
  362. char_array_3[0] = ((char_array_4[0] ) << 2) + ((char_array_4[1] & 0x30) >> 4);
  363. char_array_3[1] = ((char_array_4[1] & 0xf) << 4) + ((char_array_4[2] & 0x3c) >> 2);
  364. char_array_3[2] = ((char_array_4[2] & 0x3) << 6) + char_array_4[3];
  365. for (i = 0; (i < 3); i++) {
  366. ret.push_back(char_array_3[i]);
  367. }
  368. i = 0;
  369. }
  370. }
  371. if (i) {
  372. for (j = i; j < 4; j++) {
  373. char_array_4[j] = 0;
  374. }
  375. for (j = 0; j < 4; j++) {
  376. char_array_4[j] = base64_chars.find(char_array_4[j]);
  377. }
  378. char_array_3[0] = ((char_array_4[0] ) << 2) + ((char_array_4[1] & 0x30) >> 4);
  379. char_array_3[1] = ((char_array_4[1] & 0xf) << 4) + ((char_array_4[2] & 0x3c) >> 2);
  380. char_array_3[2] = ((char_array_4[2] & 0x3) << 6) + char_array_4[3];
  381. for (j = 0; j < i - 1; j++) {
  382. ret.push_back(char_array_3[j]);
  383. }
  384. }
  385. return ret;
  386. }
  387. //
  388. // random string / id
  389. //
  390. static std::string random_string() {
  391. static const std::string str("0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz");
  392. std::random_device rd;
  393. std::mt19937 generator(rd());
  394. std::string result(32, ' ');
  395. for (int i = 0; i < 32; ++i) {
  396. result[i] = str[generator() % str.size()];
  397. }
  398. return result;
  399. }
  400. static std::string gen_chatcmplid() {
  401. return "chatcmpl-" + random_string();
  402. }
  403. //
  404. // other common utils
  405. //
  406. static bool ends_with(const std::string & str, const std::string & suffix) {
  407. return str.size() >= suffix.size() && 0 == str.compare(str.size() - suffix.size(), suffix.size(), suffix);
  408. }
  409. static size_t find_partial_stop_string(const std::string &stop, const std::string &text) {
  410. if (!text.empty() && !stop.empty()) {
  411. const char text_last_char = text.back();
  412. for (int64_t char_index = stop.size() - 1; char_index >= 0; char_index--) {
  413. if (stop[char_index] == text_last_char) {
  414. const std::string current_partial = stop.substr(0, char_index + 1);
  415. if (ends_with(text, current_partial)) {
  416. return text.size() - char_index - 1;
  417. }
  418. }
  419. }
  420. }
  421. return std::string::npos;
  422. }
  423. // TODO: reuse llama_detokenize
  424. template <class Iter>
  425. static std::string tokens_to_str(llama_context * ctx, Iter begin, Iter end) {
  426. std::string ret;
  427. for (; begin != end; ++begin) {
  428. ret += common_token_to_piece(ctx, *begin);
  429. }
  430. return ret;
  431. }
  432. // format incomplete utf-8 multibyte character for output
  433. static std::string tokens_to_output_formatted_string(const llama_context * ctx, const llama_token token) {
  434. std::string out = token == -1 ? "" : common_token_to_piece(ctx, token);
  435. // if the size is 1 and first bit is 1, meaning it's a partial character
  436. // (size > 1 meaning it's already a known token)
  437. if (out.size() == 1 && (out[0] & 0x80) == 0x80) {
  438. std::stringstream ss;
  439. ss << std::hex << (out[0] & 0xff);
  440. std::string res(ss.str());
  441. out = "byte: \\x" + res;
  442. }
  443. return out;
  444. }
  445. static bool server_sent_event(httplib::DataSink & sink, const char * event, const json & data) {
  446. const std::string str =
  447. std::string(event) + ": " +
  448. data.dump(-1, ' ', false, json::error_handler_t::replace) +
  449. "\n\n"; // required by RFC 8895 - A message is terminated by a blank line (two line terminators in a row).
  450. LOG_DBG("data stream, to_send: %s", str.c_str());
  451. return sink.write(str.c_str(), str.size());
  452. }
  453. //
  454. // OAI utils
  455. //
  456. static json oaicompat_completion_params_parse(
  457. const struct llama_model * model,
  458. const json & body, /* openai api json semantics */
  459. const std::string & chat_template) {
  460. json llama_params;
  461. // Apply chat template to the list of messages
  462. llama_params["prompt"] = format_chat(model, chat_template, body.at("messages"));
  463. // Handle "stop" field
  464. if (body.contains("stop") && body.at("stop").is_string()) {
  465. llama_params["stop"] = json::array({body.at("stop").get<std::string>()});
  466. } else {
  467. llama_params["stop"] = json_value(body, "stop", json::array());
  468. }
  469. // Handle "response_format" field
  470. if (body.contains("response_format")) {
  471. json response_format = json_value(body, "response_format", json::object());
  472. std::string response_type = json_value(response_format, "type", std::string());
  473. if (response_type == "json_object") {
  474. llama_params["json_schema"] = json_value(response_format, "schema", json::object());
  475. } else if (response_type == "json_schema") {
  476. json json_schema = json_value(response_format, "json_schema", json::object());
  477. llama_params["json_schema"] = json_value(json_schema, "schema", json::object());
  478. } else if (!response_type.empty() && response_type != "text") {
  479. throw std::runtime_error("response_format type must be one of \"text\" or \"json_object\", but got: " + response_type);
  480. }
  481. }
  482. // Handle "n" field
  483. int n_choices = json_value(body, "n", 1);
  484. if (n_choices != 1) {
  485. throw std::runtime_error("Only one completion choice is allowed");
  486. }
  487. // Handle "logprobs" field
  488. // TODO: The response format of this option is not yet OAI-compatible, but seems like no one really using it; We may need to fix it in the future
  489. if (json_value(body, "logprobs", false)) {
  490. llama_params["n_probs"] = json_value(body, "top_logprobs", 20);
  491. } else if (body.contains("top_logprobs") && !body.at("top_logprobs").is_null()) {
  492. throw std::runtime_error("top_logprobs requires logprobs to be set to true");
  493. }
  494. // Params supported by OAI but unsupported by llama.cpp
  495. static const std::vector<std::string> unsupported_params { "tools", "tool_choice" };
  496. for (const auto & param : unsupported_params) {
  497. if (body.contains(param)) {
  498. throw std::runtime_error("Unsupported param: " + param);
  499. }
  500. }
  501. // Copy remaining properties to llama_params
  502. // This allows user to use llama.cpp-specific params like "mirostat", ... via OAI endpoint.
  503. // See "launch_slot_with_task()" for a complete list of params supported by llama.cpp
  504. for (const auto & item : body.items()) {
  505. // Exception: if "n_predict" is present, we overwrite the value specified earlier by "max_tokens"
  506. if (!llama_params.contains(item.key()) || item.key() == "n_predict") {
  507. llama_params[item.key()] = item.value();
  508. }
  509. }
  510. return llama_params;
  511. }
  512. static json format_embeddings_response_oaicompat(const json & request, const json & embeddings) {
  513. json data = json::array();
  514. int32_t n_tokens = 0;
  515. int i = 0;
  516. for (const auto & elem : embeddings) {
  517. data.push_back(json{
  518. {"embedding", json_value(elem, "embedding", json::array())},
  519. {"index", i++},
  520. {"object", "embedding"}
  521. });
  522. n_tokens += json_value(elem, "tokens_evaluated", 0);
  523. }
  524. json res = json {
  525. {"model", json_value(request, "model", std::string(DEFAULT_OAICOMPAT_MODEL))},
  526. {"object", "list"},
  527. {"usage", json {
  528. {"prompt_tokens", n_tokens},
  529. {"total_tokens", n_tokens}
  530. }},
  531. {"data", data}
  532. };
  533. return res;
  534. }
  535. static json format_response_rerank(const json & request, const json & ranks) {
  536. json data = json::array();
  537. int32_t n_tokens = 0;
  538. int i = 0;
  539. for (const auto & rank : ranks) {
  540. data.push_back(json{
  541. {"index", i++},
  542. {"relevance_score", json_value(rank, "score", 0.0)},
  543. });
  544. n_tokens += json_value(rank, "tokens_evaluated", 0);
  545. }
  546. json res = json {
  547. {"model", json_value(request, "model", std::string(DEFAULT_OAICOMPAT_MODEL))},
  548. {"object", "list"},
  549. {"usage", json {
  550. {"prompt_tokens", n_tokens},
  551. {"total_tokens", n_tokens}
  552. }},
  553. {"results", data}
  554. };
  555. return res;
  556. }
  557. static bool is_valid_utf8(const std::string & str) {
  558. const unsigned char* bytes = reinterpret_cast<const unsigned char*>(str.data());
  559. const unsigned char* end = bytes + str.length();
  560. while (bytes < end) {
  561. if (*bytes <= 0x7F) {
  562. // 1-byte sequence (0xxxxxxx)
  563. bytes++;
  564. } else if ((*bytes & 0xE0) == 0xC0) {
  565. // 2-byte sequence (110xxxxx 10xxxxxx)
  566. if (end - bytes < 2 || (bytes[1] & 0xC0) != 0x80)
  567. return false;
  568. bytes += 2;
  569. } else if ((*bytes & 0xF0) == 0xE0) {
  570. // 3-byte sequence (1110xxxx 10xxxxxx 10xxxxxx)
  571. if (end - bytes < 3 || (bytes[1] & 0xC0) != 0x80 || (bytes[2] & 0xC0) != 0x80)
  572. return false;
  573. bytes += 3;
  574. } else if ((*bytes & 0xF8) == 0xF0) {
  575. // 4-byte sequence (11110xxx 10xxxxxx 10xxxxxx 10xxxxxx)
  576. if (end - bytes < 4 || (bytes[1] & 0xC0) != 0x80 ||
  577. (bytes[2] & 0xC0) != 0x80 || (bytes[3] & 0xC0) != 0x80)
  578. return false;
  579. bytes += 4;
  580. } else {
  581. // Invalid UTF-8 lead byte
  582. return false;
  583. }
  584. }
  585. return true;
  586. }
  587. static json format_tokenizer_response(const json & tokens) {
  588. return json {
  589. {"tokens", tokens}
  590. };
  591. }
  592. static json format_detokenized_response(const std::string & content) {
  593. return json {
  594. {"content", content}
  595. };
  596. }
  597. static json format_logit_bias(const std::vector<llama_logit_bias> & logit_bias) {
  598. json data = json::array();
  599. for (const auto & lb : logit_bias) {
  600. data.push_back(json{
  601. {"bias", lb.bias},
  602. {"token", lb.token},
  603. });
  604. }
  605. return data;
  606. }
  607. static std::string safe_json_to_str(json data) {
  608. return data.dump(-1, ' ', false, json::error_handler_t::replace);
  609. }
  610. static std::vector<llama_token_data> get_token_probabilities(llama_context * ctx, int idx) {
  611. std::vector<llama_token_data> cur;
  612. const auto * logits = llama_get_logits_ith(ctx, idx);
  613. const int n_vocab = llama_n_vocab(llama_get_model(ctx));
  614. cur.resize(n_vocab);
  615. for (llama_token token_id = 0; token_id < n_vocab; token_id++) {
  616. cur[token_id] = llama_token_data{token_id, logits[token_id], 0.0f};
  617. }
  618. // sort tokens by logits
  619. std::sort(cur.begin(), cur.end(), [](const llama_token_data & a, const llama_token_data & b) {
  620. return a.logit > b.logit;
  621. });
  622. // apply softmax
  623. float max_l = cur[0].logit;
  624. float cum_sum = 0.0f;
  625. for (size_t i = 0; i < cur.size(); ++i) {
  626. float p = expf(cur[i].logit - max_l);
  627. cur[i].p = p;
  628. cum_sum += p;
  629. }
  630. for (size_t i = 0; i < cur.size(); ++i) {
  631. cur[i].p /= cum_sum;
  632. }
  633. return cur;
  634. }