Goals and non goals

[XiangpengHao]

The high level API of congee is not locking based. It always returns a copy of the data (not reference), i.e., a snapshot of the value at the moment of reading. This also means that the returned value may not be the latest. Users need to incorporate the compare_exchange API (similar to the ones in std::atomic) to implement locking operations.

[XiangpengHao]

The Congee projects starts with 8 fix-sized byte keys. In the future we might elevate this restriction.

[XiangpengHao]

Congee should be linearizable. We need some tools to check linearizbility: https://arxiv.org/pdf/1504.00204.pdf and https://github.com/anishathalye/porcupine