kcsrk

9 ms·

31.
by kcsrk 6y ago
Better throughput, and almost no impact on latency overall. See https://arxiv.org/abs/2004.11663 section 6.2 for parallel performance evaluation.
32.
by kcsrk 7y ago
I am not sure I understand the suggestion that preemptive scheduling is important with the explosion of CPU core count. You may need preemptive scheduling even on a single core if your application expects some fairness of scheduling guaran
33.
by kcsrk 7y ago
(I work on Multicore OCaml) Multicore OCaml separates the notion of concurrency (overlapped execution) and parallelism (simultaneous execution). You can have one without the other but also have both. The main principle that we're going
34.
Profiling OCaml Code(github.com)
2 points by kcsrk 7y ago|0 comments
35.
by kcsrk 7y ago
Of interest is Crowbar[0,1], a testing tool for OCaml that combines Quickcheck like property testing with AFL fuzz. [0] https://github.com/stedolan/crowbar [1] https://ocaml.org/meetings/ocaml&#x2F
36.
by kcsrk 8y ago
Secure applications are pervasive. Think point of sale terminals, IoT devices and wearables handling personal information, all fly by wire systems, etc. Shakti is a whole family of processors from tiny microcontrollers to server class proce
37.
by kcsrk 8y ago
We're working on it https://github.com/ocamllabs/ocaml-multicore
38.
by kcsrk 8y ago
We're working on it. You can install and play around with Multicore compiler today though the wider library ecosystem is yet to catch up. https://github.com/ocamllabs/ocaml-multicore
39.
by kcsrk 8y ago
The author of the talk here. I am excited about the Multicore OCaml upstreaming plan. We're going to phase it into 3 distinct phases. First, we will upstream the multicore runtime so that it co-exists with the current runtime as a non-
40.
by kcsrk 9y ago
There is already one! See Malfunction [0,1]. There is an Idris and Agda backend for malfunction. [0]: https://github.com/stedolan/malfunction [1]: https://www.cl.cam.ac.uk/~sd601/papers/malfu
41.
by kcsrk 9y ago
With algebraic effect handlers (the concurrency story of multicore OCaml), you can write your I/O code in direct-style, but retain the advantage of non-blocking I/O. As such, you have the advantage of goroutines, but this is also
42.
by kcsrk 9y ago
There has been developments along some of these issues: - jbuilder ( https://github.com/janestreet/jbuilder ) has markedly improved the build system story. Importantly, the community understands that this is an issue and
43.
by kcsrk 9y ago
Multicore OCaml comes with native support for concurrency through algebraic effect handlers which generalize common control flow abstractions such as exceptions, async/await, generators, non-determinism, backtracking. All of these mech
44.
by kcsrk 9y ago
Performance backwards compatibility has been a key goal in the Multicore OCaml project. Currently, the overhead for running legacy sequential OCaml programs on the multicore GC is a few percentage points on average. The overhead is low enou
45.
by kcsrk 9y ago
Multicore support isn't for every one, but there are some important use cases where multicore support is very useful. One example is Facebook's Hack language type checker [0] which offers good opportunity for parallelism, but the
46.
by kcsrk 10y ago
(I work on multicore OCaml) Multicore OCaml has been steadily under development, with the latest updates here: https://ocaml.io/w/Multicore . While I can't promise when multicore lands in trunk, a stable-alpha vers
47.
by kcsrk 10y ago
(author here) The collected CAS operations are batched together using a lock-free k-CAS implementation. The library does not presuppose a hardware k-CAS mechanism. The built up transactions carry around some information internally (blocking
48.
by kcsrk 10y ago
There is the small standard library that ships with the compiler. And then there are more extensive ones such as Batteries and Core. It is easy to generate docs in Reason syntax from OCaml projects using `redoc` tool. Here is Reason docs fo
49.
by kcsrk 10y ago
How about building functional operating systems and unikernels: https://mirage.io/ . Since Reason is fully compatible with OCaml, you can build your own Reason unikernels on top of MirageOS libraries. Here is a list of mirag
50.
by kcsrk 10y ago
Multicore support is progressing nicely. Only earlier today I made a PR for adding nativecode compilation for multicore: https://github.com/ocamllabs/ocaml-multicore/pull/47 . A lot more information about the
51.
by kcsrk 12y ago
Here is some context: http://amirchaudhry.com/bitcoin-pinata/