VOID001's Fav List
Photo
中文简介: Skeena - 高效且一致的交叉引擎事务处理机制
这篇 work 着眼于解决异构数据库引擎下事务处理的机制，我们通过实现一个中心化的 Registry 对不同 Transaction 的快照进行 Track ，在跨引擎事务执行的时候，根据 Registry 中的信息，对当前应该拿到的快照进行调整，从而保证事务的隔离级别不受到影响。
论文链接 TBD
这篇 work 着眼于解决异构数据库引擎下事务处理的机制，我们通过实现一个中心化的 Registry 对不同 Transaction 的快照进行 Track ，在跨引擎事务执行的时候，根据 Registry 中的信息，对当前应该拿到的快照进行调整，从而保证事务的隔离级别不受到影响。
论文链接 TBD
Reading Notes of Google BigTable
https://github.com/VOID001/distributed-consensus-reading-list/tree/master/google-bigtable
#notes #database #paper
https://github.com/VOID001/distributed-consensus-reading-list/tree/master/google-bigtable
#notes #database #paper
GitHub
distributed-consensus-reading-list/google-bigtable at master · VOID001/distributed-consensus-reading-list
A list of papers about distributed consensus. Contribute to VOID001/distributed-consensus-reading-list development by creating an account on GitHub.
VOID001's Fav List
Paxos by Lamport https://lamport.azurewebsites.net/pubs/paxos-simple.pdf #paper #distributed_system
Going to finish the reading notes in these days
C++ Thread Safety Analysis
https://static.googleusercontent.com/media/research.google.com/en//pubs/archive/42958.pdf
#paper #cpp #concurrency
https://static.googleusercontent.com/media/research.google.com/en//pubs/archive/42958.pdf
#paper #cpp #concurrency
VOID001's Fav List
Going to finish the reading notes in these days
https://github.com/VOID001/distributed-consensus-reading-list/blob/void001-paxos-reading-new/paxos-made-simple/notes.md 之前的阅读笔记，对 Paxos 还很不熟悉，欢迎大家批评 和 comment
GitHub
distributed-consensus-reading-list/notes.md at void001-paxos-reading-new · VOID001/distributed-consensus-reading-list
A list of papers about distributed consensus. Contribute to VOID001/distributed-consensus-reading-list development by creating an account on GitHub.
https://void-shana.moe/posts/recover-my-blog 博客终于恢复了部分 content，后续迁移到 Static Site 了
void-shana.moe
Recover My Blog
TL;DR
Github now supports following organizations!
https://docs.github.com/en/get-started/exploring-projects-on-github/following-organizations
#blog #github #collaboration
https://docs.github.com/en/get-started/exploring-projects-on-github/following-organizations
#blog #github #collaboration
GitHub Docs
Following organizations - GitHub Docs
You can follow organizations on GitHub to receive notifications about their activity.
👍4
Two Hard Things
> Recommended by Hu
https://martinfowler.com/bliki/TwoHardThings.html
我最喜欢的一个是:
There are only two hard problems in distributed systems: 2. Exactly-once delivery 1. Guaranteed order of messages 2. Exactly-once delivery
> Recommended by Hu
https://martinfowler.com/bliki/TwoHardThings.html
我最喜欢的一个是:
There are only two hard problems in distributed systems: 2. Exactly-once delivery 1. Guaranteed order of messages 2. Exactly-once delivery
martinfowler.com
bliki: Two Hard Things
There are only two hard things in Computer Science: cache invalidation and naming things -- Phil Karlton (bonus variations on the page)
❤3
Project Pockit, the modular computer
https://pockit.ai/
#iot #hardware #raspi #project
可以看看这个视频 https://youtu.be/b3F9OtH2Xx4
https://pockit.ai/
#iot #hardware #raspi #project
可以看看这个视频 https://youtu.be/b3F9OtH2Xx4
YouTube
Pockit: A tiny, powerful, modular computer (2022 demo)
• Project details + signup at http://pockit.ai
• This video is a demo of modular electronics with Pockit as of March 2022, after several upgrades in the recent months based on the community's feedback.
• Discussion group: http://reddit.com/r/pockit
• This video is a demo of modular electronics with Pockit as of March 2022, after several upgrades in the recent months based on the community's feedback.
• Discussion group: http://reddit.com/r/pockit
https://github.blog/2022-03-31-how-github-does-take-home-technical-interviews/
Github 也采用 TakeHome 的 Programming Task 作为面试考核的一部分, 使用 Github 的 Bot 功能，将应聘人的提交匿名化并提供打分参考
#blog #misc
Github 也采用 TakeHome 的 Programming Task 作为面试考核的一部分, 使用 Github 的 Bot 功能，将应聘人的提交匿名化并提供打分参考
#blog #misc
The GitHub Blog
How GitHub does take home technical interviews
We want to evaluate how well candidates can code, and we also want to ensure candidates can show their talents in a fair and unbiased manner.
VOID001's Fav List
中文简介: Skeena - 高效且一致的交叉引擎事务处理机制 这篇 work 着眼于解决异构数据库引擎下事务处理的机制，我们通过实现一个中心化的 Registry 对不同 Transaction 的快照进行 Track ，在跨引擎事务执行的时候，根据 Registry 中的信息，对当前应该拿到的快照进行调整，从而保证事务的隔离级别不受到影响。 论文链接 TBD
Skeena: Efficient and Consistent Cross-Engine Transactions
To appear at SIGMOD 2022
Preprint URL: https://arxiv.org/abs/2108.00632
#paper #sigmod #database #transaction
To appear at SIGMOD 2022
Preprint URL: https://arxiv.org/abs/2108.00632
#paper #sigmod #database #transaction
👍4
What is the “branch coverage” of gcov?
https://gcovr.com/en/stable/faq.html#why-does-c-code-have-so-many-uncovered-branches
#cpp #compiler #testing
https://gcovr.com/en/stable/faq.html#why-does-c-code-have-so-many-uncovered-branches
#cpp #compiler #testing
现代化的终端 - Warp
Warp is a fully native, GPU-accelerated, Rust-based terminal. No Electron or web-tech. 60fps on 4K screens.
https://www.warp.dev/
#project #dev
Warp is a fully native, GPU-accelerated, Rust-based terminal. No Electron or web-tech. 60fps on 4K screens.
https://www.warp.dev/
#project #dev
Warp
Warp: The Agentic Development Environment
Warp is the platform for agentic development — a modern terminal and cloud agent platform used by 700K+ developers at leading enterprises. Explore docs, features, pricing, and more.
A Pratical Multi word Compare And Swap Operation
https://www.cl.cam.ac.uk/research/srg/netos/papers/2002-casn.pdf
#paper #concurrency
https://www.cl.cam.ac.uk/research/srg/netos/papers/2002-casn.pdf
#paper #concurrency