VERIFICATION TECHNIQUES TO AVOID DEADLOCKS ON CHANNEL CONTRACTSe have not found a discussion of channel contract realizability in the papers on Singularity. The Singularity project focuses on checking conformance of the client and server processes to the



ABSTRACT- Microsoft singularity is a research operating system. Singularity is a highly dependable OS. Its basic architecture features are SIPs, the contract-based channels and the manifest-based programs. Our work is motivated by the Singularity operating system. The claim of singularity guarantee that there is no deadlock on channel contracts, This claim is wrong. We present channel contract analysis and  many techniques. By using these techniques and tool efficient  analysis of singularity channel contract is possible.

پاراگلایدر Full Text: PDF


  • There are currently no refbacks.

Creative Commons License
This work is licensed under a Creative Commons Attribution 3.0 License.

ISSN : 2251-1563