bartoszmodelski / ebsl

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Scheduler for multicore OCaml (work in progress).

Directories:

  • datastructure - core datastructures used by the scheduler. Queues, stacks, obstruction and lock-free implementations, with/out stealing.
  • schedulr - simple task scheduler with promises.
  • micropools - extension of schedulr to a multischeduler graph framework (SEDA-like).
  • evaluation - jupyter notebooks with benchmarks.
  • test - mix of tests and benchmarks.
  • dscheck - vendored dscheck (to be removed).

Todo:

  • Trim dependencies

About


Languages

Language:Jupyter Notebook 68.5%Language:TeX 22.4%Language:OCaml 9.1%Language:Makefile 0.1%