https://highcloud100.github.io/A minimal, responsive, and powerful Jekyll theme for presenting professional writing. 2024-10-06T14:24:33+09:00 baekbumsung https://highcloud100.github.io/ Jekyll © 2024 baekbumsung /assets/img/favicons/favicon.ico /assets/img/favicons/favicon-96x96.png 2024-09-22T23:21:00+09:00 2024-09-22T23:21:00+09:00 https://highcloud100.github.io/posts/buffer-pool-manager/ highcloud100

0. bustup vscode setting 우분투 환경은 기본적으로 gcc, g++이 잡혀있다. 이를 clang14로 바꾸어야한다. // clang-14 선택해준다. sudo update-alternatives --config c++ sudo update-alternatives --config cc // make시에 simple test 안되면 sudo apt install libstdc++-12-dev https://stackoverflow.com/questions/26380407/cmake-clang-is-not-able-compile-a-simple-test-program-fedora-20 vscode extension에서 clangd를 설치해 사용한다. 이때 include ...

2024-09-01T19:17:00+09:00 2024-09-19T08:51:24+09:00 https://highcloud100.github.io/posts/HyperLogLog/ highcloud100

개요 이번 학기에 cmu의 db강의를 따라 들으려 한다. c++ 연습을 위한 과제가 바로 올라왔는데, HyperLogLog를 구현하는 과제이다. 이것도 못 풀면 강의 드랍하라는 것 같다. 과제 나오자마자 풀었는데, test를 계속 틀렸었다. 머리 박고 있었는데, test code의 값이 잘 못 올라와 있던 것이었다. test 업데이트와 동시에 task2도 추가되었는데, primer의 HLL 구현을 비스무리하게 만드는 것이다. 다만 이번에도 test case 병크를 터트려놔서 머리를 박았다. 구현이 깔끔하지는 않은 것 같다. 배열에 접근할 때 인덱스마다 락을 주면 좋을 거 같은데, 배열이 상당이 커서 mutex 범위를 정해야 할 거 같다. 귀찮아서 업데이트 전체를 mutex로 묶었...

2024-05-08T23:44:00+09:00 2024-09-29T00:31:23+09:00 https://highcloud100.github.io/posts/plan240508/ highcloud100

0. 현황, 듣고 있는 수업 토익 원트에 받을 만한 점수 받았다. 유튭 팁만 보다가 기출도 3회분 정도 풀고 간거 같다. 빨갱이 책은 산거 아까워서 다 풀었고, 파랭이 책도 아까워서 뒷부분만 다 풀어봤다. 컴파일러 솔직히 그냥 그렇다. 그냥 무미 건조하다. 아직 백엔드 부분을 다루지 않아서 그런지, 수업이 얕은 건지 감명 깊지는 않다. 보안 첨에는 재밌었는데 슬슬 물린다. 암호학만 다루다 보니, 뭔가 내용을 당연하다는 느낌으로 듣고 있다. 교수님이 이것저것 썰을 많이 알려주시는데, 대부분 알아서 입이 근질근질하다. 프로그래밍 언어 음 처음에는 ...

2024-05-07T22:24:00+09:00 2024-05-09T00:10:53+09:00 https://highcloud100.github.io/posts/tla+-setup/ highcloud100

1. Install vscode-tlaplus https://github.com/tlaplus/vscode-tlaplus/wiki/How-to-Install install extension install java sudo pacman -Syu yay jdk17-openjdk 2. Getting started https://github.com/tlaplus/vscode-tlaplus/wiki/Getting-Started squares.tla 파일을 만든다. snippet이 있다. module pluscal pluscal을 사용하고, 다음의 스펙을 적는다. ---- MODULE s...

2024-05-05T12:57:00+09:00 2024-09-29T00:31:23+09:00 https://highcloud100.github.io/posts/%EB%85%B8%ED%8A%B8%EB%B6%81-%EC%84%B8%ED%8C%85/ highcloud100

동기 이번 학기에는 mac mini m1을 사용했었다. 적응도 했고, 이래저래 꾸미고 잘 섰다. 다만 프로그래밍 언어 수업때 opam으로 coq 설치과정에서 gmp관련 컴파일 에러로 고생을 했다. 근본적으로는 해결을 하지 못했다. 대신 NIX를 이용해서 vscoq을 설치해 사용했다. 처음에는 잘 썼는데 다른 파일들을 모듈로 불러오는 부분이 작동을 안해 결국 coq에서 기본으로 주는 툴을 썼다. 생각해보니 열받아서 그냥 맥은 폐기했다. 시험기간이었어서 임시로 윈도우로 복귀했다. 시험이 끝나 endeavour OS를 세팅하여 쓰고 있다. 학교 교양 수업때나 인증작업 때문에 듀얼부팅으로 윈도우는 살려두었다. endeavour OS는 arch 계열이다. 3학년 초에 verilog로 cpu 설...