Linking programs incrementally

Quong, Russell W.; Linton, Mark

doi:10.1145/114005.102804

Cited by 9 publications

(7 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Remote Incremental Linking [1] reduces the effect of address shifting by adding the slop space [11] among functions of program image. Because when the size of a function code after modification is increased, if the size does not exceed the slop space, then the following code can remain unchanged.…”

Section: B Diff-based Approachesmentioning

confidence: 99%

Two-Stage Diff: An Efficient Dynamic Software Update Mechanism for Wireless Sensor Networks

Chiang

2011

2011 IFIP 9th International Conference on Embedded and Ubiquitous Computing

View full text Add to dashboard Cite

Supporting remote dynamic update on wireless sensor networks (WSNs) allows software of sensor nodes to be dynamically updated or enhanced to adapt to changed environmental conditions or application requirements. Many researches use diff-based approaches to transmit only the code difference to sensor nodes for updating. For the resourcelimited WSNs, we have proposed a new diff-based approach named Two-Stage Diff to dynamically update software components effectively in sensor nodes. By using some carefully designed methods to increase the similarities between the old and the new program images, our mechanism can obtain much smaller code difference than traditional diffbased approaches. Besides, flash memory characteristics in erasing and writing data are considered in designing the file format of transmitted update data. Thus, the transmission size of the updated data can be greatly reduced. Especially, our sensor nodes only need to perform simple work instead of complicated dynamic linking in updating program image. As a result, our mechanism can incur less resource consumption and be more suitable for operating in resource-limited WSNs. Experiments with TinyOS show that our Two-Stage Diff can effectively reduce the size of transmitted update data and the update processing time can be significantly reduced as well.

show abstract

Section: B Diff-based Approachesmentioning

confidence: 99%

Two-Stage Diff: An Efficient Dynamic Software Update Mechanism for Wireless Sensor Networks

Chiang

2011

2011 IFIP 9th International Conference on Embedded and Ubiquitous Computing

View full text Add to dashboard Cite

show abstract

“…But, updating a function results in external fragmentation between functions in flash memory. Koshy resolved the problem by inserting slob space between functions [14,20]. However, the size of slob space is not presented.…”

Section: Program Updating For Flash Mem-orymentioning

confidence: 99%

Energy efficient program updating for sensor nodes with flash memory

Heo

et al. 2010

Proceedings of the 2010 ACM Symposium on Applied Computing

View full text Add to dashboard Cite

Updating sensor node programs is an essential task for maintaining stability and modifying the characteristics of wireless sensor networks. The updating mechanism must consider energy and memory efficiency, because of resource constraints of sensor nodes. In this paper, we propose a novel program updating mechanism, which considers resource constraints of sensor nodes. The proposed mechanism was designed for sensor nodes with the NOR flash memory. This is generally used to store program image. It was designed to minimize the number of flash write/erase operations, which consume a great deal of energy, and to provide wear-leveling for the NOR flash memory. We set a function as the basic unit of program updating, and partition a function into fixed-sized blocks that can be separately relocated in memory. Experimental results show that the proposed mechanism outperforms other mechanisms in terms of energy, memory and wear-leveling for flash memory.

show abstract

“…Many programming languages also support scoping and visibility rules controlling which elements are visible and can be accessed from other modules (e.g., through access level modifiers). Other techniques that contribute to the efficient management of large programs focus on ways to avoid recompiling a whole program upon localized changes, e.g., by incremental type-checking, compilation and linking mechanisms [6,7].…”

Section: Introductionmentioning

confidence: 99%

Scaling-up domain-specific modelling languages through modularity services

Garmendía

Guerra

Lara

et al. 2019

Information and Software Technology

View full text Add to dashboard Cite

Context. Model-driven engineering (MDE) promotes the active use of models in all phases of software development. Even though models are at a high level of abstraction, large or complex systems still require building monolithic models that prove to be too big for their processing by existing tools, and too difficult to comprehend by users. While modularization techniques are well-known in programming languages, they are not the norm in MDE. Objective. Our goal is to ease the modularization of models to allow their efficient processing by tools and facilitate their management by users. Method. We propose five patterns that can be used to extend a modelling language with services related to modularization and scalability. Specifically, the patterns allow defining model fragmentation strategies, scoping and visibility rules, model indexing services, and scoped constraints. Once the patterns have been applied to the meta-model of a modelling language, we synthesize a customized modelling environment enriched with the defined services, which become applicable to both existing monolithic legacy models and new models. Results. Our proposal is supported by a tool called EMF-Splitter, combined with the Hawk model indexer. Our experiments show that this tool improves the validation performance of large models. Moreover, the analysis of 224 metamodels from OMG standards, and a public repository with more than 300 metamodels, demonstrates the applicability of our patterns in practice. Conclusions. Modularity mechanisms typically employed in programming IDEs can be successfully transferred to MDE, leading to more scalable and structured domain-specific modelling languages and environments.

show abstract

Linking programs incrementally

Cited by 9 publications

References 5 publications

Two-Stage Diff: An Efficient Dynamic Software Update Mechanism for Wireless Sensor Networks

Two-Stage Diff: An Efficient Dynamic Software Update Mechanism for Wireless Sensor Networks

Energy efficient program updating for sensor nodes with flash memory

Scaling-up domain-specific modelling languages through modularity services

Contact Info

Product

Resources

About