Vesa Karvonen polytypic

Created 7 repositories

polytypic/ocaml-gh Shell Jan 28

polytypic/ctypes-test OCaml Jan 24

polytypic/ocaml OCaml Jan 23

polytypic/luv OCaml Jan 20

polytypic/opam-repository Shell Jan 16

polytypic/idle-domains OCaml Jan 12

polytypic/mdx OCaml Jan 10

Created a pull request in ocaml-multicore/kcas that received 25 comments
Jan 6

GKMZ adaptation

This implements an adaptation of the GKMZ algorithm to OCaml. This adaptation: Simplifies the data structures so that a ref always contains a CAS …

+198 −154 • 25 comments

Created an issue in ocaml/ocaml that received 18 comments
Jan 17

fenceless_get to avoid pessimistic memory model on ARM

Consider the following prototypical template for lock-free algorithms: let rec prototypical_lock_free_algorithm () = let expected = Atomic.get atomic

18 comments

Opened 2 other issues in 2 repositories

aantron/luv 1 open

Attempt to #require "luv" in OCaml toplevel fails on Windows Jan 18

ocaml-multicore/kcas 1 open

First-impression notes on the API Jan 5

2 contributions in private repositories Jan 5 – Jan 17

Vesa Karvonen polytypic

Achievements

Achievements

Organizations

Block or report polytypic

Popular repositories

2,398 contributions in the last year

Contribution activity

January 2023

Created a pull request in ocaml-multicore/kcas that received 25 comments

GKMZ adaptation

Created an issue in ocaml/ocaml that received 18 comments

`fenceless_get` to avoid pessimistic memory model on ARM

Vesa Karvonen polytypic

Achievements

Achievements

Organizations

Block or report polytypic

Popular repositories

2,398 contributions in the last year

Contribution activity

January 2023

Created a pull request in ocaml-multicore/kcas that received 25 comments

GKMZ adaptation

Created an issue in ocaml/ocaml that received 18 comments

fenceless_get to avoid pessimistic memory model on ARM

`fenceless_get` to avoid pessimistic memory model on ARM