Public
- Public
- Network
- Groups
- Popular
- People

Conversation

Notices

Masaki Hara (qnighy@qnmd.info)'s status on Friday, 12-Oct-2018 20:14:49 JST Masaki Hara

https://github.com/rust-lang/rust/issues/55005
ArcにまたUBが発見された。これは実効的なやつではなさそう。
あるスレッドでArcが不要になり参照カウントを減らしたとする。減らした命令のすぐ直後で割り込みが入り、次に目覚めたときには他スレッドがArcInnerを解放した後かもしれない。その「直後」のわずかな期間が問題
In conversation Friday, 12-Oct-2018 20:14:49 JST from qnmd.info permalink
Attachments
1. Domain not in remote thumbnail source whitelist: avatars0.githubusercontent.com
  
  Arc::drop has a (potentially) dangling shared ref · Issue #55005 · rust-lang/rust
  
  from GitHub
  
  Discovered by @Amanieu on IRLO. Quoting their report: Arc::drop contains this code: if self.inner().strong.fetch_sub(1, Release) != 1 { return; } Once the current thread (Thread A) has decremented ...
- 金具✅ repeated this.
- Masaki Hara (qnighy@qnmd.info)'s status on Friday, 12-Oct-2018 20:19:09 JST Masaki Hara
  in reply to
  
  →問題になる。気持ち的には参照カウントを減らしてからArcInnerを触ることはない。しかしLLVMの規約上、参照は関数の最後まで生き延びないとUBになってしまう。fetch_subがその内部実装を呼び終えてからのわずかな時間が事故に繋がりうるという話である。
  
  In conversation Friday, 12-Oct-2018 20:19:09 JST permalink
  
  金具✅ repeated this.

Public

Conversation

Notices

Feeds