봉황대 in CS

ACID는 데이터베이스의 transaction이 안전하게 수행되는 것을 보장하기 위해서 가져야 하는 특성들을 말한다. Atomicity ensures that either all all the effects of a transaction are reflected in the database, or none are;a failure cannot leave the database in a state where a transaction is partially executed. (All or nothing)Consistency ensures that if the database is initially consistent,the execution of the transaction (by itself) leaves..

현재 진행하고 있는 연구는 특정 workload에서, thread의 개수가 증가하면 performance(이 연구에서는 throughput)도 같이 좋아지는 scalable 한, 그리고 lock-free로 동작하는 스토리지 시스템을 설계하는 것이다. 따라서 multi-threaded 환경에서 발생하는 concurrency issue들을 '매우 잘' 해결해야 한다. 이 '매우 잘'에는 수많은 내용이 함축되어 있는데.. n달 동안 내가 설계한 것을 구현하고, 디버깅하고, 디버깅 완료하면 또 다른 문제를 마주하고, 디자인 변경하고, 더 큰 문제를 마주해서 다시 이전 버전으로 되돌아가고, 다시 디버깅하고, ... 이러한 작업을 계속 진행하고 있다.  문제는, 어떠한 이슈를 마주하고 디버깅을 진행할 때마다 매번 ..

PPoPP '20 XIndex | Proceedings of the 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel ProgrammingPPoPP '20: Proceedings of the 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming February 2020 454 pages Copyright © 2020 ACM Permission to make digital or hard copies of all or part of this work for personal or classroom use isdl.acm.org Learned IndexThe ..