Interrupt Web Worker or Python - Githubissues

stefnotch / quantum-sheet

QuantumSheet - A user friendly mathematics worksheet and solver

https://stefnotch.github.io/quantum-sheet/

GNU General Public License v3.0

55 stars 5 forks source link

Interrupt Web Worker or Python #5

Open stefnotch opened 4 years ago

stefnotch commented 4 years ago

When a computation takes very long, it should be possible to stop it. I'd prefer to not have to .terminate() the web worker for that.

Relevant issues

https://github.com/iodide-project/pyodide/issues/237 (Threading support)
- https://github.com/emscripten-core/emscripten/issues/3494 (Add support for simultaneously using dynamic linking + pthreads)
- https://bugzilla.mozilla.org/show_bug.cgi?id=1389458 ([meta] Implement WebAssembly threads proposal)
https://github.com/iodide-project/pyodide/issues/676 (Interrupting execution)
https://github.com/iodide-project/pyodide/issues/245 (Asyncio support)
https://github.com/iodide-project/pyodide/commit/a012a6677b495ad44279c50594e3c6980c72dc7c (interrupt package)

stefnotch commented 3 years ago

Added the pyodide.setInterruptBuffer API. This can be used to set a SharedArrayBuffer to be the keyboard interupt buffer. If Pyodide is running on a webworker, the main thread can signal to the webworker that it should raise a KeyboardInterrupt by writing to the interrupt buffer -- https://github.com/stefnotch/quantum-sheet/issues/17