Bounding data races in space and time – part II

Bounding data races in space and time Dolan et al., PLDI’18

Yesterday we looked at the case for memory models supporting local data-race-freedom (local DRF). In today’s post we’ll push deeper into the paper and look at a memory model which does just that.

Consider a memory store S which maps locations to values. For non-atomic locations it’s not enough just to store a single memory value at the location. Instead non-atomic locations are mapped to histories H, where a history is a finite map from timestamps to values, and timestamps are totally ordered.

Every thread has a frontier, F, which is a map from non-atomic locations to timestamps.

Intuitively, each thread’s frontier records, for each nonatomic location, the latest write known to the thread. More recent writes may have occurred, but are not guaranteed to be visible.

For atomic locations, the memory store records a pair (F,x), with a single data value x rather than a history. F is a frontier, which will be merged with the frontiers of threads that operate on the location. This is expressed in the rules READ-AT and WRITE-AT in the operational semantics below. The READ-AT rule, for example, should be Continue reading

Cisco, Arista settle lawsuit, refocus battle on network, data center, switching arenas

After nearly four years of slashing at each other in court with legal swords Cisco and Arista have agreed to disagree, mostly.To settle the litigation mêlée, Arista has agreed to pay Cisco $400 million, which will result in the dismissal of all pending district court and International Trade Commission litigation between the two companies.  [ Related: How to plan a software-defined data-center network ] For Arista the agreement should finally end any customer fear, uncertainty and doubt caused by the lawsuit.  In fact Zacks Equity Research wrote the settlement is likely to immensely benefit Arista.To read this article in full, please click here

Cisco, Arista settle lawsuit, refocus battle on network, data center, switching arenas

After nearly four years of slashing at each other in court with legal swords Cisco and Arista have agreed to disagree, mostly.To settle the litigation mêlée, Arista has agreed to pay Cisco $400 million, which will result in the dismissal of all pending district court and International Trade Commission litigation between the two companies.  [ Related: How to plan a software-defined data-center network ] For Arista the agreement should finally end any customer fear, uncertainty and doubt caused by the lawsuit.  In fact Zacks Equity Research wrote the settlement is likely to immensely benefit Arista.To read this article in full, please click here

Cisco, Arista settle lawsuit, refocus battle on network, data center, switching arenas

After nearly four years of slashing at each other in court with legal swords Cisco and Arista have agreed to disagree, mostly.To settle the litigation mêlée, Arista has agreed to pay Cisco $400 million, which will result in the dismissal of all pending district court and International Trade Commission litigation between the two companies.  [ Related: How to plan a software-defined data-center network ] For Arista the agreement should finally end any customer fear, uncertainty and doubt caused by the lawsuit.  In fact Zacks Equity Research wrote the settlement is likely to immensely benefit Arista.To read this article in full, please click here

Mist, VMware VeloCloud Partner On WLAN And WAN Visibility

WLAN vendor Mist has announced a partnership with VMware’s VeloCloud SD-WAN solution, in which Mist can interoperate with VeloCloud to improve visibility into, and troubleshooting of, wireless and WAN performance. Mist provides a cloud-based wireless controller and administrative interface for its APs. This cloud controller can make API calls to VeloCloud’s controller to ingest WAN […]

BrandPost: Ciena Completes Acquisition of Packet Design

Ciena Rick Hamilton, Senior Vice President, Global Software and Services Ciena has officially completed the acquisition of Packet Design. Rick Hamilton, SVP of Global Software and Services at Ciena, details how the integration of these new capabilities into our Blue Planet portfolio will help our customers in their path to the Adaptive Network.Today I had the privilege of welcoming the Packet Design team into the Ciena family, following our May 31 announcement to acquire the company. On July 2, we officially completed the acquisition, bringing the Packet Design network performance management software and critical IP expertise into Ciena’s industry-leading Blue Planet software portfolio.To read this article in full, please click here

EIGRP in the Service Provider Networks

EIGRP in the Service Provider Networks. If you are wondering whether EIGRP (Enhanced Interior Gateway Routing Protocol) is used in the Service Provider networks, then continue to read this post.       EIGRP is very uncommon in the Service Provider networks. As I teach network design training to thousands of students and through my …

Continue reading "EIGRP in the Service Provider Networks"

The post EIGRP in the Service Provider Networks appeared first on Cisco Network Design and Architecture | CCDE Bootcamp | orhanergun.net.

EIGRP in the Service Provider Networks

EIGRP in the Service Provider Networks. If you are wondering whether EIGRP (Enhanced Interior Gateway Routing Protocol) is used in the Service Provider networks, then continue to read this post.       EIGRP is very uncommon in the Service Provider networks. As I teach network design training to thousands of students and through my …

Continue reading "EIGRP in the Service Provider Networks"

The post EIGRP in the Service Provider Networks appeared first on Cisco Network Design and Architecture | CCDE Bootcamp | orhanergun.net.

EIGRP in the Service Provider Networks

EIGRP in the Service Provider Networks. If you are wondering whether EIGRP (Enhanced Interior Gateway Routing Protocol) is used in the Service Provider networks, then continue to read this post.       EIGRP is very uncommon in the Service Provider networks. As I teach network design training to thousands of students and through my […]

The post EIGRP in the Service Provider Networks appeared first on Cisco Network Design and Architecture | CCDE Bootcamp | orhanergun.net.

Enterprises should be able to sell their excess internet capacity

Peer-to-peer exchanges of excess bandwidth could one day be commonplace, says a firm that is attempting to monetize redundant internet capacity. It wants to create a marketplace for selling internet data throughput that has been already bought by organizations, but which is often dormant during out-of-work hours — the bandwidth is customarily just lying around then, not being used.Dove Network wants to “do to the telecom industry what Airbnb did to the hotel industry,” co-founder Douglas Schwartz told me via email.The idea is that those with excess data capacity, such as a well-provisioned office or data center, which may not be using all of its throughput capacity all of the time — such as during the weekend — allocates that spare bandwidth to Dove’s network. Passing-by data-users, such as Internet of Things-based sensors or an individual going about business, would then grab the data it, he, or she needs; payment is then handled seamlessly through blockchain smart contracts.To read this article in full, please click here

1 … 1,511 1,512 1,513 1,514 1,515 … 3,849