mirror of
https://github.com/ggerganov/llama.cpp.git
synced 2024-12-26 03:14:35 +00:00
1bfc153e2f
* A faster version for Q4_1 x Q8_0 dot products The idea nehind being that Q8_0 quantized values get used many times in the matrix multiplications where they are involved. In the current implementations, when we are evaluating the dot products, we need to compute the sum of the quants in the Q8_0 vector, so the same operation is repeated many times. Here we pre-compute the sum during Q8_0 quantization, store it in the now modified block_q8_0 struct, and then reuse this result in the subsequent dot products. In a synthetic benchmark (just compute a bunch of dot products), this change speeds up the Q4_1 * Q8_0 dot product by 80%, making the performance identical to Q4_0 * Q8_0. In practical application, I see a ~15% gain in speed for token prediction on M2, and ~5% gain on Ryzen 7950X. The speed gain in the prompt evaluation is much bigger (around 50%). I have only done the change for the scalar version, ARM_NEON, and AVX2, so we still need an AVX implementation. * Cleaning up --------- Co-authored-by: Iwan Kawrakow <iwan.kawrakow@gmail.com>
173 lines
5.2 KiB
C++
173 lines
5.2 KiB
C++
#include <cstdio>
|
|
#include <type_traits>
|
|
#include <vector>
|
|
#include <random>
|
|
#include <chrono>
|
|
#include <cstdlib>
|
|
#include <cmath>
|
|
#include <cassert>
|
|
#include <cstring>
|
|
#include <array>
|
|
#include <type_traits>
|
|
|
|
#include <ggml.h>
|
|
|
|
constexpr int kVecSize = 1 << 16;
|
|
|
|
// Copy-pasted from ggml.c
|
|
#define QK4_0 32
|
|
typedef struct {
|
|
float d; // delta
|
|
uint8_t qs[QK4_0 / 2]; // nibbles / quants
|
|
} block_q4_0;
|
|
static_assert(sizeof(block_q4_0) == sizeof(float) + QK4_0 / 2, "wrong q4_0 block size/padding");
|
|
|
|
#define QK4_1 32
|
|
typedef struct {
|
|
float d; // delta
|
|
float m; // min
|
|
uint8_t qs[QK4_1 / 2]; // nibbles / quants
|
|
} block_q4_1;
|
|
static_assert(sizeof(block_q4_1) == sizeof(float) * 2 + QK4_1 / 2, "wrong q4_1 block size/padding");
|
|
|
|
// Copy-pasted from ggml.c
|
|
#define QK8_0 32
|
|
typedef struct {
|
|
float d; // delta
|
|
float s; // d * sum(qs[i])
|
|
int8_t qs[QK8_0]; // quants
|
|
} block_q8_0;
|
|
static_assert(sizeof(block_q8_0) == 2*sizeof(float) + QK8_0, "wrong q8_0 block size/padding");
|
|
|
|
static_assert(QK4_1 == QK8_0, "QK4_1 and QK8_0 must be the same");
|
|
static_assert(QK4_0 == QK8_0, "QK4_0 and QK8_0 must be the same");
|
|
|
|
template <typename T>
|
|
void fillQ4blocks(std::vector<T>& blocks, std::mt19937& rndm) {
|
|
for (auto& b : blocks) {
|
|
b.d = 1;
|
|
for (int i=0; i<QK4_1/2; ++i) {
|
|
uint8_t v1 = rndm() >> 28;
|
|
uint8_t v2 = rndm() >> 28;
|
|
b.qs[i] = v1 | (v2 << 4);
|
|
}
|
|
}
|
|
}
|
|
|
|
void fillQ80blocks(std::vector<block_q8_0>& blocks, std::mt19937& rndm) {
|
|
for (auto& b : blocks) {
|
|
b.d = 1;
|
|
int sum = 0;
|
|
for (int i=0; i<QK8_0; ++i) {
|
|
b.qs[i] = (rndm() >> 24) - 128;
|
|
sum += b.qs[i];
|
|
}
|
|
b.s = b.d * sum;
|
|
}
|
|
}
|
|
|
|
float simpleDot(const block_q4_0& x, const block_q8_0& y) {
|
|
int s1 = 0; //, s2 = 0;
|
|
for (int i=0; i<QK4_1/2; i+=2) {
|
|
int v1 = x.qs[i+0] & 0xf;
|
|
int v2 = x.qs[i+0] >> 4;
|
|
int v3 = x.qs[i+1] & 0xf;
|
|
int v4 = x.qs[i+1] >> 4;
|
|
int j = 2*i;
|
|
s1 += v1*y.qs[j] + v2*y.qs[j+1] + v3*y.qs[j+2] + v4*y.qs[j+3];
|
|
//s2 += y.qs[j] + y.qs[j+1] + y.qs[j+2] + y.qs[j+3];
|
|
}
|
|
return y.d * x.d * s1 - 8 * x.d * y.s;
|
|
//return y.d * x.d * (s1 - 8 * s2);
|
|
}
|
|
|
|
float simpleDot(const block_q4_1& x, const block_q8_0& y) {
|
|
int s1 = 0; //, s2 = 0;
|
|
for (int i=0; i<QK4_1/2; i+=2) {
|
|
int v1 = x.qs[i+0] & 0xf;
|
|
int v2 = x.qs[i+0] >> 4;
|
|
int v3 = x.qs[i+1] & 0xf;
|
|
int v4 = x.qs[i+1] >> 4;
|
|
int j = 2*i;
|
|
s1 += v1*y.qs[j] + v2*y.qs[j+1] + v3*y.qs[j+2] + v4*y.qs[j+3];
|
|
//s2 += y.qs[j] + y.qs[j+1] + y.qs[j+2] + y.qs[j+3];
|
|
}
|
|
return y.d * x.d * s1 + y.s * x.m;
|
|
//return y.d * (x.d * s1 + x.m * s2);
|
|
}
|
|
|
|
struct Stat {
|
|
double sum = 0, sumt = 0, sumt2 = 0, maxt = 0;
|
|
int nloop = 0;
|
|
void addResult(double s, double t) {
|
|
sum += s;
|
|
sumt += t; sumt2 += t*t; maxt = std::max(maxt, t);
|
|
++nloop;
|
|
}
|
|
void reportResult(const char* title) const {
|
|
if (nloop < 1) {
|
|
printf("%s(%s): no result\n",__func__,title);
|
|
return;
|
|
}
|
|
printf("============ %s\n",title);
|
|
printf("<dot> = %g\n",sum/nloop);
|
|
auto t = sumt/nloop, dt = sumt2/nloop - t*t;
|
|
if (dt > 0) dt = sqrt(dt);
|
|
printf("<time> = %g +/- %g us. Max. time = %g us.\n",t,dt,maxt);
|
|
}
|
|
};
|
|
|
|
|
|
int main(int argc, char** argv) {
|
|
|
|
int nloop = argc > 1 ? atoi(argv[1]) : 10;
|
|
int type = argc > 2 ? atoi(argv[2]) : 1;
|
|
|
|
std::mt19937 rndm(1234);
|
|
|
|
std::vector<block_q4_1> x41;
|
|
std::vector<block_q4_0> x40;
|
|
std::vector<block_q8_0> y(kVecSize);
|
|
if (type == 0) x40.resize(kVecSize);
|
|
else {
|
|
x41.resize(kVecSize);
|
|
for (auto& b : x41) b.m = 1;
|
|
}
|
|
|
|
auto ggml_type = type == 0 ? GGML_TYPE_Q4_0 : GGML_TYPE_Q4_1;
|
|
|
|
auto funcs = ggml_internal_get_quantize_fn(ggml_type);
|
|
|
|
Stat simple, ggml;
|
|
|
|
for (int iloop=0; iloop<nloop; ++iloop) {
|
|
|
|
if (type == 0) fillQ4blocks(x40, rndm);
|
|
else fillQ4blocks(x41, rndm);
|
|
fillQ80blocks(y, rndm);
|
|
|
|
auto t1 = std::chrono::high_resolution_clock::now();
|
|
double s = 0;
|
|
if (type == 0) for (int i=0; i<kVecSize; ++i) s += simpleDot(x40[i], y[i]);
|
|
else for (int i=0; i<kVecSize; ++i) s += simpleDot(x41[i], y[i]);
|
|
auto t2 = std::chrono::high_resolution_clock::now();
|
|
auto t = 1e-3*std::chrono::duration_cast<std::chrono::nanoseconds>(t2-t1).count();
|
|
if (iloop > 3) simple.addResult(s, t);
|
|
|
|
t1 = std::chrono::high_resolution_clock::now();
|
|
float fs;
|
|
if (type == 0) funcs.vec_dot_q(kVecSize * QK4_1, &fs, x40.data(), y.data());
|
|
else funcs.vec_dot_q(kVecSize * QK4_1, &fs, x41.data(), y.data());
|
|
t2 = std::chrono::high_resolution_clock::now();
|
|
t = 1e-3*std::chrono::duration_cast<std::chrono::nanoseconds>(t2-t1).count();
|
|
if (iloop > 3) ggml.addResult(fs, t);
|
|
|
|
}
|
|
|
|
// Report the time (and the average of the dot products so the compiler does not come up with the idea
|
|
// of optimizing away the function calls after figuring that the result is not used).
|
|
simple.reportResult("Simple");
|
|
ggml.reportResult("ggml");
|
|
return 0;
|
|
}
|