typelevel / typelevel/cats-effect

Can we implement some flavor of `interruptible` on Native using signals?

Open
#4,463 1 comment 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

:mushroom: enhancement
Dominant language
Scala
Stars
2.2k
Forks
576
Avg merge
2d 11h
Merged PRs (30d)
18

Description

It seems like most blocking syscalls will return -1 and set errno to EINTR if a signal is sent to the thread while the syscall is executing. So this seems like an interesting way to support (more graceful) cancelation of these operations on Native. On the JVM, we often resort to a clunky cancelable which typically closes a file descriptor to force the syscall to terminate.

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

No files, tests, or entry points are named. Start by investigating how Native handles blocking syscalls and signal delivery, then define the scope and completion criteria for an interruptible operation based on the proposed EINTR behavior.

Written by the indexing model from the issue text.

Assessment

Tech stack
scala
Domain
operating-systems
Issue type
Feature
Difficulty
5/5
Estimated time
Over a week
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
25/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.