Skip to content

Commit

Permalink
FIX: raise condition on model loading may have deleted elements from …
Browse files Browse the repository at this point in the history
…the state queue before the model was completely parsed, potentially leading to duplicate file parsing or an error reporting the empty state as missing
  • Loading branch information
Hotzkow committed Jul 29, 2020
1 parent 3afa13d commit 9ef6b8f
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 2 deletions.
2 changes: 1 addition & 1 deletion build.gradle.kts
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@

import org.jetbrains.kotlin.gradle.tasks.KotlinCompile

version = "1.5.0"
version = "1.5.1"
group = "org.droidmate"

plugins {
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -123,9 +123,11 @@ internal abstract class ModelParserI<T,DeferredState,DeferredWidget,M: AbstractM
// start producer who just sends trace paths to the multiple trace processor jobs
val producer = traceProducer()
logger.debug("producer successfully launched")
val tasks = mutableSetOf<Job>()
repeat(if(isSequential) 1 else 5){ // process up to 5 exploration traces in parallel
launch { traceProcessor( producer, watcher )}
tasks.add(launch { traceProcessor( producer, watcher )})
}
tasks.forEach{ it.join() }
clearQueues()
return@withContext model
}
Expand Down

0 comments on commit 9ef6b8f

Please sign in to comment.