garrettmills/gcdt
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Musings on Generalized Commutative Data Types
9 Commits 1 Branch 0 Tags 243 KiB
Alloy 100%
main
Go to file
Garrett Mills 85a315ee5a Start example GCDT for Int
2022-12-13 11:28:43 -06:00
alloy Start example GCDT for Int 2022-12-13 11:28:43 -06:00
doc Import blog post 2022-12-12 15:35:38 -06:00
.gitignore Initial commit 2022-12-12 21:27:34 +00:00
LICENSE Initial commit 2022-12-12 21:27:34 +00:00
README.md Import blog post 2022-12-12 15:35:38 -06:00

README.md

garrettmills/gcdt

Musings on Generalized Commutative Data Types

A “commutative data type” is one whose value is modified by a set of operations whose execution order is irrelevant. Such data types are useful in distributed & parallel systems which employ accumulator-style execution (i.e. many jobs perform a calculation then merge their result into a single, shared value).

This repo contains my writings and miscellaneous models for these data-types.

Table of Contents

  • doc - Blog-posts & write-ups in Markdown format
  • alloy - GCDT models & theorems for the Alloy model checker

License

This work by Garrett Mills is licensed under CC BY-NC-SA 4.0