Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Start ystore in a task #302

Merged
merged 5 commits into from
May 7, 2024
Merged

Conversation

davidbrochart
Copy link
Collaborator

@davidbrochart davidbrochart commented May 6, 2024

Backport of #303.

Copy link
Contributor

github-actions bot commented May 6, 2024

Binder 👈 Launch a Binder on branch davidbrochart/jupyter_collaboration/start-ystore

@@ -100,7 +103,9 @@ async def initialize(self) -> None:
# try to apply Y updates from the YStore for this document
read_from_source = True
if self.ystore is not None:
await self.ystore.started.wait()
if not self.ystore.started.is_set():
self.create_task(self.ystore.start())
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

ystore.start() can throw RuntimeException if ystore task group is not None. There is another ystore.start() in yroom broadcast method. Since both the start method is scheduled asynchronously and there could a race condition, either of those two ystore.start() tasks can failed with RuntimeException due to ystore is already started. In this task, it might be ok to fail but in yroom.broadcast method, that exception could cause yroom task group to fail and restarted unless we handle the exception in yroom.broadcast implementation as well.

@davidbrochart
Copy link
Collaborator Author

24e8c18 will need jupyter-server/pycrdt-websocket#43.

@jzhang20133 jzhang20133 merged commit e5ab770 into jupyterlab:2.x May 7, 2024
18 of 20 checks passed
@davidbrochart davidbrochart deleted the start-ystore branch May 8, 2024 06:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants