WebKit Bugzilla
New
Browse
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED FIXED
167248
The space-time scheduler should be stochastic
https://bugs.webkit.org/show_bug.cgi?id=167248
Summary
The space-time scheduler should be stochastic
Filip Pizlo
Reported
2017-01-20 12:56:14 PST
As I've been studying how the space-time scheduler behaves - in particular what it's phase-snapping after constraint-solving does - it seems that it's at its best when its choices are random with the probability being determined by headroom availability.
Attachments
Add attachment
proposed patch, testcase, etc.
Filip Pizlo
Comment 1
2017-02-16 13:41:21 PST
This is done.
Note
You need to
log in
before you can comment on or make changes to this bug.
Top of Page
Format For Printing
XML
Clone This Bug