[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Wait-free Synchronization, RTLinux and CSP
- To: occam-com@xxxxxxxxx
- Subject: Wait-free Synchronization, RTLinux and CSP
- From: A E Lawrence <A.E.Lawrence@xxxxxxxxxxx>
- Date: Tue, 05 Mar 2002 09:24:50 +0000
- User-agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:0.9.2.1) Gecko/20010901
I seem to have lost track of the archive for the list. So I haven't been
able check my memory. Someone, Rick perhaps, posted on RTLinux a while
back, I think. I have just have a quick look at RTLinux and immediately
noted references to Wait-free Synchronization, and have been skimming
the papers by Maurice Herlihy (some with J M Wing).
This is about shared memory/objects. I think that I can see what is
going on in terms of a CSP model, but has anyone looked at this before?
Does anyone have any references for this sort of thing?