Files
hakorune/docs/CURRENT_TASK.md

277 lines
11 KiB
Markdown
Raw Normal View History

# 🎯 現在のタスク (2025-08-17)
## 🚀 **現在進行中: Phase 9.75g-0 型定義ファースト BID-FFI実装**
**目的**: FFI ABI v0準拠のシンプルで動くプラグインシステム構築
**戦略**: 型定義は全部最初に、実装は段階的にunimplemented!活用)
**期間**: 1週間2025-08-17〜2025-08-24
**詳細**:
- [phase_9_75g_0_chatgpt_enhanced_final.md](../予定/native-plan/issues/phase_9_75g_0_chatgpt_enhanced_final.md) ← **ChatGPT最終案採用**
- [ffi-abi-specification.md](../説明書/reference/box-design/ffi-abi-specification.md) ← **BID-1仕様に更新完了**
### ✅ **Day 1 完了!** (2025-08-17)
- ✅ ChatGPT先生の最終レビュー完了
- ✅ ffi-abi-specification.mdをBID-1 Enhanced Editionに更新
- ✅ Handle設計type_id + instance_id確定
- ✅ BID-1 TLVフォーマット仕様確定
- ✅ プラグインAPInyash_plugin_*)仕様確定
-**BID-1基盤実装完了**
- src/bid/モジュール構造作成
- TLVエンコード/デコード実装
- エラーコード定義BidError
- 型システムBidType, BidHandle
- **テスト4/4合格** 🎉
### ✅ **Day 2 完了!** (2025-08-17)
**目標**: メタデータAPI実装ホスト統合・プラグイン情報管理
**実装完了**:
- ✅ HostVtable: ホスト機能テーブルalloc/free/wake/log
- ✅ NyashPluginInfo: プラグイン情報構造体
- ✅ NyashMethodInfo: メソッド情報構造体
- ✅ C FFI関数シグネチャ定義
- ✅ プラグインライフサイクル管理
-**テスト7/7合格** 🎉
### ✅ **Day 3 完了!** (2025-08-17)
**目標**: 既存Box統合StringBox/IntegerBox/FutureBoxブリッジ
**実装完了** (100%達成!):
- ✅ BID Box Bridge設計: 既存Box型とBIDハンドルの相互変換インターフェース
- ✅ StringBox BIDブリッジ: Handle/TLV変換実装
- ✅ IntegerBox BIDブリッジ: Handle/TLV変換実装
- ✅ FutureBox BIDブリッジ: 非同期Box型の統合完了
- ✅ BoxRegistry: Box型とハンドルの管理システム
- ✅ 統合テスト: 全Box型ラウンドトリップテスト4/4合格
-**Everything is Box理論の威力実証** 🎉
### ✅ **Day 4 完了!** (2025-08-17)
**目標**: プラグインシステム基盤実装
**実装完了** (100%達成!):
- ✅ FileBoxプラグイン設計: open/read/write/close API設計
- ✅ FileBoxプラグイン実装: ハンドル管理・ファイル操作実装
-**プラグインシステム設計統合**: gemini先生とcodex先生の提案を統合
- [Box プラグインシステム設計](../説明書/reference/box-design/plugin-system.md) 作成
- YAML署名DSL仕様確定
- nyash.tomlによる透過的置き換え設計
- ✅ nyash.tomlパーサー実装シンプル版
- ✅ PluginBoxプロキシ実装最小版
- ✅ BoxFactoryRegistry: 透過的ビルトイン↔プラグイン切り替え
- ✅ libloadingプラグイン動的ロード基盤
-**プラグインシステム統合テスト14/14合格** 🎉
### 🎯 **Day 5 一時中断** (2025-08-18)
**目標**: 実際のプラグインライブラリ作成と統合
**実装戦略**:
- **段階的アプローチ**: ビルトインFileBox残して並行運用
- **透過的切り替え**: nyash.tomlで動的選択
- **完全実証**: BID-FFIシステムの実動作確認
**完了タスク**:
- ✅ FileBoxプラグイン用クレート作成独立ライブラリ
- ✅ C API実装とエクスポートlibnyash_filebox_plugin.so生成
- ✅ Nyashインタープリターのプラグインロード統合
- ✅ 透過的切り替え実動作確認PluginBox生成確認
**中断理由**:
- 🚨 **古いプラグインシステムのコードが混在していた**
- 🔧 ソースコードをcommit 3f7d71f古いプラグイン実装前に巻き戻し
- 📚 docsフォルダは最新状態を維持
- ✅ nyashバイナリの基本動作確認完了
**再開時の作業**:
- ⏳ BID-FFIシステムをクリーンに再実装
- ⏳ PluginBoxのtoString等メソッド実装
- ⏳ 実際のファイル操作メソッドopen/read/write動作確認
### 🎯 今週の実装計画(段階的戦略に更新)
- **Day 1**: ✅ BID-1基盤実装TLV仕様、Handle構造体、エンコード/デコード)
- **Day 2**: ✅ メタデータAPI実装init/abi/shutdown、HostVtable、レジストリ
- **Day 3**: ✅ 既存Box統合StringBox/IntegerBox/FutureBoxブリッジ**100%完了!**
- **Day 4**: ✅ プラグインシステム基盤nyash.toml、PluginBox、BoxFactory**100%完了!**
- **Day 5**: ⏳ 実際のプラグインライブラリ作成(.so/.dll、Nyash統合**進行中!**
- **Day 6-7**: 実動作実証とドキュメント(透過的切り替え、開発ガイド)
### 🔑 技術的決定事項
- ポインタ: `usize`(プラットフォーム依存)
- アライメント: 8バイト境界
- 単一エントリーポイント: `nyash_plugin_invoke`
- ターゲット: Linux x86-64限定
## ✅ **完了済み主要成果**
### **MIR 35→26命令削減** (2025-08-17)
- 実装期間: 1日予定5週間の5%
- 成果: 26命令体系確立、全バックエンド対応
- 詳細: [mir-26-specification.md](../説明書/reference/mir-26-specification.md)
### **Phase 9.75 RwLock変換** (完了)
- Arc<Mutex> → Arc<RwLock>全Box型変換
- 性能改善達成
### **Phase 9.75e using nyashstd** (完了)
- 標準ライブラリ統合
- リテラル自動変換実装
### **Phase 9.75j 警告削減** (完了)
- 106個→0個100%削減)
## 🔮 **次期優先タスク**
1. **Phase 8.6: VM性能改善**(緊急)
- 問題: VMがインタープリターより0.9倍遅い
- 目標: 2倍以上高速化
- 詳細: [phase_8_6_vm_performance_improvement.md](../予定/native-plan/issues/phase_8_6_vm_performance_improvement.md)
2. **Phase 9: JIT実装**
- VM改善後の次ステップ
3. **Phase 10: LLVM Direct AOT**
- 目標: 100-1000倍高速化
- 期間: 4-6ヶ月
## 📊 **プロジェクト統計**
- **実行モード**: インタープリター/VM/WASM/AOT開発中
- **Box型数**: 16種類すべてRwLock統一+ プラグインBox対応
- **MIR命令数**: 26最適化済み
- **ビルド時間**: 2分以上改善中
- **プラグインシステム**: BID-FFI 90%実装完了!
## 🔧 **開発ガイドライン**
### クイックリファレンス
- [CLAUDE.md](../CLAUDE.md) - 開発者向けガイド
- [copilot_issues.txt](../予定/native-plan/copilot_issues.txt) - Phase順開発計画
- [syntax-cheatsheet.md](../quick-reference/syntax-cheatsheet.md) - 構文早見表
### テスト実行
```bash
# リリースビルド(推奨)
cargo build --release -j32
# 実行
./target/release/nyash program.nyash
# ベンチマーク
./target/release/nyash --benchmark --iterations 100
```
---
**最終更新**: 2025-08-18 10:00 JST
**次回レビュー**: 2025-08-18Nyash統合開始時
## 🎯 **現在の状況** (2025-08-18)
### ✅ Step 1-3 完了BID-FFI基盤実装成功
#### 達成した重要な設計原則
1. **Box名非決め打ち**: プラグインが「私はFileBoxです」と宣言
2. **汎用的設計**: plugin-testerは任意のプラグインに対応
3. **メモリ管理明確化**: birth/finiライフサイクル実装
#### 実装完了項目
-**FileBoxプラグイン**: 293KB .soファイル生成、6メソッド実装
-**nyash.toml**: プラグイン設定ファイルFileBox = "nyash-filebox-plugin"
-**plugin-tester**: 診断ツール完成、メソッド一覧表示機能付き
### テスト結果
```
Plugin Information:
Box Type: FileBox (ID: 6) ← プラグインから取得!
Methods: 6
- birth [ID: 0, Sig: 0xBEEFCAFE] (constructor)
- open [ID: 1, Sig: 0x12345678]
- read [ID: 2, Sig: 0x87654321]
- write [ID: 3, Sig: 0x11223344]
- close [ID: 4, Sig: 0xABCDEF00]
- fini [ID: 4294967295, Sig: 0xDEADBEEF] (destructor)
```
### 実装完了ステップ
#### ✅ **Step 1: FileBoxプラグイン単体作成**
- ✅ plugins/nyash-filebox-plugin/Cargo.toml作成
- ✅ C FFI実装birth/fini含む
- ✅ 単体でビルド確認293KB .soファイル生成
#### ✅ **Step 2: nyash.toml設定ファイル作成**
- ✅ シンプルな設定ファイル作成
- ✅ FileBox = "nyash-filebox-plugin"の設定
- ✅ プラグイン検索パス定義
#### ✅ **Step 3: プラグインテスター/ローダー作成**
-**独立したテストツール** `plugin-tester`作成
- ✅ Box名を決め打ちしない汎用設計
- ✅ 実装済み機能:
- プラグインロードチェック ✅
- nyash_plugin_init呼び出し確認 ✅
- メソッド一覧表示 ✅
- ABI version確認 ✅
- ⏳ 今後の拡張予定:
- birth/finiライフサイクルテスト
- メモリリーク検出valgrind連携
- TLVエンコード/デコード検証
### 🎯 **次のステップ: Step 4 - Nyashとの統合**
#### 実装計画
1. **src/bid/モジュール作成**
- TLVエンコード/デコード実装
- BidHandle構造体定義
- エラーコード定義
2. **プラグインローダー実装**
- nyash.tomlパーサー簡易版
- libloadingによる動的ロード
- プラグイン初期化・シャットダウン管理
3. **BoxFactoryRegistry実装**
- ビルトインBox vs プラグインBoxの透過的切り替え
- Box名 → プラグイン名マッピング
- new FileBox()時の動的ディスパッチ
4. **PluginBoxプロキシ実装**
- NyashBoxトレイト実装
- メソッド呼び出しをFFI経由で転送
- birth/finiライフサイクル管理Dropトレイト
5. **統合テスト**
- FileBoxのビルトイン版とプラグイン版の動作比較
- nyash.tomlありなしでの切り替え確認
- メモリリークチェック
### 仕様更新完了
- ✅ birth/finiライフサイクル管理を仕様書に追加
- ✅ メモリ所有権ルールを明確化
- ✅ プラグインが割り当てたメモリはプラグインが解放する原則
### 現在のディレクトリ構造
```
nyash-project/nyash/
├── plugins/
│ └── nyash-filebox-plugin/ # ✅ 実装済み
│ ├── Cargo.toml
│ ├── src/lib.rs # birth/fini含む6メソッド
│ └── .gitignore
├── tools/
│ └── plugin-tester/ # ✅ 実装済み
│ ├── Cargo.toml
│ ├── src/main.rs # 汎用プラグインチェッカー
│ └── .gitignore
├── nyash.toml # ✅ 実装済み
└── src/
└── bid/ # ⏳ Step 4で作成予定
├── mod.rs # TLV、エラーコード定義
├── loader.rs # プラグインローダー
├── registry.rs # BoxFactoryRegistry
└── plugin_box.rs # PluginBoxプロキシ
```
### 重要な技術的決定
1. **プラグイン識別**: プラグインが自らBox名を宣言type_name
2. **メソッドID**: 0=birth, MAX=fini、他は任意
3. **メモリ管理**: プラグインが割り当てたメモリはプラグインが解放
4. **エラーコード**: -1〜-5の標準エラーコード定義済み