Ivan Prisyazhnyy

BufferPoolManager.NewPage spec is unclear if the pages returned must be pinned

3

It is unclear from the spec if the pages returned from BufferPoolManager.NewPage must be pinned. Actually, if they are not the test would fail (as any previously allocated page becomes...

In order to allow flushing a page to the disk with a weaker mode (read lock) than exclusive lock (write) a page needs either: - atomic dirty flag - atomic...

It's unclear how frame_id_t space of values relates to the BufferPoolManager. Using the term `using page_slot = frame_id_t` could simplify the understanding of what is happening with the free pages...

add ssl support

17

I have added ssl handshake if requested to support https during health checking. It also able to skip cert checks which is fine for my use case. Session caching could...

log whole response body on error to give a chance to understand a reason

1

usually response for /status? kind of requests would contain a description of why it failed

mainly - remove unicode symbol - remove fifth level indention - small formatting - script for pandoc it could use _xetex_ but I decided it's not worth it. the script...

Added support for Stack based context GHC lookup

1

If there is no `g:ghc` set and no `ghc` executable on the PATH, then try to locate if `stack` is available and allow him to do its best to resolve...

Values passed as package params/install args may be parsed by the NDeskOptions Parser if not quoted properly

17

I do: $> cinst package -s . -y -ia "-dc=vagrant -log-level=debug" What i've got: $env:TEMP = /c/ProgramData/chocolatey/=vagrant -log-level=debug = thats kinda broken. -ia should not touch $env:TEMP any how. Why...

txn-rw-register workload does not detect g0 write cycles under read-uncommitted consistency

5

Maelstrom does not detect g0 (write-cycle) for me, like in the following history: ``` t3: ["r",0,1],["w",0,10], ["r",0,3],["w",0,11] t2: ["w",0,1],["r",0,1], ["r",0,10],["w",0,2],["w",0,3],["r",0,3] ``` So `t2` observes the read value of 3 at...

If you wish, this is a working implementation of the Maelstrom node framework on Zig 0.10.1. There were many bugs I faced during this experiment. For example, async-io did not...