search

viperproject / viperserver

HTTP server that manages verification requests to different tools from the Viper tool stack.
Other
10 stars 17 forks source link

Review the implementation of MessageStreamingTask.enqueueMessage #29

Closed aterga closed 3 years ago

aterga commented 3 years ago

The current implementation uses busy waiting that should be eliminated in favor of future handlers, etc.

ArquintL commented 3 years ago

Is this still an issue? The current implementation uses Await.result(currentOffer, Duration.Inf) which should imho not cause busy waiting