In this paper, we qualitatively and quantitatively discuss the design choices, production experience, and lessons in building the Elastic Block Storage ( EBS ) at Alibaba Cloud over the past decade. To cope with hardware advancement and users’ demands, we shift our focus from design simplicity in EBS1 to high performance and space efficiency in EBS2 , and finally reducing network traffic amplification in EBS3 . In addition to the architectural evolutions, we also summarize development lessons and experiences as four topics, including: (i) achieving high elasticity in latency, throughput, IOPS, and capacity; (ii) improving availability by minimizing the blast radius of individual, regional, and global failure events; (iii) identifying the motivations and key tradeoffs in various hardware offloading solutions; and (iv) identifying the pros/cons of alternative solutions and explaining why seemingly promising ideas would not work in practice.

U-shaped ironless permanent magnet linear motors (IL-PMLMs) are widely implemented in precision manufacturing equipment with the advantages of small thrust and high positioning accuracy. However, the structural parameter variations of the motor caused by manufacturing and assembly errors will increase the thrust ripple of the motor and thus cause vibration and reduce the operating accuracy. This paper uses Monte Carlo simulation to analyze the manufacturing tolerances of the motor's primary and secondary structural parameters, including the spacing and position of the winding, the height and width of the permanent magnets, and the thickness of the back iron. Finally, various combinations of parameter tolerances are used for analysis and validation. Assuming all tolerances obey normal distribution, the influence of motor structural parameter tolerances on thrust and thrust ripple is obtained through finite element analysis.

Verifiability is the backbone of most ledger systems to realize credible authentication. However, existing permissioned blockchains and centralized ledger databases lack rigorous verifiability to authenticate all facts (i.e., what-when-who validation). Besides, they suffer from high verification cost to a continually growing immutable storage. In this paper, we introduce verification principles behind LedgerDB, a centralized ledger database that achieves both strong external auditability and fast verification. We coin a novel concept called Dasein Verification that composes of three validation factors what-when-who to formalize ledger auditing. Regarding what, LedgerDB devises fam (fractal accumulating model) to accelerate existence verification, and CM-Tree for efficient lineage verification. Veri-fiable data mutations are also supported. For when, we discuss attacks on existing time pegging protocols that compromise the authenticity of timestamps, and propose a time notary protocol to resolve those threats. Evaluations show that fam and CM- Tree significantly outperform traditional approaches. Compared to Hyperledger Fabric, LedgerDB achieves 23x higher verification throughput with 500 x lower latency in notarization applications, and 3 x higher throughput with 300 x lower latency in lineage tracking applications. As a public-cloud ledger service, the end-to-end verification latencies of LedgerDB are on average 50 x and 1000x lower than that of QLDB in the above applications, respectively.

The emergence of Blockchain has attracted widespread attention. However, we observe that in practice, many applications on permissioned blockchains do not benefit from the decentralized architecture. When decentralized architecture is used but not required, system performance is often restricted, resulting in low throughput, high latency, and significant storage overhead. Hence, we propose LedgerDB on Alibaba Cloud, which is a centralized ledger database with tamper-evidence and non-repudiation features similar to blockchain, and provides strong auditability. LedgerDB has much higher throughput compared to blockchains. It offers stronger auditability by adopting a TSA two-way peg protocol, which prevents malicious behaviors from both users and service providers. LedgerDB supports verifiable data removals demanded by many real-world applications, which are able to remove obsolete records for storage saving and hide records for regulatory purpose, without compromising its verifiability. Experimental evaluation shows that LedgerDB's throughput is 80X higher than state-of-the-art permissioned blockchain (i.e., Hyperledger Fabric). Many blockchain customers (e.g., IP protection and supply chain) on Alibaba Cloud have switched to LedgerDB for its high throughput, low latency, strong auditability, and ease of use.