Li Xun

BUG() triggered during vfork and clone

15

I countered an `BUG()` whem migrating Java program from old Graphene version to latest 1.2 rc. It can reproduce every time. https://github.com/oscarlab/graphene/blob/f7aa86ed3ae4bbb99480d16bab98c87625b778c9/LibOS/shim/src/ipc/shim_ipc_pid.c#L150-L153 There are several fork() called in the Java...

[LibOS] fix `ioctl(FIONCLEX/FIONCLEX)` syscall

1

## Description of the changes `ioctl(FIONCLEX/FIONCLEX)` should update flags in `libos_fd_handle` instead of `libos_handle`. `O_CLOEXEC` flag is only handled in `libos_fd_handle`. Also add `O_RDWR` to flags of `libos_handle` for socket....

## Description of the changes Parse and print `sockaddr` in log of bind syscall. for example: ``` trace: ---- bind(6, {family=INET6,ip=[0:0:0:0:0:0:0:0],port=htons(29501)}, 28) = 0x0 ``` Also change `family=INET` to `family=INET6`...

RFC: Add POSIX shared untrusted memory support

18

## Summary As a sub-project of Communication with devices(#353), this RFC proposes a generic way to enable shared memory with host devices or processes from within the SGX (Gramine) enclave...

## Description of the changes As description in [RFC](https://github.com/gramineproject/gramine/issues/757), I aim to add new manifest syntax item `fs.mounts = [ {type = "shm"} ]`. to support Libc call `shm_open` and...

[LibOS] `ioctl(FIONCLEX)` with file/socket/pipe opened with `O_CLOEXEC` flag doesn't work as expected

4

## Description of the problem Current `ioctl(FIONCLEX)` only modifies internal flags and doesn't not touch the actual handle in Pal. https://github.com/gramineproject/gramine/blob/f91a2c18370858701a33c00620b0c7954f6779bf/libos/src/sys/libos_ioctl.c#L60-L61 When `open`, `socket` and `pipe2` syscalls with `O_CLOEXEC` or...

[LibOS] time zone is incorrect in syscall `gettimeofday()` or glibc `localtime()` or bash command `date`

16

## Description of the problem Current Gramine doesn't take care of time zone. The requests for time with time zone is incorrect and inconsistent. ## Steps to reproduce 1. Choose...

## Description of the changes VMA bookkeeping records prot of each VMA. However, `mprotect` syscall always calls Pal `mprotect` no matter prot changed or not, because `prot` recorded in VMA...

[LibOS] When memory pages or access permissions in VMA bookkeeping are not changed, get rid of unnecessary calls to PAL memory ABI or EDMM operations

6

### Description of the feature In current Gramine LibOS VMA bookkeeping, address begin, address end, prot, flags and file with offset are recorded. However, when VMAs are created or changed...