Skip to content

[rustjava-2026-09-20-name-the-missing-bootstrap-class-adopt-p0] feat(jvm)!: JavaError::Unraisable — Jvm::new 는 패닉 대신 Err, Jvm::exception 재귀에 바닥 - #94

Merged
Jun025 merged 3 commits into
mainfrom
rustjava-2026-09-20-name-the-missing-bootstrap-class-adopt-p0
Sep 23, 2026
Merged

Jun025 merged 3 commits into
mainfrom
rustjava-2026-09-20-name-the-missing-bootstrap-class-adopt-p0

Conversation

@Jun025

@Jun025 Jun025 commented Sep 23, 2026

Copy link
Copy Markdown
Owner

결정

JavaError 에 비-Java 변종 Unraisable(String) 을 추가한다(⒜). 근거: AGENTS.md 「never panic in library code」 · Jvm::new 는 이미 Result · 하류 임베더 wie 가 같은 변종을 요청(2026-09-22-lgt-object-reference-gate#p0). ★공개 enum 확장 = breaking — irrefutable let JavaError::JavaException(..) 가 깨진다(이 repo 3곳 + exhaustive match 2곳 수정 · wie 는 crates.io 0.1.1 소비라 판올림 때 발생).

변경

  • Jvm::new 패닉 2곳 → 빠진 클래스 이름을 담은 Err(Unraisable).
  • Jvm::exception: 같은 스레드에서 이미 만들고 있는 같은 예외(타입+메시지)를 다시 만들거나 깊이 8이면 Unraisable — 첫 실패를 명명. Drop 가드로 해제.
    • ★티켓의 「깊이 1」은 정상 1단 중첩(없는 클래스를 raise → 안쪽 NoClassDefFoundError)을 막아 test_exception_reports_unloadable_class_instead_of_aborting 이 red — 순환 판정 + 깊이 바닥으로 바꿨다.
  • interpreter·StreamHandler: Unraisable 은 catch 불가 → 그대로 전파.

검증

  • [Ljava/lang/String; 숨김 cap 20: 2 MiB stack overflow(rc 134) → Unraisable, loader 질문 2회.
  • 부트스트랩 클래스(java/lang/Thread) 숨김 → 패닉 없이 Err, 메시지에 이름.
  • 스윕 37: 0 recursed · 12 refused by name · 0 anonymous · 25 failed cleanly 불변.
  • 변이: 가드 무력화 → stack overflow · 익명 패닉 복원 → FAILED · 변종 삭제 → 컴파일 에러.
  • cargo test --all 594 passed / 0 failed · clippy stable·beta·wasm32 · fmt · python 5종 rc=0.

상세: docs/worklog/2026-09-24-unraisable-error-variant.{md,json} (adoptedProposals 2건 · 후속 1건: GC 순회 Result 전파).

🤖 Generated with Claude Code

jun0 and others added 3 commits September 24, 2026 01:08
…jvm)!: JavaError::Unraisable — Jvm::new 는 패닉 대신 Err, Jvm::exception 재귀에 바닥

- `JavaError::Unraisable(String)`: Java 예외로 만들 수 없는 실패(공개 enum 확장 · breaking).
- `Jvm::new` 패닉 2곳(bootstrap_classes · 오류 경로 closure) → 빠진 클래스 이름을 담은 `Err`.
- `Jvm::exception`: 같은 스레드에서 이미 만들고 있는 예외(타입+메시지)를 다시 만들거나 깊이 8 → `Unraisable`, 첫 실패 명명.
  티켓의 「깊이 1」은 정상 1단 중첩(NoClassDefFoundError)을 막아 기존 테스트가 red 였다 — 순환 판정으로 바꿨다.
- `[Ljava/lang/String;` 숨김(cap 20): stack overflow → loader 질문 2회 · `Unraisable`.
- 깨진 irrefutable 3곳 + exhaustive match 2곳 수정. 스윕 0·12·0·25 불변.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…ix(rustjava-runtime): StreamHandler.publish 가 Unraisable 을 삼키지 않는다

write_head·OutputStreamWriter.write 두 곳의 if let Err(JavaException) 을 match 로 —
Err(Unraisable) 이 Ok(()) 로 소실되던 것을 전파. 회귀 시험 1건.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…ame-the-missing-bootstrap-class-adopt-p0

# Conflicts:
#	REPORT.md
#	STATE.md
@Jun025
Jun025 merged commit 5cc461f into main Sep 23, 2026
13 checks passed
@Jun025
Jun025 deleted the rustjava-2026-09-20-name-the-missing-bootstrap-class-adopt-p0 branch September 23, 2026 18:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant