Home Explore Help
Register Sign In
Agustina Arzille avarzille
Repositories Public Activity

avarzille pushed to ava at avarzille/x15

2 months ago

avarzille pushed to ava at avarzille/x15

2 months ago

avarzille pushed to ava at avarzille/x15

  • 28295cbbe9 Fix more calls to flow locking
  • 682b99975c Fix locking on flows Capability flows used spinlocks that were acquired without disabling interrupts. Since capabilities can be used to handle interrupts, this was clearly wrong. This changeset fixes the locking to conditionally save interrupts before locking if the flow is used for interrupts.
  • 4689fd0f38 Use the correct cache to free alerts
  • cbc2ba87f3 Try to avoid aliasing problems
  • View comparison for these 4 commits »

2 months ago

avarzille pushed to ava at avarzille/x15

  • b90a858c73 Implement the reverse-set for the VM subsystem This changeset implements the `rset` type which maintains a list of the virtual mappings for a physical page.

2 months ago

avarzille pushed to rmap at avarzille/x15

3 months ago

avarzille created new branch rmap at avarzille/x15

3 months ago

avarzille pushed to ava at avarzille/x15

3 months ago

avarzille pushed to ava at avarzille/x15

3 months ago

avarzille pushed to ava at avarzille/x15

3 months ago

avarzille pushed to ava at avarzille/x15

4 months ago

avarzille pushed to ava at avarzille/x15

4 months ago

avarzille pushed to ava at avarzille/x15

4 months ago

avarzille pushed to ava at avarzille/x15

  • a93eacaeb2 Fix copy-on-write (COW) pages This patchset fixes the implementation of COW pages. Previously, we inserted the same page in 2 different objects, which is illegal. Instead, we now introduce the concept of 'foreign pages': frames that are present in the physical map, but not in the backing VM object. In addition, this patchset fixes IPC PTE's so that the previous physical mappings are saved upon context switch. This makes it so that these PTEs can be used without disabling interrupts.

4 months ago

avarzille pushed to ava at avarzille/x15

  • 79b54ccb83 Shorten the interrupt-disable window in page faults

4 months ago

avarzille pushed to ava at avarzille/x15

4 months ago

avarzille pushed to ava at avarzille/x15

4 months ago

avarzille pushed to ava at avarzille/x15

  • f5bd928958 Send alerts when a channel is closed This patchset implements the needed functionality so that capability flows receive a kernel-sent alert whenever a channel that was linked to it is closed. This is done without any additional memory cost - The channel structure is reused to send the alerm. In addition the IPC tests were fixed.
  • 3e9661e492 Numerous fixes to the capability implementation
  • 28535e7e8d Properly implement VM_PROT_NONE
  • View comparison for these 3 commits »

4 months ago

avarzille pushed to ava at avarzille/x15

5 months ago

avarzille pushed to ava at avarzille/x15

  • 64cfc1638f Implement the 'vm_protect' call This patchset implements the vm_protect call, modeled after the POSIX 'mprotect' one. It also implements the needed entry merging so that consecutive calls are idempotent.

6 months ago

avarzille pushed to ava at avarzille/x15

  • 9b4dda3f9c Simplify thread/task capability management

6 months ago