fix: fix detect avx512fp16

Signed-off-by: usamoi <[email protected]>

Author: usamoi

Cargo.lock

@@ -21,13 +21,13 @@ pgvecto.rs is a Postgres extension that provides vector similarity search functi
 
 ## Comparison with pgvector
 
-|                                             | pgvecto.rs                                             | pgvector                 |
-| ------------------------------------------- | ------------------------------------------------------ | ------------------------ |
-| Transaction support                         | ✅                                                     | ⚠️                       |
-| Sufficient Result with Delete/Update/Filter | ✅                                                     | ⚠️                       |
-| Vector Dimension Limit                      | 65535                                                  | 2000                     |
-| Prefilter on HNSW                           | ✅                                                     | ❌                       |
-| Parallel HNSW Index build                   | ⚡️ Linearly faster with more cores                    | 🐌 Only single core used |
+|                                             | pgvecto.rs                                             | pgvector                |
+| ------------------------------------------- | ------------------------------------------------------ | ----------------------- |
+| Transaction support                         | ✅                                                      | ⚠️                       |
+| Sufficient Result with Delete/Update/Filter | ✅                                                      | ⚠️                       |
+| Vector Dimension Limit                      | 65535                                                  | 2000                    |
+| Prefilter on HNSW                           | ✅                                                      | ❌                       |
+| Parallel HNSW Index build                   | ⚡️ Linearly faster with more cores                      | 🐌 Only single core used |
 | Async Index build                           | Ready for queries anytime and do not block insertions. | ❌                       |
 | Quantization                                | Scalar/Product Quantization                            | ❌                       |
 
@@ -45,7 +45,11 @@ More details at [./docs/comparison-pgvector.md](./docs/comparison-pgvector.md)
 For users, we recommend you to try pgvecto.rs using our pre-built docker image, by running
 
 ```sh
-docker run --name pgvecto-rs-demo -e POSTGRES_PASSWORD=mysecretpassword -p 5432:5432 -d tensorchord/pgvecto-rs:pg16-latest
+docker run \
+  --name pgvecto-rs-demo \
+  -e POSTGRES_PASSWORD=mysecretpassword \
+  -p 5432:5432 \
+  -d tensorchord/pgvecto-rs:pg16-latest
 ```
 
 ## Development with envd

README.md

@@ -16,7 +16,7 @@ bincode.workspace = true
 half.workspace = true
 num-traits.workspace = true
 c = { path = "../c" }
-std_detect = { git = "https://github.com/usamoi/stdarch.git", rev = "067a6e889f0ca995a9fe4114061ced6f67acfb95" }
+std_detect = { git = "https://github.com/usamoi/stdarch.git", rev = "79bd33813921b0c5a8f008c5785c63ae59e6a899" }
 rand = "0.8.5"
 crc32fast = "1.3.2"
 crossbeam = "0.8.2"

crates/service/Cargo.toml

@@ -19,12 +19,28 @@ To acheive full performance, please mount the volume to pg data directory by add
 
 You can configure PostgreSQL by the reference of the parent image in https://hub.docker.com/_/postgres/.
 
-## Build from source
+## Install from source
 
 Install Rust and base dependency.
 
 ```sh
-sudo apt install -y build-essential libpq-dev libssl-dev pkg-config gcc libreadline-dev flex bison libxml2-dev libxslt-dev libxml2-utils xsltproc zlib1g-dev ccache clang git
+sudo apt install -y \
+    build-essential \
+    libpq-dev \
+    libssl-dev \
+    pkg-config \
+    gcc \
+    libreadline-dev \
+    flex \
+    bison \
+    libxml2-dev \
+    libxslt-dev \
+    libxml2-utils \
+    xsltproc \
+    zlib1g-dev \
+    ccache \
+    clang \
+    git
 curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh
 ```
 
@@ -63,7 +79,7 @@ cargo pgrx init --pg15=/usr/lib/postgresql/15/bin/pg_config
 Install pgvecto.rs.
 
 ```sh
-cargo pgrx install --release
+cargo pgrx install --sudo --release
 ```
 
 Configure your PostgreSQL by modifying the `shared_preload_libraries` to include `vectors.so`.