4 ms·

The Go team is working on an update of its scheduler to make it preemptive. Will Tokio follow suit? https://github.com/golang/go/issues/24543 https://github.co

• carllerche 7y ago
  My understanding of that PR is it relates to how the Go compiler does code generation. Rust takes a different approach and is about to ship `async / await` which is a different strategy. Preemption is out of scope for Tokio as we are focusing on a runtime to power Rust async functions. So, for the foreseeable, Tokio will using "cooperative preemption" via `await` points.
  • deleted 7y ago
    [deleted]
• 15155 7y ago
  IIRC: one of the issues with the original Rust stdlib greenthread implementation was that it's extremely difficult to preempt execution in a systems language. It's also quite difficult to add userland execution preemption without incurring significant performance penalties. How do you preempt syscalls or FFI calls? (Go will almost certainly also have this issue with cgo modules) I would be very surprised if preemptible Futures are something Tokio can or would implement.
  • wbl 7y ago
    What does systems mean here? There is a dirty trick with a NOP and self rewriting code that's quite cheap when not triggered. I think java does it that way.
    • sansnomme 7y ago
      Elaborate?
      • wbl 7y ago
        So you put in a NOP before each backward jump. To preempt you overwrite it with a jump to a handler that saves the state of the thread.
        • jedisct1 7y ago
          How multitasking used to work on Atari :) But this requires code pages to be writable. Which, from a security perspective is awful.
        • heavenlyblue 7y ago
          How does that resolve syscall question?
          • wbl 7y ago
            Syscall you have to do with a signal
        • nine_k 7y ago
          This presumes writable code segments, which many OSes shun.
          • hyperman1 7y ago
            It's java. Dynamic code generated by a jit.
        • adwn 7y ago
          Which NOP do you overwrite? Do you have to do this for all backward-jump-NOPs in all loaded executable code, or do you have to determine, which loop the thread in question is executing right now?
• pcwalton 7y ago
  Preemption isn't a concept that applies to a task scheduler like Tokio. You can't just inject more states into a finite state machine at runtime.
• Exuma 7y ago
  When does that get released into Go? That sounds cool