Pedro Henrique Penna

Results 225 issues of Pedro Henrique Penna

# Description We should add support for heap expansion and contraction in the runtime library.

enhancement

# Description We should use page tables in kernel land to store unused remote addresses. In this way we run out out of entries in the table of remote addresses...

enhancement

# Description Currently, when we evict a page from the cache we write it back to the remote memory, whether or not it is dirty. We should do so only...

enhancement

# Description We should make the page cache subsystem thread-safe.

enhancement

## Description This PR removes tasks names from the Task structure to avoid memory allocations in the critical path.

enhancement

## Description The standard socket API normally accepts `0` as the wildcard port. We don't appear to support this currently.

bug
confirmed

## Description We should fix the following bugs around close: - [x] https://github.com/demikernel/demikernel/issues/552 - [x] https://github.com/demikernel/demikernel/issues/236 - [x] https://github.com/demikernel/demikernel/issues/367 - [x] https://github.com/demikernel/demikernel/issues/369 - [ ] https://github.com/demikernel/demikernel/issues/212 - [ ] https://github.com/demikernel/demikernel/issues/206...

bug
confirmed

## Context The `remove_coroutine()` in the runtime component should me private.

enhancement

## Context From [RFC 793 Section 3.4](https://datatracker.ietf.org/doc/html/rfc793#section-3.4): > Several examples of connection initiation follow. Although these examples do not show connection synchronization using data-carrying segments, this is perfectly legitimate, so...

enhancement
wontfix

## Context We should update the `windows-sys` crate to the latest version available.

enhancement