Introducing byte vector support for Faiss in the OpenSearch vector engine

Tue, Nov 26, 2024 · Naveen Tatikonda, Navneet Verma, Vamshi Vijay Nakkirtha, Dylan Tong, Fanit Kolchina

The growing popularity of generative AI and large language models (LLMs) has led to an increased demand for efficient vector search and similarity operations. These models often rely on high-dimensional vector representations of text, images, or other data. Performing similarity searches or nearest neighbor queries on these vectors becomes computationally expensive, especially as vector databases grow in size. OpenSearch’s support for Faiss byte vectors offers a promising solution to these challenges.

Using byte vectors instead of float vectors for vector search provides significant improvements in memory efficiency and performance. This is especially beneficial for large-scale vector databases or environments with limited resources. Faiss byte vectors enable you to store quantized embeddings, significantly reducing memory consumption and lowering costs. This approach typically results in only minimal recall loss compared to using full-precision (float) vectors.

How to use a Faiss byte vector

A byte vector is a compact vector representation in which each dimension is a signed 8-bit integer ranging from -128 to 127. To use byte vectors, you must convert your input vectors, typically in float format, into the byte type before ingestion. This process requires quantization techniques, which compress float vectors while maintaining essential data characteristics. For more information, see Quantization techniques.

To use a byte vector, set the data_type parameter to byte when creating a k-NN index (the default value of the data_type parameter is float):

PUT test-index
{
  "settings": {
    "index": {
      "knn": true
    }
  },
  "mappings": {
    "properties": {
      "my_vector1": {
        "type": "knn_vector",
        "dimension": 8,
        "data_type": "byte",
        "method": {
          "name": "hnsw",
          "space_type": "l2",
          "engine": "faiss",
          "parameters": {
            "ef_construction": 100,
            "m": 16
          }
        }
      }
    }
  }
} 

During ingestion, make sure that each dimension of the vector is within the supported [-128, 127] range:

PUT test-index/_doc/1
{
"my_vector": [-126, 28, 127, 0, 10, -45, 12, -110]
} 
PUT test-index/_doc/2
{
"my_vector": [100, -25, 4, -67, -2, 127, 99, 0]
} 

During querying, make sure that the query vector is also within the byte range:

GET test-index/_search
{
  "size": 2,
  "query": {
    "knn": {
      "my_vector1": {
        "vector": [-1, 45, -100, 125, -128, -8, 5, 10],
        "k": 2
      }
    }
  }
}

Note: When using byte vectors, expect some loss of recall precision as compared to using float vectors. Byte vectors are useful for large-scale applications and use cases that prioritize reducing memory usage in exchange for a minimal loss in recall.

Benchmarking results

We used OpenSearch Benchmark to run benchmarking tests on popular datasets to compare recall, indexing, and search performance between float vectors and byte vectors using Faiss HNSW.

Note: Without single instruction, multiple data (SIMD) optimization (such as AVX2 or NEON) or when AVX2 is disabled (on x86 architectures), the quantization process introduces additional latency. For more information about AVX2-compatible processors, see CPUs with AVX2. In an AWS environment, all community Amazon Machine Images (AMIs) with HVM support AVX2 optimization.

These tests were conducted on a single-node cluster, except for the cohere-10m dataset, which used two r5.2xlarge instances.

Configuration

The following table lists the cluster configuration for the benchmarking tests.

m ef_construction ef_search Replicas Primary shards Indexing clients
16 100 100 0 8 16

The following table lists the dataset configuration for the benchmarking tests.

Dataset ID Dataset Vector dimension Data size Number of queries Training data range Query data range Space type
Dataset 1 gist-960-euclidean 960 1,000,000 1,000 [0.0, 1.48] [0.0, 0.729] L2
Dataset 2 cohere-ip-10m 768 10,000,000 10,000 [-4.142334, 5.5211477] [-4.109505, 5.4809895] innerproduct
Dataset 3 cohere-ip-1m 768 1,000,000 10,000 [-4.1073565, 5.504557] [-4.109505, 5.4809895] innerproduct
Dataset 4 sift-128-euclidean 128 1,000,000 10,000 [0.0, 218.0] [0.0, 184.0] L2

