Results: Complexity & Correctness

Results: Complexity & Correctness

• Static count of lines of code:
• Doesn’t require complex algorithms
• Simple transformation from locks

non-concurrent

array-based

Previous slide

Next slide

Back to the first slide

View Graphic Version