Sciweavers

Share
CBSE
2005
Springer

A Component-Oriented Model for the Design of Safe Multi-threaded Applications

9 years 29 days ago
A Component-Oriented Model for the Design of Safe Multi-threaded Applications
We previously developed a component-oriented model that combines ideas from self-organizing architectures and from design by contract to address the complexity of design in multi-threaded systems. Components in our model are cohesive collections of objects that publish contracts declaring the conditions under which they access other components. These contracts localize a component’s contextual synchronization dependencies in its interface. Moreover, the resulting systems permit strong guarantees of safety. This paper reports a case study to validate the efficacy of our model on a realistic design problem: the component-based design of a multi-threaded web server. We first developed a bare-bones web server based on the Apache architecture and then subjected this design to three extension tasks. The study corroborates that our model enables a fine-grain component-based design of multi-threaded applications of realistic complexity, while guaranteeing freedom from certain synchronizat...
Reimer Behrends, R. E. Kurt Stirewalt, Laura K. Di
Added 26 Jun 2010
Updated 26 Jun 2010
Type Conference
Year 2005
Where CBSE
Authors Reimer Behrends, R. E. Kurt Stirewalt, Laura K. Dillon
Comments (0)
books