Skip to content

Add SIMPLE_SNC_FIBER - #203

Merged
boyland merged 1 commit into
boyland:masterfrom
amir734jj:patch-63
Sep 3, 2026
Merged

Add SIMPLE_SNC_FIBER#203
boyland merged 1 commit into
boyland:masterfrom
amir734jj:patch-63

Conversation

@amir734jj

Copy link
Copy Markdown
Contributor

Variant of simple-snc.aps but using fibers. This is truly a SNC because we have opposite order for the two children in assign_smt

env1 <= found2 <= env2 <= found2
env2 <= found2 <= env1 <= found1

And we can see static scheduling can't handle it but our improvement to Farrow should be able to handle it

/workspace/amir/aps/examples$ make simple-snc-fiber.scc.scala
../bin/aps2scala -C -DCOTo -p .:../base simple-snc-fiber
simple-snc-fiber.aps:113:Unable to handle dependency (23); Attribute grammar is not DNC
Compilation stopped due to analysis errors.
make: *** [Makefile:16: simple-snc-fiber.scc.scala] Error 1

Variant of simple-snc.aps but using fibers

@boyland boyland left a comment

Copy link
Copy Markdown
Owner

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Very interesting

@boyland
boyland merged commit cd3423f into boyland:master Sep 3, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants