Skip to content
This repository has been archived by the owner on Mar 28, 2023. It is now read-only.

Use a shared memory region for coverage arenas #320

Open
woodruffw opened this issue Sep 12, 2018 · 0 comments
Open

Use a shared memory region for coverage arenas #320

woodruffw opened this issue Sep 12, 2018 · 0 comments
Labels
low priority performance

Comments

@woodruffw
Copy link
Member

woodruffw commented Sep 12, 2018 •
edited
Loading

Right now we use sl2_conn, which is the same named pipe that we talk to the server with. A shared memory region would probably be faster.
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
low priority performance
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@woodruffw