I read through the paper and I assume the lease should be implemented. I read the code from posix_interface.c. In particular, I read the implementation of mlfs_posix_read, which I assume the POSIX read. From inside, I see the lock pthread_rwlock_rdlock and within mlfs_file_read, I see ilock and iunlock. However, those locks don't look like the lease mentioned inside the paper.
I also check method like mlfs_write and some storage engine callback functions that for SPDK (e.g. dax_write_unaligned for write_unaligned under storage.c) but I couldn't find any implementation that may look like lease.
However, linux kernel 4.8.12 shipped with the repo does contain lease but I cannot find it is used anywhere.
I'm wondering if anyone can help point out the code that involves the lease implementation in strata.
I read through the paper and I assume the lease should be implemented. I read the code from
posix_interface.c
. In particular, I read the implementation ofmlfs_posix_read
, which I assume the POSIX read. From inside, I see the lockpthread_rwlock_rdlock
and withinmlfs_file_read
, I seeilock
andiunlock
. However, those locks don't look like the lease mentioned inside the paper.I also check method like
mlfs_write
and some storage engine callback functions that for SPDK (e.g.dax_write_unaligned
forwrite_unaligned
under storage.c) but I couldn't find any implementation that may look like lease.However, linux kernel 4.8.12 shipped with the repo does contain lease but I cannot find it is used anywhere.
I'm wondering if anyone can help point out the code that involves the lease implementation in strata.
Thanks much!