package picos

  1. Overview
  2. Docs
Pico scheduler interface

Install 

dune-project
 Dependency

github.com Readme Changelog ISC License Edit opam file Versions (5)

Authors

  1. V
    Vesa Karvonen <vesa.a.j.k@gmail.com>

Maintainers

  1. V
    Vesa Karvonen <vesa.a.j.k@gmail.com>

Sources

picos-0.5.0.tbz
sha256=862d61383e2df93a876bedcffb1fd1ddc0f96c50b0e9c07943a2aee1f0e182be
sha512=87805379017ef4a7f2c11b954625a3757a0f1431bb9ba59132202de278b3e41adbe0cdc20e3ab23b7c9a8c5a15faeb7ec79348e7d80f2b14274b00df0893b8c0

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.self ()
let is_main_thread () = Thread.self () == main_thread

module TLS = Thread_local_storage