Passing lambdas into child models allow them to execute arbitrary parent model code
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 5/5
- Tempo stimato
- Più di una settimana
- Idoneità per principianti
- 25/100
- Tipo di issue
- Bug
- Chiarezza
- Abbastanza chiara
- Stato di attività
- Ferma
- Stack tecnologico
- scala
- Ambito
- distributed-systems
Direzione di ricerca
Non vengono indicati file sorgente, test o punti di ingresso. Inizia riproducendo l'esempio collegato di procedura anonima con più modelli figli e analizza come vengono passate le procedure e come viene coordinata l'esecuzione parallela; il lavoro è completato quando la policy di sicurezza scelta viene applicata ed è coperta da test di regressione.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
See https://stackoverflow.com/a/54369364/145080.
That's a pretty awesome use, but it will also break bad when running multiple children simultaneously. Child models, by default, run in parallel, which means there's no way to control what order they will run code in (even with random-seed). Normally, this is fine, since child models can't directly affect each other. But passing procedures in mean order matters, so the results of the above code will be unpredictable, even if you use random-seed. Worse, child models don't synchronize on the same object (otherwise parallelism would be pointless), and global variables are not effectively marked volatile, if two child models run
set foo foo + 1
in the parent, they may both read the un-updated foo before the other hasn't finished its update, resulting in foo being incremented once, not twice.
The other reason why this isn't supposed to work is more philosophical. All inter-level logic is supposed to live in the parent. Allowing any child to talk directly to any other child results in code that is very difficult to reason about and debug.
The safest option here is to just block anonymous procedures from being passed around (as I thought they were). Another option, which addresses the technical concern, but not the philosophical, is to disable parallelism if anonymous procedures are being passed around.
- Lingua principale
- Scala
- Stelle
- 20
- Fork
- 8
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Guida per i contributori
Nessuna guida per i contributori indicizzata per questo repository
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di NetLogo/LevelSpace
-
enhancement
Difficoltà 4/5 3-5 giorni Idoneità per principianti 55/100
NetLogo/LevelSpace#151 · 1 reazione ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
NetLogo/LevelSpace#146 ·
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100
NetLogo/LevelSpace#141 ·
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
NetLogo/LevelSpace#134 · 2 commenti ·
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
NetLogo/LevelSpace#132 · 3 commenti ·
Tutte le issue di NetLogo/LevelSpace
Issue simili
-
RS_PixelAsPoint raises out of grid where RS_PixelAsCentroid and RS_PixelAsPolygon extrapolate Aperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
-
Area: Excel support
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
orbeon/orbeon-forms#7893 ·
-
x:action/fix x:module/practice-exercise x:size/small
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
lichess-org/lila#21788 · 2 commenti ·
-
area:Iceberg area:writer documentation requires-triage
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
apache/datafusion-comet#6147 ·