Dont Put Request And Retire in The Same Rule - Could Deadloc #9

Open
opened 2025-04-07 05:10:49 +00:00 by Yehowshua · 1 comment
Owner

Doesn't mean that request and retire can't execute concurrently - it's just unwise to put them in the same rule

Doesn't mean that request and retire can't execute concurrently - it's just unwise to put them in the same rule
Author
Owner

I should further investigate an example case like the following:

      |> do 
        $display "SPECIAL CYCLE!!!"
        tag <- tagEngine.requestTag
        $display $time " got tag : " (fshow tag)
        res <- tagEngine.retireTag tag
        $display $time " retiring tag : " (fshow tag) " " (fshow res)
I should further investigate an example case like the following: ```hs |> do $display "SPECIAL CYCLE!!!" tag <- tagEngine.requestTag $display $time " got tag : " (fshow tag) res <- tagEngine.retireTag tag $display $time " retiring tag : " (fshow tag) " " (fshow res) ```
Sign in to join this conversation.
No labels
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: ReferenceProjects/riscv-bluespec-classic#9
No description provided.