Nonexclusivity of methods should be transitive

kuznia-rdzeni / coreblocks

RISC-V out-of-order core for education and research purposes

https://kuznia-rdzeni.github.io/coreblocks/

BSD 3-Clause "New" or "Revised" License

37 stars 16 forks source link

Nonexclusivity of methods should be transitive #717

Closed xThaid closed 4 months ago

xThaid commented 4 months ago

Let's assume we have a nonexclusive method non_method that calls another (exclusive) method. Now if we have two transactions t1 and t2 both calling non_method, transactron will create a conflict between t1 and t2, which is unnecessary (and in my case even created a bug)