Resources, Concurrency and Local Reasoning Seminars/Workshops

Abstract

Resource has always been a central concern in concurrent programming. Often, a number of process share access to system resources such as memory, processor time, or network bandwidth, and correct resource usage is essential for the overall working of a system. We show how a resource-oriented logic, separation logic, can be used to reason about resource control in concurrent programs.