Mihai Dobrescu
École Polytechnique Fédérale de Lausanne
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by Mihai Dobrescu.
symposium on operating systems principles | 2009
Mihai Dobrescu; Norbert Egi; Katerina J. Argyraki; Byung-Gon Chun; Kevin R. Fall; Gianluca Iannaccone; Allan D. Knies; Maziar Manesh; Sylvia Ratnasamy
We revisit the problem of scaling software routers, motivated by recent advances in server technology that enable high-speed parallel processing--a feature router workloads appear ideally suited to exploit. We propose a software router architecture that parallelizes router functionality both across multiple servers and across multiple cores within a single server. By carefully exploiting parallelism at every opportunity, we demonstrate a 35Gbps parallel router prototype; this router capacity can be linearly scaled through the use of additional servers. Our prototype router is fully programmable using the familiar Click/Linux environment and is built entirely from off-the-shelf, general-purpose server hardware.
Communications of The ACM | 2015
Mihai Dobrescu; Katerina J. Argyraki
The industry is in the mood for programmable networks, where an operator can dynamically deploy network functions on network devices, akin to how one deploys virtual machines on physical machines in a cloud environment. Such flexibility brings along the threat of unpredictable behavior and performance. What are the minimum restrictions that we need to impose on network functionality such that we are able to verify that a network device behaves and performs as expected, for example, does not crash or enter an infinite loop? We present the result of working iteratively on two tasks: designing a domain-specific verification tool for packet-processing software, while trying to identify a minimal set of restrictions that packet-processing software must satisfy in order to be verification-friendly. Our main insight is that packet-processing software is a good candidate for domain-specific verification, for example, because it typically consists of distinct pieces of code that share limited mutable state; we can leverage this and other properties to sidestep fundamental verification challenges. We apply our ideas on Click packet-processing software; we perform complete and sound verification of an IP router and two simple middleboxes within tens of minutes, whereas a state-of-the-art general-purpose tool fails to complete the same task within several hours.
programmable routers for extensible services of tomorrow | 2010
Mihai Dobrescu; Katerina J. Argyraki; Gianluca Iannaccone; Maziar Manesh; Sylvia Ratnasamy
Software routers promise to enable the fast deployment of new, sophisticated kinds of packet processing without the need to buy and deploy expensive new equipment. The challenge is offering such programmability while at the same time achieving a competitive level of performance. Recent work has demonstrated that software routers are capable of high performance, but only for conventional, simple workloads (like packet forwarding and IP routing) and, even that, after careful manual calibration. In contrast, we are interested in achieving high performance in the context of a software router running multiple sophisticated packet-processing applications. In particular: first, we identify the main factors that affect packet-processing performance on a modern multicore general-purpose server---cache misses, cache contention, load-balancing across processing cores; then, we formulate an optimization problem that takes as input a particular server architecture and a packet processing flow, and determines how to parallelize the routers functionality across the available cores so as to maximize its throughput.
Operating Systems Review | 2011
Kevin R. Fall; Gianluca Iannaccone; Maziar Manesh; Sylvia Ratnasamy; Katerina J. Argyraki; Mihai Dobrescu; Norbert Egi
We revisit the problem of scaling software routers, motivated by recent advances in server technology that enable highspeed parallel processing a feature router workloads appear ideally suited to exploit. We propose a software router architecture that parallelizes router functionality both across multiple servers and across multiple cores within a single server. By carefully exploiting parallelism at every opportunity, we demonstrate a 40Gbps parallel router prototype; this router capacity can be linearly scaled through the use of additional servers. Our prototype router is fully programmable using the familiar Click/Linux environment and is built entirely from off-the-shelf, general-purpose server hardware. We also describe some of the lessons learned while supporting field deployments of Routebricks-based software routers.
hot topics in networks | 2013
Mihai Dobrescu; Katerina J. Argyraki
Software dataplanes are emerging as an alternative to traditional hardware switches and routers, promising programmability and short time to market. These advantages are set against the concern of introducing buggy or under-performing code into the network. We explore whether it is practical to formally prove that a software dataplane satisfies key properties that would ensure smooth network operation. In general, proving properties of real programs remains an elusive goal, but we argue that dataplanes are different: they typically follow a pipeline structure that enables our proposed approach, in which we verify pieces of the code in isolation, then compose the results to reason about the entire dataplane. We preliminarily demonstrate the potential of our approach by applying it on simple Click pipelines and proving that they are crash-free and execute a bounded number of instructions. This takes on the order of minutes, whereas a general-purpose state-of-the-art verifier fails to complete the same task within 12 hours.
networked systems design and implementation | 2012
Mihai Dobrescu; Katerina J. Argyraki; Sylvia Ratnasamy
programmable routers for extensible services of tomorrow | 2010
Maziar Manesh; Katerina J. Argyraki; Mihai Dobrescu; Norbert Egi; Kevin R. Fall; Gianluca Iannaccone; Eddie Kohler; Sylvia Ratnasamy
Archive | 2015
Mihai Dobrescu
Archive | 2015
Mihai Dobrescu
acm special interest group on data communication | 2010
Mihai Dobrescu; Katerina J. Argyraki; Maziar Manesh; Gianluca Iannaccone; Sylvia Ratnasamy