On 12/17/24 5:14 PM, Yu Kuai wrote:
I can't make this read-write, because set lower value will cause problems for existing elevator, because wake_batch has to be updated as well.
Should the request queue perhaps be frozen before wake_batch is updated? Thanks, Bart.
