Up – Package index » Sample schedulers for Picos » Sources » picos_mux.thread » select.ml

Source file `select.ml`

Sample schedulers for Picos
- CHANGES
- LICENSE
- README
- Library picos_mux.fifo
  - Picos_mux_fifo
- Library picos_mux.multififo
  - Picos_mux_multififo
- Library picos_mux.random
  - Picos_mux_random
- Library picos_mux.thread
  - Picos_mux_thread
- Sources
  - picos_mux.fifo
  - picos_mux.multififo
  - picos_mux.random
  - picos_mux.thread

1
2
3
# 1 "lib/picos_mux.thread/select.some.ml"
let cancel_after = Picos_io_select.cancel_after
let check_configured = Picos_io_select.check_configured