search

monte-language / monte

A dynamic language inspired by Python and E.
Other
79 stars 11 forks source link

Accessing/modifying the Vat decision procedure #85

Open void4 opened 5 years ago

void4 commented 5 years ago

If I wanted to implement a priority system for the turn queue, or other arbitrary behavior, would that be possible?

MostAwesomeDude commented 3 years ago

It's not yet part of the specification. Typhon's scheduler is hardcoded and aimed at single-core performance right now; both of those can be changed, with effort.

It's worth pointing out that we want to enforce E-order and so probably require the programmer to reorder their code in order to change the order in which turns get enqueued. I've done this before in experiments and it was not unreasonable.