Consider optimizations for heavily-nested scenarios
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 5/5
- Tiempo estimado
- Más de una semana
- Aptitud para principiantes
- 25/100
- Tipo de issue
- Nueva funcionalidad
- Claridad
- Necesita aclaración
- Estado de actividad
- Estancado
- Stack tecnológico
- wasm
- Área
- compilers, performance
Línea de trabajo
Start with the Phase 3 proposal material and the heavily nested generator and green-thread workload described in this issue. Measure the O(N) switching behavior when generator nesting is large, then review the results with the proposal group. Done means the group has agreed on a predictable optimization or proposal adjustment and documented it before the feature is considered finished.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
Once this proposal gets to Phase 3 and we can study the performance of realistic workloads, I think it's important for this group to measure a workload that, e.g., uses stack-switching for both generators with green-threading where there are stacks of the form:
| green-thread-handler | generator-handler 0 | ... | generator-handler N | suspend to green-thread-handler |
Because generator nesting depth is controlled by the user program, this N can be arbitrarily-large (e.g., generators can be called recursively) and a naive implementation will require an O(N) search when switching between green threads.
Assuming that the cost of this O(N) search isn't somehow amortized away, it seems like we should work out a predictable optimization that engines can perform so that, in practice, suspension to the green-thread-handler is O(1) (like a native engine would do). Although optimizing the O(N) case in general doesn't seem possible, identifying a subset of cases that cover the above scenario does seem imminently possible. However, I think it's important for us to have a proper shared discussion about what this predictable optimization is before declaring this feature finished so that (1) we can publish it in some form and continue to claim that wasm has predictable performance, (2) if there is some small tweak or addition to the proposal that would make the optimization significantly simpler or more effective, we still have the opportunity to make that tweak.
- Lenguaje dominante
- WebAssembly
- Estrellas
- 216
- Forks
- 19
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Preparar el entorno
- Sin Dockerfile ni archivo de Docker Compose
- Sin plantilla de pull request
- Leer la guía de contribución
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Más de WebAssembly/stack-switching
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100
WebAssembly/stack-switching#156 · 1 comentario ·
-
Should `cont.new` be constant?Abierto
Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100
WebAssembly/stack-switching#145 · 4 comentarios ·
-
Use `typeuse` in text format?Abierto
Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100
WebAssembly/stack-switching#144 · 4 comentarios ·
-
JSPI integrationAbierto
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
WebAssembly/stack-switching#131 ·
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 45/100
WebAssembly/stack-switching#128 · 6 comentarios ·
Todos los issues de WebAssembly/stack-switching
Issues similares
-
vxc prints a debug line '[flat-codegen] emitted module via the flat path' on every compilePosiblemente ocupada @YodHeVauHe la tomó hoy. Abiertodevex good first issue
Dificultad 2/5 1-3 horas Aptitud para principiantes 82/100
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 70/100
kmmbvnr/rank#196 · 1 comentario ·
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 74/100
SciML/ModelingToolkit.jl#5255 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 65/100
NVIDIA/cuda-quantum#5539 ·
Los mantenedores suelen responder en 1 día
-
triage
Dificultad 2/5 1-3 horas Aptitud para principiantes 70/100
NVIDIA/cuda-python#3015 · 2 comentarios ·
Los mantenedores suelen responder en 1 día