Merge branch 't2' into t

* t2:
  .
  wendelin.core v2.0.alpha1

CHANGELOG.rst

@@ -13,8 +13,8 @@ synthetic WCFS filesystem. This removes overhead of handling pagefaults in
 userspace and makes bigfile's cache (now it is the kernel's pagecache) to be
 shared in between several processes.
 
-In addition a custom coherency protocol is provided, which allows clients
-that want to receive isolation guarantee ("I" from ACID) to still use the shared
+In addition a custom coherency protocol is provided, which allows clients,
+that want to receive isolation guarantee ("I" from ACID), to still use the shared
 cache and at the same time get bigfile view isolated from other's changes.
 
 By default wendelin.core python client continues to provide full ACID semantics as

bigfile/tests/test_virtmem.c

@@ -201,7 +201,6 @@ const char *__tsan_default_options()
 
 
 /* whether appropriate page of vma is mapped */
-// XXX BUG on out-of-bounds
 int M(VMA *vma, pgoff_t idx) {  return bitmap_test_bit(vma->page_ismappedv, idx);   }
 
 

t/t_utils.h

@@ -30,7 +30,6 @@ extern "C" {
 
 
 /* access to vma memory as byte[] and blk_t[] */
-// XXX BUG on out-of-bound access
 #define b(vma, idx) ( ((volatile uint8_t *)vma->addr_start) [ idx ] )
 #define B(vma, idx) ( ((volatile blk_t *)vma->addr_start)   [ idx ] )
 

[Kirill Smelkov]

.