area 1
- 알고리즘 시그마 1~ i4 까지 타이트를 로우 빅오 사용하여 증명
- 각 레벨의 맥시멈 노드의 수 증명
높이 몇일때 최대 노드의 수 증명
- 정수 4개일때 최소 비교 횟수로 소팅 해라
- 그래프 사이클 찾는 알고리즘
- right linear 로 AB* U C* 인거 그래머로 적기
- 1~3개 문제 펌핑 렘마 사용하여 증명 혹은 오토마타로 그려서 regular 에 속한다고 증명 하기
area 2
boolean algebra 의 정의
boolean algebra 와 ordinary algebra 의 차이
카르노프의 맵
시덮지 않은 JK 플립 플롭 2개 있는 회로가 있고 이것의 오토마타 그리기 Moore 머신으로
이것들 JK 플립 플롭 1개로 만들 수 있나
- Machine Language Like 한 프로그램 만들기. 코드 주고. 스앞 함수 호출하는 부분 있고 파라미터 패싱을 설명해야함.
- DMA 계산하는 문제
- Page 크기가 작을때의 장점과 단점
- 외부 단편화는 무엇이며 TLB 를 사용하여 어떻게 해결? 그리고 내부 단편화와 외부 단편화 대조,,
-
- 2 32 승 이 총 가상 메모리 크기, 2 18 승이 총 실제 메모리 크기 이다. 페이지 크기가 4096(2 12승) 일때 메모리 115324221412 (대략 이정도) 주소를
실제 메모리 주소로 매핑 하면 어떻게 되나.
- Mutual Exclusion 에서 Bounded Waiting, Progress, Mutual Exclusion 이 아닌것 하나를 고르기
- Corutine, CoProcess, IPC 에 관해서..
- Pass by name, Pass by reference, pass by name
- 자잘 자잘 한 퀴즈들
4.2 way assoiate 캐시에서 히트 되었나 안되었나, 뭐 그러고 구조 그리고 각 index, tag, byte offset 등 요소 알아 맞추기
area 3
- 어떤 경우에 counting semaphore 를 쓰는지,,
- pointer restrict 관련 문제
10 Dynamic Scoping 에서 Static type 체킹을 했을때 어떤 문제 가 발생하는가
- Weakest precondition 관련 문제
- Denotational semantics
