운영체제 영어 표현 23개: crux·headway·copy-on-write

기술 문서를 읽으며 표시해 둔 표현은 사전 뜻만 적으면 실제 문장에 다시 쓰기 어렵다. 원래 목록의 운영체제·system design 맥락을 유지하면서 의미와 자연스러운 예문을 한 줄씩 정리했다.

문제와 진행 상황을 설명하는 표현

1. crux of the problem

문제의 가장 중요한 핵심을 뜻한다. crux는 보통 the crux of ...로 쓴다.

The crux of the problem is deciding who owns the shared state.

2. primitives

더 복잡한 기능을 만드는 기본 operation·building block이다. 무엇이 primitive인지는 language와 abstraction level에 따라 달라진다.

Locks and condition variables are synchronization primitives.

3. volatile

일반 영어에서는 빠르게 변하거나 불안정한 상태, 물질에서는 쉽게 기화하는 성질을 나타낸다. programming keyword volatile의 보장은 language마다 다르며 thread safety와 같은 말이 아니다.

The workload is volatile, so a single benchmark run is not representative.

4. make headway

일이나 문제 해결에서 진전을 이루다. headway는 이 뜻에서 보통 uncountable noun으로 쓴다.

We made headway after reducing the failure to a minimal test case.

5. be routed to

request·traffic·message가 특정 destination이나 handler로 전달되다.

Requests with that path are routed to the read-only service.

6. a fair bit of work

꽤 많은 작업이라는 informal한 표현이다.

Supporting both protocol versions requires a fair bit of work.

위치·순서·포함 관계를 나타내는 표현

7. atop

~의 바로 위에. 다소 문어적이며 technical prose에서는 on top of가 더 자연스러운 경우도 있다.

The scheduler is built atop lower-level timing primitives.

8. incorporate

idea·feedback·component를 포함해 하나로 만들다. business 문맥에서는 법인을 설립한다는 별도 뜻도 있다.

The revised design incorporates feedback from the incident review.

9. journaling

일반적으로는 일기 쓰기다. filesystem 문맥에서는 main structure를 바꾸기 전 update 정보를 journal에 기록해 crash recovery를 돕는 기법을 말한다.

The filesystem uses journaling to make metadata recovery more reliable after a crash.

10. copy-on-write

처음에는 data를 공유하고, participant가 page나 object를 수정할 때 private copy를 만드는 전략이다. Unix-like fork() 구현에서 memory page 복사를 늦추는 데 쓰이지만 모든 language object가 COW를 쓰는 것은 아니다.

After fork(), the parent and child can initially share pages through copy-on-write.

11. afterwards

그 후에. 이미 언급한 event 다음 순서를 나타내는 adverb다.

The process releases the lock and exits shortly afterwards.

난이도와 조건을 말하는 표현

12. tough and tricky

어렵고 세심한 판단이 필요하다는 informal한 조합이다.

Reproducing a timing-dependent bug can be tough and tricky.

13. given that

~라는 사실을 고려하면·~이므로. 판단의 전제를 소개한다.

Given that the input is untrusted, the parser must enforce a strict size limit.

14. abstractions

구현 세부를 감추고 필요한 interface와 concept만 드러내는 추상화들이다.

Good abstractions expose the required control without leaking every implementation detail.

15. logic gates

Boolean input을 받아 logical output을 만드는 digital circuit의 기본 요소다.

A processor is ultimately composed of logic gates and state elements.

16. build a processor out of gates without thinking too much about transistors

transistor-level detail은 한 단계 아래 abstraction으로 두고 logic gate 수준에서 processor를 구성한다는 뜻이다.

The course lets students build a processor out of gates without reasoning about every transistor.

17. strive

어려운 목표를 이루려고 꾸준히 노력하다. 보통 strive to do 또는 strive for로 쓴다.

We strive to keep the interface small and backward-compatible.

18. but not at any cost

목표는 중요하지만 어떤 희생도 감수하겠다는 뜻은 아니라는 제한을 붙인다.

We want lower latency, but not at any cost to correctness.

원인·복원력·설명의 깊이를 말하는 표현

19. arise in a number of forms

하나의 문제가 여러 형태로 나타나다.

Resource leaks can arise in a number of forms.

20. notice and tolerate

고정 idiom이라기보다 두 동작을 나란히 둔 표현이다. system 문맥에서는 fault를 감지하고도 service를 유지한다는 의미로 쓸 수 있다.

The controller should notice and tolerate a transient replica failure.

21. malicious or accidental

행동·손상이 악의적일 수도, 실수로 발생할 수도 있음을 함께 다룬다.

The validation protects the state from malicious or accidental corruption.

22. underlies

겉으로 드러난 현상의 기반이 되다. singular subject와 함께 쓰인 현재형이다.

A simple state machine underlies the protocol.

23. a richer treatment

더 자세하고 여러 측면을 포함하는 설명·논의를 뜻한다.

The next chapter provides a richer treatment of crash consistency.

trap 관련 표현을 별도로 묶은 글은 trap into kernel·trap table·return-from-trap, 다음 학습 목록은 system design 영어 표현으로 이어진다.

참고 자료

• OSTEP: Operating Systems — Three Easy Pieces
• Linux man-pages: fork(2)
• Cambridge Dictionary: headway
• Cambridge Dictionary: incorporate