It should have read the data and then only returns back the result, then it would have left the consistent state.
ஏனென்றால் அது டேட்டா வை ரீட் செய்திருக்க வேண்டும், பின்னர் முடிவை திருப்பித் தந்திருக்க வேண்டும். அவ்வாறெனில் அது கன்சிஸ்டன்ட் ஸ்டேட் யை விட்டு வெளியேறியிருக்கும்.