Скачать или смотреть .NET Heisenbug Mystery Theater: How Did an Exception Escape its Catch Block?

We recently solved a big mystery inside Akka.NET's Akka.Streams library: how on Earth could an exception escape a try..catch block - and then disappear?

We explore that in this video and touch on fun .NET systems programming concepts such as unsafe assignment, how struct assignment is inherently not atomic, and how to fix it.

Blog post: https://petabridge.com/blog/dotnet-he...
Eric Lippert's post: https://ericlippert.com/2011/05/31/at...
GitHub Epic: https://github.com/akkadotnet/akka.ne...

Videos Mentioned:
"Introduction to Akka.NET Streams" -    • Introduction to Akka.NET Streams  

Akka.NET: https://getakka.net/
Phobos: https://phobos.petabridge.com/

Chapters:

00:00:00 Introduction
00:00:11 The Mystery
00:02:28 The Twist: Exception was Caught!
00:03:39 How SelectAsync Works
00:05:09 Suspicious Code
00:07:06 Potentially Unsafe Writes
00:07:44 How We Get Into Illegal State
00:08:36 The Result Struct
00:09:14 struct Assignment is Not Atomic
00:10:46 default struct values
00:11:23 dirty struct reads and default values
00:11:43 Final bug report
00:12:37 The fix