SearcharxivSearch

arXiv subjects

Cheng Hao

Publications and source records attributed to Cheng Hao.

7 recordsLinked to original sources

SLFS: a Flexible, Low-Cost Distributed File System Using Serverless Designs

Large-scale distributed file systems must provision resources for peak demand, yet file access patterns fluctuate significantly, leaving substantial capacity idle during off-peak periods. Existing scaling mechanisms operate at the granularity of entire servers and take minutes to hours, making them unable to track the rapid, fine-grained load variations that file systems commonly experience. Serverless computing, with its millisecond-granularity elasticity and pay-per-use pricing, offers a compelling alternative. We present SLFS, the first distributed file system built with serverless functions for both data and metadata operations. SLFS implements file services on top of key-value stores, keeping function operations simple and short, and introduces a novel multi-threaded, short-lived server design that overcomes the cold-start problem while maintaining low cost. A policy-enforcing coordinator efficiently maps files to function instances, scales the system elastically, and controls function lifetimes to balance performance and cost. SLFS can flexibly run on diverse storage backends -- from cloud-native services like S3 to user-managed key-value stores -- enabling configurable cost-performance trade-offs. Our evaluation shows that SLFS mitigates cold starts by 580$\times$ compared to the base serverless design and outperforms $\lambda$FS, EFS, and Ceph at up to 63%, 68%, and 63% lower cost, respectively.

cs.DC

Boolean Algebras and Logic

In this article we investigate the notion and basic properties of Boolean algebras and prove the Stone's representation theorem. The relations of Boolean algebras to logic and to set theory will be studied and, in particular, a neat proof of completeness theorem in propositional logic will be given using Stone's theorem from Boolean algebra.

math.LO

The nonmeasurability of Bernstein sets and related topics

In this article, we shall explore the constructions of Bernstein sets, and prove that every Bernstein set is nonmeasurable and doesn't have the property of Baire. We shall also prove that Bernstein sets don't have the perfect set property.

math.CA

An Alternative Definition of the Completion of Metric Spaces

In this article, the author proposes another way to define the completion of a metric space, which is different from the classical one via the dense property, and prove the equivalence between two definitions. This definition is based on considerations from category theory, and can be generalized to arbitrary categories.

math.FA

Cosmological Constraints from Hubble parameter $H(z)$ and SN Ia observations

In this paper, we use a set of observational $H(z)$ data (OHD) to constrain the $Λ$CDM cosmology. This data set can be derived from the differential ages of the passively evolving galaxies. Meanwhile, the $\mathcal {A}$-parameter, which describes the Baryonic Acoustic Oscillation (BAO) peak, and the newly measured value of the Cosmic Microwave Background (CMB) shift parameter $\mathcal {R}$ are used to present combinational constraints on the same cosmology. The combinational constraints favor an accelerating flat universe while the flat $Λ$CDM cosmology is also analyzed in the same way. We obtain a result compatible with that by many other independent cosmological observations. We find that the observational $H(z)$ data set is a complementarity to other cosmological probes.

astro-ph

Magnetoresistance in Thin Permalloy Film (10nm-thick and 30-200nm-wide) Nanocontacts Fabricated by e-Beam Lithography

In this paper we show spin dependent transport experiments in nanoconstrictions ranging from 30 to 200nm. These nanoconstrictions were fabricated combining electron beam lithography and thin film deposition techniques. Two types of geometries have been fabricated and investigated. We compare the experimental results with the theoretical estimation of the electrical resistance. Finally we show that the magnetoresistance for the different geometries does not scale with the resistance of the structure and obtain drops in voltage of 20mV at 20Oe.

cond-mat.mtrl-sci