制限付きリーダーによるプロセス間リーダー/ライターロックの開発、第4回:アバンダンメント(放棄)
この記事では、プロセス間で共有されるリーダー/ライターロックにおいて、所有者プロセスが異常終了した場合の復旧方法について解説する。特に「アバンダンメント(放棄)」の問題に焦点を当て、ロックの所有者がクラッシュした際に、他のプロセスが安全にロックを解放し、システムのデッドロックを防ぐ手法を説明する。
この記事では、プロセス間で共有されるリーダー/ライターロックにおいて、所有者プロセスが異常終了した場合の復旧方法について解説する。特に「アバンダンメント(放棄)」の問題に焦点を当て、ロックの所有者がクラッシュした際に、他のプロセスが安全にロックを解放し、システムのデッドロックを防ぐ手法を説明する。
The article argues that unstructured "go" statements cause concurrency bugs and proposes structured concurrency as a safer alternative, where concurrent tasks are nested and scoped to make lifetimes predictable and prevent resource leaks.
The article argues that centralized package registries (like npm, PyPI, etc.) introduce security risks, single points of failure, and governance problems. It advocates for distributing trust through cryptographic signatures and transparency logs instead of relying on a central authority to vouch for package authenticity.
The document argues that the Robustness Principle ("be conservative in what you send, be liberal in what you accept") has harmful consequences for Internet protocol design. It contends that accepting malformed inputs leads to interoperability failures, ossification of protocols, and security vulnerabilities, advocating instead for strict validation and clear specifications.
This article discusses the undefined behavior that occurs when a C function is called with fewer register parameters than it expects, explaining how mismatched calling conventions can lead to reading garbage values from registers and causing unpredictable program crashes or data corruption.