Tue, 31 Dec 2013 09:34:41 -0500 |
Adam Chlipala |
Do a bit of extra userspace copying to send HTTP response with a single system call |
Fri, 27 Dec 2013 12:30:44 -0500 |
Adam Chlipala |
Change where a transaction is marked finished, to avoid forgetting to rollback a failed transaction |
Fri, 27 Dec 2013 12:10:03 -0500 |
Adam Chlipala |
Raise exception when recv()ing from someone else's channel; improve setting of client ID in RPCs |
Wed, 25 Dec 2013 13:11:43 -0500 |
Adam Chlipala |
Tweaking handling of database transactions |
Wed, 25 Dec 2013 11:43:41 -0500 |
Adam Chlipala |
No need to ROLLBACK after a failed COMMIT |
Mon, 23 Dec 2013 15:59:17 +0000 |
Adam Chlipala |
Proper handling of serialization failures during SQL COMMIT |
Thu, 12 Dec 2013 17:42:48 -0500 |
Adam Chlipala |
Start SQL transactions as read-only when possible, based on conservative program analysis |
Thu, 12 Dec 2013 10:24:38 -0500 |
Adam Chlipala |
HTTP: avoid duplicate Content-length |