Qingqing Zhou wrote: > I am really interested in the concurrency control part of the PostgreSQL. I > can see the MVCC/lock rules there, and basically I can follow them -- but > there are so many if-else in the rules, so the problem always for me is: how > can we gaurantee that the rules are complete and correct? So I guess I may > miss a big picture somewhere.
Are you talking specifically about the stuff in tqual.c? If so, I agree that there doesn't seem to be enough description of how they work, much less formal proof that they are complete or correct. I don't know if it is enough material for a "presentation" though. -- Alvaro Herrera http://www.CommandPrompt.com/ The PostgreSQL Company - Command Prompt, Inc. ---------------------------(end of broadcast)--------------------------- TIP 4: Have you searched our list archives? http://archives.postgresql.org
