On: PostgreSQL reconsiders its process-based model

[xwdv]

Nonsense, multithreaded code can be written as bug free as regular code. No need to fear.

[PhilipRoman → xwdv]

I'm assuming you're referring to formally proven programs. If that's the case, do you have any pointers?

Aside from the trivial while(!transactionSucceeded){retry()} loop, I have trouble proving the correctness of my programs when the number of threads is not small and finite.

[dboreham → xwdv]

This is true. However, the blast radius may be smaller with a process model. Also recovering from a fatal error in one session could possibly be easier. I say this as a 30-year threading proponent.

[taeric → xwdv]

I think the point is that some mistakes in process based code are not realized as the bugs that they will be in threaded code?

[preordained → xwdv]

It can be. Anything can be. It is far more treacherous, though.

[baggy_trough → xwdv]

In theory, yes. In practice, no.

[ajkjk → xwdv]

It is just harder.