Recall, memory, and indexing results

Dataset ID Faiss HNSW recall@100 Faiss HNSW byte recall@100 % Reduction in recall Faiss HNSW memory usage (GB) Faiss HNSW byte memory usage (GB) % Reduction in memory Faiss HNSW mean indexing throughput (docs/sec) Faiss HNSW byte mean indexing throughput (docs/sec) % Gain in indexing throughput
Dataset 1 0.91 0.89 2.20 3.72 1.04 72.00 4673 9686 107.28
Dataset 2 0.91 0.83 8.79 30.03 8.57 71.46 4911 10207 107.84
Dataset 3 0.94 0.86 8.51 3.00 0.86 71.33 6112 11673 90.98
Dataset 4 0.99 0.98 1.01 0.62 0.26 58.06 38273 43267 13.05

Query results

Dataset ID Query clients Faiss HNSW p90 (ms) Faiss HNSW byte p90 (ms) Faiss HNSW p99 (ms) Faiss HNSW byte p99 (ms)
Dataset 1 1 5.35 5.34 5.95 5.59
Dataset 1 8 6.68 6.64 10.23 9.14
Dataset 1 16 10.59 7.38 12.94 11.47
           
Dataset 2 1 7.39 7.14 8.35 7.59
Dataset 2 8 15.47 14.83 21.38 16.20
Dataset 2 16 25.01 25.32 31.98 29.42
           
Dataset 3 1 4.97 4.72 5.62 5.02
Dataset 3 8 6.75 5.98 7.69 7.7
Dataset 3 16 10.51 6.94 13.87 12.4
           
Dataset 4 1 2.91 3.03 3.16 3.15
Dataset 4 8 3.38 3.30 6.30 4.75
Dataset 4 16 4.35 3.80 8.76 8.83

Key findings

The following are the key findings derived from comparing the benchmarking results:

  • Memory savings: Byte vectors reduced memory usage by up to 72%, with higher-dimensional vectors achieving greater reductions.
  • Indexing performance: The mean indexing throughput for byte vectors was 2x to 107.84% higher than for float vectors, especially with larger vector dimensions.
  • Search performance: Search latencies were similar, with byte vectors occasionally performing better.
  • Recall: For byte vectors, there was a slight (up to 8.8%) reduction in recall as compared to float vectors, depending on the dataset and the quantization technique used.

How does Faiss work with byte vectors internally?

Faiss doesn’t directly support the byte data type for vector storage. To achieve this, OpenSearch uses a QT_8bit_direct_signed scalar quantizer. This quantizer accepts float vectors within the signed 8-bit value range and encodes them as unsigned 8-bit integer vectors. During indexing and search, these encoded unsigned 8-bit integer vectors are decoded back into the original signed 8-bit vectors for distance computation.

This quantization approach reduces the memory footprint by a factor of four. However, encoding and decoding during scalar quantization introduce additional latency. To mitigate this, you can use SIMD optimization with the QT_8bit_direct_signed quantizer to reduce search latencies and improve indexing throughput.

Example

The following example shows how an input vector is encoded and decoded using the QT_8bit_direct_signed scalar quantizer:

// Input vector:
[-126, 28, 127, 0, 10, -45, 12, -110]

// Encoded vector generated by adding 128 to each dimension of the input vector to convert signed int8 to unsigned int8:
[2, 156, 255, 128, 138, 83, 140, 18]

// Encoded vector is decoded back into the original signed int8 vector by subtracting 128 from each dimension for distance computation:
[-126, 28, 127, 0, 10, -45, 12, -110]

Future enhancements

In future versions, we plan to enhance this feature by adding an on_disk mode with a 4x Faiss compression level. This mode will accept fp32 vectors as input, perform online training, and quantize the data into byte-sized vectors, eliminating the need to perform external quantization.

Conclusion

OpenSearch 2.17 introduced support for Faiss byte vectors, allowing you to efficiently store quantized byte vector embeddings. This reduces memory consumption by up to 75%, lowers costs, and maintains high performance. These advantages make byte vectors an excellent choice for large-scale similarity search applications, especially when memory resources are limited, and applications that handle large volumes of data within the signed byte value range.

References