perplexity.cpp 72 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310131113121313131413151316131713181319132013211322132313241325132613271328132913301331133213331334133513361337133813391340134113421343134413451346134713481349135013511352135313541355135613571358135913601361136213631364136513661367136813691370137113721373137413751376137713781379138013811382138313841385138613871388138913901391139213931394139513961397139813991400140114021403140414051406140714081409141014111412141314141415141614171418141914201421142214231424142514261427142814291430143114321433143414351436143714381439144014411442144314441445144614471448144914501451145214531454145514561457145814591460146114621463146414651466146714681469147014711472147314741475147614771478147914801481148214831484148514861487148814891490149114921493149414951496149714981499150015011502150315041505150615071508150915101511151215131514151515161517151815191520152115221523152415251526152715281529153015311532153315341535153615371538153915401541154215431544154515461547154815491550155115521553155415551556155715581559156015611562156315641565156615671568156915701571157215731574157515761577157815791580158115821583158415851586158715881589159015911592159315941595159615971598159916001601160216031604160516061607160816091610161116121613161416151616161716181619162016211622162316241625162616271628162916301631163216331634163516361637163816391640164116421643164416451646164716481649165016511652165316541655165616571658165916601661166216631664166516661667166816691670167116721673167416751676167716781679168016811682168316841685168616871688168916901691169216931694169516961697169816991700170117021703170417051706170717081709171017111712171317141715171617171718171917201721172217231724172517261727172817291730173117321733173417351736173717381739174017411742174317441745174617471748174917501751175217531754175517561757175817591760176117621763176417651766176717681769177017711772177317741775177617771778177917801781178217831784178517861787178817891790179117921793179417951796179717981799180018011802180318041805180618071808180918101811181218131814181518161817181818191820182118221823182418251826182718281829183018311832183318341835183618371838183918401841184218431844184518461847184818491850185118521853185418551856185718581859186018611862186318641865186618671868186918701871187218731874187518761877187818791880188118821883188418851886188718881889189018911892189318941895189618971898189919001901190219031904190519061907190819091910191119121913191419151916191719181919192019211922192319241925192619271928192919301931193219331934193519361937193819391940194119421943
  1. #include "common.h"
  2. #include "llama.h"
  3. #include <cmath>
  4. #include <cstdio>
  5. #include <cstring>
  6. #include <ctime>
  7. #include <sstream>
  8. #include <thread>
  9. #include <mutex>
  10. #include <atomic>
  11. #include <vector>
  12. #include <array>
  13. #include <fstream>
  14. #include <sstream>
  15. #if defined(_MSC_VER)
  16. #pragma warning(disable: 4244 4267) // possible loss of data
  17. #endif
  18. struct results_perplexity {
  19. std::vector<llama_token> tokens;
  20. double ppl_value;
  21. std::vector<float> logits;
  22. std::vector<float> probs;
  23. };
  24. struct results_log_softmax {
  25. double log_softmax;
  26. float logit;
  27. float prob;
  28. };
  29. static void write_logfile(
  30. const llama_context * ctx, const gpt_params & params, const llama_model * model,
  31. const struct results_perplexity & results
  32. ) {
  33. if (params.logdir.empty()) {
  34. return;
  35. }
  36. if (params.hellaswag) {
  37. fprintf(stderr, "%s: warning: logging results is not implemented for HellaSwag. No files will be written.\n", __func__);
  38. return;
  39. }
  40. const std::string timestamp = get_sortable_timestamp();
  41. const bool success = create_directory_with_parents(params.logdir);
  42. if (!success) {
  43. fprintf(stderr, "%s: warning: failed to create logdir %s, cannot write logfile\n",
  44. __func__, params.logdir.c_str());
  45. return;
  46. }
  47. const std::string logfile_path = params.logdir + timestamp + ".yml";
  48. FILE * logfile = fopen(logfile_path.c_str(), "w");
  49. if (logfile == NULL) {
  50. fprintf(stderr, "%s: failed to open logfile %s\n", __func__, logfile_path.c_str());
  51. return;
  52. }
  53. fprintf(logfile, "binary: main\n");
  54. char model_desc[128];
  55. llama_model_desc(model, model_desc, sizeof(model_desc));
  56. dump_non_result_info_yaml(logfile, params, ctx, timestamp, results.tokens, model_desc);
  57. fprintf(logfile, "\n");
  58. fprintf(logfile, "######################\n");
  59. fprintf(logfile, "# Perplexity Results #\n");
  60. fprintf(logfile, "######################\n");
  61. fprintf(logfile, "\n");
  62. dump_vector_float_yaml(logfile, "logits", results.logits);
  63. fprintf(logfile, "ppl_value: %f\n", results.ppl_value);
  64. dump_vector_float_yaml(logfile, "probs", results.probs);
  65. llama_dump_timing_info_yaml(logfile, ctx);
  66. fclose(logfile);
  67. }
  68. static std::vector<float> softmax(const std::vector<float>& logits) {
  69. std::vector<float> probs(logits.size());
  70. float max_logit = logits[0];
  71. for (float v : logits) {
  72. max_logit = std::max(max_logit, v);
  73. }
  74. double sum_exp = 0.0;
  75. for (size_t i = 0; i < logits.size(); i++) {
  76. // Subtract the maximum logit value from the current logit value for numerical stability
  77. const float logit = logits[i] - max_logit;
  78. const float exp_logit = expf(logit);
  79. sum_exp += exp_logit;
  80. probs[i] = exp_logit;
  81. }
  82. for (size_t i = 0; i < probs.size(); i++) {
  83. probs[i] /= sum_exp;
  84. }
  85. return probs;
  86. }
  87. static results_log_softmax log_softmax(int n_vocab, const float * logits, int tok) {
  88. float max_logit = logits[0];
  89. for (int i = 1; i < n_vocab; ++i) {
  90. max_logit = std::max(max_logit, logits[i]);
  91. }
  92. double sum_exp = 0.0;
  93. for (int i = 0; i < n_vocab; ++i) {
  94. sum_exp += expf(logits[i] - max_logit);
  95. }
  96. return {logits[tok] - max_logit - log(sum_exp), logits[tok], expf(logits[tok] - max_logit) / (float) sum_exp};
  97. }
  98. static inline int nearest_int(float fval) {
  99. //assert(fval <= 4194303.f);
  100. float val = fval + 12582912.f;
  101. int i; memcpy(&i, &val, sizeof(int));
  102. return (i & 0x007fffff) - 0x00400000;
  103. }
  104. static double log_softmax(int n_vocab, const float * logits, uint16_t * log_prob, int tok) {
  105. float max_logit = logits[0];
  106. float min_logit = logits[0];
  107. for (int i = 1; i < n_vocab; ++i) {
  108. max_logit = std::max(max_logit, logits[i]);
  109. min_logit = std::min(min_logit, logits[i]);
  110. }
  111. min_logit = std::max(min_logit, max_logit - 16);
  112. double sum_exp = 0.0;
  113. for (int i = 0; i < n_vocab; ++i) {
  114. sum_exp += expf(logits[i] - max_logit);
  115. }
  116. const float log_sum_exp = log(sum_exp);
  117. const float min_log_prob = min_logit - max_logit - log_sum_exp;
  118. const float scale = (max_logit - min_logit)/65535.f;
  119. float * d = (float *)log_prob;
  120. d[0] = scale;
  121. d[1] = min_log_prob;
  122. log_prob += 4;
  123. if (scale) {
  124. const float inv_scale = 1/scale;
  125. for (int i = 0; i < n_vocab; ++i) {
  126. log_prob[i] = logits[i] > min_logit ? nearest_int(inv_scale*(logits[i] - min_logit)) : 0;
  127. }
  128. } else {
  129. std::memset(log_prob, 0, n_vocab*sizeof(uint16_t));
  130. }
  131. return max_logit + log_sum_exp - logits[tok];
  132. }
  133. static void process_logits(
  134. int n_vocab, const float * logits, const int * tokens, int n_token, std::vector<std::thread> & workers,
  135. double & nll, double & nll2, float * logit_history, float * prob_history
  136. ) {
  137. std::mutex mutex;
  138. int counter = 0;
  139. auto compute = [&mutex, &counter, &nll, &nll2, logit_history, prob_history, n_vocab, logits, tokens, n_token] () {
  140. double local_nll = 0;
  141. double local_nll2 = 0;
  142. while (true) {
  143. std::unique_lock<std::mutex> lock(mutex);
  144. int i = counter++;
  145. if (i >= n_token) {
  146. nll += local_nll; nll2 += local_nll2;
  147. break;
  148. }
  149. lock.unlock();
  150. const results_log_softmax results = log_softmax(n_vocab, logits + i*n_vocab, tokens[i+1]);
  151. const double v = -results.log_softmax;
  152. local_nll += v;
  153. local_nll2 += v*v;
  154. logit_history[i] = results.logit;
  155. prob_history[i] = results.prob;
  156. }
  157. };
  158. for (auto & w : workers) {
  159. w = std::thread(compute);
  160. }
  161. compute();
  162. for (auto & w : workers) {
  163. w.join();
  164. }
  165. }
  166. static void process_logits(std::ostream& out, int n_vocab, const float * logits, const int * tokens, int n_token,
  167. std::vector<std::thread> & workers, std::vector<uint16_t> & log_probs, double & nll, double & nll2) {
  168. std::mutex mutex;
  169. const int nv = 2*((n_vocab + 1)/2) + 4;
  170. int counter = 0;
  171. auto compute = [&mutex, &counter, &log_probs, &nll, &nll2, n_vocab, logits, tokens, n_token, nv] () {
  172. double local_nll = 0;
  173. double local_nll2 = 0;
  174. while (true) {
  175. std::unique_lock<std::mutex> lock(mutex);
  176. int i = counter++;
  177. if (i >= n_token) {
  178. nll += local_nll; nll2 += local_nll2;
  179. break;
  180. }
  181. lock.unlock();
  182. const double v = log_softmax(n_vocab, logits + i*n_vocab, log_probs.data() + i*nv, tokens[i+1]);
  183. local_nll += v;
  184. local_nll2 += v*v;
  185. }
  186. };
  187. for (auto & w : workers) {
  188. w = std::thread(compute);
  189. }
  190. compute();
  191. for (auto & w : workers) {
  192. w.join();
  193. }
  194. out.write((const char *)log_probs.data(), n_token*nv*sizeof(uint16_t));
  195. }
  196. struct kl_divergence_result {
  197. double sum_nll = 0;
  198. double sum_nll2 = 0;
  199. double sum_kld = 0;
  200. double sum_kld2 = 0;
  201. double sum_nll_diff = 0;
  202. double sum_nll_diff2 = 0;
  203. size_t n_same_top = 0;
  204. size_t count = 0;
  205. };
  206. static double log_softmax(int n_vocab, const float * logits, const uint16_t * base_log_prob, int tok, kl_divergence_result & kld) {
  207. float max_logit = logits[0];
  208. int imax = 0;
  209. for (int i = 1; i < n_vocab; ++i) {
  210. if (logits[i] > max_logit) {
  211. max_logit = logits[i];
  212. imax = i;
  213. }
  214. }
  215. double sum_exp = 0.0;
  216. for (int i = 0; i < n_vocab; ++i) {
  217. sum_exp += expf(logits[i] - max_logit);
  218. }
  219. const float log_sum_exp = log(sum_exp);
  220. const float * d = (const float *)base_log_prob;
  221. const float scale = d[0];
  222. const float min_log_prob = d[1];
  223. base_log_prob += 4;
  224. float nll = max_logit + log_sum_exp - logits[tok];
  225. kld.sum_nll += nll;
  226. kld.sum_nll2 += nll*nll;
  227. nll += (scale*base_log_prob[tok] + min_log_prob);
  228. kld.sum_nll_diff += nll;
  229. kld.sum_nll_diff2 += nll*nll;
  230. max_logit += log_sum_exp;
  231. double sum = 0;
  232. int imax_base = -1;
  233. float p_log_base_max = 0;
  234. for (int i = 0; i < n_vocab; ++i) {
  235. const float p_log_base = scale*base_log_prob[i] + min_log_prob;
  236. if (i == 0 || p_log_base > p_log_base_max) {
  237. p_log_base_max = p_log_base;
  238. imax_base = i;
  239. }
  240. if (p_log_base > -16.f) {
  241. const float p_base = expf(p_log_base);
  242. sum += p_base * (p_log_base - logits[i] + max_logit);
  243. }
  244. }
  245. kld.sum_kld += sum;
  246. kld.sum_kld2 += sum*sum;
  247. ++kld.count;
  248. if (imax == imax_base) ++kld.n_same_top;
  249. return sum;
  250. }
  251. static void process_logits(int n_vocab, const float * logits, const int * tokens, int n_token,
  252. std::vector<std::thread> & workers, const std::vector<uint16_t> & base_log_probs, kl_divergence_result & kld,
  253. float * kld_values) {
  254. std::mutex mutex;
  255. const int nv = 2*((n_vocab + 1)/2) + 4;
  256. int counter = 0;
  257. auto compute = [&mutex, &counter, &base_log_probs, &kld, n_vocab, logits, tokens, n_token, nv, kld_values] () {
  258. kl_divergence_result local_kld;
  259. while (true) {
  260. std::unique_lock<std::mutex> lock(mutex);
  261. int i = counter++;
  262. if (i >= n_token) {
  263. kld.sum_nll += local_kld.sum_nll;
  264. kld.sum_nll2 += local_kld.sum_nll2;
  265. kld.sum_kld += local_kld.sum_kld;
  266. kld.sum_kld2 += local_kld.sum_kld2;
  267. kld.sum_nll_diff += local_kld.sum_nll_diff;
  268. kld.sum_nll_diff2 += local_kld.sum_nll_diff2;
  269. kld.n_same_top += local_kld.n_same_top;
  270. kld.count += local_kld.count;
  271. break;
  272. }
  273. lock.unlock();
  274. double v = log_softmax(n_vocab, logits + i*n_vocab, base_log_probs.data() + i*nv, tokens[i+1], local_kld);
  275. kld_values[i] = (float)v;
  276. }
  277. };
  278. for (auto & w : workers) {
  279. w = std::thread(compute);
  280. }
  281. compute();
  282. for (auto & w : workers) {
  283. w.join();
  284. }
  285. }
  286. static results_perplexity perplexity_v2(llama_context * ctx, const gpt_params & params) {
  287. // Download: https://huggingface.co/datasets/ggml-org/ci/resolve/main/wikitext-2-raw-v1.zip
  288. // Run `./perplexity -m models/7B/ggml-model-q4_0.bin -f wiki.test.raw`
  289. // Output: `perplexity: 13.5106 [114/114]`
  290. // BOS tokens will be added for each chunk before eval
  291. const bool add_bos = llama_should_add_bos_token(llama_get_model(ctx));
  292. GGML_ASSERT(llama_add_eos_token(llama_get_model(ctx)) != 1);
  293. fprintf(stderr, "%s: tokenizing the input ..\n", __func__);
  294. std::vector<llama_token> tokens = ::llama_tokenize(ctx, params.prompt, true);
  295. const int n_ctx = llama_n_ctx(ctx);
  296. if (int(tokens.size()) < 2*n_ctx) {
  297. fprintf(stderr, "%s: you need at least %d tokens to evaluate perplexity with a context of %d\n",__func__,2*n_ctx,
  298. n_ctx);
  299. fprintf(stderr, "%s: the data file you provided tokenizes to only %zu tokens\n",__func__,tokens.size());
  300. return {std::move(tokens), 0., {}, {}};
  301. }
  302. std::vector<float> logit_history;
  303. std::vector<float> prob_history;
  304. logit_history.resize(tokens.size());
  305. prob_history.resize(tokens.size());
  306. if (params.ppl_stride <= 0) {
  307. fprintf(stderr, "%s: stride is %d but must be greater than zero!\n",__func__,params.ppl_stride);
  308. return {tokens, -1, logit_history, prob_history};
  309. }
  310. const int calc_chunk = n_ctx;
  311. fprintf(stderr, "%s: have %zu tokens. Calculation chunk = %d\n", __func__, tokens.size(), calc_chunk);
  312. if (int(tokens.size()) <= calc_chunk) {
  313. fprintf(stderr, "%s: there are only %zu tokens, this is not enough for a context size of %d and stride %d\n",__func__,
  314. tokens.size(), n_ctx, params.ppl_stride);
  315. return {tokens, -1, logit_history, prob_history};
  316. }
  317. const int n_chunk_max = (tokens.size() - calc_chunk + params.ppl_stride - 1) / params.ppl_stride;
  318. const int n_chunk = params.n_chunks < 0 ? n_chunk_max : std::min(params.n_chunks, n_chunk_max);
  319. const int n_vocab = llama_n_vocab(llama_get_model(ctx));
  320. const int n_batch = params.n_batch;
  321. int count = 0;
  322. double nll = 0.0;
  323. fprintf(stderr, "%s: calculating perplexity over %d chunks, batch_size=%d\n", __func__, n_chunk, n_batch);
  324. for (int i = 0; i < n_chunk; ++i) {
  325. const int start = i * params.ppl_stride;
  326. const int end = start + calc_chunk;
  327. const int num_batches = (calc_chunk + n_batch - 1) / n_batch;
  328. //fprintf(stderr, "%s: evaluating %d...%d using %d batches\n", __func__, start, end, num_batches);
  329. std::vector<float> logits;
  330. const auto t_start = std::chrono::high_resolution_clock::now();
  331. // clear the KV cache
  332. llama_kv_cache_clear(ctx);
  333. for (int j = 0; j < num_batches; ++j) {
  334. const int batch_start = start + j * n_batch;
  335. const int batch_size = std::min(end - batch_start, n_batch);
  336. //fprintf(stderr, " Batch %d: starts at %d, size is %d, n_past is %d\n",j,batch_start,batch_size,j * n_batch);
  337. // TODO: use llama_batch.logits instead of relying on logits_all == true
  338. if (llama_decode(ctx, llama_batch_get_one(tokens.data() + batch_start, batch_size, j * n_batch, 0))) {
  339. //fprintf(stderr, "%s : failed to eval\n", __func__);
  340. return {tokens, -1, logit_history, prob_history};
  341. }
  342. // save original token and restore it after eval
  343. const auto token_org = tokens[batch_start];
  344. // add BOS token for the first batch of each chunk
  345. if (add_bos && j == 0) {
  346. tokens[batch_start] = llama_token_bos(llama_get_model(ctx));
  347. }
  348. const auto batch_logits = llama_get_logits(ctx);
  349. logits.insert(logits.end(), batch_logits, batch_logits + batch_size * n_vocab);
  350. if (j == 0) {
  351. tokens[batch_start] = token_org;
  352. }
  353. }
  354. const auto t_end = std::chrono::high_resolution_clock::now();
  355. if (i == 0) {
  356. const float t_total = std::chrono::duration<float>(t_end - t_start).count();
  357. fprintf(stderr, "%s: %.2f seconds per pass - ETA ", __func__, t_total);
  358. int total_seconds = (int)(t_total * n_chunk);
  359. if (total_seconds >= 60*60) {
  360. fprintf(stderr, "%d hours ", total_seconds / (60*60));
  361. total_seconds = total_seconds % (60*60);
  362. }
  363. fprintf(stderr, "%.2f minutes\n", total_seconds / 60.0);
  364. }
  365. //fprintf(stderr, "%s: using tokens %d...%d\n",__func__,params.n_ctx - params.ppl_stride + start, params.n_ctx + start);
  366. for (int j = n_ctx - params.ppl_stride - 1; j < n_ctx - 1; ++j) {
  367. // Calculate probability of next token, given the previous ones.
  368. const std::vector<float> tok_logits(
  369. logits.begin() + (j + 0) * n_vocab,
  370. logits.begin() + (j + 1) * n_vocab);
  371. const float prob = softmax(tok_logits)[tokens[start + j + 1]];
  372. logit_history[start + j + 1] = tok_logits[tokens[start + j + 1]];
  373. prob_history[start + j + 1] = prob;
  374. nll += -std::log(prob);
  375. ++count;
  376. }
  377. // perplexity is e^(average negative log-likelihood)
  378. if (params.ppl_output_type == 0) {
  379. printf("[%d]%.4lf,", i + 1, std::exp(nll / count));
  380. } else {
  381. printf("%8d %.4lf\n", i*params.ppl_stride, std::exp(nll / count));
  382. }
  383. fflush(stdout);
  384. }
  385. printf("\n");
  386. return {tokens, std::exp(nll / count), logit_history, prob_history};
  387. }
  388. static results_perplexity perplexity(llama_context * ctx, const gpt_params & params, const int32_t n_ctx) {
  389. if (params.ppl_stride > 0) {
  390. return perplexity_v2(ctx, params);
  391. }
  392. // Download: https://huggingface.co/datasets/ggml-org/ci/resolve/main/wikitext-2-raw-v1.zip
  393. // Run `./perplexity -m models/7B/ggml-model-q4_0.bin -f wiki.test.raw`
  394. // Output: `perplexity: 13.5106 [114/114]`
  395. // BOS tokens will be added for each chunk before eval
  396. const bool add_bos = llama_should_add_bos_token(llama_get_model(ctx));
  397. GGML_ASSERT(llama_add_eos_token(llama_get_model(ctx)) != 1);
  398. std::ofstream logits_stream;
  399. if (!params.logits_file.empty()) {
  400. logits_stream.open(params.logits_file.c_str(), std::ios::binary);
  401. if (!logits_stream.is_open()) {
  402. fprintf(stderr, "%s: failed to open %s for writing\n", __func__, params.logits_file.c_str());
  403. return {};
  404. }
  405. fprintf(stderr, "%s: saving all logits to %s\n", __func__, params.logits_file.c_str());
  406. logits_stream.write("_logits_", 8);
  407. logits_stream.write(reinterpret_cast<const char *>(&n_ctx), sizeof(n_ctx));
  408. }
  409. auto tim1 = std::chrono::high_resolution_clock::now();
  410. fprintf(stderr, "%s: tokenizing the input ..\n", __func__);
  411. std::vector<llama_token> tokens = ::llama_tokenize(ctx, params.prompt, true);
  412. auto tim2 = std::chrono::high_resolution_clock::now();
  413. fprintf(stderr, "%s: tokenization took %g ms\n",__func__,1e-3*std::chrono::duration_cast<std::chrono::microseconds>(tim2-tim1).count());
  414. if (int(tokens.size()) < 2*n_ctx) {
  415. fprintf(stderr, "%s: you need at least %d tokens to evaluate perplexity with a context of %d\n",__func__,2*n_ctx,
  416. n_ctx);
  417. fprintf(stderr, "%s: the data file you provided tokenizes to only %zu tokens\n",__func__,tokens.size());
  418. return {std::move(tokens), 0., {}, {}};
  419. }
  420. std::vector<float> logit_history;
  421. logit_history.resize(tokens.size());
  422. std::vector<float> prob_history;
  423. prob_history.resize(tokens.size());
  424. const int n_chunk_max = tokens.size() / n_ctx;
  425. const int n_chunk = params.n_chunks < 0 ? n_chunk_max : std::min(params.n_chunks, n_chunk_max);
  426. const int n_vocab = llama_n_vocab(llama_get_model(ctx));
  427. const int n_batch = params.n_batch;
  428. int count = 0;
  429. double nll = 0.0;
  430. double nll2 = 0.0;
  431. const int num_batches = (n_ctx + n_batch - 1) / n_batch;
  432. const int n_seq = std::max(1, n_batch / n_ctx);
  433. GGML_ASSERT(n_batch < n_ctx || n_batch % n_ctx == 0);
  434. GGML_ASSERT(params.n_ctx == n_seq * n_ctx);
  435. llama_batch batch = llama_batch_init(std::min(n_batch, n_ctx*n_seq), 0, 1);
  436. std::vector<float> logits;
  437. if (num_batches > 1) {
  438. logits.reserve((size_t)n_ctx * n_vocab);
  439. }
  440. fprintf(stderr, "%s: calculating perplexity over %d chunks, n_ctx=%d, batch_size=%d, n_seq=%d\n", __func__, n_chunk, n_ctx, n_batch, n_seq);
  441. std::vector<std::thread> workers(std::thread::hardware_concurrency() - 1);
  442. std::vector<uint16_t> log_probs;
  443. if (!params.logits_file.empty()) {
  444. logits_stream.write((const char *)&n_vocab, sizeof(n_vocab));
  445. logits_stream.write((const char *)&n_chunk, sizeof(n_chunk));
  446. logits_stream.write((const char *)tokens.data(), n_chunk*n_ctx*sizeof(tokens[0]));
  447. const int nv = 2*((n_vocab + 1)/2) + 4;
  448. log_probs.resize(n_ctx * nv);
  449. }
  450. // We get the logits for all the tokens in the context window (params.n_ctx)
  451. // from llama_eval above. Now, based on https://huggingface.co/docs/transformers/perplexity,
  452. // calculate the perplexity over the last half of the window (so the model always has
  453. // some context to predict the token).
  454. //
  455. // We rely on the fact that attention in the forward pass only looks at previous
  456. // tokens here, so the logits returned for each token are an accurate representation
  457. // of what the model would have predicted at that point.
  458. //
  459. // Example, we have a context window of 512, we will compute perplexity for each of the
  460. // last 256 tokens. Then, we split the input up into context window size chunks to
  461. // process the entire prompt.
  462. const int first = n_ctx/2;
  463. for (int i = 0; i < n_chunk; i += n_seq) {
  464. const int start = i * n_ctx;
  465. const int end = start + n_ctx;
  466. const int n_seq_batch = std::min(n_seq, n_chunk - i);
  467. const auto t_start = std::chrono::high_resolution_clock::now();
  468. // clear the KV cache
  469. llama_kv_cache_clear(ctx);
  470. for (int j = 0; j < num_batches; ++j) {
  471. const int batch_start = start + j * n_batch;
  472. const int batch_size = std::min(end - batch_start, n_batch);
  473. int n_outputs = 0;
  474. batch.n_tokens = 0;
  475. for (int seq = 0; seq < n_seq_batch; seq++) {
  476. int seq_start = batch_start + seq*n_ctx;
  477. // save original token and restore it after eval
  478. const auto token_org = tokens[seq_start];
  479. // add BOS token for the first batch of each chunk
  480. if (add_bos && j == 0) {
  481. tokens[seq_start] = llama_token_bos(llama_get_model(ctx));
  482. }
  483. for (int k = 0; k < batch_size; ++k) {
  484. const int idx = seq*n_ctx + k;
  485. batch.token [idx] = tokens[seq_start + k];
  486. batch.pos [idx] = j*n_batch + k;
  487. batch.n_seq_id[idx] = 1;
  488. batch.seq_id [idx][0] = seq;
  489. batch.logits [idx] = batch.pos[idx] >= first ? 1 : 0;
  490. n_outputs += batch.logits[idx] != 0;
  491. }
  492. batch.n_tokens += batch_size;
  493. // restore the original token in case it was set to BOS
  494. tokens[seq_start] = token_org;
  495. }
  496. if (llama_decode(ctx, batch)) {
  497. fprintf(stderr, "%s : failed to eval\n", __func__);
  498. return {tokens, -1, logit_history, prob_history};
  499. }
  500. if (num_batches > 1 && n_outputs > 0) {
  501. const auto * batch_logits = llama_get_logits(ctx);
  502. logits.insert(logits.end(), batch_logits, batch_logits + n_outputs * n_vocab);
  503. }
  504. }
  505. if (i == 0) {
  506. llama_synchronize(ctx);
  507. const auto t_end = std::chrono::high_resolution_clock::now();
  508. const float t_total = std::chrono::duration<float>(t_end - t_start).count();
  509. fprintf(stderr, "%s: %.2f seconds per pass - ETA ", __func__, t_total);
  510. int total_seconds = (int)(t_total*n_chunk/n_seq);
  511. if (total_seconds >= 60*60) {
  512. fprintf(stderr, "%d hours ", total_seconds / (60*60));
  513. total_seconds = total_seconds % (60*60);
  514. }
  515. fprintf(stderr, "%.2f minutes\n", total_seconds / 60.0);
  516. }
  517. for (int seq = 0; seq < n_seq_batch; seq++) {
  518. const float * all_logits = num_batches > 1 ? logits.data() : llama_get_logits_ith(ctx, seq*n_ctx + first);
  519. llama_token * tokens_data = tokens.data() + start + seq*n_ctx + first;
  520. if (!params.logits_file.empty()) {
  521. process_logits(logits_stream, n_vocab, all_logits,
  522. tokens_data, n_ctx - 1 - first,
  523. workers, log_probs, nll, nll2);
  524. } else {
  525. process_logits(n_vocab, all_logits,
  526. tokens_data, n_ctx - 1 - first,
  527. workers, nll, nll2,
  528. logit_history.data() + start + seq*n_ctx + first,
  529. prob_history.data() + start + seq*n_ctx + first);
  530. }
  531. count += n_ctx - first - 1;
  532. // perplexity is e^(average negative log-likelihood)
  533. if (params.ppl_output_type == 0) {
  534. printf("[%d]%.4lf,", i + seq + 1, std::exp(nll / count));
  535. } else {
  536. double av = nll/count;
  537. double av2 = nll2/count - av*av;
  538. if (av2 > 0) av2 = sqrt(av2/(count-1));
  539. printf("%8d %.4lf %4lf %4lf\n", i*n_ctx, std::exp(nll / count), av, av2);
  540. }
  541. }
  542. fflush(stdout);
  543. logits.clear();
  544. }
  545. printf("\n");
  546. nll2 /= count;
  547. nll /= count;
  548. const double ppl = exp(nll);
  549. nll2 -= nll * nll;
  550. if (nll2 > 0) {
  551. nll2 = sqrt(nll2/(count-1));
  552. printf("Final estimate: PPL = %.4lf +/- %.5lf\n", ppl, nll2*ppl);
  553. } else {
  554. printf("Unexpected negative standard deviation of log(prob)\n");
  555. }
  556. llama_batch_free(batch);
  557. return {tokens, ppl, logit_history, prob_history};
  558. }
  559. static bool decode_helper(llama_context * ctx, llama_batch & batch, std::vector<float> & batch_logits, int32_t n_batch, int32_t n_vocab) {
  560. int prev_outputs = 0;
  561. for (int32_t i = 0; i < (int32_t) batch.n_tokens; i += n_batch) {
  562. const int32_t n_tokens = std::min(n_batch, (int32_t) (batch.n_tokens - i));
  563. llama_batch batch_view = {
  564. n_tokens,
  565. batch.token + i,
  566. nullptr,
  567. batch.pos + i,
  568. batch.n_seq_id + i,
  569. batch.seq_id + i,
  570. batch.logits + i,
  571. 0, 0, 0, // unused
  572. };
  573. const int ret = llama_decode(ctx, batch_view);
  574. if (ret != 0) {
  575. LOG_TEE("failed to decode the batch, n_batch = %d, ret = %d\n", n_batch, ret);
  576. return false;
  577. }
  578. int n_outputs = 0;
  579. for (int i = 0; i < n_tokens; ++i) {
  580. n_outputs += batch_view.logits[i] != 0;
  581. }
  582. memcpy(batch_logits.data() + prev_outputs*n_vocab, llama_get_logits(ctx), n_outputs*n_vocab*sizeof(float));
  583. prev_outputs += n_outputs;
  584. }
  585. return true;
  586. }
  587. #define K_TOKEN_CHUNK 4
  588. static void compute_logprobs(const float * batch_logits, int n_vocab, std::vector<std::thread>& workers,
  589. const std::vector<std::pair<size_t, llama_token>>& eval_pairs, std::vector<float>& eval_results) {
  590. if (eval_results.size() != eval_pairs.size()) {
  591. eval_results.resize(eval_pairs.size());
  592. }
  593. if (eval_pairs.empty()) return;
  594. size_t max_threads = std::min((eval_pairs.size() + K_TOKEN_CHUNK - 1)/K_TOKEN_CHUNK, workers.size());
  595. std::atomic<int> counter(0);
  596. auto compute = [&counter, &eval_pairs, &eval_results, batch_logits, n_vocab] () {
  597. float local_logprobs[K_TOKEN_CHUNK];
  598. while (true) {
  599. size_t first = counter.fetch_add(K_TOKEN_CHUNK, std::memory_order_relaxed);
  600. if (first >= eval_results.size()) break;
  601. size_t last = std::min(first + K_TOKEN_CHUNK, eval_results.size());
  602. for (size_t i = first; i < last; ++i) {
  603. auto logits = batch_logits + eval_pairs[i].first * n_vocab;
  604. float max_logit = logits[0];
  605. for (int j = 1; j < n_vocab; ++j) {
  606. max_logit = std::max(max_logit, logits[j]);
  607. }
  608. float sum_p = 0.f;
  609. for (int j = 0; j < n_vocab; ++j) {
  610. sum_p += expf(logits[j] - max_logit);
  611. }
  612. local_logprobs[i - first] = logits[eval_pairs[i].second] - max_logit - std::log(sum_p);
  613. }
  614. std::memcpy(eval_results.data() + first, local_logprobs, (last - first)*sizeof(float));
  615. }
  616. };
  617. for (size_t it = 0; it < max_threads; ++it) {
  618. workers[it] = std::thread(compute);
  619. }
  620. for (size_t it = 0; it < max_threads; ++it) {
  621. workers[it].join();
  622. }
  623. }
  624. static void hellaswag_score(llama_context * ctx, const gpt_params & params) {
  625. // Calculates hellaswag score (acc_norm) from prompt
  626. //
  627. // Data extracted from the HellaSwag validation dataset (MIT license) https://github.com/rowanz/hellaswag/blob/master/data/hellaswag_val.jsonl
  628. // All used data fields are preprocessed as in https://github.com/EleutherAI/lm-evaluation-harness/blob/df3da98c5405deafd519c2ddca52bb7c3fe36bef/lm_eval/tasks/hellaswag.py#L62-L68
  629. //
  630. // All 10042 tasks should be extracted to keep the results standardized like other implementations.
  631. //
  632. // Datafile layout:
  633. // ['??'] denotes json fields
  634. // 6 lines per task:
  635. // ['activity_label'] + ": " +['ctx'] - The first part of the query, the context
  636. // ['label'] - The index the best common sense ending aka gold ending
  637. // ['endings'][0] - Endings added to the first part of the query
  638. // ['endings'][1]
  639. // ['endings'][2]
  640. // ['endings'][3]
  641. std::vector<std::string> prompt_lines;
  642. std::istringstream strstream(params.prompt);
  643. std::string line;
  644. while (std::getline(strstream,line,'\n')) {
  645. prompt_lines.push_back(line);
  646. }
  647. if (prompt_lines.size() % 6 != 0) {
  648. fprintf(stderr, "%s : number of lines in prompt not a multiple of 6.\n", __func__);
  649. return;
  650. }
  651. size_t hs_task_count = prompt_lines.size()/6;
  652. fprintf(stderr, "%s : loaded %zu tasks from prompt.\n", __func__, hs_task_count);
  653. const bool is_spm = llama_vocab_type(llama_get_model(ctx)) == LLAMA_VOCAB_TYPE_SPM;
  654. fprintf(stderr, "================================= is_spm = %d\n", is_spm);
  655. // The tasks should be randomized so the score stabilizes quickly.
  656. bool randomize_tasks = true;
  657. // Number of tasks to use when computing the score
  658. if (params.hellaswag_tasks < hs_task_count) {
  659. hs_task_count = params.hellaswag_tasks;
  660. }
  661. // The random seed should not impact the final result if the computation is done over enough tasks, so kept hardcoded for now
  662. std::mt19937 rng(1);
  663. // Dataholder for hellaswag tasks
  664. struct hs_data_t {
  665. std::string context;
  666. size_t gold_ending_idx;
  667. std::string ending[4];
  668. size_t ending_logprob_count[4];
  669. double ending_logprob[4];
  670. size_t i_logits; // starting index of logits in the llama_batch
  671. size_t common_prefix; // max number of initial tokens that are the same in all sentences
  672. size_t required_tokens; // needed number of tokens to evaluate all 4 endings
  673. std::vector<llama_token> seq_tokens[4];
  674. };
  675. fprintf(stderr, "%s : selecting %zu %s tasks.\n", __func__, hs_task_count, (randomize_tasks?"randomized":"the first") );
  676. // Select and read data from prompt lines
  677. std::vector<hs_data_t> hs_data(hs_task_count);
  678. for (size_t i = 0; i < hs_task_count; i++) {
  679. size_t idx = i;
  680. auto & hs_cur = hs_data[i];
  681. // Select a random example of those left in the prompt
  682. if (randomize_tasks) {
  683. std::uniform_int_distribution<size_t> dist(0, prompt_lines.size()/6-1 ) ;
  684. idx = dist(rng);
  685. }
  686. hs_cur.context = prompt_lines[idx*6];
  687. hs_cur.gold_ending_idx = std::stoi( prompt_lines[idx*6+1] );
  688. for (size_t j = 0; j < 4; j++) {
  689. hs_cur.ending[j] = prompt_lines[idx*6+2+j];
  690. hs_cur.seq_tokens[j] = ::llama_tokenize(ctx, hs_cur.context + " " + hs_cur.ending[j], true);
  691. }
  692. // determine the common prefix of the endings
  693. hs_cur.common_prefix = 0;
  694. for (size_t k = 0; k < hs_cur.seq_tokens[0].size(); k++) {
  695. if (hs_cur.seq_tokens[0][k] != hs_cur.seq_tokens[1][k] ||
  696. hs_cur.seq_tokens[0][k] != hs_cur.seq_tokens[2][k] ||
  697. hs_cur.seq_tokens[0][k] != hs_cur.seq_tokens[3][k]) {
  698. break;
  699. }
  700. hs_cur.common_prefix++;
  701. }
  702. hs_cur.required_tokens = hs_cur.common_prefix +
  703. hs_cur.seq_tokens[0].size() - hs_cur.common_prefix +
  704. hs_cur.seq_tokens[1].size() - hs_cur.common_prefix +
  705. hs_cur.seq_tokens[2].size() - hs_cur.common_prefix +
  706. hs_cur.seq_tokens[3].size() - hs_cur.common_prefix;
  707. //GGML_ASSERT(hs_cur.common_prefix >= ::llama_tokenize(ctx, hs_cur.context, true).size());
  708. // Delete the selected random example from the prompt
  709. if (randomize_tasks) {
  710. prompt_lines.erase( std::next(prompt_lines.begin(),idx*6) , std::next(prompt_lines.begin(),idx*6+6) );
  711. }
  712. }
  713. fprintf(stderr, "%s : calculating hellaswag score over selected tasks.\n", __func__);
  714. printf("\ntask\tacc_norm\n");
  715. double acc = 0.0f;
  716. const int n_vocab = llama_n_vocab(llama_get_model(ctx));
  717. const int n_ctx = llama_n_ctx(ctx);
  718. const int n_batch = params.n_batch;
  719. const int max_tasks_per_batch = 32;
  720. const int max_seq = std::min(4*max_tasks_per_batch, (int) llama_n_seq_max(ctx));
  721. llama_batch batch = llama_batch_init(n_ctx, 0, 4);
  722. std::vector<float> tok_logits(n_vocab);
  723. // TODO: this could be made smaller; it's currently the worst-case size
  724. std::vector<float> batch_logits(n_vocab*n_ctx);
  725. std::vector<std::pair<size_t, llama_token>> eval_pairs;
  726. std::vector<float> eval_results;
  727. std::vector<std::thread> workers(std::thread::hardware_concurrency());
  728. for (size_t i0 = 0; i0 < hs_task_count; i0++) {
  729. int n_cur = 0;
  730. size_t i1 = i0;
  731. size_t i_logits = 0; // this tells us how many logits were needed before this point in the batch
  732. llama_batch_clear(batch);
  733. // batch as much tasks as possible into the available context
  734. // each task has 4 unique sequence ids - one for each ending
  735. // the common prefix is shared among the 4 sequences to save tokens
  736. // we extract logits only from the last common token and from all ending tokens of each sequence
  737. while (n_cur + (int) hs_data[i1].required_tokens <= n_ctx) {
  738. auto & hs_cur = hs_data[i1];
  739. int n_logits = 0;
  740. const int s0 = 4*(i1 - i0);
  741. if (s0 + 4 > max_seq) {
  742. break;
  743. }
  744. for (size_t i = 0; i < hs_cur.common_prefix; ++i) {
  745. llama_batch_add(batch, hs_cur.seq_tokens[0][i], i, { s0 + 0, s0 + 1, s0 + 2, s0 + 3 }, false);
  746. }
  747. batch.logits[batch.n_tokens - 1] = true; // we need logits for the last token of the common prefix
  748. n_logits += 1;
  749. for (int s = 0; s < 4; ++s) {
  750. const size_t seq_tokens_size = hs_cur.seq_tokens[s].size();
  751. // TODO: don't evaluate the last token of each sequence
  752. for (size_t i = hs_cur.common_prefix; i < seq_tokens_size; ++i) {
  753. const bool needs_logits = i < seq_tokens_size - 1;
  754. llama_batch_add(batch, hs_cur.seq_tokens[s][i], i, { s0 + s }, needs_logits);
  755. n_logits += needs_logits;
  756. }
  757. }
  758. hs_cur.i_logits = i_logits;
  759. i_logits += n_logits;
  760. n_cur += hs_data[i1].required_tokens;
  761. if (++i1 == hs_task_count) {
  762. break;
  763. }
  764. }
  765. if (i0 == i1) {
  766. fprintf(stderr, "%s : task %zu does not fit in the context window\n", __func__, i0);
  767. return;
  768. }
  769. llama_kv_cache_clear(ctx);
  770. // decode all tasks [i0, i1)
  771. if (!decode_helper(ctx, batch, batch_logits, n_batch, n_vocab)) {
  772. fprintf(stderr, "%s: llama_decode() failed\n", __func__);
  773. return;
  774. }
  775. // Compute log-probs in parallel
  776. // First we collect all tasks
  777. eval_pairs.clear();
  778. for (size_t i = i0; i < i1; ++i) {
  779. auto & hs_cur = hs_data[i];
  780. size_t li = 1; // skip the last logit of the common prefix (computed separately below)
  781. for (int s = 0; s < 4; ++s) {
  782. for (size_t j = hs_cur.common_prefix; j < hs_cur.seq_tokens[s].size() - 1; j++) {
  783. eval_pairs.emplace_back(hs_cur.i_logits + li++, hs_cur.seq_tokens[s][j + 1]);
  784. }
  785. }
  786. }
  787. // Then we do the actual calculation
  788. compute_logprobs(batch_logits.data(), n_vocab, workers, eval_pairs, eval_results);
  789. size_t ir = 0;
  790. // compute the logprobs for each ending of the decoded tasks
  791. for (size_t i = i0; i < i1; ++i) {
  792. auto & hs_cur = hs_data[i];
  793. // get the logits of the last token of the common prefix
  794. std::memcpy(tok_logits.data(), batch_logits.data() + n_vocab*hs_cur.i_logits, n_vocab*sizeof(float));
  795. const auto first_probs = softmax(tok_logits);
  796. for (int s = 0; s < 4; ++s) {
  797. hs_cur.ending_logprob_count[s] = 1;
  798. hs_cur.ending_logprob[s] = std::log(first_probs[hs_cur.seq_tokens[s][hs_cur.common_prefix]]);
  799. for (size_t j = hs_cur.common_prefix; j < hs_cur.seq_tokens[s].size() - 1; j++) {
  800. hs_cur.ending_logprob[s] += eval_results[ir++];
  801. hs_cur.ending_logprob_count[s]++;
  802. }
  803. hs_cur.ending_logprob[s] /= hs_cur.ending_logprob_count[s];
  804. }
  805. // Find the ending with maximum logprob
  806. size_t ending_logprob_max_idx = 0;
  807. double ending_logprob_max_val = hs_cur.ending_logprob[0];
  808. for (size_t s = 1; s < 4; s++) {
  809. if (hs_cur.ending_logprob[s] > ending_logprob_max_val) {
  810. ending_logprob_max_idx = s;
  811. ending_logprob_max_val = hs_cur.ending_logprob[s];
  812. }
  813. }
  814. //printf("max logprob ending idx %lu, gold ending idx %lu\n", ending_logprob_max_idx, hs_cur.gold_ending_idx);
  815. // If the gold ending got the maximum logprobe add one accuracy point
  816. if (ending_logprob_max_idx == hs_cur.gold_ending_idx) {
  817. acc += 1.0;
  818. }
  819. // Print the accumulated accuracy mean x 100
  820. printf("%zu\t%.8lf\n", i + 1, acc/double(i + 1)*100.0);
  821. fflush(stdout);
  822. }
  823. i0 = i1 - 1;
  824. }
  825. llama_batch_free(batch);
  826. printf("\n");
  827. }
  828. struct winogrande_entry {
  829. std::string first;
  830. std::string second;
  831. std::array<std::string, 2> choices;
  832. int answer;
  833. size_t i_logits;
  834. size_t common_prefix;
  835. size_t required_tokens;
  836. size_t n_base1; // number of tokens for context + choice 1
  837. size_t n_base2; // number of tokens for context + choice 2
  838. std::vector<llama_token> seq_tokens[2];
  839. };
  840. static std::vector<winogrande_entry> load_winogrande_from_csv(const std::string& prompt) {
  841. std::vector<winogrande_entry> result;
  842. std::istringstream in(prompt);
  843. std::string line;
  844. std::array<int, 4> comma_pos;
  845. while (true) {
  846. std::getline(in, line);
  847. if (in.fail() || in.eof()) break;
  848. int ipos = 0;
  849. bool quote_open = false;
  850. for (int i = 0; i < int(line.size()); ++i) {
  851. if (!quote_open) {
  852. if (line[i] == ',') {
  853. comma_pos[ipos++] = i;
  854. if (ipos == 4) break;
  855. }
  856. else if (line[i] == '"') {
  857. quote_open = true;
  858. }
  859. }
  860. else {
  861. if (line[i] == '"') {
  862. quote_open = false;
  863. }
  864. }
  865. }
  866. if (ipos != 4) {
  867. printf("%s: failed to find comma separators in <%s>\n", __func__, line.c_str());
  868. continue;
  869. }
  870. auto sentence = line[comma_pos[0]+1] == '"' ? line.substr(comma_pos[0]+2, comma_pos[1] - comma_pos[0] - 3)
  871. : line.substr(comma_pos[0]+1, comma_pos[1] - comma_pos[0] - 1);
  872. auto choice1 = line.substr(comma_pos[1]+1, comma_pos[2] - comma_pos[1] - 1);
  873. auto choice2 = line.substr(comma_pos[2]+1, comma_pos[3] - comma_pos[2] - 1);
  874. auto answer = line.substr(comma_pos[3]+1, line.size() - comma_pos[3] - 1);
  875. auto index = line.substr(0, comma_pos[0]);
  876. int where = 0;
  877. for ( ; where < int(sentence.size()); ++where) {
  878. if (sentence[where] == '_') break;
  879. }
  880. if (where == int(sentence.size())) {
  881. printf("%s: no _ in <%s>\n", __func__, sentence.c_str());
  882. continue;
  883. }
  884. std::istringstream stream(answer.c_str());
  885. int i_answer; stream >> i_answer;
  886. if (stream.fail() || i_answer < 1 || i_answer > 2) {
  887. printf("%s: failed to parse answer <%s>\n", __func__, answer.c_str());
  888. continue;
  889. }
  890. result.emplace_back();
  891. auto& wg = result.back();
  892. wg.first = sentence.substr(0, where);
  893. wg.second = sentence.substr(where + 1, sentence.size() - where - 1);
  894. wg.choices[0] = std::move(choice1);
  895. wg.choices[1] = std::move(choice2);
  896. wg.answer = i_answer;
  897. }
  898. return result;
  899. }
  900. /*
  901. * Evaluates the Winogrande score.
  902. * Uses a CSV containing task index, dentence, choice 1, choice 2, answer (1 or 2)
  903. * You can get one such dataset from e.g. https://huggingface.co/datasets/ikawrakow/winogrande-eval-for-llama.cpp
  904. * As an example, the 1st row in the above dataset is
  905. *
  906. * 0,Sarah was a much better surgeon than Maria so _ always got the easier cases.,Sarah,Maria,2
  907. *
  908. */
  909. static void winogrande_score(llama_context * ctx, const gpt_params & params) {
  910. constexpr int k_min_trailing_ctx = 3;
  911. auto data = load_winogrande_from_csv(params.prompt);
  912. if (data.empty()) {
  913. fprintf(stderr, "%s: no tasks\n", __func__);
  914. return;
  915. }
  916. fprintf(stderr, "%s : loaded %zu tasks from prompt.\n", __func__, data.size());
  917. if (params.winogrande_tasks > 0 && params.winogrande_tasks < data.size()) {
  918. fprintf(stderr, "%s : selecting %zu random tasks\n", __func__, params.winogrande_tasks);
  919. std::mt19937 rng(1);
  920. std::vector<int> aux(data.size());
  921. for (int i = 0; i < int(data.size()); ++i) {
  922. aux[i] = i;
  923. }
  924. float scale = 1/(1.f + (float)rng.max());
  925. std::vector<winogrande_entry> selected;
  926. selected.resize(params.winogrande_tasks);
  927. for (int i = 0; i < int(params.winogrande_tasks); ++i) {
  928. int j = int(scale*rng()*aux.size());
  929. selected[i] = std::move(data[aux[j]]);
  930. aux[j] = aux.back();
  931. aux.pop_back();
  932. }
  933. data = std::move(selected);
  934. }
  935. fprintf(stderr, "%s : tokenizing selected tasks\n", __func__);
  936. for (auto & task : data) {
  937. task.seq_tokens[0] = ::llama_tokenize(ctx, task.first + task.choices[0] + task.second, true);
  938. task.seq_tokens[1] = ::llama_tokenize(ctx, task.first + task.choices[1] + task.second, true);
  939. task.common_prefix = 0;
  940. for (size_t k = 0; k < task.seq_tokens[0].size(); k++) {
  941. if (task.seq_tokens[0][k] != task.seq_tokens[1][k]) {
  942. break;
  943. }
  944. task.common_prefix++;
  945. }
  946. // TODO: the last token of each of the sequences don't need to be evaluated
  947. task.required_tokens = task.common_prefix +
  948. task.seq_tokens[0].size() - task.common_prefix +
  949. task.seq_tokens[1].size() - task.common_prefix;
  950. task.n_base1 = ::llama_tokenize(ctx, task.first + task.choices[0], true).size();
  951. task.n_base2 = ::llama_tokenize(ctx, task.first + task.choices[1], true).size();
  952. }
  953. fprintf(stderr, "%s : calculating winogrande score over selected tasks.\n", __func__);
  954. const int n_vocab = llama_n_vocab(llama_get_model(ctx));
  955. const int n_ctx = llama_n_ctx(ctx);
  956. const int n_batch = params.n_batch;
  957. const int max_tasks_per_batch = 128;
  958. const int max_seq = std::min(2*max_tasks_per_batch, (int) llama_n_seq_max(ctx));
  959. llama_batch batch = llama_batch_init(n_ctx, 0, 2);
  960. std::vector<float> tok_logits(n_vocab);
  961. // TODO: this could be made smaller; it's currently the worst-case size
  962. std::vector<float> batch_logits(n_vocab*n_ctx);
  963. std::vector<std::pair<size_t, llama_token>> eval_pairs;
  964. std::vector<float> eval_results;
  965. std::vector<std::thread> workers(std::thread::hardware_concurrency());
  966. int n_correct = 0;
  967. int n_done = 0;
  968. for (size_t i0 = 0; i0 < data.size(); i0++) {
  969. int n_cur = 0;
  970. size_t i1 = i0;
  971. size_t i_logits = 0;
  972. llama_batch_clear(batch);
  973. while (n_cur + (int) data[i1].required_tokens <= n_ctx) {
  974. int n_logits = 0;
  975. const int s0 = 2*(i1 - i0);
  976. if (s0 + 2 > max_seq) {
  977. break;
  978. }
  979. for (size_t i = 0; i < data[i1].common_prefix; ++i) {
  980. llama_batch_add(batch, data[i1].seq_tokens[0][i], i, { s0 + 0, s0 + 1 }, false);
  981. }
  982. batch.logits[batch.n_tokens - 1] = true;
  983. n_logits += 1;
  984. for (int s = 0; s < 2; ++s) {
  985. // TODO: end before the last token, no need to predict past the end of the sequences
  986. for (size_t i = data[i1].common_prefix; i < data[i1].seq_tokens[s].size(); ++i) {
  987. llama_batch_add(batch, data[i1].seq_tokens[s][i], i, { s0 + s }, true);
  988. n_logits += 1;
  989. }
  990. }
  991. data[i1].i_logits = i_logits;
  992. i_logits += n_logits;
  993. n_cur += data[i1].required_tokens;
  994. if (++i1 == data.size()) {
  995. break;
  996. }
  997. }
  998. if (i0 == i1) {
  999. fprintf(stderr, "%s : task %zu does not fit in the context window\n", __func__, i0);
  1000. return;
  1001. }
  1002. llama_kv_cache_clear(ctx);
  1003. // decode all tasks [i0, i1)
  1004. if (!decode_helper(ctx, batch, batch_logits, n_batch, n_vocab)) {
  1005. fprintf(stderr, "%s: llama_decode() failed\n", __func__);
  1006. return;
  1007. }
  1008. eval_pairs.clear();
  1009. for (size_t i = i0; i < i1; ++i) {
  1010. auto & task = data[i];
  1011. const bool skip_choice =
  1012. task.seq_tokens[0].size() - task.common_prefix > k_min_trailing_ctx &&
  1013. task.seq_tokens[1].size() - task.common_prefix > k_min_trailing_ctx;
  1014. const auto& n_base1 = skip_choice ? task.n_base1 : task.common_prefix;
  1015. const int last_1st = task.seq_tokens[0].size() - n_base1 > 1 ? 1 : 0;
  1016. size_t li = n_base1 - task.common_prefix;
  1017. for (size_t j = n_base1-1; j < task.seq_tokens[0].size()-1-last_1st; ++j) {
  1018. eval_pairs.emplace_back(task.i_logits + li++, task.seq_tokens[0][j+1]);
  1019. }
  1020. const auto& n_base2 = skip_choice ? task.n_base2 : task.common_prefix;
  1021. const int last_2nd = task.seq_tokens[1].size() - n_base2 > 1 ? 1 : 0;
  1022. // FIXME: this uses the wrong first logits when not skipping the choice word
  1023. li = task.seq_tokens[0].size() - task.common_prefix + n_base2 - task.common_prefix;
  1024. for (size_t j = n_base2-1; j < task.seq_tokens[1].size()-1-last_2nd; ++j) {
  1025. eval_pairs.emplace_back(task.i_logits + li++, task.seq_tokens[1][j+1]);
  1026. }
  1027. }
  1028. compute_logprobs(batch_logits.data(), n_vocab, workers, eval_pairs, eval_results);
  1029. size_t ir = 0;
  1030. for (size_t i = i0; i < i1; ++i) {
  1031. auto & task = data[i];
  1032. const bool skip_choice =
  1033. task.seq_tokens[0].size() - task.common_prefix > k_min_trailing_ctx &&
  1034. task.seq_tokens[1].size() - task.common_prefix > k_min_trailing_ctx;
  1035. float score_1st = 0;
  1036. const auto& n_base1 = skip_choice ? task.n_base1 : task.common_prefix;
  1037. const int last_1st = task.seq_tokens[0].size() - n_base1 > 1 ? 1 : 0;
  1038. for (size_t j = n_base1-1; j < task.seq_tokens[0].size()-1-last_1st; ++j) {
  1039. score_1st += eval_results[ir++];
  1040. }
  1041. score_1st /= (task.seq_tokens[0].size() - n_base1 - last_1st);
  1042. float score_2nd = 0;
  1043. const auto& n_base2 = skip_choice ? task.n_base2 : task.common_prefix;
  1044. const int last_2nd = task.seq_tokens[1].size() - n_base2 > 1 ? 1 : 0;
  1045. for (size_t j = n_base2-1; j < task.seq_tokens[1].size()-1-last_2nd; ++j) {
  1046. score_2nd += eval_results[ir++];
  1047. }
  1048. score_2nd /= (task.seq_tokens[1].size() - n_base2 - last_2nd);
  1049. int result = score_1st > score_2nd ? 1 : 2;
  1050. if (result == task.answer) {
  1051. ++n_correct;
  1052. }
  1053. ++n_done;
  1054. // print the accumulated accuracy mean x 100
  1055. printf("%zu\t%.4lf\t%10.6f %10.6f %d %d\n", i+1, 100.0 * n_correct/n_done, score_1st, score_2nd, result, task.answer);
  1056. fflush(stdout);
  1057. }
  1058. i0 = i1 - 1;
  1059. }
  1060. printf("\n");
  1061. if (n_done < 100) return;
  1062. const float p = 1.f*n_correct/n_done;
  1063. const float sigma = 100.f*sqrt(p*(1-p)/(n_done-1));
  1064. printf("Final Winogrande score(%d tasks): %.4lf +/- %.4lf\n", n_done, 100*p, sigma);
  1065. }
  1066. static bool deserialize_string(std::istream & in, std::string & str) {
  1067. uint32_t size;
  1068. if (!in.read((char *)&size, sizeof(size)).fail()) {
  1069. str.resize(size);
  1070. if (!in.read((char *)&str[0], size).fail()) return true;
  1071. }
  1072. return false;
  1073. }
  1074. struct multiple_choice_answers {
  1075. std::vector<std::string> answers;
  1076. std::vector<int> labels;
  1077. bool deserialize(std::istream& in) {
  1078. uint32_t n;
  1079. in.read((char *)&n, sizeof(n));
  1080. if (in.fail() || n > 100) return false; // 100 as max. number of answers should be good enough for any practical purpose
  1081. answers.resize(n);
  1082. labels.resize(n);
  1083. for (auto& a : answers) {
  1084. if (!deserialize_string(in, a)) return false;
  1085. }
  1086. in.read((char *)labels.data(), n*sizeof(int));
  1087. return !in.fail();
  1088. }
  1089. };
  1090. struct multiple_choice_task {
  1091. std::string question; // the question (or context that needs to be continued)
  1092. multiple_choice_answers mc1; // possible answers (continuations) with a single correct answer
  1093. multiple_choice_answers mc2; // possible answers (continuations) with multiple correct answers - not handled yet
  1094. bool deserialize(std::istream& in) {
  1095. if (!deserialize_string(in, question)) return false;
  1096. return mc1.deserialize(in) && mc2.deserialize(in);
  1097. }
  1098. // For evaluation
  1099. size_t i_logits; // starting index of logits in the llama_batch
  1100. size_t common_prefix; // max number of initial tokens that are the same in all sentences
  1101. size_t required_tokens; // needed number of tokens to evaluate all answers
  1102. std::vector<std::vector<llama_token>> seq_tokens;
  1103. std::vector<float> log_probs;
  1104. };
  1105. static bool multiple_choice_prepare_one_task(llama_context * ctx, multiple_choice_task& task, bool log_error) {
  1106. if (task.question.empty() || task.mc1.answers.empty()) {
  1107. if (log_error) {
  1108. printf("%s: found bad task with empty question and/or answers\n", __func__);
  1109. }
  1110. return false;
  1111. }
  1112. task.seq_tokens.reserve(task.mc1.answers.size());
  1113. for (auto& answer : task.mc1.answers) {
  1114. if (answer.empty()) {
  1115. if (log_error) {
  1116. printf("%s: found empty answer\n", __func__);
  1117. }
  1118. return false;
  1119. }
  1120. task.seq_tokens.emplace_back(::llama_tokenize(ctx, task.question + " " + answer, true));
  1121. }
  1122. auto min_len = task.seq_tokens.front().size();
  1123. for (auto& seq : task.seq_tokens) {
  1124. min_len = std::min(min_len, seq.size());
  1125. }
  1126. task.common_prefix = 0;
  1127. for (size_t k = 0; k < min_len; ++k) {
  1128. auto token = task.seq_tokens[0][k];
  1129. bool all_same = true;
  1130. for (size_t i = 1; i < task.seq_tokens.size(); ++i) {
  1131. if (task.seq_tokens[i][k] != token) {
  1132. all_same = false;
  1133. break;
  1134. }
  1135. }
  1136. if (!all_same) {
  1137. break;
  1138. }
  1139. ++task.common_prefix;
  1140. }
  1141. task.required_tokens = task.common_prefix;
  1142. for (auto& seq : task.seq_tokens) {
  1143. task.required_tokens += seq.size() - task.common_prefix;
  1144. }
  1145. return true;
  1146. }
  1147. //
  1148. // Calculates score for multiple choice tasks with single correct answer from prompt.
  1149. // Commonly used LLM evaluation metrics of this type are
  1150. // * ARC
  1151. // * HellaSwag
  1152. // * MMLU
  1153. // * TruthfulQA
  1154. //
  1155. // Validation datasets for these 4 tests can be found at
  1156. // https://huggingface.co/datasets/ikawrakow/validation-datasets-for-llama.cpp
  1157. // The data for these datasets was extracted from
  1158. // git@hf.co:datasets/allenai/ai2_arc
  1159. // https://github.com/rowanz/hellaswag/blob/master/data/hellaswag_val.jsonl
  1160. // git@hf.co:datasets/Stevross/mmlu
  1161. // https://huggingface.co/datasets/truthful_qa
  1162. //
  1163. static void multiple_choice_score(llama_context * ctx, const gpt_params & params) {
  1164. std::istringstream strstream(params.prompt);
  1165. uint32_t n_task;
  1166. strstream.read((char *)&n_task, sizeof(n_task));
  1167. if (strstream.fail() || n_task == 0) {
  1168. printf("%s: no tasks\n", __func__);
  1169. return;
  1170. }
  1171. printf("%s: there are %u tasks in prompt\n", __func__, n_task);
  1172. std::vector<uint32_t> task_pos(n_task);
  1173. strstream.read((char *)task_pos.data(), task_pos.size()*sizeof(uint32_t));
  1174. if (strstream.fail()) {
  1175. printf("%s: failed to read task positions from prompt\n", __func__);
  1176. return;
  1177. }
  1178. std::vector<multiple_choice_task> tasks;
  1179. if (params.multiple_choice_tasks == 0 || params.multiple_choice_tasks >= (size_t)n_task) {
  1180. // Use all tasks
  1181. tasks.resize(n_task);
  1182. printf("%s: reading tasks", __func__);
  1183. int n_dot = n_task/100;
  1184. int i = 0;
  1185. for (auto& task : tasks) {
  1186. ++i;
  1187. if (!task.deserialize(strstream)) {
  1188. printf("%s: failed to read task %d of %u\n", __func__, i, n_task);
  1189. return;
  1190. }
  1191. if (i%n_dot == 0) printf(".");
  1192. }
  1193. printf("done\n");
  1194. }
  1195. else {
  1196. printf("%s: selecting %zu random tasks from %u tasks available\n", __func__, params.multiple_choice_tasks, n_task);
  1197. std::mt19937 rng(1);
  1198. std::vector<int> aux(n_task);
  1199. for (uint32_t i = 0; i < n_task; ++i) aux[i] = i;
  1200. float scale = 1.f/(1.f + (float)std::mt19937::max());
  1201. tasks.resize(params.multiple_choice_tasks);
  1202. for (auto& task : tasks) {
  1203. int j = (int)(scale * rng() * aux.size());
  1204. int idx = aux[j];
  1205. aux[j] = aux.back();
  1206. aux.pop_back();
  1207. strstream.seekg(task_pos[idx], std::ios::beg);
  1208. if (!task.deserialize(strstream)) {
  1209. printf("%s: failed to read task %d at position %u\n", __func__, idx, task_pos[idx]);
  1210. return;
  1211. }
  1212. }
  1213. n_task = params.multiple_choice_tasks;
  1214. }
  1215. printf("%s: preparing task data", __func__);
  1216. fflush(stdout);
  1217. if (n_task > 500) {
  1218. printf("...");
  1219. fflush(stdout);
  1220. std::atomic<int> counter(0);
  1221. std::atomic<int> n_bad(0);
  1222. auto prepare = [&counter, &n_bad, &tasks, ctx] () {
  1223. int num_tasks = tasks.size();
  1224. int n_bad_local = 0;
  1225. while (true) {
  1226. int first = counter.fetch_add(K_TOKEN_CHUNK);
  1227. if (first >= num_tasks) {
  1228. if (n_bad_local > 0) n_bad += n_bad_local;
  1229. break;
  1230. }
  1231. int last = std::min(first + K_TOKEN_CHUNK, num_tasks);
  1232. for (int i = first; i < last; ++i) {
  1233. if (!multiple_choice_prepare_one_task(ctx, tasks[i], false)) ++n_bad_local;
  1234. }
  1235. }
  1236. };
  1237. size_t max_thread = std::thread::hardware_concurrency();
  1238. max_thread = std::min(max_thread, (tasks.size() + K_TOKEN_CHUNK - 1)/K_TOKEN_CHUNK);
  1239. std::vector<std::thread> workers(max_thread-1);
  1240. for (auto& w : workers) w = std::thread(prepare);
  1241. prepare();
  1242. for (auto& w : workers) w.join();
  1243. printf("done\n");
  1244. fflush(stdout);
  1245. int nbad = n_bad;
  1246. if (nbad > 0) {
  1247. printf("%s: found %d malformed tasks\n", __func__, nbad);
  1248. return;
  1249. }
  1250. } else {
  1251. int n_dot = std::max((int) n_task/100, 1);
  1252. int i_task = 0;
  1253. for (auto& task : tasks) {
  1254. ++i_task;
  1255. if (!multiple_choice_prepare_one_task(ctx, task, true)) {
  1256. return;
  1257. }
  1258. if (i_task%n_dot == 0) {
  1259. printf(".");
  1260. fflush(stdout);
  1261. }
  1262. }
  1263. printf("done\n");
  1264. }
  1265. printf("%s : calculating TruthfulQA score over %zu tasks.\n", __func__, tasks.size());
  1266. printf("\ntask\tacc_norm\n");
  1267. const int n_vocab = llama_n_vocab(llama_get_model(ctx));
  1268. const int n_ctx = llama_n_ctx(ctx);
  1269. const int n_batch = params.n_batch;
  1270. const int max_tasks_per_batch = 32;
  1271. const int max_seq = std::min(4*max_tasks_per_batch, (int) llama_n_seq_max(ctx));
  1272. llama_batch batch = llama_batch_init(n_ctx, 0, max_seq);
  1273. std::vector<float> tok_logits(n_vocab);
  1274. std::vector<float> batch_logits(n_vocab*n_ctx);
  1275. std::vector<std::pair<size_t, llama_token>> eval_pairs;
  1276. std::vector<float> eval_results;
  1277. std::vector<std::thread> workers(std::thread::hardware_concurrency());
  1278. std::vector<int> batch_indeces;
  1279. int n_done = 0;
  1280. int n_correct = 0;
  1281. int n_tot_answers = 0;
  1282. for (size_t i0 = 0; i0 < tasks.size(); i0++) {
  1283. int n_cur = 0;
  1284. size_t i1 = i0;
  1285. size_t i_logits = 0; // this tells us how many logits were needed before this point in the batch
  1286. llama_batch_clear(batch);
  1287. // batch as much tasks as possible into the available context
  1288. // each task has 4 unique sequence ids - one for each ending
  1289. // the common prefix is shared among the 4 sequences to save tokens
  1290. // we extract logits only from the last common token and from all ending tokens of each sequence
  1291. int s0 = 0;
  1292. while (n_cur + (int) tasks[i1].required_tokens <= n_ctx) {
  1293. auto& cur_task = tasks[i1];
  1294. int n_logits = 0;
  1295. int num_answers = cur_task.seq_tokens.size();
  1296. if (s0 + num_answers > max_seq) {
  1297. break;
  1298. }
  1299. if (int(batch_indeces.size()) != num_answers) {
  1300. batch_indeces.resize(num_answers);
  1301. }
  1302. for (int s = 0; s < num_answers; ++s) batch_indeces[s] = s0 + s;
  1303. for (size_t i = 0; i < cur_task.common_prefix; ++i) {
  1304. //llama_batch_add(batch, cur_task.seq_tokens[0][i], i, { s0 + 0, s0 + 1, s0 + 2, s0 + 3}, false);
  1305. llama_batch_add(batch, cur_task.seq_tokens[0][i], i, batch_indeces, false);
  1306. }
  1307. batch.logits[batch.n_tokens - 1] = true; // we need logits for the last token of the common prefix
  1308. n_logits += 1;
  1309. for (int s = 0; s < int(cur_task.seq_tokens.size()); ++s) {
  1310. const size_t seq_tokens_size = cur_task.seq_tokens[s].size();
  1311. // TODO: don't evaluate the last token of each sequence
  1312. for (size_t i = cur_task.common_prefix; i < seq_tokens_size; ++i) {
  1313. const bool needs_logits = i < seq_tokens_size - 1;
  1314. llama_batch_add(batch, cur_task.seq_tokens[s][i], i, { s0 + s }, needs_logits);
  1315. n_logits += needs_logits;
  1316. }
  1317. }
  1318. s0 += num_answers;
  1319. cur_task.i_logits = i_logits;
  1320. i_logits += n_logits;
  1321. n_cur += cur_task.required_tokens;
  1322. if (++i1 == tasks.size()) {
  1323. break;
  1324. }
  1325. }
  1326. if (i0 == i1) {
  1327. fprintf(stderr, "%s : task %zu does not fit in the context window\n", __func__, i0);
  1328. return;
  1329. }
  1330. llama_kv_cache_clear(ctx);
  1331. // decode all tasks [i0, i1)
  1332. if (!decode_helper(ctx, batch, batch_logits, n_batch, n_vocab)) {
  1333. fprintf(stderr, "%s: llama_decode() failed\n", __func__);
  1334. return;
  1335. }
  1336. // Compute log-probs in parallel
  1337. // First we collect all tasks
  1338. eval_pairs.clear();
  1339. for (size_t i = i0; i < i1; ++i) {
  1340. auto& cur_task = tasks[i];
  1341. size_t li = 1; // skip the last logit of the common prefix (computed separately below)
  1342. for (int s = 0; s < int(cur_task.seq_tokens.size()); ++s) {
  1343. for (size_t j = cur_task.common_prefix; j < cur_task.seq_tokens[s].size() - 1; j++) {
  1344. eval_pairs.emplace_back(cur_task.i_logits + li++, cur_task.seq_tokens[s][j + 1]);
  1345. }
  1346. }
  1347. }
  1348. // Then we do the actual calculation
  1349. compute_logprobs(batch_logits.data(), n_vocab, workers, eval_pairs, eval_results);
  1350. size_t ir = 0;
  1351. // compute the logprobs for each ending of the decoded tasks
  1352. for (size_t i = i0; i < i1; ++i) {
  1353. auto & cur_task = tasks[i];
  1354. //printf("==== Evaluating <%s> with correct answer ", cur_task.question.c_str());
  1355. //for (int j = 0; j < int(cur_task.mc1.labels.size()); ++j) {
  1356. // if (cur_task.mc1.labels[j] == 1) {
  1357. // printf("%d", j+1);
  1358. // }
  1359. //}
  1360. //printf("\n common_prefix: %zu\n", cur_task.common_prefix);
  1361. // get the logits of the last token of the common prefix
  1362. std::memcpy(tok_logits.data(), batch_logits.data() + n_vocab*cur_task.i_logits, n_vocab*sizeof(float));
  1363. const auto first_probs = softmax(tok_logits);
  1364. cur_task.log_probs.resize(cur_task.seq_tokens.size());
  1365. for (int s = 0; s < int(cur_task.seq_tokens.size()); ++s) {
  1366. size_t count = 1;
  1367. float log_prob = std::log(first_probs[cur_task.seq_tokens[s][cur_task.common_prefix]]);
  1368. for (size_t j = cur_task.common_prefix; j < cur_task.seq_tokens[s].size() - 1; j++) {
  1369. //printf(" %zu %g\n", ir, eval_results[ir]);
  1370. ++count;
  1371. log_prob += eval_results[ir++];
  1372. }
  1373. cur_task.log_probs[s] = log_prob / count;
  1374. //printf(" Final: %g\n", log_prob / count);
  1375. //printf(" <%s> : %g\n", cur_task.mc1.answers[s].c_str(), log_prob/count);
  1376. }
  1377. // Find the ending with maximum logprob
  1378. size_t logprob_max_idx = 0;
  1379. float logprob_max_val = cur_task.log_probs[0];
  1380. for (size_t s = 1; s < cur_task.log_probs.size(); s++) {
  1381. if (cur_task.log_probs[s] > logprob_max_val) {
  1382. logprob_max_val = cur_task.log_probs[s];
  1383. logprob_max_idx = s;
  1384. }
  1385. }
  1386. n_tot_answers += cur_task.log_probs.size();
  1387. if (cur_task.mc1.labels[logprob_max_idx] == 1) {
  1388. ++n_correct;
  1389. }
  1390. ++n_done;
  1391. // Print the accumulated accuracy mean x 100
  1392. printf("%d\t%.8lf\n", n_done, 100.*n_correct/n_done);
  1393. fflush(stdout);
  1394. }
  1395. i0 = i1 - 1;
  1396. }
  1397. llama_batch_free(batch);
  1398. if (n_done < 100) return;
  1399. float p = 1.f*n_correct/n_done;
  1400. float sigma = sqrt(p*(1-p)/(n_done-1));
  1401. printf("\n Final result: %.4f +/- %.4f\n", 100.f*p, 100.f*sigma);
  1402. p = 1.f*n_done/n_tot_answers;
  1403. sigma = sqrt(p*(1-p)/(n_done-1));
  1404. printf("Random chance: %.4f +/- %.4f\n", 100.f*p, 100.f*sigma);
  1405. printf("\n");
  1406. }
  1407. static void kl_divergence(llama_context * ctx, const gpt_params & params) {
  1408. if (params.logits_file.empty()) {
  1409. fprintf(stderr, "%s: you must provide a name of a file containing the log probabilities of the base model\n", __func__);
  1410. return;
  1411. }
  1412. std::ifstream in(params.logits_file.c_str(), std::ios::binary);
  1413. if (!in) {
  1414. fprintf(stderr, "%s: failed to open %s\n", __func__, params.logits_file.c_str());
  1415. return;
  1416. }
  1417. {
  1418. char check[9]; check[8] = 0;
  1419. in.read(check, 8);
  1420. if (in.fail() || strncmp("_logits_", check, 8) != 0) {
  1421. fprintf(stderr, "%s: %s does not look like a file containing log-probabilities\n", __func__, params.logits_file.c_str());
  1422. return;
  1423. }
  1424. }
  1425. uint32_t n_ctx;
  1426. in.read((char *)&n_ctx, sizeof(n_ctx));
  1427. if (n_ctx > llama_n_ctx(ctx)) {
  1428. fprintf(stderr, "%s: %s has been computed with %u, while the current context is %d. Increase it with -c and retry\n",
  1429. __func__, params.logits_file.c_str(), n_ctx, params.n_ctx);
  1430. }
  1431. int n_vocab, n_chunk;
  1432. in.read((char *)&n_vocab, sizeof(n_vocab));
  1433. in.read((char *)&n_chunk, sizeof(n_chunk));
  1434. if (in.fail()) {
  1435. fprintf(stderr, "%s: failed reading n_vocab, n_chunk from %s\n", __func__, params.logits_file.c_str());
  1436. return;
  1437. }
  1438. if (n_vocab != llama_n_vocab(llama_get_model(ctx))) {
  1439. fprintf(stderr, "%s: inconsistent vocabulary (%d vs %d)\n", __func__, n_vocab, llama_n_vocab(llama_get_model(ctx)));
  1440. }
  1441. std::vector<llama_token> tokens(n_ctx * n_chunk);
  1442. if (in.read((char *)tokens.data(), tokens.size()*sizeof(tokens[0])).fail()) {
  1443. fprintf(stderr, "%s: failed reading evaluation tokens from %s\n", __func__, params.logits_file.c_str());
  1444. return;
  1445. }
  1446. const int n_batch = params.n_batch;
  1447. const int num_batches = (n_ctx + n_batch - 1)/n_batch;
  1448. const int nv = 2*((n_vocab + 1)/2) + 4;
  1449. const bool add_bos = llama_should_add_bos_token(llama_get_model(ctx));
  1450. GGML_ASSERT(llama_add_eos_token(llama_get_model(ctx)) != 1);
  1451. std::vector<uint16_t> log_probs_uint16(size_t(n_ctx - 1 - n_ctx/2) * nv);
  1452. std::vector<float> kld_values(size_t(n_ctx - 1 - n_ctx/2)*n_chunk);
  1453. std::vector<float> logits;
  1454. if (num_batches > 1) {
  1455. logits.reserve(n_ctx * n_vocab);
  1456. }
  1457. std::vector<std::thread> workers(std::thread::hardware_concurrency() - 1);
  1458. auto mean_and_uncertainty = [] (double sum, double sum2, size_t count) {
  1459. if (count < 1) {
  1460. return std::make_pair(0., 0.);
  1461. }
  1462. double f = sum/count;
  1463. double df = sum2/count - f*f;
  1464. df = df > 0 && count > 10 ? sqrt(df/(count-1)) : 0.;
  1465. return std::make_pair(f, df);
  1466. };
  1467. kl_divergence_result kld;
  1468. auto kld_ptr = kld_values.data();
  1469. for (int i = 0; i < n_chunk; ++i) {
  1470. const int start = i * n_ctx;
  1471. const int end = start + n_ctx;
  1472. const auto t_start = std::chrono::high_resolution_clock::now();
  1473. if (in.read((char *)log_probs_uint16.data(), log_probs_uint16.size()*sizeof(uint16_t)).fail()) {
  1474. fprintf(stderr, "%s: failed reading log-probs for chunk %d\n", __func__, i);
  1475. return;
  1476. }
  1477. // clear the KV cache
  1478. llama_kv_cache_clear(ctx);
  1479. for (int j = 0; j < num_batches; ++j) {
  1480. const int batch_start = start + j * n_batch;
  1481. const int batch_size = std::min(end - batch_start, n_batch);
  1482. // save original token and restore it after eval
  1483. const auto token_org = tokens[batch_start];
  1484. // add BOS token for the first batch of each chunk
  1485. if (add_bos && j == 0) {
  1486. tokens[batch_start] = llama_token_bos(llama_get_model(ctx));
  1487. }
  1488. // TODO: use llama_batch.logits instead of relying on logits_all == true
  1489. if (llama_decode(ctx, llama_batch_get_one(tokens.data() + batch_start, batch_size, j * n_batch, 0))) {
  1490. fprintf(stderr, "%s : failed to eval\n", __func__);
  1491. return;
  1492. }
  1493. // restore the original token in case it was set to BOS
  1494. tokens[batch_start] = token_org;
  1495. if (num_batches > 1) {
  1496. const auto * batch_logits = llama_get_logits(ctx);
  1497. logits.insert(logits.end(), batch_logits, batch_logits + batch_size * n_vocab);
  1498. }
  1499. }
  1500. const auto t_end = std::chrono::high_resolution_clock::now();
  1501. if (i == 0) {
  1502. const float t_total = std::chrono::duration<float>(t_end - t_start).count();
  1503. fprintf(stderr, "%s: %.2f seconds per pass - ETA ", __func__, t_total);
  1504. int total_seconds = (int)(t_total * n_chunk);
  1505. if (total_seconds >= 60*60) {
  1506. fprintf(stderr, "%d hours ", total_seconds / (60*60));
  1507. total_seconds = total_seconds % (60*60);
  1508. }
  1509. fprintf(stderr, "%.2f minutes\n", total_seconds / 60.0);
  1510. printf("\nchunk PPL ln(PPL(Q)/PPL(base)) KL-Divergence Same top\n");
  1511. }
  1512. const int first = n_ctx/2;
  1513. const float * all_logits = num_batches > 1 ? logits.data() : llama_get_logits(ctx);
  1514. process_logits(n_vocab, all_logits + first*n_vocab, tokens.data() + start + first, n_ctx - 1 - first,
  1515. workers, log_probs_uint16, kld, kld_ptr);
  1516. kld_ptr += n_ctx - 1 - first;
  1517. auto ppl = mean_and_uncertainty(kld.sum_nll, kld.sum_nll2, kld.count);
  1518. auto log_ppl_ratio = mean_and_uncertainty(kld.sum_nll_diff, kld.sum_nll_diff2, kld.count);
  1519. auto kl_div = mean_and_uncertainty(kld.sum_kld, kld.sum_kld2, kld.count);
  1520. auto p_top = 1.*kld.n_same_top/kld.count;
  1521. auto d_p_top = sqrt(p_top*(1 - p_top)/(kld.count - 1));
  1522. printf("%4d %10.4lf %10.5lf ± %10.5f %10.5f ± %10.5lf %.5f ± %.5f\n", i+1, exp(ppl.first),
  1523. log_ppl_ratio.first, log_ppl_ratio.second, kl_div.first, kl_div.second,
  1524. p_top, d_p_top);
  1525. fflush(stdout);
  1526. logits.clear();
  1527. }
  1528. printf("\n");
  1529. if (kld.count < 100) return; // we do not wish to do statistics on so few values
  1530. std::sort(kld_values.begin(), kld_values.end());
  1531. printf("===== KL-divergence statistics\n");
  1532. auto kl_div = mean_and_uncertainty(kld.sum_kld, kld.sum_kld2, kld.count);
  1533. printf("Average: %10.6f ±%10.6lf\n", kl_div.first, kl_div.second);
  1534. auto kld_median = kld_values.size()%2 == 0 ? 0.5f*(kld_values[kld_values.size()/2] + kld_values[kld_values.size()/2-1])
  1535. : kld_values[kld_values.size()/2];
  1536. printf("Median : %10.6f\n", kld_median);
  1537. auto percentile = [&kld_values] (float fraction) {
  1538. if (fraction <= 0) return kld_values.front();
  1539. if (fraction >= 1) return kld_values.back();
  1540. float p = fraction*(kld_values.size() - 1);
  1541. size_t ip = size_t(p); p -= ip;
  1542. return (1 - p)*kld_values[ip] + p*kld_values[std::min(ip+1, kld_values.size()-1)];
  1543. };
  1544. printf("Maximum: %10.6f\n", kld_values.back());
  1545. printf("KLD_99 : %10.6f\n", percentile(0.99f));
  1546. printf("KLD_95 : %10.6f\n", percentile(0.95f));
  1547. printf("KLD_90 : %10.6f\n", percentile(0.90f));
  1548. printf("Minimum: %10.6f\n", kld_values.front());
  1549. printf("KLD_01 : %10.6f\n", percentile(0.01f));
  1550. printf("KLD_05 : %10.6f\n", percentile(0.05f));
  1551. printf("KLD_10 : %10.6f\n", percentile(0.10f));
  1552. }
  1553. int main(int argc, char ** argv) {
  1554. gpt_params params;
  1555. if (!gpt_params_parse(argc, argv, params)) {
  1556. return 1;
  1557. }
  1558. params.logits_all = true;
  1559. const int32_t n_ctx = params.n_ctx;
  1560. if (n_ctx <= 0) {
  1561. fprintf(stderr, "%s: perplexity tool requires '--ctx-size' > 0\n", __func__);
  1562. return 1;
  1563. }
  1564. const bool ppl = !params.hellaswag && !params.winogrande && !params.multiple_choice && !params.kl_divergence;
  1565. if (ppl) {
  1566. const int32_t n_seq = std::max(1, params.n_batch / n_ctx);
  1567. const int32_t n_kv = n_seq * n_ctx;
  1568. params.n_parallel = n_seq;
  1569. params.n_ctx = n_kv;
  1570. params.n_batch = std::min(params.n_batch, n_kv);
  1571. } else {
  1572. params.n_batch = std::min(params.n_batch, params.n_ctx);
  1573. }
  1574. if (params.ppl_stride > 0) {
  1575. fprintf(stderr, "Will perform strided perplexity calculation -> adjusting context size from %d to %d\n",
  1576. params.n_ctx, params.n_ctx + params.ppl_stride/2);
  1577. params.n_ctx += params.ppl_stride/2;
  1578. }
  1579. print_build_info();
  1580. if (params.seed == LLAMA_DEFAULT_SEED) {
  1581. params.seed = time(NULL);
  1582. }
  1583. fprintf(stderr, "%s: seed = %u\n", __func__, params.seed);
  1584. std::mt19937 rng(params.seed);
  1585. if (params.random_prompt) {
  1586. params.prompt = gpt_random_prompt(rng);
  1587. }
  1588. llama_backend_init();
  1589. llama_numa_init(params.numa);
  1590. llama_model * model;
  1591. llama_context * ctx;
  1592. // ensure there's at least enough seq_ids for HellaSwag
  1593. params.n_parallel = std::max(4, params.n_parallel);
  1594. // load the model and apply lora adapter, if any
  1595. std::tie(model, ctx) = llama_init_from_gpt_params(params);
  1596. if (model == NULL) {
  1597. fprintf(stderr, "%s: error: unable to load model\n", __func__);
  1598. return 1;
  1599. }
  1600. const int n_ctx_train = llama_n_ctx_train(model);
  1601. if (params.n_ctx > n_ctx_train) {
  1602. fprintf(stderr, "%s: warning: model was trained on only %d context tokens (%d specified)\n",
  1603. __func__, n_ctx_train, params.n_ctx);
  1604. }
  1605. // print system information
  1606. {
  1607. fprintf(stderr, "\n");
  1608. fprintf(stderr, "%s\n", get_system_info(params).c_str());
  1609. }
  1610. struct results_perplexity results;
  1611. if (params.hellaswag) {
  1612. hellaswag_score(ctx, params);
  1613. } else if (params.winogrande) {
  1614. winogrande_score(ctx, params);
  1615. } else if (params.multiple_choice) {
  1616. multiple_choice_score(ctx, params);
  1617. } else if (params.kl_divergence) {
  1618. kl_divergence(ctx, params);
  1619. } else {
  1620. results = perplexity(ctx, params, n_ctx);
  1621. }
  1622. llama_print_timings(ctx);
  1623. write_logfile(ctx, params, model, results);
  1624. llama_free(ctx);
  1625. llama_free_model(model);
  1626. llama_backend_free();
  1627. return 0;
  1628. }