Zander671/river
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

session-lock: fix assertion failure due to race

Browse Source 
There's currently a potential race in the implementation that can be hit
during unlocking. This is not a security vulnerability, but it does
cause the compositor to crash due to a failed assertion.

This commit simplifies the code and fixes the race as well as tightening
up the assertions around this state/control flow even further.
This commit is contained in:
Isaac Freund 2023-01-07 14:58:28 +01:00
parent df2fc30238
commit f511a34ded
No known key found for this signature in database
GPG Key ID: 86DED400DDFD7A11
2 changed files with 12 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
river/Output.zig
View File

@ -530,7 +530,7 @@ fn handlePresent(
const self = @fieldParentPtr(Self, "present", listener);
switch (self.lock_render_state) {
.unlocked => return,
.unlocked => assert(server.lock_manager.state != .locked),
.pending_blank, .pending_lock_surface => {
if (!event.presented) {
self.lock_render_state = .unlocked;
@ -548,7 +548,7 @@ fn handlePresent(
server.lock_manager.maybeLock();
}
},
.blanked, .lock_surface => unreachable,
.blanked, .lock_surface => {},
}
}

13
river/render.zig
View File

@ -98,10 +98,17 @@ pub fn renderOutput(output: *Output) void {
return;
};
if (output.lock_surface == null) {
output.lock_render_state = .pending_blank;
if (server.lock_manager.state == .locked) {
switch (output.lock_render_state) {
.unlocked, .pending_blank, .pending_lock_surface => unreachable,
.blanked, .lock_surface => {},
}
} else {
output.lock_render_state = .pending_lock_surface;
if (output.lock_surface == null) {
output.lock_render_state = .pending_blank;
} else {
output.lock_render_state = .pending_lock_surface;
}
}
return;