Inferring Channel Buffer Bounds Via Linear Programming

DOI Open Access

Description

We present a static analysis for inferring the maximum amount of buffer space used by a program consisting of concurrently running processes communicating via buffered channels. We reduce the problem to linear programming by casting the analysis as a fractional capability calculus system. Our analysis can reason about buffers used by multiple processes concurrently, and runs in time polynomial in the size of the program.

Details 詳細情報について

Report a problem

Back to top