llama.go 14 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596
  1. package llm
  2. /*
  3. #cgo CFLAGS: -Ofast -std=c11 -fPIC
  4. #cgo CPPFLAGS: -Ofast -Wall -Wextra -Wno-unused-function -Wno-unused-variable -DNDEBUG -DGGML_USE_K_QUANTS
  5. #cgo CXXFLAGS: -std=c++11 -fPIC
  6. #cgo darwin CPPFLAGS: -DGGML_USE_ACCELERATE
  7. #cgo darwin,arm64 CPPFLAGS: -DGGML_USE_METAL -DGGML_METAL_NDEBUG
  8. #cgo darwin LDFLAGS: -framework Accelerate -framework Foundation -framework Metal -framework MetalKit -framework MetalPerformanceShaders
  9. #include <stdlib.h>
  10. #include "llama.h"
  11. struct llama_sample_options
  12. {
  13. float repeat_penalty;
  14. float frequency_penalty;
  15. float presence_penalty;
  16. float temperature;
  17. int32_t top_k;
  18. float top_p;
  19. float tfs_z;
  20. float typical_p;
  21. int mirostat;
  22. float mirostat_tau;
  23. float mirostat_eta;
  24. bool penalize_newline;
  25. };
  26. llama_token llama_sample(
  27. struct llama_context *ctx,
  28. struct llama_token_data *candidates,
  29. size_t n_candidates,
  30. const llama_token *last_tokens,
  31. size_t n_last_tokens,
  32. struct llama_sample_options *opts)
  33. {
  34. llama_token_data_array candidates_p = {
  35. candidates,
  36. n_candidates,
  37. false,
  38. };
  39. struct llama_token_data newline = candidates_p.data[llama_token_nl()];
  40. llama_sample_repetition_penalty(
  41. ctx, &candidates_p,
  42. last_tokens, n_last_tokens,
  43. opts->repeat_penalty);
  44. llama_sample_frequency_and_presence_penalties(
  45. ctx, &candidates_p,
  46. last_tokens, n_last_tokens,
  47. opts->frequency_penalty, opts->presence_penalty);
  48. if (!opts->penalize_newline) {
  49. candidates_p.data[llama_token_nl()] = newline;
  50. }
  51. if (opts->temperature <= 0) {
  52. return llama_sample_token_greedy(ctx, &candidates_p);
  53. }
  54. if (opts->mirostat == 1) {
  55. int mirostat_m = 100;
  56. float mirostat_mu = 2.0f * opts->mirostat_tau;
  57. llama_sample_temperature(ctx, &candidates_p, opts->temperature);
  58. return llama_sample_token_mirostat(
  59. ctx, &candidates_p,
  60. opts->mirostat_tau, opts->mirostat_eta,
  61. mirostat_m, &mirostat_mu);
  62. } else if (opts->mirostat == 2) {
  63. float mirostat_mu = 2.0f * opts->mirostat_tau;
  64. llama_sample_temperature(ctx, &candidates_p, opts->temperature);
  65. return llama_sample_token_mirostat_v2(
  66. ctx, &candidates_p,
  67. opts->mirostat_tau, opts->mirostat_eta,
  68. &mirostat_mu);
  69. } else {
  70. llama_sample_top_k(ctx, &candidates_p, opts->top_k, 1);
  71. llama_sample_tail_free(ctx, &candidates_p, opts->tfs_z, 1);
  72. llama_sample_typical(ctx, &candidates_p, opts->typical_p, 1);
  73. llama_sample_top_p(ctx, &candidates_p, opts->top_p, 1);
  74. llama_sample_temperature(ctx, &candidates_p, opts->temperature);
  75. return llama_sample_token(ctx, &candidates_p);
  76. }
  77. }
  78. */
  79. import "C"
  80. import (
  81. "bytes"
  82. "embed"
  83. "errors"
  84. "fmt"
  85. "io"
  86. "log"
  87. "os"
  88. "strings"
  89. "sync"
  90. "unicode/utf8"
  91. "unsafe"
  92. "github.com/jmorganca/ollama/api"
  93. )
  94. //go:embed ggml-metal.metal
  95. var fs embed.FS
  96. const ModelFamilyLlama ModelFamily = "llama"
  97. type llamaModel struct {
  98. hyperparameters llamaHyperparameters
  99. }
  100. func (llm *llamaModel) ModelFamily() ModelFamily {
  101. return ModelFamilyLlama
  102. }
  103. func (llm *llamaModel) ModelType() ModelType {
  104. switch llm.hyperparameters.NumLayer {
  105. case 26:
  106. return ModelType3B
  107. case 32:
  108. return ModelType7B
  109. case 40:
  110. return ModelType13B
  111. case 60:
  112. return ModelType30B
  113. case 80:
  114. return ModelType65B
  115. }
  116. // TODO: find a better default
  117. return ModelType7B
  118. }
  119. func (llm *llamaModel) FileType() FileType {
  120. return llm.hyperparameters.FileType
  121. }
  122. type llamaHyperparameters struct {
  123. // NumVocab is the size of the model's vocabulary.
  124. NumVocab uint32
  125. // NumEmbd is the size of the model's embedding layer.
  126. NumEmbd uint32
  127. NumMult uint32
  128. NumHead uint32
  129. // NumLayer is the number of layers in the model.
  130. NumLayer uint32
  131. NumRot uint32
  132. // FileType describes the quantization level of the model, e.g. Q4_0, Q5_K, etc.
  133. FileType llamaFileType
  134. }
  135. type llamaFileType uint32
  136. const (
  137. llamaFileTypeF32 llamaFileType = iota
  138. llamaFileTypeF16
  139. llamaFileTypeQ4_0
  140. llamaFileTypeQ4_1
  141. llamaFileTypeQ4_1_F16
  142. llamaFileTypeQ8_0 llamaFileType = iota + 2
  143. llamaFileTypeQ5_0
  144. llamaFileTypeQ5_1
  145. llamaFileTypeQ2_K
  146. llamaFileTypeQ3_K_S
  147. llamaFileTypeQ3_K_M
  148. llamaFileTypeQ3_K_L
  149. llamaFileTypeQ4_K_S
  150. llamaFileTypeQ4_K_M
  151. llamaFileTypeQ5_K_S
  152. llamaFileTypeQ5_K_M
  153. llamaFileTypeQ6_K
  154. )
  155. func (ft llamaFileType) String() string {
  156. switch ft {
  157. case llamaFileTypeF32:
  158. return "F32"
  159. case llamaFileTypeF16:
  160. return "F16"
  161. case llamaFileTypeQ4_0:
  162. return "Q4_0"
  163. case llamaFileTypeQ4_1:
  164. return "Q4_1"
  165. case llamaFileTypeQ4_1_F16:
  166. return "Q4_1_F16"
  167. case llamaFileTypeQ8_0:
  168. return "Q8_0"
  169. case llamaFileTypeQ5_0:
  170. return "Q5_0"
  171. case llamaFileTypeQ5_1:
  172. return "Q5_1"
  173. case llamaFileTypeQ2_K:
  174. return "Q2_K"
  175. case llamaFileTypeQ3_K_S:
  176. return "Q3_K_S"
  177. case llamaFileTypeQ3_K_M:
  178. return "Q3_K_M"
  179. case llamaFileTypeQ3_K_L:
  180. return "Q3_K_L"
  181. case llamaFileTypeQ4_K_S:
  182. return "Q4_K_S"
  183. case llamaFileTypeQ4_K_M:
  184. return "Q4_K_M"
  185. case llamaFileTypeQ5_K_S:
  186. return "Q5_K_S"
  187. case llamaFileTypeQ5_K_M:
  188. return "Q5_K_M"
  189. case llamaFileTypeQ6_K:
  190. return "Q6_K"
  191. default:
  192. return "Unknown"
  193. }
  194. }
  195. type llama struct {
  196. params *C.struct_llama_context_params
  197. model *C.struct_llama_model
  198. ctx *C.struct_llama_context
  199. last []C.llama_token
  200. embd []C.llama_token
  201. cursor int
  202. mu sync.Mutex
  203. gc bool
  204. api.Options
  205. }
  206. func newLlama(model string, adapters []string, opts api.Options) (*llama, error) {
  207. if _, err := os.Stat(model); err != nil {
  208. return nil, err
  209. }
  210. llm := llama{Options: opts}
  211. C.llama_backend_init(C.bool(llm.UseNUMA))
  212. params := C.llama_context_default_params()
  213. params.seed = C.uint(llm.Seed)
  214. params.n_ctx = C.int(llm.NumCtx)
  215. params.n_batch = C.int(llm.NumBatch)
  216. params.n_gqa = C.int(llm.NumGQA)
  217. params.n_gpu_layers = C.int(llm.NumGPU)
  218. params.main_gpu = C.int(llm.MainGPU)
  219. params.low_vram = C.bool(llm.LowVRAM)
  220. params.f16_kv = C.bool(llm.F16KV)
  221. params.logits_all = C.bool(llm.LogitsAll)
  222. params.vocab_only = C.bool(llm.VocabOnly)
  223. params.use_mmap = C.bool(llm.UseMMap)
  224. params.use_mlock = C.bool(llm.UseMLock)
  225. params.embedding = C.bool(llm.EmbeddingOnly)
  226. params.rope_freq_base = C.float(llm.RopeFrequencyBase)
  227. params.rope_freq_scale = C.float(llm.RopeFrequencyScale)
  228. if len(adapters) > 0 && llm.UseMMap {
  229. log.Printf("must disable mmap to use lora adapters")
  230. params.use_mmap = C.bool(false)
  231. }
  232. llm.params = &params
  233. cModel := C.CString(model)
  234. defer C.free(unsafe.Pointer(cModel))
  235. llm.model = C.llama_load_model_from_file(cModel, params)
  236. if llm.model == nil {
  237. return nil, errors.New("failed to load model")
  238. }
  239. llm.ctx = C.llama_new_context_with_model(llm.model, params)
  240. if llm.ctx == nil {
  241. return nil, errors.New("failed to create context")
  242. }
  243. for _, adapter := range adapters {
  244. cAdapter := C.CString(adapter)
  245. defer C.free(unsafe.Pointer(cAdapter))
  246. if retval := C.llama_model_apply_lora_from_file(llm.model, cAdapter, nil, C.int(llm.NumThread)); retval != 0 {
  247. return nil, fmt.Errorf("failed to load adapter %s", adapter)
  248. }
  249. }
  250. // warm up the model
  251. bos := []C.llama_token{C.llama_token_bos()}
  252. C.llama_eval(llm.ctx, unsafe.SliceData(bos), C.int(len(bos)), 0, C.int(opts.NumThread))
  253. C.llama_reset_timings(llm.ctx)
  254. return &llm, nil
  255. }
  256. func (llm *llama) Close() {
  257. llm.gc = true
  258. llm.mu.Lock()
  259. defer llm.mu.Unlock()
  260. defer C.llama_free_model(llm.model)
  261. defer C.llama_free(llm.ctx)
  262. C.llama_print_timings(llm.ctx)
  263. }
  264. func (llm *llama) SetOptions(opts api.Options) {
  265. llm.Options = opts
  266. }
  267. var errNeedMoreData = errors.New("need more data")
  268. func (llm *llama) Predict(ctx []int, prompt string, fn func(api.GenerateResponse)) error {
  269. C.llama_reset_timings(llm.ctx)
  270. llm.marshalPrompt(ctx, prompt)
  271. C.llama_set_rng_seed(llm.ctx, C.uint(llm.Seed))
  272. var b bytes.Buffer
  273. for {
  274. token, err := llm.next()
  275. if llm.gc {
  276. return nil
  277. } else if errors.Is(err, io.EOF) {
  278. break
  279. } else if err != nil {
  280. return err
  281. }
  282. b.WriteString(llm.Decode(int(token)))
  283. stop, endsWithStopPrefix := handleStopSequences(&b, llm.Stop)
  284. if endsWithStopPrefix {
  285. continue
  286. }
  287. if utf8.Valid(b.Bytes()) || b.Len() >= utf8.UTFMax {
  288. fn(api.GenerateResponse{Response: b.String()})
  289. b.Reset()
  290. }
  291. if stop {
  292. break
  293. }
  294. }
  295. embd := make([]int, len(llm.embd))
  296. for i := range llm.embd {
  297. embd[i] = int(llm.embd[i])
  298. }
  299. timings := C.llama_get_timings(llm.ctx)
  300. fn(api.GenerateResponse{
  301. Done: true,
  302. Context: embd,
  303. SampleCount: int(timings.n_sample),
  304. SampleDuration: parseDurationMs(float64(timings.t_sample_ms)),
  305. PromptEvalCount: int(timings.n_p_eval),
  306. PromptEvalDuration: parseDurationMs(float64(timings.t_p_eval_ms)),
  307. EvalCount: int(timings.n_eval),
  308. EvalDuration: parseDurationMs(float64(timings.t_eval_ms)),
  309. })
  310. return nil
  311. }
  312. // handleStopSequences checks whether b contains any of the stop sequences, or ends with a prefix of
  313. // any stop sequence (and therefore might contain data that should not ultimately be returned to the
  314. // client).
  315. //
  316. // If b contains a stop sequence, it modifies b to remove the stop sequence and all subsequent data.
  317. func handleStopSequences(b *bytes.Buffer, stopSequences []string) (stop bool, endsWithStopPrefix bool) {
  318. s := b.String()
  319. for _, seq := range stopSequences {
  320. // Check for an exact or substring match.
  321. if i := strings.Index(s, seq); i != -1 {
  322. b.Truncate(i)
  323. return true, false
  324. }
  325. // Check if b ends with a prefix of the stop sequence.
  326. if len(seq) > 1 {
  327. for i := 1; i < len(seq); i++ {
  328. if strings.HasSuffix(s, seq[:i]) {
  329. return false, true
  330. }
  331. }
  332. }
  333. }
  334. return false, false
  335. }
  336. func (llm *llama) marshalPrompt(ctx []int, prompt string) []C.llama_token {
  337. tokens := append(ctx, llm.Encode(prompt)...)
  338. if llm.NumKeep < 0 {
  339. llm.NumKeep = len(tokens)
  340. }
  341. cTokens := make([]C.llama_token, len(tokens))
  342. for i := range tokens {
  343. cTokens[i] = C.llama_token(tokens[i])
  344. }
  345. // min(llm.NumCtx - 4, llm.NumKeep)
  346. if llm.NumCtx-4 < llm.NumKeep {
  347. llm.NumKeep = llm.NumCtx - 4
  348. }
  349. if len(tokens) >= llm.NumCtx {
  350. // truncate input
  351. numLeft := (llm.NumCtx - llm.NumKeep) / 2
  352. truncated := cTokens[:llm.NumKeep]
  353. erasedBlocks := (len(cTokens) - llm.NumKeep - numLeft - 1) / numLeft
  354. truncated = append(truncated, cTokens[llm.NumKeep+erasedBlocks*numLeft:]...)
  355. copy(llm.last, cTokens[len(cTokens)-llm.NumCtx:])
  356. cTokens = truncated
  357. log.Printf("input truncated: num_ctx=%d num_keep=%d num_left=%d num_tokens=%d", llm.NumCtx, llm.NumKeep, numLeft, len(truncated))
  358. } else {
  359. llm.last = make([]C.llama_token, llm.NumCtx-len(cTokens))
  360. llm.last = append(llm.last, cTokens...)
  361. }
  362. var i int
  363. for i = 0; i < len(llm.embd) && i < len(cTokens) && llm.embd[i] == cTokens[i]; i++ {
  364. // noop
  365. }
  366. llm.embd = cTokens
  367. if i == len(cTokens) {
  368. // evaluate at least one token to generate logits
  369. i--
  370. }
  371. llm.cursor = i
  372. log.Printf("prompt: num_past=%d cached=%v eval=%v", i, len(llm.embd[:i]), len(llm.embd[i:]))
  373. return cTokens
  374. }
  375. func (llm *llama) Encode(prompt string) []int {
  376. cPrompt := C.CString(prompt)
  377. defer C.free(unsafe.Pointer(cPrompt))
  378. cTokens := make([]C.llama_token, len(prompt)+1)
  379. if n := C.llama_tokenize(llm.ctx, cPrompt, unsafe.SliceData(cTokens), C.int(len(cTokens)), true); n > 0 {
  380. tokens := make([]int, n)
  381. for i := range cTokens[:n] {
  382. tokens[i] = int(cTokens[i])
  383. }
  384. return tokens
  385. }
  386. return nil
  387. }
  388. func (llm *llama) Decode(tokens ...int) string {
  389. var sb strings.Builder
  390. for _, token := range tokens {
  391. sb.WriteString(C.GoString(C.llama_token_to_str(llm.ctx, C.llama_token(token))))
  392. }
  393. return sb.String()
  394. }
  395. func (llm *llama) next() (C.llama_token, error) {
  396. llm.mu.Lock()
  397. defer llm.mu.Unlock()
  398. if len(llm.embd) >= llm.NumCtx {
  399. numLeft := (llm.NumCtx - llm.NumKeep) / 2
  400. truncated := llm.embd[:llm.NumKeep]
  401. truncated = append(truncated, llm.embd[len(llm.embd)-numLeft:]...)
  402. llm.embd = truncated
  403. llm.cursor = llm.NumKeep
  404. log.Printf("input truncated: num_ctx=%d num_keep=%d num_left=%d num_tokens=%d cursor=%d", llm.NumCtx, llm.NumKeep, numLeft, len(truncated), llm.cursor)
  405. }
  406. for {
  407. if llm.gc {
  408. return 0, io.EOF
  409. }
  410. if llm.cursor >= len(llm.embd) {
  411. break
  412. }
  413. numEval := len(llm.embd) - llm.cursor
  414. if numEval > llm.NumBatch {
  415. numEval = llm.NumBatch
  416. }
  417. if retval := C.llama_eval(llm.ctx, unsafe.SliceData(llm.embd[llm.cursor:]), C.int(numEval), C.int(llm.cursor), C.int(llm.NumThread)); retval != 0 {
  418. return 0, fmt.Errorf("llama_eval: %d", retval)
  419. }
  420. llm.cursor += numEval
  421. }
  422. var sampleOpts C.struct_llama_sample_options
  423. sampleOpts.repeat_penalty = C.float(llm.RepeatPenalty)
  424. sampleOpts.frequency_penalty = C.float(llm.FrequencyPenalty)
  425. sampleOpts.presence_penalty = C.float(llm.PresencePenalty)
  426. sampleOpts.temperature = C.float(llm.Temperature)
  427. sampleOpts.top_k = C.int(llm.TopK)
  428. sampleOpts.top_p = C.float(llm.TopP)
  429. sampleOpts.tfs_z = C.float(llm.TFSZ)
  430. sampleOpts.typical_p = C.float(llm.TypicalP)
  431. sampleOpts.mirostat = C.int(llm.Mirostat)
  432. sampleOpts.mirostat_tau = C.float(llm.MirostatTau)
  433. sampleOpts.mirostat_eta = C.float(llm.MirostatEta)
  434. sampleOpts.penalize_newline = C.bool(llm.PenalizeNewline)
  435. numVocab := C.llama_n_vocab(llm.ctx)
  436. logits := unsafe.Slice(C.llama_get_logits(llm.ctx), numVocab)
  437. // TODO: logit bias
  438. candidates := make([]C.llama_token_data, numVocab)
  439. for i := range logits {
  440. candidates[i] = C.llama_token_data{
  441. id: C.int(i),
  442. logit: logits[i],
  443. p: 0,
  444. }
  445. }
  446. repeatLastN := llm.RepeatLastN
  447. if len(llm.last) < repeatLastN {
  448. repeatLastN = len(llm.last)
  449. }
  450. if llm.NumCtx < repeatLastN {
  451. repeatLastN = llm.NumCtx
  452. }
  453. lastN := llm.last[len(llm.last)-repeatLastN:]
  454. token := C.llama_sample(
  455. llm.ctx,
  456. unsafe.SliceData(candidates), C.size_t(len(candidates)),
  457. unsafe.SliceData(lastN), C.size_t(len(lastN)),
  458. &sampleOpts,
  459. )
  460. llm.last = append(llm.last, token)
  461. llm.embd = append(llm.embd, token)
  462. if token == C.llama_token_eos() {
  463. return 0, io.EOF
  464. }
  465. return token, nil
  466. }
  467. func (llm *llama) Embedding(input string) ([]float64, error) {
  468. if !llm.EmbeddingOnly {
  469. return nil, errors.New("llama: embedding not enabled")
  470. }
  471. tokens := llm.Encode(input)
  472. if tokens == nil {
  473. return nil, errors.New("llama: tokenize embedding")
  474. }
  475. cTokens := make([]C.llama_token, len(tokens))
  476. for i := range tokens {
  477. cTokens[i] = C.llama_token(tokens[i])
  478. }
  479. retval := C.llama_eval(llm.ctx, unsafe.SliceData(cTokens), C.int(len(tokens)), 0, C.int(llm.NumThread))
  480. if retval != 0 {
  481. return nil, errors.New("llama: eval")
  482. }
  483. C.llama_print_timings(llm.ctx)
  484. n := C.llama_n_embd(llm.ctx)
  485. if n <= 0 {
  486. return nil, errors.New("llama: no embeddings generated")
  487. }
  488. cEmbeddings := unsafe.Slice(C.llama_get_embeddings(llm.ctx), n)
  489. embeddings := make([]float64, len(cEmbeddings))
  490. for i, v := range cEmbeddings {
  491. embeddings[i] = float64(v)
  492. }
  493. return embeddings, nil
  494. }