Why Concurrency Is Hard

Re:Why Concurrency Is Hard by anonacct38 on Monday November 09, 2020 @08:00PM (#25041819)

The author touches on the reason, but I'd phrase it more strongly.

Shared mutable data concurrency is hard because it removes ability to locally reason about code.

    x=1
    x++
    assert(x==2)

can now fail.

[ Parent | on HN ]

Re:Why Concurrency Is Hard by dragontamer on Monday November 09, 2020 @10:21PM (#25042544)

The x++ isn't necessary.

    x = 1;
    assert(x==1); // May fail in a parallel world

[ Parent | on HN ]