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
