Sign Up to our social questions and Answers Engine to ask questions, answer people’s questions, and connect with other people.
Login to our social questions & Answers Engine to ask questions answer people’s questions & connect with other people.
Lost your password? Please enter your email address. You will receive a link and will create a new password via email.
Please briefly explain why you feel this question should be reported.
Please briefly explain why you feel this answer should be reported.
Please briefly explain why you feel this user should be reported.
Since I am writing a seminar work on “Transaction Processing in MS Azure” for my university I wanted to launch a bank-transfer simulation. I already have implemented a getting-started thingy to get familiar with Azure: http://www.c-sharpcorner.com/UploadFile/dhananjaycoder/48/Default.aspx . Question: What is the most easy way (using SQL Azure) to implement a small app which (dis)proves that transactions in Azure are done properly? (e.g. no lost updates)
SQL Azure has an identical processing to SQL Server – only restricted to a very large subset of what’s available in SQL Server. So you can re-phrase your question as: how do you prove the correctness of transaction handling in SQL Server.
Well, the unfortunate answer is: you can’t prove correctness, you have to trust MS on that one.
Obviously, you could come with stress situation trying to “trick” the RDBMS into corner situation to see if transactions keep being respected, but not being able to find a bug does not prove that no bug could be found.
Finally, I would that atomic transactions is one of the critical feature of either SQL Azure or SQL Server (a long long established MS product), hence you can have a very high confidence, that it’s done right.