Real World Technologies - Forums - Thread: New article - The Common System Interface: Intel's Future Interconnect

Article: The Common System Interface: Intel's Future Interconnect

By: Brannon (Brannon_Batson.delete@this.yahoo.com), September 3, 2007 8:12 am

Konrad Schwarz (no.spam@no.spam) on 9/2/07 wrote:
---------------------------
>Hi,
>
>you make frequent reference to EV7 and I see Brannon Batson's name in the patent
>list. Would you have any (more) indication that Lamport's Temporal Logic of Actions
>was used to validate the cache coherency protocol (or other parts)? I would like to know how well it fares in practice.
>
>Regards
>
>Konrad

Yes, TLA was quite useful--as described in the paper David linked to. Please feel free to post any additional questions here and I'll respond as best I can.

Brannon

< Previous Post in Thread

Next Post in Thread >

Topic	Posted By	Date
New article - The Common System Interface: Intel's Future Interconnect	David Kanter	2007/08/28 02:16 AM
New article - The Common System Interface: Intel's Future Interconnect	Vincent Diepeveen	2007/08/28 06:02 AM
New article - The Common System Interface: Intel's Future Interconnect	Richard Cownie	2007/08/28 11:28 AM
New article - The Common System Interface: Intel's Future Interconnect	Vincent Diepeveen	2007/08/31 12:44 PM
New article - The Common System Interface: Intel's Future Interconnect	Richard Cownie	2007/08/31 09:53 PM
New article - The Common System Interface: Intel's Future Interconnect	Vincent Diepeveen	2007/09/01 03:21 AM
Adding layers can simplify design	Paul A. Clayton	2007/09/01 08:39 AM
New article - The Common System Interface: Intel's Future Interconnect	Michael S	2007/09/02 03:25 AM
New article - The Common System Interface: Intel's Future Interconnect	Jonathan Kang	2007/09/14 01:47 PM
New article - The Common System Interface: Intel's Future Interconnect	David Kanter	2007/09/14 09:47 PM
New article - The Common System Interface: Intel's Future Interconnect	Paul	2007/08/28 12:04 PM
New article - The Common System Interface: Intel's Future Interconnect	David Kanter	2007/08/28 01:43 PM
New article - The Common System Interface: Intel's Future Interconnect	Joe Chang	2007/08/28 07:17 PM
New article - The Common System Interface: Intel's Future Interconnect	Joe Chang	2007/08/29 05:27 PM
Thanks for the work	Wouter Tinus	2007/08/28 01:33 PM
Thanks for the work	mac	2007/08/29 01:44 PM
New article - The Common System Interface: Intel's Future Interconnect	Herbert Hum	2007/08/28 02:22 PM
Thanks	David Kanter	2007/08/28 05:13 PM
Many thanks, very, very interesting! (NT)	Cameron Jack	2007/08/29 02:51 AM
very nice article + memory ctrl integration	Marcin Niewiadomski	2007/08/29 12:46 PM
very nice article + memory ctrl integration	David Kanter	2007/09/14 09:50 PM
very nice article + memory ctrl integration	Marcin Niewiadomski	2007/09/16 09:48 PM
Coherency: Forwarding and Owned	Peter Gerdes	2007/08/29 03:11 PM
Coherency: Forwarding and Owned	David Kanter	2007/08/29 07:29 PM
Coherency: Forwarding and Owned	nick	2007/08/29 08:03 PM
Coherency: Forwarding and Owned	David Kanter	2007/08/30 12:08 AM
Coherency: Forwarding and Owned	Michael S	2007/08/30 02:17 AM
Coherency: Forwarding and Owned	David Kanter	2007/08/30 08:31 AM
Coherency: Forwarding and Owned	Peter Gerdes	2007/08/30 12:46 PM
Coherency: Forwarding and Owned	David Kanter	2007/08/30 02:46 PM
Coherency: Forwarding and Owned	Peter Gerdes	2007/08/30 08:03 PM
Coherency: Forwarding and Owned	David Kanter	2007/09/14 09:44 PM
Node Interleave	unknown	2007/09/15 04:14 AM
Node Interleave	David Kanter	2007/09/15 08:50 AM
Node Interleave	Howard Chu	2007/09/16 01:14 PM
Coherency: Forwarding and Owned	Peter Gerdes	2007/09/16 01:50 PM
Coherency: Forwarding and Owned	David Kanter	2007/09/16 05:34 PM
Coherency: Forwarding and Owned	EduardoS	2007/09/16 05:52 PM
Coherency: Forwarding and Owned	Jonathan Kang	2007/09/17 06:16 AM
Coherency: Forwarding and Owned	Matthias	2007/09/17 07:59 AM
Coherency: Forwarding and Owned - addition	Matthias	2007/09/17 08:01 AM
Coherency: Forwarding and Owned	anonymous	2007/09/17 10:15 AM
Coherency: Forwarding and Owned	Peter Gerdes	2007/09/17 01:44 PM
New article - The Common System Interface: Intel's Future Interconnect	Mr. Camel	2007/08/30 04:16 PM
New article - The Common System Interface: Intel's Future Interconnect	Michael S	2007/08/31 02:11 AM
New article - The Common System Interface: Intel's Future Interconnect	Mr. Camel	2007/08/31 04:13 AM
New article - The Common System Interface: Intel's Future Interconnect	Michael S	2007/08/31 04:24 AM
New article - The Common System Interface: Intel's Future Interconnect	David Kanter	2007/08/31 06:39 AM
New article - The Common System Interface: Intel's Future Interconnect	Michael S	2007/08/31 07:53 AM
New article - The Common System Interface: Intel's Future Interconnect	David Kanter	2007/08/31 06:41 AM
New article - The Common System Interface: Intel's Future Interconnect	Michael S	2007/08/31 07:36 AM
New article - The Common System Interface: Intel's Future Interconnect	Mr. Camel	2007/08/31 09:36 AM
Thanks and excellent work!	Jack A.	2007/08/30 08:41 PM
Lamport's TLA	Konrad Schwarz	2007/09/02 02:57 AM
Lamport's TLA	David Kanter	2007/09/02 08:55 PM
Lamport's TLA	Brannon	2007/09/03 08:12 AM
Lamport's TLA	Konrad Schwarz	2007/09/18 11:21 AM
Lamport's TLA	Brannon	2007/09/18 02:58 PM
New article - The Common System Interface: Intel's Future Interconnect	José Javier Zarate	2007/09/09 05:01 PM
New article - The Common System Interface: Intel's Future Interconnect	Jonathan Kang	2007/09/16 06:42 PM
Remote prefetch	David Kanter	2007/09/17 08:51 AM
New article - The Common System Interface: Intel's Future Interconnect	Jigal	2007/09/22 03:39 PM
New article - The Common System Interface: Intel's Future Interconnect	David Kanter	2007/09/22 05:35 PM
New article - The Common System Interface: Intel's Future Interconnect	8B/10B Latency	2007/09/22 07:16 PM
New article - The Common System Interface: Intel's Future Interconnect	anon	2007/09/22 09:05 PM
New article - The Common System Interface: Intel's Future Interconnect	David W. Hess	2007/09/22 09:50 PM
Clocking in CSI	David Kanter	2007/09/23 09:46 AM
Hypertransport 3 AC Coupling	David W. Hess	2007/09/23 10:32 AM
Hypertransport 3 AC Coupling	anon	2007/09/23 10:53 AM
Clocking lanes	David Kanter	2007/09/23 11:51 AM
New article - The Common System Interface: Intel's Future Interconnect	David Kanter	2007/09/22 09:34 PM
New article - The Common System Interface: Intel's Future Interconnect	David W. Hess	2007/09/22 10:10 PM
New article - The Common System Interface: Intel's Future Interconnect	Jonathan Kang	2007/09/25 08:15 AM
New article - The Common System Interface: Intel's Future Interconnect	Michael S	2007/09/23 02:06 AM
New article - The Common System Interface: Intel's Future Interconnect	David W. Hess	2007/09/23 04:41 AM
Serialization delay	David Kanter	2007/09/23 09:57 AM
Serialization delay	Michael S	2007/09/23 12:20 PM
Serialization delay	David Kanter	2007/09/23 01:43 PM
Serialization delay	Michael S	2007/09/24 01:40 AM
Serialization delay	Michael S	2007/09/24 05:28 AM
Serialization delay	Aaron Spink	2007/09/24 01:19 PM
Serialization delay	Michael S	2007/09/25 04:38 AM
Serialization delay	Jonathan Kang	2007/09/25 09:10 AM
Serialization delay	David W. Hess	2007/09/26 01:22 AM
Serialization delay	Aaron Spink	2007/09/25 01:13 PM
Thank you (NT)	Michael S	2007/09/25 01:53 PM
Serialization delay	Jonathan Kang	2007/09/25 08:26 AM
Serialization delay	Michael S	2007/09/25 02:57 PM
Serialization delay	Jonathan Kang	2007/09/26 06:24 AM
Serialization delay	David W. Hess	2007/09/26 07:39 AM
Serialization delay	Jonathan Kang	2007/09/26 10:56 AM
Serialization delay	David W. Hess	2007/09/27 03:21 AM
Serialization delay	Jonathan Kang	2007/09/27 05:36 AM
Serialization delay	David W. Hess	2007/09/27 06:31 PM
Serialization delay	rwessel	2007/09/26 02:26 PM
Serialization delay	Jonathan Kang	2007/09/27 08:16 AM
Serialization delay	rwessel	2007/09/27 01:20 PM
Serialization delay	Jonathan Kang	2007/09/28 05:38 AM
Serialization delay	rwessel	2007/09/28 02:00 PM
Serialization delay	Jonathan Kang	2007/10/01 08:07 AM
Cache coherent latency	David Kanter	2007/10/01 08:20 AM
Cache coherent latency	blaine	2007/10/01 11:36 AM
Critical word first on coherent interconnects	David Kanter	2007/10/01 12:10 PM
Does ccHT do critical word first?	blaine	2007/10/02 08:10 AM
Cache coherent latency	Jonathan Kang	2007/10/01 01:34 PM
Cache coherent latency	David Kanter	2007/10/01 02:13 PM
Serialization delay	Michael S	2007/09/28 05:32 AM
Serialization delay	anonymous	2007/09/28 11:25 AM
Serialization delay	Michael S	2007/09/29 10:06 AM
New article - The Common System Interface: Intel's Future Interconnect	Jonathan Kang	2007/09/25 08:05 AM
New article - The Common System Interface: Intel's Future Interconnect	jigal	2007/09/23 01:37 PM
CSI, PCI and HT	David Kanter	2007/09/23 01:46 PM
New article - The Common System Interface: Intel's Future Interconnect	Jonathan Kang	2007/09/25 08:39 AM
New article - The Common System Interface: Intel's Future Interconnect	jigal	2007/09/25 03:16 PM
New article - The Common System Interface: Intel's Future Interconnect	Michael S	2007/09/26 04:14 AM
New article - The Common System Interface: Intel's Future Interconnect	Anonymous	2007/09/26 10:41 AM
New article - The Common System Interface: Intel's Future Interconnect	Jonathan Kang	2007/09/26 10:59 AM
New article - The Common System Interface: Intel's Future Interconnect	Jonathan Kang	2007/09/26 06:48 AM

Reply to this Topic
Name:
Email:
Topic:
Body:	No Text Brannon (Brannon_Batson.delete@this.yahoo.com) on September 3, 2007 8:12 am wrote: > Konrad Schwarz (no.spam@no.spam) on 9/2/07 wrote: > --------------------------- > >Hi, > > > >you make frequent reference to EV7 and I see Brannon Batson's name in the patent > >list. Would you have any (more) indication that Lamport's Temporal Logic of Actions > >was used to validate the cache coherency protocol (or other > parts)? I would like to know how well it fares in practice. > > > >Regards > > > >Konrad > > Yes, TLA was quite useful--as described in the paper David linked to. Please feel > free to post any additional questions here and I'll respond as best I can. > > Brannon
How do you spell avocado?

Lamport's TLA

Editor’s Picks

Intel’s Haswell CPU Microarchitecture

Silvermont, Intel’s Low Power Architecture

PhysX87: Software Deficiency

RWT on Twitter