The experiments studied by UpStare are now available, based on version UPSTARE_RELEASE_0-11-6.
UpStare
UpStare 0.10.9
UpStare version UPSTARE_RELEASE_0-10-9 considerably improves the ability of the patch generator to automatically produce stack transformers and incorporate user-defined stack transformers. It also implements support for blocking system calls in a much more efficient way.
UpStare 0.9.12
UpStare version UPSTARE_RELEASE_0-9-12 fixes a critical issue in the runtime in determining which children have died and should be ignored when coordinating an update with children. It also handles as non-blocking file descriptors created with open() and pipe(), and calls to select() with a pointer (possibly set to NULL) timeout argument that would block indefinitely.
With these changes the system can update PostgreSQL while multiple clients are connected to it.
UpStare 0.9.10
UpStare version UPSTARE_RELEASE_0-9-10 improves the ability of the patch generator to correctly determine dependencies between struct/unions defining fields which are arrays of a size computed at compile-time.