ladybird/WindowServer
Andreas Kling a2ec09bc20 Allow the scheduler to unblock the current process.
It's a bit confusing that the "current" process is not actually running
while we're inside the scheduler. Perhaps the scheduler should redirect
"current" to its own dummy Process. I'm not sure.

Regardless, this patch improves responsiveness by allowing the scheduler
to unblock a process right after it calls select() in case it already has
a pending wakeup request.
2019-01-16 17:47:18 +01:00
..
.gitignore Tear out or duplicate what's unique for WindowServer from Widgets. 2019-01-16 16:03:50 +01:00
main.cpp Tear out or duplicate what's unique for WindowServer from Widgets. 2019-01-16 16:03:50 +01:00
WSEvent.h Tear out or duplicate what's unique for WindowServer from Widgets. 2019-01-16 16:03:50 +01:00
WSEventLoop.cpp Rework WindowServer to use select() in its main event loop. 2019-01-16 17:20:58 +01:00
WSEventLoop.h Rework WindowServer to use select() in its main event loop. 2019-01-16 17:20:58 +01:00
WSEventReceiver.cpp Tear out or duplicate what's unique for WindowServer from Widgets. 2019-01-16 16:03:50 +01:00
WSEventReceiver.h Tear out or duplicate what's unique for WindowServer from Widgets. 2019-01-16 16:03:50 +01:00
WSFrameBuffer.cpp Tear out or duplicate what's unique for WindowServer from Widgets. 2019-01-16 16:03:50 +01:00
WSFrameBuffer.h Rework WindowServer to use select() in its main event loop. 2019-01-16 17:20:58 +01:00
WSScreen.cpp Rework WindowServer to use select() in its main event loop. 2019-01-16 17:20:58 +01:00
WSScreen.h Rework WindowServer to use select() in its main event loop. 2019-01-16 17:20:58 +01:00
WSWindow.cpp Tear out or duplicate what's unique for WindowServer from Widgets. 2019-01-16 16:03:50 +01:00
WSWindow.h Tear out or duplicate what's unique for WindowServer from Widgets. 2019-01-16 16:03:50 +01:00
WSWindowManager.cpp Allow the scheduler to unblock the current process. 2019-01-16 17:47:18 +01:00
WSWindowManager.h Allow the scheduler to unblock the current process. 2019-01-16 17:47:18 +01:00