package picos

  1. Overview
  2. Docs
Pico scheduler framework

Install

Dune Dependency

Authors

Maintainers

Sources

picos-0.3.0.tbz
sha256=544804c0bde4b29764f82f04e7defed7c06bc43e5a6ce3f7fdc326cb54a7f066
sha512=4c93427e477fb52374a554a8b9c4c92836a9b5899161275d1473269ab526a1f59177209140631ed763a55be375855dea12f076e18bf4124522414986c0e257be

doc/src/picos.thread/picos_thread.ml.html

Source file picos_thread.ml

1
2
3
4
5
# 1 "lib/picos_thread/picos_thread.posix.ml"
let main_thread = Thread.id (Thread.self ())
let is_main_thread () = Thread.id (Thread.self ()) = main_thread

module TLS = Tls
OCaml

Innovation. Community. Security.