# sigmod-2027

**Repository Path**: eulixos/sigmod-2027

## Basic Information

- **Project Name**: sigmod-2027
- **Description**: No description available
- **Primary Language**: C++
- **License**: Apache-2.0
- **Default Branch**: master
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 1
- **Forks**: 1
- **Created**: 2026-09-09
- **Last Updated**: 2026-10-14

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

# MAVER：RISC-V 上的矩阵计算与候选处理协同

**核心确认实验完成，进入论文写作与复现整理。** 更新：2026-09-30。

这是团队共同开发和写作的唯一主仓库。日常只维护 master，旧阶段分支保存在归档标签中。

## 研究问题和主线

IVF 按倒排列表组织计算，有利于多个查询共享数据库向量、利用 IME 矩阵计算。但点积加速后，分数恢复、逐候选处理、列表局部结果物化和全局合并仍可能限制完整请求性能。

**保留列表级矩阵计算，把候选维护放到请求内的每查询状态；用 RVV 块过滤连接两者，减少候选消费和中间结果物化。**

工作标题：*MAVER: Co-Designing Matrix and Vector Execution for Vector Search on RISC-V*。实际研究范围是 K3 上的 IVF 路径，不代表所有 ANN 索引或其他架构。

## 核心设计与贡献边界

1. **解释完整路径的瓶颈迁移。** 修复执行边界后，表征恢复与选择成本。持久 worker 和寄存器组优化是工程基础，不包装成新调度算法。
2. **改变候选数据流。** 按接收状态阈值保守过滤恢复分数，幸存候选直接更新查询级状态，省去列表局部结果及独立合并。
3. **验证实际采用价值。** 用匹配 native、四版本消融、独立窗口确认、输出质量和准备成本形成证据。

第二项是当前主创新候选。heap、查询分组、mask/compaction、量化重排本身不主张首次；相对 Faiss、CABANA、MUSE 的具体差异仍需方法级核验。工程收益不等于新颖性或 SIGMOD 接收已获保证。

## 已验证的主要结果

以下为同批匹配、准备完成后的完整请求结果，一次性准备成本另报。每配置五组进程配对，以配对时间比的中位数汇总。

- **SIFT1M，batch128/K10/nprobe32：组合方法相对 native 约 4.24×；相对列表候选基线时间下降 39.9%。**
- **Deep1M，d96、batch128/K100/nprobe64：组合方法相对 native 约 3.78×；相对列表候选基线时间下降 74.0%。** 同端点列表候选基线仍慢于 native 约 2%。
- 独立窗口的三个 SIFT 配置中，组合方法相对仅块过滤的请求时间下降 25.5%、29.2%、65.5%，均为 5/5 配对改善。
- 两个主端点各 512 查询上，组合方法与列表候选基线的输出 ID 集合及顺序无差异，相对 native 的最终集合一致。

只支持已测配置；没有跨架构结论，没有实测累计准备成本回本。详见 [实验与边界](experiments/README.md)。

## 四个固定入口

- **[当前代码 src/](src/README.md)**：当前实现、原构建/采集脚本与依赖说明。
- **[论文 paper/](paper/README.md)**：唯一共同编辑主稿、BibTeX、文章结构与图表安排。
- **[正式实验 experiments/](experiments/README.md)**：主结果、消融、历史基线、原始记录与校验。
- **[历史 archives/](archives/README.md)**：旧代码与报告、冻结档案、旧分支恢复。

首次接手读 [学生入口](docs/STUDENT_START_HERE.md)。无需背诵旧代号；读日志时查 [版本对照](docs/VARIANTS.md)。

## 获取与离线验证

```sh
git clone https://gitee.com/eulixos/sigmod-2027.git
cd sigmod-2027
python experiments/verify.py
python archives/maver-20260921/verify_archive.py
```

Python 3.10+，标准库即可；不连接板端、不启动新实验、不覆盖结果。数据集、索引和工具链不随 Git 分发，身份见清单。

**当前源码及证据已集中，但尚未验收干净环境的一键构建。** 原构建依赖旧工程和库，详见代码入口。论文导入稿也仍需同步新方法和结果。

## 接下来只做三件事

1. 离线复算，补齐独立构建依赖说明。
2. 核对最近工作差异，完成方法与正确性论证。
3. 完成论文和图表，最后收敛摘要、引言与贡献。

不自动扩展 HNSW、跨架构、TCM/DMA 或新调度器实验；补测先明确要改变哪条结论。

## 分支和协作

长期只维护 master；代码和论文使用短期主题分支，合并后关闭。七个旧分支已对应归档标签，见历史入口。不得修改原始数据或清单来使校验通过；新测量使用新身份。不要强推，不上传密钥、私人参考稿或无许可数据。第三方组件保留各自许可。