Eon: a language and runtime system for perpetual systems

@inproceedings{Sorber2007EonAL,
  title={Eon: a language and runtime system for perpetual systems},
  author={Jacob Sorber and Alexander Kostadinov and Matthew Garber and Matthew Brennan and Mark D. Corner and E. Berger},
  booktitle={SenSys '07},
  year={2007}
}
Embedded systems can operate perpetually without being connected to a power source by harvesting environmental energy from motion, the sun, wind, or heat differentials. However, programming these perpetual systems is challenging. In response to changing energy levels, programmers can adjust the execution frequency of energy-intensive tasks, or provide higher service levels when energy is plentiful and lower service levels when energy is scarce. However, it is often difficult for programmers to… Expand
Trading Functionality for Power within Applications
When operating systems and hardware manage power and energy, they must be conservative in order to deliver requested resources while maintaining an expected rate of system throughput.Expand
Energy types
TLDR
A programming model where phases and modes can be intuitively specified by programmers or inferred by the compiler as type information is described, and it is demonstrated how a type-based approach to reasoning about phases and mode can help promote energy efficiency. Expand
Adaptive Dynamic Checkpointing for Safe Efficient Intermittent Computing
TLDR
Chinchilla is presented, a compiler and runtime system that allows running unmodified C code efficiently on an energy-harvesting device with little additional programmer effort and no additional hardware support and makes it simple to statically check the absence of non-termination. Expand
Synchronous programming of device drivers for global resource control in embedded operating systems
TLDR
This article proposes a global resource control approach, based on a centralized view of the devices' states, which involves a simple adaptation of the application level, to communicate with the hardware via a control layer. Expand
A refactoring approach to improve energy consumption of parallel software systems
Empowering application programmers to make energy-aware decisions is a critical dimension in improving energy efficiency of computer systems. Despite the growing interest in designing softwareExpand
A Programming Model for Sustainable Software
  • H. Zhu, Chaoren Lin, Y. Liu
  • Computer Science
  • 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering
  • 2015
TLDR
Eco is an minimal extension to Java that reduces challenging issues in this domain --- such as workload characterization and decision making in adaptation --- to simple programming tasks, ultimately offering fine-grained, programmable, and declarative sustainability to energy-efficient computing. Expand
Synchronous programming of device drivers for global resource control in embedded operating systems
TLDR
This paper studies power consumption in sensor networks, where the nodes are small embedded systems powered by batteries and focuses on the hardware/software architecture of a node, where significant gains can be achieved by controlling the consumption modes of the various devices globally. Expand
Proactive and adaptive energy-aware programming with mixed typechecking
Application-level energy management is an important dimension of energy optimization. In this paper, we introduce ENT, a novel programming language for enabling *proactive* and *adaptive* mode-basedExpand
Transactional concurrency control for intermittent, energy-harvesting computing systems
TLDR
Coati, a system that supports event-driven concurrency via interrupts in an intermittent software execution model, is presented and it is shown that Coati prevents failures when interrupts are introduced, while the baseline fails in just seconds. Expand
A portable interface for runtime energy monitoring
TLDR
This paper proposes EnergyMon, a portable application interface that is independent of underlying power/energy data sources, and demonstrates its flexibility with two case studies -- energy-aware profiling and self-adaptive systems, each of which requires monitoring energy across a range of hardware from different manufacturers. Expand
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 42 REFERENCES
eFlux: Simple Automatic Adaptation for Environmentally Powered Devices
TLDR
This demo presents a simple approach for developing energy-aware applications using a high-level data flow oriented coordination language, eFlux, which provides a simple interface for specifying an energy adaptation policy, which can then be implemented automatically by the underlying runtime system. Expand
The nesC language: A holistic approach to networked embedded systems
TLDR
nesC has been used to implement TinyOS, a small operating system for sensor networks, as well as several significant sensor applications, and its experience and evaluation shows that it is effective at supporting the complex, concurrent programming style demanded by this new class of deeply networked systems. Expand
The Esterel Synchronous Programming Language: Design, Semantics, Implementation
TLDR
This paper presents the imperative primitives of E esterel and the temporal manipulations they permit, and shows how the E Esterel v2 and V3 compilers efficiently translate concurrent E esteretl programs into efficient equivalent sequential automata that can be implemented in conventional sequential languages. Expand
Flux: A Language for Programming High-Performance Servers
TLDR
Flux is presented, a language that dramatically simplifies the construction of scalable high-performance server applications and automatically generates discrete event simulators that accurately predict actual server performance under load and with different hardware resources. Expand
Flask : A Language for Data-driven Sensor Network Programs
In this paper, we present Flask, a new programming language for sensor networks that is focused on providing an easy-to-use dataflow programming model. In Flask, programmers build applications byExpand
ECOSystem: managing energy as a first class operating system resource
TLDR
The Currentcy Model is proposed, a framework that unifies energy accounting over diverse hardware components and enables fair allocation of available energy among applications to extend battery lifetime by limiting the average discharge rate and to share this limited resource among competing task according to user preferences. Expand
Chameleon: Application Controlled Power Management with Performance Isolation
In this paper, we present Chameleon—an application controlled dynamic voltage and frequency scaling approach for reducing energy consumption in mobile processors that see multimedia workloads. OurExpand
The synchronous data flow programming language LUSTRE
The authors describe LUSTRE, a data flow synchronous language designed for programming reactive systems-such as automatic control and monitoring systems-as well as for describing hardware. The dataExpand
Energy-efficient soft real-time CPU scheduling for mobile multimedia systems
TLDR
Compared to deterministic scheduling and voltage scaling, GRACE-OS saves energy by 7% to 72% while delivering statistical performance guarantees, and delivers soft performance guarantees by bounding the deadline miss ratio under application-specific requirements. Expand
Managing battery lifetime with energy-aware adaptation
TLDR
It is demonstrated that a collaborative relationship between the operating system and applications can be used to meet user-specified goals for battery duration and that this approach can meet goals that extend battery life by as much as 30%. Expand
...
1
2
3
4
5
...