aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPjotr Prins2025-06-22 14:03:06 +0200
committerPjotr Prins2025-06-22 14:03:06 +0200
commit56de652fdcec4e4d59ebbdf0b0f8571b038bb799 (patch)
treed2b836cd014041ea9f50aea32877f130a2eb0e41
parenta128b9826b301bd39afecda7fd19b63e1d36e585 (diff)
downloadpangemma-56de652fdcec4e4d59ebbdf0b0f8571b038bb799.tar.gz
Docs
-rw-r--r--.gitignore1
-rw-r--r--doc/code/pangemma.md202
2 files changed, 65 insertions, 138 deletions
diff --git a/.gitignore b/.gitignore
index ef520c8..aaca4cc 100644
--- a/.gitignore
+++ b/.gitignore
@@ -12,3 +12,4 @@ doc/manual.log
doc/manual.out
doc/manual.toc
contrib/
+.aider*
diff --git a/doc/code/pangemma.md b/doc/code/pangemma.md
index 91d877c..9175c33 100644
--- a/doc/code/pangemma.md
+++ b/doc/code/pangemma.md
@@ -1,43 +1,14 @@
# PanGEMMA
-We are rewriting and modernizing the much beloved GEMMA tool that is,
-for example, core to GeneNetwork.org.
-The idea is to upgrade the software, and keep it going using ideas
-from Hanson and Sussman's book on *Software Design for Flexibility:
-How to Avoid Programming Yourself into a Corner*.
-This is not the first attempt, in fact quite a few efforts have
-started, but none really finished!
-
-We want to keep the heart of GEMMA beating while upgrading the
-environment taking inspiration from fetal heart development: The human
-heart is one of the first organs to form and function during
-embryogenesis. By the end of gestational week 3, passive oxygen
-diffusion becomes insufficient to support metabolism of the developing
-embryo, and thus the fetal heart becomes vital for oxygen and nutrient
-distribution. The initiation of the first heart beat via the
-*primitive heart tube* begins at gestational day 22, followed by
-active fetal blood circulation by the end of week 4. The start of
-early heart development involves several types of progenitor cells
-that are derived from the mesoderm, proepicardium, and neural crest.
-This eventually leads to the formation of the 4-chambered heart by
-gestational week 7 via heart looping and complex cellular interactions
-in utero (e.g., [Tan and
-Lewandowski](https://doi.org/10.1159/000501906)).
-
-What we will do is create components and wire them together, allowing
-for sharing RAM between components. Each component may have multiple
-implementations. We will introduce a DSL for orchestration and we may
-introduce a propagator network to run components in parallel and test
-them for correctness. At the same time, the core functionality of
-GEMMA will keep going while we swap components in and out. See also
-[propagators](https://groups.csail.mit.edu/mac/users/gjs/propagators/)
-and [examples](https://github.com/namin/propagators/blob/master/examples/multiple-dwelling.scm).
+We are rewriting and modernizing the much beloved GEMMA tool that is core to GeneNetwork.org. The idea is to upgrade the software, and keep it going using ideas from Hanson and Sussman's book on *Software Design for Flexibility: How to Avoid Programming Yourself into a Corner*. This is not the first attempt, in fact quite a few efforts have started, but none have really finished!
+
+We want to keep the heart of GEMMA beating while upgrading the environment taking inspiration from fetal heart development: The human heart is one of the first organs to form and function during embryogenesis. By the end of gestational week 3, passive oxygen diffusion becomes insufficient to support metabolism of the developing embryo, and thus the fetal heart becomes vital for oxygen and nutrient distribution. The initiation of the first heart beat via the *primitive heart tube* begins at gestational day 22, followed by active fetal blood circulation by the end of week 4. The start of early heart development involves several types of progenitor cells that are derived from the mesoderm, proepicardium, and neural crest. This eventually leads to the formation of the 4-chambered heart by gestational week 7 via heart looping and complex cellular interactions in utero (e.g., [Tan and Lewandowski](https://doi.org/10.1159/000501906)).
+
+What we will do is create components and wire them together, allowing for sharing RAM between components. Each component may have multiple implementations. We will introduce a DSL for orchestration and we may introduce a propagator network to run components in parallel and test them for correctness. At the same time, the core functionality of GEMMA will keep going while we swap components in and out. See also [propagators](https://groups.csail.mit.edu/mac/users/gjs/propagators/) and [examples](https://github.com/namin/propagators/blob/master/examples/multiple-dwelling.scm).
Propagators are [Unix pipes on steroids](https://github.com/pjotrp/ruby-propagator-network/blob/main/README.md).
-We want PanGEMMA to be able to run on high-performance computing (HPC)
-architectures, including GPUs. This implies the core project can have
-few dependencies and should easily compile from C.
+We want PanGEMMA to be able to run on high-performance computing (HPC) architectures, including GPUs. This implies the core project can have few dependencies and should easily compile from C.
# Innovation
@@ -47,49 +18,28 @@ few dependencies and should easily compile from C.
## Breaking with the past
-The original gemma source base is considered stable and will be
-maintained - mostly to prevent bit rot. See
-https://github.com/genetics-statistics/GEMMA. To move forward we
-forked pangemma to be able to break with the past.
+The original gemma source base is considered stable and will be maintained - mostly to prevent bit rot. See https://github.com/genetics-statistics/GEMMA. To move forward we forked pangemma to be able to break with the past.
-Even so, pangemma is supposed to be able to run the same steps as the
-original gemma. And hopefully improve things.
+Even so, pangemma is supposed to be able to run the same steps as the original gemma. And hopefully improve things.
## Adapting the old gemma code
-For running the old gemma code we need to break up the code base into
-pieces to run in a propagator network (see below).
-Initially we can use the file system to pass state around. That will
-break up the implicit global state that gemma carries right now and
-makes working with the code rather tricky.
-Note that we don't have the goal of making gemma more efficient
-because people can still use the old stable code base.
-Essentially we are going to add flags to the binary that will run
-gemma partially by exporting and importing intermediate state.
+For running the old gemma code we need to break up the code base into pieces to run in a propagator network (see below). Initially we can use the file system to pass state around. That will break up the implicit global state that gemma carries right now and makes working with the existing code base rather tricky. Note that we don't have the initial goal of making gemma more efficient because people can still use the old stable code base. Essentially we are going to add flags to the binary that will run gemma partially by exporting and importing intermediate state.
-Later, when things work in a propagator network, we can create
-alternatives that pass state around in memory.
+Later, when things work in a propagator network, we can create alternatives that pass state around in memory and make pangemma more efficient.
# A simple propagator network
-We will create cells that hold basic computations and functions. We
-won't do a full propagator setup, though we may do a full
-implementation later.
-For now we use a network of cells - essentially a dependency graph of
-computations. Cells can tell other cells that they require them and
-that allows for alternate paths. E.g. to create a kinship matrix:
+We will create cells that hold basic computations and functions. We won't do a full propagator setup, though we may do a full implementation later. For now we use a network of cells - essentially a dependency graph of computations. Cells hold state. Cells can tell other cells that they require them and that allows for alternate paths. E.g. to create a kinship matrix:
```
(define-cell genotypes)
-(define-cell kinship-matrix (e:kinship genotypes)
+(define-cell kinship-matrix (e:calc-kinship genotypes)
(run)
(content kinship-matrix)
```
-essentially e:kinship gets run when genotypes are available. It is
-kinda reversed programming. Now say we want to add an input and a
-filter:
-
+essentially e:calc-kinship gets run when genotypes are available. Now say we want to add an input and a filter:
```
(define-cell bimbam-genofile)
@@ -122,84 +72,44 @@ runs one path and
will run both.
-This simple example shows how complex running logic can be
-described without (1) predicting how people will use the software and
-(2) no complex if/then statements.
+This simple example shows how complex running logic can be described without (1) predicting how people will use the software and (2) no complex if/then statements.
-Why does this matter for GEMMA? It will allow us to run old parts of
-GEMMA as part of the network in addition to new parts - and
-potentially validate them. It also allows us to create multiple
-implementations, such as for CPU and GPU, that can run in parallel and
-validate each other's outcomes.
+Why does this matter for GEMMA? It will allow us to run old parts of GEMMA as part of the network in addition to new parts - and potentially validate them. It also allows us to create multiple implementations, such as for CPU and GPU, that can run in parallel and validate each other's outcomes.
## Create the first cells
-Let's start with default GEMMA behaviour and create the first cells to
-get to exporting the kinship-matrix above.
+Let's start with default GEMMA behaviour and create the first cells to get to exporting the kinship-matrix above.
```
(content kinship-matrix)
```
-We'll break this down by inspecting cell levels next. The genofile
-cells contain a file name (string).
-When the file is read we will capture the state in a file and carry
-the file name of the new file forward.
-In this setup cells simply represent file names (for state).
-This allows us to simply read and write files in the C code.
-Later, when we wire up new propagators we may carry this state in
-memory. The whole point of using this approach is that we really don't
-have to care!
-
-Our first simple implementation of the cell will simply contain a
-string referring to a file.
-Cells can be works-in-progress and incrementally improved.
+We'll break this down by inspecting cell levels next. The genofile cells contain a file name (string). When the file is read we will capture the state in a file and carry the file name of the new file forward. In this setup cells simply represent file names (for state). This allows us to simply read and write files in the C code. Later, when we wire up new propagators we may carry this state in memory. The whole point of using this approach is that we really don't have to care!
+
+Our first simple implementation of the cell will simply contain a string referring to a file. Cells can be works-in-progress and incrementally improved.
## Create propagators
-A propagator contains a list of inputs and an output cell. So we wire
-up the graph by adding inputs to propagators.
-Every propagator has state (too), that is, it may be idle, computing, or done.
+A propagator contains a list of inputs and an output cell. So we wire up the graph by adding inputs to propagators. Every propagator has state (too), that is, it may be idle, computing, or done.
## The runner
-The runner visits the list of propagators and checks whether the
-inputs are complete and whether they have changed. On detecting a
-change, a computation has to be triggered to update the output cell.
+The runner visits the list of propagators and checks whether the inputs are complete and whether they have changed. On detecting a change, a computation has to be triggered to update the output cell.
## Setting check points in GEMMA
-GEMMA is quite stateful in its original design. We want to break the
-work up into chunks setting 'check points'. For example the actual
-kinship multiplication could start as 'start-compute-kinship' and end
-with 'compute-kinship' check points. To not have to deal with state
-too much we can simply let GEMMA run from the start of the program
-until 'compute-kinship' to have a kinship-propagator. The output will
-be a kinship file. Similarly we can run until 'filter-genotypes' that
-is a step earlier. The output of these propagators can be used by
-other PanGEMMA propagators as input for comparison and continuation.
-All the original GEMMA does is act as a reference for alternative
-implementation of these chunks. Speed is not a concern though there
-may be opportunities to start compute after some of these check-points
-(using intermediate output) down the line.
+GEMMA is rather stateful in its original design. We want to break the work up into chunks setting 'check points'. For example the actual kinship multiplication could start as 'start-compute-kinship' and end with 'compute-kinship' check points. To not have to deal with state too much we can simply let GEMMA run from the start of the program until 'compute-kinship' to have a kinship-propagator. The output will be a kinship file. Similarly we can run until 'filter-genotypes' that is a step earlier. The output of these propagators can be used by other PanGEMMA propagators as input for comparison and continuation. All the original GEMMA does is act as a reference for alternative implementation of these chunks. Speed is not a concern though there may be opportunities to start compute after some of these check-points (using intermediate output) down the line.
So, let's start with a first check point implementation for 'read-bimbam-file'.
## read-bimbam-file
-Reading the bimbam file happens in the `ReadFile_bim' function in
-`gemma_io.cpp'. Of course all it does is read a file - which is the
-same as any output. But just for the sake of a simple pilot we'll add
-the check point at the end of the function that will exit GEMMA.
-We'll add a CLI switch `-checkpoint read-geno-file' which will force the exit.
+Reading the bimbam file happens in the `ReadFile_bim' function in `gemma_io.cpp'. Of course all it does is read a file - which is the same as any output. But just for the sake of a simple pilot we'll add the check point at the end of the function that will exit GEMMA. We'll add a CLI switch `-checkpoint read-geno-file' which will force the exit.
```C++
checkpoint("read-geno-file",file_geno);
```
-It passes in the outputfile (the infile in this case), that is used to
-feed the calling propagator. Some of the outfiles may be composed of
-multiple outputs - in that case we may add filenames. And exits with:
-
+It passes in the outputfile (the infile in this case), that is used to feed the calling propagator. Some of the outfiles may be composed of multiple outputs - in that case we may add filenames. And exits with:
```
**** Checkpoint reached: read-geno-file (normal exit)
```
@@ -238,8 +148,8 @@ It should be with a propagator infrastructure. The fun part is that both paths c
## Adding some propagator plumbing
-I am highly resistant to writing C++ code. I probably have wrote most of lines of code in my life in C++, so I should know ;)
-As we are still in the proof-of-concept stage I am going to use Ruby for the first plumbing (I do like that language, despite its warts) and maybe throw some scheme in for writing the new lmdb support. One fun side of propagators is that I don't need to worry too much about languages as people can trivially update any propagator in any way they like. We'll replace the Ruby propnet engine into something that can handle parallelism, e.g., when we want to start using actors to run computations.
+I have become highly resistant to writing C++ code. I probably have wrote most of lines of code in my life in C++, so I should know ;)
+As we are still in the proof-of-concept stage I may use Ruby for the first plumbing (I do like that language, despite its warts) and maybe throw some scheme in for writing the new lmdb support. One fun side of propagators is that I don't need to worry too much about languages as people can trivially update any propagator in any way they like. We'll replace the Ruby propnet engine into something that can handle parallelism, e.g., when we want to start using actors to run computations.
Alright, to duplicate above filtering routine we are going to add an alternative path for GEMMA's read-geno-file, splitting the two tasks into two steps:
@@ -249,34 +159,50 @@ Alright, to duplicate above filtering routine we are going to add an alternative
'read-geno-file' translates to GEMMA's read-geno-file (maybe I should name it gemma-read-geno-file) and rb-read-geno-file is the alternate path. list-of-filtered-genotypes will be a file that we can compare between the two paths.
These steps should be so simple that anyone can replace them with, say, a python version. So, what can go wrong?
+# Adding our first converter
+
+We recently introduced an lmdb version of the genotype file. This new genotype format stores both normal and transposed forms of the genotype matrix, so they can be read directly from disk in an optimal version. lmdb is memory mapped and can give great performance.
+
# Other
## Example
-I created a very minimalistic example in Ruby with a simple
-round-robin scheduler:
+I created a very minimalistic example in Ruby with a simple round-robin scheduler:
=> https://github.com/pjotrp/ruby-propagator-network/blob/main/propagator.rb
## Running tasks in parallel
-In principle propnets make it trivially easy to run tasks in parallel.
-When inputs are complete the propagator goes into a
-'compute' state and a process can be run (forked or on PBS) that
-executes a command. The output file can be picked up to make sure the
-propagator completes and switches to the 'done' state. Note that
-actors and goblins would be perfect parallel companions to propagators
-with the potential advantage of keeping results in RAM.
-
-We are not going there right now, but it is one of the important
-reasons to build this setup.
-
-## Why guile and not ruby or python?
-
-Above example in Ruby is rather nice and we can build on that initially.
-Ruby's multithreading capabilities (and that of Python), however, are
-hampered by the layout of the interpreters and modules that can not be
-re-entered. Even with the slow disappearance of the global interpreter
-lock (GIL) these languages don't do great in that area. You can work
-around it by using copy-on-write processes (like I did with the really
-fast bioruby-vcf), but that gets clunky fast.
+In principle propnets make it trivially easy to run tasks in parallel. When inputs are complete the propagator goes into a 'compute' state and a process can be run (forked or on PBS) that executes a command. The output file can be picked up to make sure the propagator completes and switches to the 'done' state. Note that actors and goblins would be perfect parallel companions to propagators with the potential advantage of keeping results in RAM. We are not going there right now, but it is one of the important reasons to build this setup.
+
+## Why guile and not Ruby or Python?
+
+Above example in Ruby is rather nice and we can build on that initially. Ruby's multithreading capabilities (and that of Python), however, are hampered by the layout of the interpreters and modules that can not be re-entered. Even with the slow disappearance of the global interpreter lock (GIL) these languages don't do great in that area. You can work around it by using copy-on-write processes (like I did with the really fast bioruby-vcf), but that gets clunky fast.
+
+The main reason to choose Guile over Ruby (or Python) is the REPL. The debugging experience of the Lisp REPL is hard to beat. What we want is GEMMA as resident 'server' that we can develop against.
+
+What we want to do in development/debugging is fire up GEMMA so it starts listening. Not exactly GEMMA as a server, but still responding to our requests. Next we want to go into a continuous cycle where we change some data and get a result. Next be able to inspect the result and either go back or continue with a next computation. This REPL-centric programming is not only addictive as a developer-experience, but also highly efficient in terms of developer-time.
+
+To make software listen interactively we need to be able to update it 'in place'. With Lisp code this is straightforward because partial code can get re-evaluated or recompiled on-the-fly.
+With C++ code this is only possible if we make it listen to a socket and restart the socket server. And here
+we are talking message passing!
+
+## Why Ruby and not guile?
+
+OK, I have a confession to make. Reading Lisp code does not come that natural to me. I find writing Lisp easier than reading Lisp(!) Maybe it is because I have been reading Algol-type languages all my life, or maybe because Ruby is just a better fit to my brain. Where Lisp is definitely the greater language, I just find it harder to parse. Even my own code! I met Matz once and he told me that Ruby was known as Matz's own Lisp. So, there we are. I need the Ruby syntax oddities as little helpers to make my brain disentangle code.
+
+Ruby's REPL, however, is not that useful.
+
+## The art of message passing
+
+Messaging to the rescue. If all code responds to messages we can create and destroy servers at will. No matter what language they are written in. That also ties in with propagator networks. A propagator cell will be fired up and checks its inputs. Based on the inputs it does a (partial) computation. When the computation is completed it switches to a 'done' state. The done state signals downstream cells to start their computations using the cell values as inputs.
+
+In a REPL we can evaluate these cells. That is where Lisp comes in. But as these cells have a transparent messaging mechanism we should be able to use them in any language. That means we have a choice of languages to develop the full framework.
+
+## ZeroMQ (0MQ)
+
+ZeroMQ provides a minimalistic message passing interface in most languages. It will allow us to create cells and wire up a propagator network.
+
+## Sharing data in RAM
+
+There are several methods for sharing data between threads and processes. First we can first use Linux copy on write for instantiated processes. The Linux kernel als has shared memory support and, more interesting, memory mapping support --- which is also used in lmdb.