-
On a Foundation Model for Operating Systems
Authors:
Divyanshu Saxena,
Nihal Sharma,
Donghyun Kim,
Rohit Dwivedula,
Jiayi Chen,
Chenxi Yang,
Sriram Ravula,
Zichao Hu,
Aditya Akella,
Sebastian Angel,
Joydeep Biswas,
Swarat Chaudhuri,
Isil Dillig,
Alex Dimakis,
P. Brighten Godfrey,
Daehyeok Kim,
Chris Rossbach,
Gang Wang
Abstract:
This paper lays down the research agenda for a domain-specific foundation model for operating systems (OSes). Our case for a foundation model revolves around the observations that several OS components such as CPU, memory, and network subsystems are interrelated and that OS traces offer the ideal dataset for a foundation model to grasp the intricacies of diverse OS components and their behavior in…
▽ More
This paper lays down the research agenda for a domain-specific foundation model for operating systems (OSes). Our case for a foundation model revolves around the observations that several OS components such as CPU, memory, and network subsystems are interrelated and that OS traces offer the ideal dataset for a foundation model to grasp the intricacies of diverse OS components and their behavior in varying environments and workloads. We discuss a wide range of possibilities that then arise, from employing foundation models as policy agents to utilizing them as generators and predictors to assist traditional OS control algorithms. Our hope is that this paper spurs further research into OS foundation models and creating the next generation of operating systems for the evolving computing landscape.
△ Less
Submitted 12 December, 2023;
originally announced December 2023.
-
Flamingo: Multi-Round Single-Server Secure Aggregation with Applications to Private Federated Learning
Authors:
Yi** Ma,
Jess Woods,
Sebastian Angel,
Antigoni Polychroniadou,
Tal Rabin
Abstract:
This paper introduces Flamingo, a system for secure aggregation of data across a large set of clients. In secure aggregation, a server sums up the private inputs of clients and obtains the result without learning anything about the individual inputs beyond what is implied by the final sum. Flamingo focuses on the multi-round setting found in federated learning in which many consecutive summations…
▽ More
This paper introduces Flamingo, a system for secure aggregation of data across a large set of clients. In secure aggregation, a server sums up the private inputs of clients and obtains the result without learning anything about the individual inputs beyond what is implied by the final sum. Flamingo focuses on the multi-round setting found in federated learning in which many consecutive summations (averages) of model weights are performed to derive a good model. Previous protocols, such as Bell et al. (CCS '20), have been designed for a single round and are adapted to the federated learning setting by repeating the protocol multiple times. Flamingo eliminates the need for the per-round setup of previous protocols, and has a new lightweight dropout resilience protocol to ensure that if clients leave in the middle of a sum the server can still obtain a meaningful result. Furthermore, Flamingo introduces a new way to locally choose the so-called client neighborhood introduced by Bell et al. These techniques help Flamingo reduce the number of interactions between clients and the server, resulting in a significant reduction in the end-to-end runtime for a full training session over prior work. We implement and evaluate Flamingo and show that it can securely train a neural network on the (Extended) MNIST and CIFAR-100 datasets, and the model converges without a loss in accuracy, compared to a non-private federated learning system.
△ Less
Submitted 18 May, 2024; v1 submitted 18 August, 2023;
originally announced August 2023.
-
Fault-tolerant and Transactional Stateful Serverless Workflows (extended version)
Authors:
Haoran Zhang,
Adney Cardoza,
Peter Baile Chen,
Sebastian Angel,
Vincent Liu
Abstract:
This paper introduces Beldi, a library and runtime system for writing and composing fault-tolerant and transactional stateful serverless functions. Beldi runs on existing providers and lets developers write complex stateful applications that require fault tolerance and transactional semantics without the need to deal with tasks such as load balancing or maintaining virtual machines. Beldi's contri…
▽ More
This paper introduces Beldi, a library and runtime system for writing and composing fault-tolerant and transactional stateful serverless functions. Beldi runs on existing providers and lets developers write complex stateful applications that require fault tolerance and transactional semantics without the need to deal with tasks such as load balancing or maintaining virtual machines. Beldi's contributions include extending the log-based fault-tolerant approach in Olive (OSDI 2016) with new data structures, transaction protocols, function invocations, and garbage collection. They also include adapting the resulting framework to work over a federated environment where each serverless function has sovereignty over its own data. We implement three applications on Beldi, including a movie review service, a travel reservation system, and a social media site. Our evaluation on 1,000 AWS Lambdas shows that Beldi's approach is effective and affordable.
△ Less
Submitted 13 October, 2020;
originally announced October 2020.
-
Disaggregation and the Application
Authors:
Sebastian Angel,
Mihir Nanavati,
Siddhartha Sen
Abstract:
This paper examines disaggregated data center architectures from the perspective of the applications that would run on these data centers, and challenges the abstractions that have been proposed to date. In particular, we argue that operating systems for disaggregated data centers should not abstract disaggregated hardware resources, such as memory, compute, and storage away from applications, but…
▽ More
This paper examines disaggregated data center architectures from the perspective of the applications that would run on these data centers, and challenges the abstractions that have been proposed to date. In particular, we argue that operating systems for disaggregated data centers should not abstract disaggregated hardware resources, such as memory, compute, and storage away from applications, but should instead give them information about, and control over, these resources. To this end, we propose additional OS abstractions and interfaces for disaggregation and show how they can improve data transfer in data parallel frameworks and speed up failure recovery in replicated, fault-tolerant applications. This paper studies the technical challenges in providing applications with this additional functionality and advances several preliminary proposals to overcome these challenges.
△ Less
Submitted 28 October, 2019;
originally announced October 2019.
-
The Next Generation Fornax Survey (NGFS): VI. The Alignment of Dwarf Galaxies in The Fornax Cluster
Authors:
Yu Rong,
Thomas H. Puzia,
Paul Eigenthaler,
Yasna Ordenes-Briceno,
Matthew A. Taylor,
Roberto P. Munoz,
Hongxin Zhang,
Gaspar Galaz,
Karla Alamo-Martinez,
Karen X. Ribbeck,
Evak. Grebel,
Simon Angel,
Patrick Cote,
Laura Ferrarese,
Michael Hilker,
Steffen Mieske,
Bryan W. Miller,
Ruben Sanchez-Janssen,
Evelyn J. Johnston
Abstract:
Using the photometric data from the Next Generation Fornax Survey, we find a significant radial alignment signal among the Fornax dwarf galaxies. For the first time, we report that the radial alignment signal of nucleated dwarfs is stronger than that of non-nucleated ones at 2.4$σ$ confidence level, and the dwarfs located in the outer region ($R>R_{\rm{vir}}/3$; $R_{\rm{vir}}$ is the Fornax virial…
▽ More
Using the photometric data from the Next Generation Fornax Survey, we find a significant radial alignment signal among the Fornax dwarf galaxies. For the first time, we report that the radial alignment signal of nucleated dwarfs is stronger than that of non-nucleated ones at 2.4$σ$ confidence level, and the dwarfs located in the outer region ($R>R_{\rm{vir}}/3$; $R_{\rm{vir}}$ is the Fornax virial radius) show slightly stronger radial alignment signal than those in the inner region ($R<R_{\rm{vir}}/3$) at $1.5σ$ level. We also find that the significance of radial alignment signal is independent of the luminosities or sizes of the dwarfs.
△ Less
Submitted 29 July, 2019;
originally announced July 2019.
-
What's a little leakage between friends?
Authors:
Sebastian Angel,
David Lazar,
Ioanna Tzialla
Abstract:
This paper introduces a new attack on recent messaging systems that protect communication metadata. The main observation is that if an adversary manages to compromise a user's friend, it can use this compromised friend to learn information about the user's other ongoing conversations. Specifically, the adversary learns whether a user is sending other messages or not, which opens the door to existi…
▽ More
This paper introduces a new attack on recent messaging systems that protect communication metadata. The main observation is that if an adversary manages to compromise a user's friend, it can use this compromised friend to learn information about the user's other ongoing conversations. Specifically, the adversary learns whether a user is sending other messages or not, which opens the door to existing intersection and disclosure attacks. To formalize this compromised friend attack, we present an abstract scenario called the exclusive call center problem that captures the attack's root cause, and demonstrates that it is independent of the particular design or implementation of existing metadata-private messaging systems. We then introduce a new primitive called a private answering machine that can prevent the attack. Unfortunately, building a secure and efficient instance of this primitive under only computational hardness assumptions does not appear possible. Instead, we give a construction under the assumption that users can place a bound on their maximum number of friends and are okay leaking this information.
△ Less
Submitted 23 October, 2018; v1 submitted 1 September, 2018;
originally announced September 2018.
-
The Next Generation Fornax Survey (NGFS): IV. Mass and Age Bimodality of Nuclear Clusters in the Fornax Core Region
Authors:
Y. Ordenes-Briceño,
T. H. Puzia,
P. Eigenthaler,
M. A. Taylor,
R. P. Muñoz,
H. Zhang,
K. Alamo-Martínez,
K. X. Ribbeck,
E. K. Grebel,
S. Ángel,
P. Côté,
L. Ferrarese,
M. Hilker,
A. Lançon,
S. Mieske,
B. W. Miller,
Y. Rong,
R. Sánchez-Janssen
Abstract:
We present the analysis of 61 nucleated dwarf galaxies in the central regions ($<R_{\rm vir}/4$) of the Fornax galaxy cluster. The galaxies and their nuclei are studied as part of the Next Generation Fornax Survey (NGFS) using optical imaging obtained with the Dark Energy Camera (DECam) mounted at Blanco/CTIO and near-infrared data obtained with VIRCam at VISTA/ESO. We decompose the nucleated dwar…
▽ More
We present the analysis of 61 nucleated dwarf galaxies in the central regions ($<R_{\rm vir}/4$) of the Fornax galaxy cluster. The galaxies and their nuclei are studied as part of the Next Generation Fornax Survey (NGFS) using optical imaging obtained with the Dark Energy Camera (DECam) mounted at Blanco/CTIO and near-infrared data obtained with VIRCam at VISTA/ESO. We decompose the nucleated dwarfs in nucleus and spheroid, after subtracting the surface brightness profile of the spheroid component and studying the nucleus using PSF photometry.In general, nuclei are consistent with colors of confirmed metal-poor globular clusters, but with significantly smaller dispersion than other confirmed compact stellar systems in Fornax. We find a bimodal nucleus mass distribution with peaks located at $\log({\cal M_*}/M_\odot)\!\simeq\!5.4$ and $\sim\,6.3$. These two nucleus sub-populations have different stellar population properties, the more massive nuclei are older than $\sim\!2$ Gyr and have metal-poor stellar populations ($Z\leq0.02\,Z_\odot$), while the less massive nuclei are younger than $\sim\!2$ Gyr with metallicities in the range $0.02\!<\!Z/Z_\odot\!\leq\!1$. We find that the nucleus mass (${\cal M}_{\rm nuc}$) vs. galaxy mass (${\cal M}_{\rm gal}$) relation becomes shallower for less massive galaxies starting around $10^8\,M_\odot$ and the mass ratio $η_n\!=\!{\cal M}_{\rm nuc}/{\cal M}_{\rm gal}$ shows a clear anti-correlation with ${\cal M}_{\rm gal}$ for the lowest masses, reaching $10\%$. We test current theoretical models of nuclear cluster formation and find that they cannot fully reproduce the observed trends. A likely mixture of in-situ star formation and star-cluster mergers seem to be acting during nucleus growth over cosmic time.
△ Less
Submitted 1 May, 2018;
originally announced May 2018.
-
The Next Generation Fornax Survey (NGFS): III. Revealing the Spatial Substructure of the Dwarf Galaxy Population inside half of Fornax's Virial Radius
Authors:
Y. Ordenes-Briceño,
P. Eigenthaler,
M. A. Taylor,
T. H. Puzia,
K. Alamo-Martinez,
K. K. Ribbeck,
R. P. Muñoz,
H. Zhang,
E. Grebel,
S. Ángel,
P. Côte,
L. Ferrarese,
M. Hilker,
A. Lançon,
S. Mieske,
B. W. Miller,
Y. Rong,
R. Sanchez-Janssen
Abstract:
We report the discovery of 271 previously undetected dwarf galaxies in the outer Fornax cluster regions at radii $r_{\rm vir}/4<\!r\!<r_{\rm vir}/2$ using data from the Next Generation Fornax Survey (NGFS) with deep coadded $u'$, $g'$ and $i'$ images obtained with Blanco/DECam at Cerro Tololo Interamerican Observatory. From the 271 dwarf candidates we find 39 to be nucleated. Together with our pre…
▽ More
We report the discovery of 271 previously undetected dwarf galaxies in the outer Fornax cluster regions at radii $r_{\rm vir}/4<\!r\!<r_{\rm vir}/2$ using data from the Next Generation Fornax Survey (NGFS) with deep coadded $u'$, $g'$ and $i'$ images obtained with Blanco/DECam at Cerro Tololo Interamerican Observatory. From the 271 dwarf candidates we find 39 to be nucleated. Together with our previous study of the central Fornax region, the new dwarfs detected with NGFS data are 392, of which 56 are nucleated. The total Fornax dwarf galaxy population from NGFS and other catalogs rises, therefore, to a total of 643 with 181 being nucleated, yielding an overall nucleation fraction of $28\%$. The absolute $i'$-band magnitudes for the outer NGFS dwarfs are in the range $-18.80\le\,M_{i'}\le\,-8.78$ with effective radii $r_{{\rm eff},i'}\,=\,0.18-2.22$ kpc and an average Sersic index $\langle n\rangle_{i'}\,=\,0.81$. Non-nucleated dwarfs are found to be fainter and smaller by $Δ\langle M_{i'}\rangle\!=\!2.25$ mag and $Δ\langle r_{{\rm eff},i'}\rangle\!=\!0.4$ kpc than the nucleated dwarfs. We demonstrate a significant clustering of dwarf galaxies on scales $\lesssim\!100$ kpc, and projected surface number density profile estimates, $Σ_N(r)$, show a concentration of dwarfs in the Fornax core region within $r\!\sim\!350$ kpc. $Σ_N(r)$ has a flat distribution up to $\sim\!350$ kpc, beyond which it declines for the non-nucleated dwarfs. The nucleated dwarfs have a steeper $Σ_N(r)$ distribution, being more concentrated towards NGC 1399 and decreasing rapidly outwards. This is the first time the transition from cluster to field environment has been established for the very faint dwarf galaxy population with robust sample statistics.
△ Less
Submitted 28 March, 2018;
originally announced March 2018.
-
The Next Generation Fornax Survey (NGFS): II. The Central Dwarf Galaxy Population
Authors:
Paul Eigenthaler,
Thomas H. Puzia,
Matthew A. Taylor,
Yasna Ordenes-Briceño,
Roberto P. Muñoz,
Karen X. Ribbeck,
Karla Alamo-Martínez,
Hongxin Zhang,
Simón Ángel,
Massimo Capaccioli,
Patrick Côté,
Laura Ferrarese,
Gaspar Galaz,
Eva K. Grebel,
Maren Hempel,
Michael Hilker,
Ariane Lançon,
Steffen Mieske,
Bryan Miller,
Maurizio Paolillo,
Mathieu Powalka,
Tom Richtler,
Joel Roediger,
Yu Rong,
Ruben Sánchez-Janssen
, et al. (1 additional authors not shown)
Abstract:
We present a photometric study of the dwarf galaxy population in the core region ($< r_{\rm vir}/4$) of the Fornax galaxy cluster based on deep $u'g'i'$ photometry from the Next Generation Fornax Cluster Survey. All imaging data were obtained with the Dark Energy Camera mounted on the 4-meter Blanco telescope at the Cerro-Tololo Interamerican Observatory. We identify 258 dwarf galaxy candidates wi…
▽ More
We present a photometric study of the dwarf galaxy population in the core region ($< r_{\rm vir}/4$) of the Fornax galaxy cluster based on deep $u'g'i'$ photometry from the Next Generation Fornax Cluster Survey. All imaging data were obtained with the Dark Energy Camera mounted on the 4-meter Blanco telescope at the Cerro-Tololo Interamerican Observatory. We identify 258 dwarf galaxy candidates with luminosities $-17 < M_{g'} < -8$ mag, corresponding to typical stellar masses of $9.5\gtrsim \log{\cal M}_{\star}/M_\odot \gtrsim 5.5$, reaching $\sim\!3$ mag deeper in point-source luminosity and $\sim\!4$ mag deeper in surface-brightness sensitivity compared to the classic Fornax Cluster Catalog. Morphological analysis shows that surface-brightness profiles are well represented by single-component Sérsic models with average Sérsic indices of $\langle n\rangle_{u',g',i'}=(0.78-0.83) \pm 0.02$, and average effective radii of $\langle r_e\rangle_{u',g',i'}\!=(0.67-0.70) \pm 0.02$ kpc. Color-magnitude relations indicate a flattening of the galaxy red sequence at faint galaxy luminosities, similar to the one recently discovered in the Virgo cluster. A comparison with population synthesis models and the galaxy mass-metallicity relation reveals that the average faint dwarf galaxy is likely older than ~5 Gyr. We study galaxy scaling relations between stellar mass, effective radius, and stellar mass surface density over a stellar mass range covering six orders of magnitude. We find that over the sampled stellar mass range several distinct mechanisms of galaxy mass assembly can be identified: i) dwarf galaxies assemble mass inside the half-mass radius up to $\log{\cal M}_{\star}$ ~8.0, ii) isometric mass assembly in the range $8.0 < \log{\cal M}_{\star}/M_\odot < 10.5$, and iii) massive galaxies assemble stellar mass predominantly in their halos at $\log{\cal M}_{\star}$ ~10.5 and above.
△ Less
Submitted 8 January, 2018;
originally announced January 2018.
-
New Constraints on a complex relation between globular cluster colors and environment
Authors:
Mathieu Powalka,
Thomas H. Puzia,
Ariane Lançon,
Eric W. Peng,
Frederik Schönebeck,
Karla Alamo-Martínez,
Simón Ángel,
John P. Blakeslee,
Patrick Côté,
Jean-Charles Cuillandre,
Pierre-Alain Duc,
Patrick Durrell,
Laura Ferrarese,
Eva K. Grebel,
Puragra Guhathakurta,
S. D. J. Gwyn,
Harald Kuntschner,
Sungsoon Lim,
Chengze Liu,
Mariya Lyubenova,
J. Christopher Mihos,
Roberto P. Muñoz,
Yasna Ordenes-Briceño,
Joel Roediger,
Rubén Sánchez-Janssen
, et al. (3 additional authors not shown)
Abstract:
We present an analysis of high-quality photometry for globular clusters (GCs) in the Virgo cluster core region, based on data from the Next Generation Virgo Cluster Survey (NGVS) pilot field, and in the Milky Way (MW) based on VLT/X-Shooter spectrophotometry. We find significant discrepancies in color-color diagrams between sub-samples from different environments, confirming that the environment h…
▽ More
We present an analysis of high-quality photometry for globular clusters (GCs) in the Virgo cluster core region, based on data from the Next Generation Virgo Cluster Survey (NGVS) pilot field, and in the Milky Way (MW) based on VLT/X-Shooter spectrophotometry. We find significant discrepancies in color-color diagrams between sub-samples from different environments, confirming that the environment has a strong influence on the integrated colors of GCs. GC color distributions along a single color are not sufficient to capture the differences we observe in color-color space. While the average photometric colors become bluer with increasing radial distance to the cD galaxy M87, we also find a relation between the environment and the slope and intercept of the color-color relations. A denser environment seems to produce a larger dynamic range in certain color indices. We argue that these results are not due solely to differential extinction, IMF variations, calibration uncertainties, or overall age/metallicity variations. We therefore suggest that the relation between the environment and GC colors is, at least in part, due to chemical abundance variations, which affect stellar spectra and stellar evolution tracks. Our results demonstrate that stellar population diagnostics derived from model predictions which are calibrated on one particular sample of GCs may not be appropriate for all extragalactic GCs. These results advocate a more complex model of the assembly history of GC systems in massive galaxies that goes beyond the simple bimodality found in previous decades.
△ Less
Submitted 30 August, 2016;
originally announced August 2016.
-
Unveiling a Rich System of Faint Dwarf Galaxies in the Next Generation Fornax Survey
Authors:
Roberto P. Munoz,
Paul Eigenthaler,
Thomas H. Puzia,
Matthew A. Taylor,
Yasna Ordenes-Briceno,
Karla Alamo-Martinez,
Karen X. Ribbeck,
Simon Angel,
Massimo Capaccioli,
Patrick Cote,
Laura Ferrarese,
Gaspar Galaz,
Maren Hempel,
Michael Hilker,
Andres Jordan,
Ariane Lancon,
Steffen Mieske,
Maurizio Paolillo,
Tom Richtler,
Ruben Sanchez-Janssen,
Hongxin Zhang
Abstract:
We report the discovery of 158 previously undetected dwarf galaxies in the Fornax cluster central regions using a deep coadded $u, g$ and $i$-band image obtained with the DECam wide-field camera mounted on the 4-meter Blanco telescope at the Cerro Tololo Interamerican Observatory as part of the {\it Next Generation Fornax Survey} (NGFS). The new dwarf galaxies have quasi-exponential light profiles…
▽ More
We report the discovery of 158 previously undetected dwarf galaxies in the Fornax cluster central regions using a deep coadded $u, g$ and $i$-band image obtained with the DECam wide-field camera mounted on the 4-meter Blanco telescope at the Cerro Tololo Interamerican Observatory as part of the {\it Next Generation Fornax Survey} (NGFS). The new dwarf galaxies have quasi-exponential light profiles, effective radii $0.1\!<\!r_e\!<\!2.8$ kpc and average effective surface brightness values $22.0\!<\!μ_i\!<\!28.0$ mag arcsec$^{-2}$. We confirm the existence of ultra-diffuse galaxies (UDGs) in the Fornax core regions that resemble counterparts recently discovered in the Virgo and Coma galaxy clusters.~We also find extremely low surface brightness NGFS dwarfs, which are several magnitudes fainter than the classical UDGs. The faintest dwarf candidate in our NGFS sample has an absolute magnitude of $M_i\!=\!-8.0$\,mag. The nucleation fraction of the NGFS dwarf galaxy sample appears to decrease as a function of their total luminosity, reaching from a nucleation fraction of $>\!75\%$ at luminosities brighter than $M_i\!\simeq\!-15.0$ mag to $0\%$ at luminosities fainter than $M_i\!\simeq\!-10.0$ mag. The two-point correlation function analysis of the NGFS dwarf sample shows an excess on length scales below $\sim\!100$ kpc, pointing to the clustering of dwarf galaxies in the Fornax cluster core.
△ Less
Submitted 8 October, 2015;
originally announced October 2015.
-
Defending against malicious peripherals with Cinch
Authors:
Sebastian Angel,
Riad S. Wahby,
Max Howald,
Joshua B. Leners,
Michael Spilo,
Zhen Sun,
Andrew J. Blumberg,
Michael Walfish
Abstract:
Malicious peripherals designed to attack their host computers are a growing problem. Inexpensive and powerful peripherals that attach to plug-and-play buses have made such attacks easy to mount. Making matters worse, commodity operating systems lack coherent defenses, and users are often unaware of the scope of the problem. We present Cinch, a pragmatic response to this threat. Cinch uses virtuali…
▽ More
Malicious peripherals designed to attack their host computers are a growing problem. Inexpensive and powerful peripherals that attach to plug-and-play buses have made such attacks easy to mount. Making matters worse, commodity operating systems lack coherent defenses, and users are often unaware of the scope of the problem. We present Cinch, a pragmatic response to this threat. Cinch uses virtualization to attach peripheral devices to a logically separate, untrusted machine, and includes an interposition layer between the untrusted machine and the protected one. This layer regulates interaction with devices according to user-configured policies. Cinch integrates with existing OSes, enforces policies that thwart real-world attacks, and has low overhead.
△ Less
Submitted 29 June, 2016; v1 submitted 3 June, 2015;
originally announced June 2015.