Rust · 소유권과 수명
이동과 대여, 수명 관계, Send·Sync의 경계를 다룬다. 메모리 안전성과 공유 상태의 설계는 함께 검토한다.
SOFTMOA / LAB
기술연구소
언어의 구조부터 모델 연산,
분산 데이터와 물리적 시스템까지.
LANGUAGES & RUNTIMES
언어 · 런타임
타입이 보장하는 범위, 메모리가 살아 있는 시간, 코드가 실행되는 방식.
Kotlin · 구조적 동시성
코루틴의 수명, 취소 전파, 예외 처리를 호출 구조와 연결한다. 중단 가능한 작업과 블로킹 작업을 구분한다.
Java · JVM
JIT 컴파일, 힙 할당, GC 정지 시간과 메모리 가시성을 살핀다. 처리량뿐 아니라 긴 응답 지연의 원인을 추적한다.
C++ · 자원과 메모리
RAII, 이동 의미론, 객체 수명과 메모리 배치를 다룬다. 추상화 비용과 캐시 지역성을 함께 확인한다.
TypeScript · 타입 설계
제네릭, 조건부 타입, 판별 유니온으로 상태를 표현한다. 외부 입력은 정적 타입과 별도로 실행 중 검증한다.
컴파일러 · LLVM · WebAssembly
AST에서 중간 표현으로 이어지는 변환과 최적화 패스를 다룬다. FFI 경계의 데이터 표현과 호출 비용도 살핀다.
검토 기준
컴파일 단계의 보장과 실행 중 검증은 어디에서 나뉘는가?
WEB & INTERACTION
웹 · 인터랙션
컴포넌트의 경계에서 브라우저의 실행 비용과 사용자의 입력까지.
React · 상태의 소유권
컴포넌트 합성, 상태의 수명과 파생 데이터를 구분한다. 불필요한 Effect와 재렌더링이 생기는 연결을 살핀다.
브라우저 · 실행 모델
이벤트 루프, 마이크로태스크, 레이아웃과 페인트를 다룬다. 긴 작업을 나누고 입력 반응성을 확인한다.
렌더링 · 캐시
서버·브라우저 렌더링의 경계와 초기 HTML을 살핀다. 페이지와 데이터의 캐시 수명, 갱신·무효화 조건을 구분한다.
대규모 인터페이스
가상화 목록, 증분 로딩, Worker 연산을 다룬다. DOM 크기와 메모리 사용량, 스크롤 위치 보존을 함께 본다.
실시간 통신
SSE와 WebSocket의 연결 수명, 재접속, 순서와 중복을 다룬다. 느린 소비자와 연결 단절 이후의 복구가 검토 대상이다.
접근성 · 상호작용
키보드 이동, 초점 관리, 스크린리더와 감소된 모션 환경을 고려한다. 오류·로딩·빈 상태도 화면 계약에 포함한다.
검토 기준
데이터가 많아지고 응답 순서가 달라져도 화면의 상태가 일관적인가?
참고 자료React의 상태 설계 (새 창)
MODELS & COMPUTATION
AI · 딥러닝
모델 이름보다 데이터의 조건, 학습의 재현성, 추론의 비용과 오류.
데이터셋 · 평가 분리
중복과 데이터 누출, 라벨 품질, 분포 변화를 다룬다. 시간 순서가 있는 데이터는 미래 정보가 섞이지 않도록 분리한다.
Transformer · 어텐션
토큰화와 위치 표현, 어텐션 연산의 메모리 비용을 살핀다. 문맥 길이와 배치 크기에 따른 자원 변화를 비교한다.
분산 학습 · FSDP
모델 상태의 분할과 통신 비용, 혼합 정밀도와 체크포인트를 다룬다. 장치 수를 늘렸을 때의 병목을 구분한다.
미세조정 · LoRA
학습 가능한 파라미터의 범위와 데이터 구성을 다룬다. 과적합, 기존 능력의 변화, 작업별 평가 기준을 함께 살핀다.
검색 증강 · 벡터 검색
문서 분할, 임베딩, 후보 검색과 재정렬을 구분한다. 검색된 근거와 생성된 답변의 품질을 따로 평가한다.
추론 · GPU 메모리
양자화, KV 캐시, 배치 처리와 커널 실행을 다룬다. 첫 응답 시간·토큰 처리량·정확도의 변화를 같은 조건에서 본다.
검토 기준
같은 평가 조건에서 품질·지연·메모리 비용을 함께 비교할 수 있는가?
참고 자료PyTorch 분산 학습 (새 창)
DISTRIBUTED SYSTEMS
분산시스템 · 동시성
한 번의 성공보다 어려운 문제는 부분 실패와 동시에 일어나는 변경이다.
합의 · 복제
Raft의 리더 선출과 로그 복제, 쿼럼을 살핀다. 네트워크 분할 중 가용성과 일관성의 경계를 구분한다.
이벤트 · 메시지 전달
Outbox, 멱등 키, 재처리와 순서 보장을 다룬다. 전달 보장과 업무 처리의 중복 방지는 별개의 문제로 본다.
동시성 · 원자성
락, CAS와 메모리 순서, 경쟁 상태를 다룬다. 단일 연산의 원자성이 전체 작업의 원자성을 뜻하지 않음을 점검한다.
부하 제어
백프레셔, 동시 실행 한도, 큐와 속도 제한을 다룬다. 과부하가 시스템 전체로 번지는 경로를 살핀다.
분산 트랜잭션
서비스 경계의 일관성과 보상 작업을 다룬다. 타임아웃으로 성공 여부가 불명확한 요청의 재시도 조건을 정의한다.
시간 · 장애 탐지
벽시계와 단조 시계, 타임아웃과 리스의 차이를 다룬다. 느린 노드와 중단된 노드를 구별하기 어려운 조건을 검토한다.
검토 기준
중복·지연·단절이 발생해도 지켜야 할 불변 조건은 무엇인가?
참고 자료Raft 논문과 시각화 (새 창)
DATA & BUSINESS SYSTEMS
전산시스템 · 데이터
업무 규칙을 상태와 제약으로 표현하고, 변경 이후에도 데이터의 의미를 보존한다.
도메인 · 상태 전이
업무의 불변 조건, 허용된 상태 변화와 예외를 다룬다. 화면 편의와 영속 데이터의 제약을 구분한다.
MVCC · 격리 수준
스냅샷과 동시 수정, 잠금 경합을 살핀다. 격리 수준에 따라 달라지는 읽기·쓰기 결과와 재시도 조건을 다룬다.
인덱스 · 실행 계획
선택도와 복합 인덱스, 조인과 정렬 비용을 다룬다. 작은 샘플에서 빠른 쿼리가 실제 분포에서도 유효한지 확인한다.
스트림 · CDC
변경 데이터 수집, 이벤트 시간과 지연 도착을 다룬다. 재시작 지점과 중복 제거, 스키마 변화의 영향을 살핀다.
스키마 · 호환성
여러 버전의 코드가 함께 실행되는 동안의 변경을 다룬다. 확장 후 이전, 제약 적용과 롤백 가능성을 구분한다.
권한 · 감사
행위자와 데이터 접근 범위, 변경 이력을 다룬다. 화면의 표시 여부와 서버의 권한 검증을 분리한다.
검토 기준
실패한 작업을 다시 실행해도 같은 업무 결과가 유지되는가?
HARDWARE & INFRASTRUCTURE
하드웨어 · 서버
연산은 장치 위에서 실행된다. 메모리·스토리지·네트워크와 운영 조건까지.
CPU · 메모리 계층
캐시 지역성, SIMD, NUMA와 false sharing을 다룬다. 코어 수와 메모리 대역폭 중 실제 병목을 구분한다.
GPU · 병렬 연산
스레드 블록, 메모리 접근과 호스트·장치 간 전송을 살핀다. 연산량과 데이터 이동 비용을 함께 계산한다.
Linux · 관측
프로세스와 스레드, 스케줄링, 시스템 호출과 I/O 대기를 다룬다. 프로파일과 로그를 연결해 지연 원인을 추적한다.
스토리지 · 복구
쓰기 지연, 동기화, 복제와 백업의 차이를 다룬다. 저장 여부뿐 아니라 복원 가능한지 확인하는 절차를 살핀다.
네트워크 · 보안 경계
TCP 연결과 TLS, 역방향 프록시와 네트워크 격리를 다룬다. 재연결 폭증과 연결 한도, 신뢰 경계를 확인한다.
배포 · 자원 운영
컨테이너 자원 제한, 불변 릴리스와 롤백, 전력과 냉각을 다룬다. 정상 상태와 장애 시의 운영 경로를 함께 설계한다.
검토 기준
평균 부하가 아닌 포화 상태와 복구 과정에서도 설계가 유효한가?
참고 자료Linux 커널 문서 (새 창)
IN DEVELOPMENT
현재 개발 중
개발 중
주식 데이터 도구
시세 수집과 실시간 전달, 회원별 관심종목과 지정가 알림을 연결하는 도구.
- 현재가·시초가·장중 고저가
- SSE 연결과 재연결
- 고정 티커와 Telegram 알림
구현 과정에서 정리한 내용기술문서 보기
게임 데이터 분석 결과물서풍의 광시곡 지역 지도
