diff options
Diffstat (limited to '')
-rw-r--r-- | src/lane.hpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/lane.hpp b/src/lane.hpp index 7821112..4fd0f6d 100644 --- a/src/lane.hpp +++ b/src/lane.hpp | |||
@@ -112,7 +112,8 @@ class Lane | |||
112 | // M: prepares the state, and reads results | 112 | // M: prepares the state, and reads results |
113 | // S: while S is running, M must keep out of modifying the state | 113 | // S: while S is running, M must keep out of modifying the state |
114 | 114 | ||
115 | Status volatile status{ Pending }; | 115 | std::atomic<Status> status{ Pending }; |
116 | static_assert(std::atomic<Status>::is_always_lock_free); | ||
116 | // | 117 | // |
117 | // M: sets to Pending (before launching) | 118 | // M: sets to Pending (before launching) |
118 | // S: updates -> Running/Waiting/Suspended -> Done/Error/Cancelled | 119 | // S: updates -> Running/Waiting/Suspended -> Done/Error/Cancelled |