Question about lease

[xxks-kkk]

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.

Thanks much!