Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language

We previously developed a polymorphic type system and a type checker for a multithreaded lockbased polymorphic typed assembly language (MIL) that ensur es that well-typed programs do not encounter race conditions. This paper extends such work by t aking into consideration deadlocks. The extended type system verifies that locks are acquired in the p roper… CONTINUE READING