Code Aware Resource Management

Abstract

ABSTRACT Multithreaded programs coordinate their interaction through synchronization primitives like mutexes and semaphores, which are managed by an OS-provided resource manager. We propose algorithms for the automatic construction of code-aware resource managers for multithreaded embedded applications. Such managers use knowledge about the structure and resource usage (mutex and semaphore usage) of the threads to guarantee deadlock freedom and progress while managing resources in an efficient way. Our algorithms compute managers as winning strategies in certain infinite games, and produce a compact code description of these strategies. We have implemented the algorithms in the tool Cynthesis. Given a multithreaded program in C, the tool produces C code implementing a code-aware resource manager. We show in experiments that Cynthesis produces compact resource managers within a few minutes on a set of embedded benchmarks with up to 6 threads.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 2005
Accession Number
ADA457060

Entities

People

  • Luca De Alfaro
  • Marco Faella
  • Rupak Majumdar

Organizations

  • University of California, Santa Cruz

Tags

Communities of Interest

  • Autonomy
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Ad Hoc Networks
  • Algorithms
  • Case Studies
  • Computer Programs
  • Construction
  • Embedded Systems
  • Engineering
  • Guarantees
  • Models
  • Multithreading
  • Operating Systems
  • Probability
  • Probability Distributions
  • Reliability
  • Resource Management
  • Scheduling (Production)

Fields of Study

  • Computer science

Readers

  • Game Theory.
  • Parallel and Distributed Computing.