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

Behrends, Reimer; Stirewalt, R. E. Kurt; Dillon, Laura K.

doi:10.1007/11424529_17

Cited by 2 publications

(3 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…However, the operations might implement complex collaborations with other controllers to acquire a set of resources while avoiding deadlock. Approaches that employ this pattern include SyncGen, which generates them from declarative region invariants [10], the system of Betin-Can and Bultan, which generates them from action-language specifications [6], and our own Szumo system, which generates them from declarative synchronization contracts [25,5].…”

Section: Approaches To Separation and Automatic Programming Of Synchrmentioning

confidence: 99%

“…We previously integrated Szumo into an extension of the Eiffel language [3,25] and, more recently, implemented it in C++ as a framework [11]. A case study in evolving and maintaining a multithreaded web server demonstrates how the use of synchronization contracts supports maintenance activities [5]. The work described in the current paper shows how synchronization contracts can be used to make container-level synchronization policies more flexible with regard to how, when, and how many objects are locked during the servicing of a message.…”

Section: Synchronization Contractsmentioning

confidence: 99%

“…Fortunately, our prior experience integrating synchronization contracts into object-oriented languages leads us to believe that both negotiators and also the logic needed to instrument a servlet to notify/update a negotiator can be generated automatically [25,5,11]. Two inputs would be required:…”

Section: Automated Generation Of Negotiatorsmentioning

confidence: 99%

See 2 more Smart Citations

On Mechanisms for Deadlock Avoidance in SIP Servlet Containers

Huang

Dillon

Stirewalt

2008

Principles, Systems and Applications of IP Telecommunications. Services and Security for Next Generation Networks

View full text Add to dashboard Cite

Abstract. Increasingly, VoIP applications are being deployed to multithreaded SIP servlet containers. Unfortunately, the standard specification for these containers is silent with regard to synchronization issues, and the lack of direction has led different vendors to adopt a variety of different and incompatible policies for preventing data races among concurrent threads. In addition to the obvious portability problems, some policies make servlet code prone to deadlock under common scenarios of use. This paper documents this problem with concrete examples and proposes modifications to the standard to allow programmers to implement the protocols needed to avoid these common deadlocks. These extensions will open the way for automatic generation of the synchronization logic needed to implement these avoidance protocols, thereby increasing the safety and reliability of applications deployed in this environment.

show abstract