---
_id: '3116'
abstract:
- lang: eng
  text: 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. © 2012 Springer Science+Business
    Media, LLC.
acknowledgement: This research was supported in part by the National Science Foundation
  CAREER award CCR-0132780, by the ONR grant N00014-02-1-0671, by the National Science
  Foundation grants CCR-0427202 and CCR-0234690, and by the ARP award TO.030.MM.D.
article_processing_charge: No
author:
- first_name: Krishnendu
  full_name: Chatterjee, Krishnendu
  id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
  last_name: Chatterjee
  orcid: 0000-0002-4561-241X
- first_name: Luca
  full_name: De Alfaro, Luca
  last_name: De Alfaro
- first_name: Marco
  full_name: Faella, Marco
  last_name: Faella
- first_name: Ritankar
  full_name: Majumdar, Ritankar
  last_name: Majumdar
- first_name: Vishwanath
  full_name: Raman, Vishwanath
  last_name: Raman
citation:
  ama: Chatterjee K, De Alfaro L, Faella M, Majumdar R, Raman V. Code aware resource
    management. <i>Formal Methods in System Design</i>. 2013;42(2):142-174. doi:<a
    href="https://doi.org/10.1007/s10703-012-0170-4">10.1007/s10703-012-0170-4</a>
  apa: Chatterjee, K., De Alfaro, L., Faella, M., Majumdar, R., &#38; Raman, V. (2013).
    Code aware resource management. <i>Formal Methods in System Design</i>. Springer.
    <a href="https://doi.org/10.1007/s10703-012-0170-4">https://doi.org/10.1007/s10703-012-0170-4</a>
  chicago: Chatterjee, Krishnendu, Luca De Alfaro, Marco Faella, Ritankar Majumdar,
    and Vishwanath Raman. “Code Aware Resource Management.” <i>Formal Methods in System
    Design</i>. Springer, 2013. <a href="https://doi.org/10.1007/s10703-012-0170-4">https://doi.org/10.1007/s10703-012-0170-4</a>.
  ieee: K. Chatterjee, L. De Alfaro, M. Faella, R. Majumdar, and V. Raman, “Code aware
    resource management,” <i>Formal Methods in System Design</i>, vol. 42, no. 2.
    Springer, pp. 142–174, 2013.
  ista: Chatterjee K, De Alfaro L, Faella M, Majumdar R, Raman V. 2013. Code aware
    resource management. Formal Methods in System Design. 42(2), 142–174.
  mla: Chatterjee, Krishnendu, et al. “Code Aware Resource Management.” <i>Formal
    Methods in System Design</i>, vol. 42, no. 2, Springer, 2013, pp. 142–74, doi:<a
    href="https://doi.org/10.1007/s10703-012-0170-4">10.1007/s10703-012-0170-4</a>.
  short: K. Chatterjee, L. De Alfaro, M. Faella, R. Majumdar, V. Raman, Formal Methods
    in System Design 42 (2013) 142–174.
date_created: 2018-12-11T12:01:29Z
date_published: 2013-04-01T00:00:00Z
date_updated: 2025-09-29T13:24:54Z
day: '01'
department:
- _id: KrCh
doi: 10.1007/s10703-012-0170-4
external_id:
  isi:
  - '000316677500002'
intvolume: '        42'
isi: 1
issue: '2'
language:
- iso: eng
month: '04'
oa_version: None
page: 142 - 174
publication: Formal Methods in System Design
publication_status: published
publisher: Springer
publist_id: '3583'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Code aware resource management
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 42
year: '2013'
...