Home Explore Help
Sign In
Agustina Arzille avarzille
Repositories Public Activity

avarzille pushed to main at avarzille/x15

2 days ago

avarzille pushed to main at avarzille/x15

2 weeks ago

avarzille pushed to main at avarzille/x15

2 weeks ago

avarzille pushed to main at avarzille/x15

2 weeks ago

avarzille pushed to main at avarzille/x15

2 weeks ago

avarzille pushed to main at avarzille/x15

2 weeks ago

avarzille pushed to main at avarzille/x15

2 weeks ago

avarzille pushed to main at avarzille/x15

3 weeks ago

avarzille pushed to main at avarzille/x15

  • ff39375c81 Use the test assertions for the IPC test
  • 5feb52a6f5 Use the new assertions for the interrupt test
  • e51d7d4aa0 Use the test assertions for formatted IO test
  • 19c7ef6757 Use the new test assertions for futex tests Although more verbose, these assertions have superior debugging and diagnosing capabilities, and so will be used to cover tests.
  • View comparison for these 4 commits »

3 weeks ago

avarzille pushed to main at avarzille/x15

  • 146b320067 Apply many scalability improvements This commit includes many scalability improvements and a couple of bugfixes. Among them: - Shared-Exclusive locks were redesigned to maintain a FIFO policy while also providing atomic downgrades. - Capabilities can now push and pop landing pads in a lockless fashion in the fast path. - The kmem caches now correctly call the constructor function in all cases via a simpler policy.

3 weeks ago

avarzille pushed to main at avarzille/x15

  • 626f4410bf Rework virtual memory allocations for the kernel This patchset removes the kernel's VM object and instead relies on the new functionality of physical mappings in the VM module to implement the backing for virtual memory allocations in the kernel space.

2 months ago

avarzille deleted branch ipc-copy-checks at avarzille/x15

2 months ago

avarzille pushed to main at avarzille/x15

2 months ago

avarzille pushed to ipc-copy-checks at avarzille/x15

2 months ago

avarzille created new branch ipc-copy-checks at avarzille/x15

2 months ago

avarzille pushed to main at avarzille/x15

2 months ago

avarzille pushed to main at avarzille/x15

  • 43f997f3b6 Use weak references for channels In order for servers to be notify when a channel is closed, the reference count needs to drop to zero. However, the server itself needs to have the channel open (To get its dirty pages, for example). As such, this patchset makes it so that servers can make use of weak references instead, so that their channels aren't accounted for in the number of references.
  • 2f57034126 Merge type and flags in capability struct
  • ceabd4361d Code cleanup after merge
  • View comparison for these 3 commits »

2 months ago

avarzille pushed to main at avarzille/x15

  • 9438aa1b1b Apply bulk optimizations to pmap operations

2 months ago

avarzille pushed to main at avarzille/x15

2 months ago

avarzille pushed to main at avarzille/x15

  • 9e456d6551 Implement VM page washing This patchset implements the necessary functionality for userspace processes to list, copy and/or map dirty pages from a channel capability and perform the necessary clearing.
  • 7056b6bb0a Simplify the capability interfaces
  • bb0f685c4a Rename ports to landing pads.
  • 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.

3 months ago