Section: New Software and Platforms

SRA

Static Resource Analyzer for ABS

Scientific Description

We prototype a static analysis technique that computes upper bounds of virtual machine usages in a concurrent language with explicit acquire and release operations of virtual machines. In our language it is possible to delegate other (ad-hoc or third party) concurrent code to release virtual machines (by passing them as arguments of invocations, a feature that is used by Amazon Elastic Cloud Computing or by the Docker FiWare). Our technique is modular and consists of (i) a type system associating programs with behavioural descriptions that record relevant information for resource usage (creations, releases, and concurrent operations), (ii) a translation function that takes behavioural types and returns cost equations, and (iii) an automatic off-the-shelf solver for the cost equations.

• Contact: Cosimo Laneve

• URL: http://sra.cs.unibo.it/