| From: | Alvaro Herrera <alvherre(at)commandprompt(dot)com> |
|---|---|
| To: | Qingqing Zhou <zhouqq(at)cs(dot)toronto(dot)edu> |
| Cc: | pgsql-hackers(at)postgresql(dot)org |
| Subject: | Re: PostgreSQL Anniversary Proposals -- Important Update |
| Date: | 2006-03-19 01:34:32 |
| Message-ID: | 20060319013431.GC32489@surnet.cl |
| Views: | Raw Message | Whole Thread | Download mbox | Resend email |
| Thread: | |
| Lists: | pgsql-advocacy pgsql-hackers |
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.
| From | Date | Subject | |
|---|---|---|---|
| Next Message | Josh Berkus | 2006-03-19 19:34:25 | Re: [HACKERS] PostgreSQL Anniversary Proposals -- Important Update |
| Previous Message | Hannu Krosing | 2006-03-19 00:20:58 | Re: PostgreSQL Anniversary Proposals -- Important Update |
| From | Date | Subject | |
|---|---|---|---|
| Next Message | Alex bahdushka | 2006-03-19 06:55:35 | PANIC: heap_update_redo: no block |
| Previous Message | Hannu Krosing | 2006-03-19 00:20:58 | Re: PostgreSQL Anniversary Proposals -- Important Update |