News for hackers. Stuff that matters.

A comment on Fuzzing is magic – Or how I found a panic in Rust's regex library. Parent comment

Re:Fuzzing is magic – Or how I found a panic in Rust's regex... by BuuQu9hu on Saturday April 01, 2017 @05:01PM (#14014143)
There are languages like E and Monte where deadlocks aren't possible unless there is an actual loop in the data flow dependencies and race conditions are impossible, but they aren't commonly known.
[ Parent | on HN ]
Re:Fuzzing is magic – Or how I found a panic in Rust's regex... by dom0 on Saturday April 01, 2017 @06:01PM (#14014412)
> unless there is an actual loop in the data flow

Hence trivial. Making something provably deadlock-free where the message flow is a DAG is a trivial case.

> race conditions are impossible

I very much doubt that since race conditions are not only a technical issue (i.e. "is updating that counter atomic?"), but largely a specification issue. Recall that issues like lost updates (or all those file system races) are race conditions, as well as the many issues with non-atomic REST APIs.

[ Parent | on HN ]