Skip to content

Complete socketpair support #3442

@RalfJung

Description

@RalfJung

We pretend to implement socketpair, but that's a complete lie. Completing this however doesn't need any involvement with the rest of the epoll plans. We "just" need to allocate somewhere two buffers for the data to be sent between these two endpoints, and then wire up the read/write of the two sockets with the right buffers. This can be tested by directly using socketpair/read/write.

There's also #3231.

We can provide more detailed mentoring instructions if needed.

Metadata

Metadata

Assignees

Labels

A-filesArea: related to files, paths, sockets, file descriptors, or handlesA-shimsArea: This affects the external function shimsC-projectCategory: a larger project is being tracked here, usually with checkmarks for individual stepsE-good-second-issueA good issue to pick up if you've already seen some parts of Miri, mentoring is available

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions