Implement Savina benchmarks that require mutations

lf-lang / reactor-ts

A reactor-oriented programming framework in TypeScript

https://github.com/lf-lang/reactor-ts

11 stars 6 forks source link

Implement Savina benchmarks that require mutations #76

Open lhstrh opened 2 years ago

lhstrh commented 2 years ago

From the Savina paper:

[x] Sieve of Eratosthenes (@lhstrh)
- [ ] Make sure Sieve uses new API, and support two hierarchical topologies #193
[ ] Unbalanced Cobwebbed Tree (@hokeun)
[x] Online Facility Location (@hokeun) (broken)
- [ ] Verify facloc fix is correct (@axmmisaka) #226
[ ] Successive Over-Relaxation (@axmmisaka) #225
[ ] Quicksort (@axmmisaka ) #204
[ ] Fork Join (actor creation) (@axmmisaka) #205

See the Savina GitHub for reference implementations.

hokeun commented 2 years ago

Started working on Online Facility Location in branch savina-facloc.

hokeun commented 2 years ago

I realized that the UCT (Unbalanced Cobwebbed Tree) benchmark would require banks as it creates a tree structure with an arbitrary number of children (actors).

lhstrh commented 2 years ago

Maybe we should just bite the bullet and create support for banks?

hokeun commented 2 years ago

Maybe we should just bite the bullet and create support for banks?

Sounds good to me. Let me finish the implementation of the Online Facility Location first and add support for banks when I start working on UCT.