Bug 167248

Summary: The space-time scheduler should be stochastic
Product: WebKit Reporter: Filip Pizlo <fpizlo>
Component: JavaScriptCoreAssignee: Nobody <webkit-unassigned>
Status: RESOLVED FIXED    
Severity: Normal    
Priority: P2    
Version: WebKit Nightly Build   
Hardware: All   
OS: All   
Bug Depends on: 167249    
Bug Blocks: 166833    

Description Filip Pizlo 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.
Comment 1 Filip Pizlo 2017-02-16 13:41:21 PST 
This is done.