[TYPES] static analyses for shared resource accesses in multi-threaded systems

[koba]

Hi,

From: Ciera Jaspan <cchristo+types at cs.cmu.edu>
Subject: Re: [TYPES] static analyses for shared resource accesses in
multi-threaded systems
Date: Wed, 16 Sep 2009 17:41:05 -0400

> [ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
>
> > I would be interested to know if there is any existing work on static
> > analyses to guarantee that threads in a multi-threaded system access some
> > shared resources (such as state) according to some access policy.
>

The following paper may also be related.

Naoki Kobayashi and Kohei Suenaga and Lucian Wischik,
Resource Usage Analysis for the Pi-Calculus,
Logical Methods in Computer Science, 2(3:4), pp.1-42, 2006.

It presents a static analysis to guarantee that shared resources
are accessed according to declared policies, for the pi-calculus
extended with primitives for dynamically creating and accessing resources.



Naoki Kobayashi
Department of Computer and Mathematical Sciences
Graduate School of Information Sciences
Tohoku University
6-3-9 Aoba, Aramaki, Aoba-ku, Sendai-shi, Miyagi 980-8579, Japan
e-mail:koba at ecei.tohoku.ac.jp