Support fcntl F_GETLEASE/F_SETLEASE

Resolves #3932

Author: rocallahan

CMakeLists.txt

@@ -1061,6 +1061,7 @@ set(BASIC_TESTS
   fatal_sigsegv_thread
   x86/fault_in_code_page
   fcntl_dupfd
+  fcntl_lease
   fcntl_misc
   fcntl_notify
   fcntl_owner_ex

src/kernel_abi.h

@@ -175,6 +175,8 @@ struct FcntlConstants {
     OFD_SETLK = 37,
     OFD_SETLKW = 38,
     // Other Linux-specific operations
+    SETLEASE = 0x400,
+    GETLEASE = 0x400 + 1,
     NOTIFY = 0x400 + 2,
     DUPFD_CLOEXEC = 0x400 + 6,
     SETPIPE_SZ = 0x400 + 7,

src/record_syscall.cc

@@ -3969,6 +3969,8 @@ static Switchable rec_prepare_syscall_arch(RecordTask* t,
         case Arch::GET_SEALS:
         case Arch::SET_RW_HINT:
         case Arch::SET_FILE_RW_HINT:
+        case Arch::SETLEASE:
+        case Arch::GETLEASE:
           break;
 
         case Arch::SETFD:

src/test/fcntl_lease.c

@@ -0,0 +1,15 @@
+/* -*- Mode: C; tab-width: 8; c-basic-offset: 2; indent-tabs-mode: nil; -*- */
+
+#include "util.h"
+
+int main(void) {
+  int fd = open("tmpfile", O_RDWR | O_CREAT | O_TRUNC, 0600);
+  test_assert(fd >= 0);
+  int ret = fcntl(fd, F_SETLEASE, F_WRLCK);
+  test_assert(!ret);
+  ret = fcntl(fd, F_GETLEASE);
+  test_assert(ret == F_WRLCK);
+
+  atomic_puts("EXIT-SUCCESS");
+  return 0;
+}