Resource aware programming

Moreau, Luc; Queinnec, Christian

doi:10.1145/1065887.1065891

Cited by 13 publications

(5 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…A well-known technique is the so-called resource-aware programming [21] that allows users to monitor the resources consumed by their programs and to express policies for the management of such resources in the programs. Resource-aware programming is also available for mainstream languages, such as Java [4].…”

Section: Related Workmentioning

confidence: 99%

Towards the Typing of Resource Deployment

Giachino

Laneve

2014

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

View full text Add to dashboard Cite

Abstract. In cloud computing, resources as files, databases, applications, and virtual machines may either scale or move from one machine to another in response to load increases and decreases (resource deployment). We study a type-based technique for analysing the deployments of resources in cloud computing. In particular, we design a type system for a concurrent object-oriented language with dynamic resource creations and movements. The type of a program is behavioural, namely it expresses the resource deployments over periods of (logical) time. Our technique admits the inference of types and may underlie the optimisation of the costs and consumption of resources.

show abstract

Section: Related Workmentioning

confidence: 99%

Towards the Typing of Resource Deployment

Giachino

Laneve

2014

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

View full text Add to dashboard Cite

show abstract

“…The concrete resource introduced below is to denote resources on which limits are directly imposed, and the concept of abstract resource is to characterize resources at the programming level. Resource-related concepts can also be found in [6], [23], but we give our own ones here for the specific purpose of collecting leaked resources. Definition 1.…”

Section: Conceptsmentioning

confidence: 99%

Resco: Automatic Collection of Leaked Resources

Dai

Mao

Lei

et al. 2013

IEICE Trans. Inf. & Syst.

View full text Add to dashboard Cite

SUMMARYA garbage collector relieves programmers from manual memory management and improves productivity and program reliability. However, there are many other finite system resources that programmers must manage by themselves, such as sockets and database connections. Growing resource leaks can lead to performance degradation and even program crashes. This paper presents the automatic resource collection approach called Resco (RESource COllector) to tolerate non-memory resource leaks. Resco prevents performance degradation and crashes due to resource leaks by two steps. First, it utilizes monitors to count resource consumption and request resource collections independently of memory usage when resource limits are about to be violated. Second, it responds to a resource collection request by safely releasing leaked resources. We implement Resco based on a Java Virtual Machine for Java programs. The performance evaluation against standard benchmarks shows that Resco has a very low overhead, around 1% or 3%. Experiments on resource leak bugs show that Resco successfully prevents most of these programs from crashing with little increase in execution time.

show abstract

“…The modeling and analysis of single resources is discussed in, e.g., [2,16,33]. Resource-aware programming allows users to monitor the resources consumed by their programs, to manage such resources in the programs, and to transfer (i.e., add or remove) resources dynamically between distributed computations [27]. Resource constraints in the embedded systems domain led to a large body of work on performance analysis using formal models based on, e.g., process algebra [7], Petri Nets [31], and priced [10], timed [3], and probabilistic [6] automata and games (an overview of automata-based approaches is [33]).…”

Section: Related Workmentioning

confidence: 99%

Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study

Boer

Hähnle

Johnsen

et al. 2012

Service-Oriented and Cloud Computing

View full text Add to dashboard Cite

Abstract. We show how aspects of performance, resource consumption, and deployment on the cloud can be formally modeled for an industrial case study of a distributed system, using the abstract behavioral specification language ABS. These non-functional aspects are integrated with an existing formal model of the functional system behavior, supporting a separation of concerns between the functional and non-functional aspects in the integrated model. The ABS model is parameterized with respect to deployment scenarios which capture different application-level management policies for virtualized resources. The model is validated against the existing system's performance characteristics and used to simulate and compare deployment scenarios on the cloud.

show abstract

Resource aware programming

Cited by 13 publications

References 17 publications

Towards the Typing of Resource Deployment

Towards the Typing of Resource Deployment

Resco: Automatic Collection of Leaked Resources

Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study

Contact Info

Product

Resources

About