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
Shahzina Mubeen, Nida Yasir · Research Journal of Information Technology & Software Management · 2015
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.