Olivier Houchard cd66a94b63 MEDIUM: servers: Introduce server_full
To detect that a server is full, its served variable is used. That
variable, however, is in a very busy cache line, and it can be costly to
access it. So instead, introduce a new variable, in a different cache
line, server_full, that indicates if the server is full.
2026-03-02 13:46:17 +01:00
..