Re: Multi-threaded help
Re: Multi-threaded help
- Subject: Re: Multi-threaded help
- From: John Stiles <email@hidden>
- Date: Mon, 12 Mar 2007 10:53:12 -0700
It is almost impossible to "prove correct" any non-trivial block of
code, though. That's academia. Anyway, if you're going to use a big
closed-source framework like Cocoa, you sometimes have to accept some
unknowns about provability and just get on with making good code :)
On Mar 12, 2007, at 10:38 AM, Corey O'Connor wrote:
On 3/9/07, Dave Camp <email@hidden> wrote:
For anyone delving into threads for the first time, I'd highly
recommend the Pthreads Programmng book from OReilly. It's a good read
regardless of the language or framework you are using.
Another book I'd recommend (Which is also free) is "The Little Book of
Semaphores"
http://greenteapress.com/semaphores/
Proving if arbitrary concurrent system correct is currently
impossible.
Well, unless something has changed in the domain of concurrency
theory while
I wasn't looking. ;-) Luckily a lot of concurrent systems follow
some common
design patterns that are known to have good, and in some cases
provably
correct, solutions. That book presents a series of problems, along
with the
solutions, to a variety of situations I've encountered in the real
world.
Anybody wanting to acclimate themselves with concurrent programming
would do
well to read it through IMO.
-Corey
Dave
---
In English, every word can be verbed.
_______________________________________________
Cocoa-dev mailing list (email@hidden)
Do not post admin requests or moderator comments to the list.
Contact the moderators at cocoa-dev-admins(at)lists.apple.com
Help/Unsubscribe/Update your Subscription:
40gmail.com
This email sent to email@hidden
--
-Corey O'Connor
_______________________________________________
Cocoa-dev mailing list (email@hidden)
Do not post admin requests or moderator comments to the list.
Contact the moderators at cocoa-dev-admins(at)lists.apple.com
Help/Unsubscribe/Update your Subscription:
40blizzard.com
This email sent to email@hidden
_______________________________________________
Cocoa-dev mailing list (email@hidden)
Do not post admin requests or moderator comments to the list.
Contact the moderators at cocoa-dev-admins(at)lists.apple.com
Help/Unsubscribe/Update your Subscription:
This email sent to email@hidden