Sosp21 Conference (Day 1)

SOSP, along amongst OSDI, is the premiere conference inward estimator systems. SOSP was held biannually; I had attended SOSP19 inward person, in addition to shared notes in addition to https://sysartifacts.github.io/sosp2021/results.html

Logistics

Zoom was used for the conference. Audio/video is gear upwardly to hold out off for audience yesteryear default. I didn't know this until the proclamation was made. I was confused equally I tried searching inward vain to let on the good controls to mute myself. But I handgrip that this is a skillful setup for avoiding accidental zoom-bombing. When someone needs to enquire a question, they are promoted to instruct access to video in addition to audio. 

The poster session was done through gathertown. This was awesome. Gathertown overlays a physical space, where you lot consider people, await at posters. This felt similar going to the conference, running people at the hallways. I enjoyed it. 

BFT session

Basil Breaking upwardly BFT amongst ACID transactions

BIDL: A High-throughput, Low-latency Permissioned Blockchain Framework for Datacenter Networks

Kauri: Scalable BFT Consensus amongst Pipelined Tree-Based Dissemination in addition to Aggregation

Bug finding session

iGUARD: In-GPU Advanced Race Detection

The championship may hold out misleading. This is non a GPU application for estimator vision-based race detection from photos/videos. GPU applications are growing. Every gpu generation is growing inward size in addition to complexity. GPUs innovate advance synchronization for programming. Sync alone inside a subset of threads, warp (32 thread), threadblock (1000 threads), or grid (even to a greater extent than threads). Independent thread scheduling (ITS). Races inward CUDA code due to insufficient scopes. 12 races caught inward popular. Anyways, it was swell to consider race issues existence discussed inward SOSP. 

Snowboard: Finding Kernel Concurrency Bugs through Systematic Inter-thread Communication Analysis

Finding concurrent inputs is challenging. Snowboard a tool for finding essence concurrency bugs. It analyzes potential retentivity communications (pmc). It finds pmcs, prioritizes pmcs, in addition to exam them to let on bugs.

Rudra: Finding Memory Safety Bugs inward Rust at the Ecosystem Scale (Distinguished Artifact Award)

This piece of occupation identified three põrnikas patterns inward "unsafe" Rust: panic security bug, higher companionship invariant bug, in addition to send/sync variance bugs.

Consistency

Witcher: Systematic Crash Consistency Testing for Non-Volatile Memory Key-Value Stores

NVM is hither to stay. Two original operations: even out performance writes dorsum a cache trouble to memory, ground performance provides ordering guarantee betwixt flushes. They did an NVM software survey, in addition to categorized things equally persistence ordering bugs, persistence atomicity bugs, in addition to persistence performance bugs. They use  rules for inferring probable correctness weather specific to NVM programming. They therefore travel output equivalence checking to validate a crashed state (this is non NVM specific). The tool takes programme in addition to test-case equally input, create an  llvm compiler pass, and  run instrumented bytecode.

Understanding in addition to Detecting Software Upgrade Failures inward Distributed Systems

There is a tradeoff betwixt condom versus fast upgrade. Developers travel canary deployment to gain roughly safety, precisely 20% of those accept add together 1000+ minutes to deployment. They did a report focusing on upgrade failures: 2/3 of upgrage failures were alone caugth afterwards software release. In 2/3rd of upgrade failures, the drive was information format in addition to information semantic incompatibilities. 20% of syntax incompatibilities are defined yesteryear serialization libraries or enum.

Crash Consistent Non-Volatile Memory Express

Databases

Cuckoo Trie: Exploiting Memory-Level Parallelism for Efficient DRAM Indexing

Cuckoo trie: an ordered index that exploits memory-level parallelism (mlp). Start amongst a trie, shop nodes inward a hash table, no pointers are needed, you lot tin read nodes inward parallel. https://youtu.be/_YmXL2gYzRI

Regular Sequential Serializability in addition to Regular Sequential Consistency 

Strict serializability guarantees full companionship of transactions: The companionship respects causality in addition to the companionship also respects roughly real-time: reads must render up-to-date values. They innovate regular sequential serializability (rss). Informally whatever application inv that holds amongst a strictly serializable service also holds amongst an rss service. https://youtu.be/GauK7QhaAEQ

Caracal: Contention Management amongst Deterministic Concurrency Control 

Share this post