KOKO\Mimi
83 lines
3.4 KiB
Markdown
83 lines
3.4 KiB
Markdown
# Step 10: Dense BLAS Adapter
|
|
|
|
## 담당 역할과 필수 스킬
|
|
|
|
- 담당 역할: `implementation-agent`
|
|
- 필수 스킬: `harness`, `fesa-cpp-msvc-tdd`
|
|
- 이 Step만 `RED -> observed failure -> minimal GREEN -> focused/full VERIFY`로 수행한다.
|
|
|
|
## 읽어야 할 파일
|
|
|
|
- `/AGENTS.md`
|
|
- `/docs/CODINGSTYLE.md`
|
|
- `/docs/ARCHITECTURE.md`
|
|
- `/docs/cpp-object-oriented-modular-refactoring/implementation-plan.md`
|
|
- `/include/fesa/math/vector.h`, `/src/fesa/math/vector.cpp`
|
|
- `/include/fesa/math/matrix.h`, `/src/fesa/math/matrix.cpp`
|
|
- `/tests/unit/math/vector_test.cpp`, `/tests/unit/math/matrix_test.cpp`
|
|
- `/src/fesa/CMakeLists.txt`, `/tests/CMakeLists.txt`
|
|
- `/phases/cpp-object-oriented-modular-refactoring/index.json`
|
|
- `/phases/cpp-object-oriented-modular-refactoring/step10.md`
|
|
|
|
## 작업
|
|
|
|
Requirement `R-DUP-002`의 dense-BLAS duplication만 제거한다.
|
|
|
|
1. `/tests/unit/math/dense_blas_internal_test.cpp`를 먼저 추가하고 `C-DUP-003`을 작성한다.
|
|
Test는 zero/normal/overflow length conversion과 zero/nonzero contiguous copy behavior를
|
|
검증한다.
|
|
2. Missing internal adapter include/symbol로 RED compile failure를 기록한다.
|
|
3. Private candidate module은 `/src/fesa/math/dense_blas_internal.h`와
|
|
`/src/fesa/math/dense_blas_internal.cpp`다.
|
|
Tests에 private include directory가 필요하면 `fesa_unit_tests`에만
|
|
`${PROJECT_SOURCE_DIR}/src/fesa`를 PRIVATE로 추가한다.
|
|
4. Candidate functions:
|
|
|
|
```cpp
|
|
namespace fesa::dense_blas_internal {
|
|
|
|
Result<MKL_INT> ToMklSize(std::size_t size);
|
|
void CopyValues(const double* source, std::size_t size, double* destination);
|
|
|
|
} // namespace fesa::dense_blas_internal
|
|
```
|
|
|
|
5. `MKL_INT` and MKL includes are permitted only in this private implementation boundary and
|
|
existing backend `.cpp`; no file under `/include/fesa/` may expose them.
|
|
6. Matrix/Vector의 duplicated conversion/copy helpers를 adapter call로 교체한다. Exception,
|
|
Status/failure meaning, row-major layout and BLAS call order stay unchanged.
|
|
|
|
## Acceptance Criteria
|
|
|
|
```powershell
|
|
cmake --build .harness/build --config Debug --target fesa_unit_tests
|
|
ctest --test-dir .harness/build -C Debug `
|
|
-R "DenseMath|DenseBlasInternal" --output-on-failure
|
|
rg -n "ToMklSize|CopyValues" src/fesa/math
|
|
rg -n "MKL_INT|mkl\.h" include/fesa
|
|
& "C:/Program Files/LLVM/bin/clang-format.exe" --dry-run --Werror `
|
|
src/fesa/math/dense_blas_internal.h src/fesa/math/dense_blas_internal.cpp `
|
|
src/fesa/math/vector.cpp src/fesa/math/matrix.cpp `
|
|
tests/unit/math/dense_blas_internal_test.cpp
|
|
cmake --build .harness/build --config Debug
|
|
ctest --test-dir .harness/build -C Debug --show-only=json-v1
|
|
ctest --test-dir .harness/build -C Debug --output-on-failure
|
|
```
|
|
|
|
The public-header vendor scan must return no matches. The private helper scan must show one
|
|
definition family and the two intended consumers only.
|
|
|
|
## 검증 및 상태 갱신
|
|
|
|
- RED missing seam, focused conversion/copy behavior, scans and full CTest를 summary에 기록한다.
|
|
- Public vendor type leak or behavior regression이면 `error`로 기록한다.
|
|
- 성공 시 현재 Step만 `completed`로 갱신한다.
|
|
- timestamp, retry, commit, advancement는 Executor 소유다.
|
|
|
|
## 금지사항
|
|
|
|
- Public math API에 MKL type을 추가하지 마라.
|
|
- Matrix layout 또는 BLAS operation order를 바꾸지 마라.
|
|
- SIMD, allocation or runtime performance optimization을 하지 마라.
|
|
- 직접 commit하거나 hook script를 수동 실행하지 마라.
|