Effective Java – 9. Exceptions

* Item 57: 예외적인 상황에서만 exception을 사용해라.

* Item 58: 회복할 수 있는 상황에서는 checked exception을 프로그래밍 오류인 경우는 runtime exception을 사용해라.
   - 3가지 종류의 throwables
     + checked exceptions
     + runtime exceptions
     + errors
   - checked exceptions을 던지는 것은 호출자가 예외를 처리하도록 강제하는 것
   - 프로그래밍 오류를 나타내기 위해 runtime exception을 사용해라
     + 대표적인 것: precodition violations
   - Error 로 부터 상속받지 마라
     + unchecked throwables 만드려면 RuntimeException를 subclassing 해라
   - Exception object에 필요한 메소드를 정의해서 노출해라
     + Message를 파싱하게 하지 마라.
   - checked exception을 복구 가능한 경우이니, client가 복구할 수 있는 정보를 exception에서 제공해 주는게 좋다.
* Item 59: 불필요한 checked exception 사용 금지
   - checked exception이 유용하지만, 남용하지 마라.
   - API를 잘 사용한다고 해서 예외 상황을 피해갈 수 없고,
     예외 상황일 때 client가 유용한 행위를 할 수 있는 경우
     이 경우에만 checked exception을 사용해라. 이외의 경우는 unchecked exception
* Item 60: 표준 예외를 주로 사용해라.
   - exception도 재사용하면 된다.
   - 장점
     1. API 사용자가 배우기 쉽다.
     2. API를 사용하는 프로그램이 읽기 쉬워진다.
     3. exception class가 적으면 메모리 사용량이나 클래스 로딩 시간이 줄어든다.
   - 주로 사용하는 class
     + IllegalArgumentException
     + IllegalStateException
     + NullPointerException
     + IndexOutOfBoundsException
     + ConcurrentModificationException
     + UnsupportedOperationException
   - 어떤 exception을 재활용할지는 정답 없는 문제이다.
* Item 61: 적절히 추상화해서 예외 던저라.
   - higher layer는 lower-level 예외를 catch 한 후 추상화해서 throw 해라
   - exception translation 이라고 한다.
   - exception chaining : lower-level exception을 감싸서 새로 exception을 던지는 경우
     Throwable.getCause로 lower-level exception을 얻을 수 있다.
   - exception translation을 과도히 사용 마라.
* 62: 메소드가 던지는 모든 예외를 문서화 해라
   - checked exception을 개별적으로 선언하고, 각각 언제 발생하는지 @throws tag로 문서화해라.
   - 발생할 수 있는 unchecked exception도 문서화 하는게 좋지만, throws 에 넣지는 마라.

Clean Code – 7. Error Handling

Refactoring

* Replace Error Code with Exception
* Replace Exception with Test

사용한 소스는 아래와 같으니 한번 사용해보심이~? ^^

@namespace url(http://www.w3.org/1999/xhtml);
@-moz-document url-prefix('http://docs.oracle.com/javase/tutorial/') {

    #PageTitle h1 {
        font-family: georgia, serif !important;
        font-size: 24px !important;
    }
    #PageContent {
        font-size: 18px !important;
    }
    #PageContent h2, #PageContent h3, #PageContent h4, #PageContent h5 {
        font-family: georgia, serif !important;
    }
    #PageContent h2 {
        font-size: 22px !important;
    }
    #PageContent h3 {
        font-size: 20px !important;
    }
    #PageContent h4 {
        font-size: 18px !important;
    }
    #PageContent, #PageContent a {
        line-height: 1.6 !important;
        font-family: georgia, serif !important;
    }
    #Footer2 {
        display:none;
    }
    .FigureCaption {
        text-align: inherit !important;
        font-family: inherit !important;
    }
    
    @media (max-width: 1024px) {
    
        #MainFlow {
            margin-left: 20px !important;
        }
        #LeftBar {
            display: none;
        }
    }
}

역시 책 읽기는 큰 글씨에 Serif 체가 좋은거 같다.

빌드랑 상관없는 거지만 일단 ctrl키를 caps lock 키로 변경해서 사용하기롬 함.

그동안 cocoa로 빌드해서 Mac Application으로 사용했었는데, terminal 버전으로 사용하는것으로 시도. 몇 가지 문제가 있지만 가장 큰 문제점은 한글 폰트. 고정크기폰트를 사용할 때 문자 간격을 조정할 수 없어, 한글 폰트의 경우 크기를 키우는 수밖에 없는데 무척 보기 싫었다.

두번째는 한글 입력 문제. 문론 leim을 이용하면 전혀 문제가 없긴 한데, shift-space나 command-space를 이용할 수 없고, 시스템의 IME와 emacs의 한영 변환이 서로 꼬이면 입력시 구찮은 문제들이 발생.

cocoa 옵션을 빼고 빌드(brew install emacs)한 후 terminal에서 사용해 보니, 일단 alt(option)키가 안먹어서 ESC를 사용해야 하고, command도 안먹는데, 복사/붙여넣기가 불편. 이건 방법을 찾아봐야 겠다.

조직에 있는 사람은 누구나 권한이 없어서 어떤 일을 못한다고 한다. 하지만 권한은 누가 주는 것도 아니고 직급이 올라간다고 해서 생기는 것도 아니다. 자기가 가진 책임만큼이 자기의 권한이다.

권한이 많아지려면 책임을 많이 져야 한다는 뜻.

누구도 책임지지 않고 권한도 없어 보이는 업무 영역은 어떻게 할 것인가? 내 업무 영역을 확장하면 이러한 영역의 일에 대한 권한이 나에게 생긴다.

아래 그림을 보면 확실해 진다.

얘기한 내용과 동일한 워딩은 아니겠지만 이렇게 난 이해했다. 그런데, 이런 얘기들은 모두 일에 대한 열정과 동기가 충만한 사람들에게만 해당될 것이다. 사실 일을 하다 보면 그렇지 않은, 그냥 월급을 받기 때문에 일을 하는 사람들이 많아 보인다.

Processes Have File Descriptors

모든 것(file, socket, pipe 등)이 다 파일이다. 프로세스에서 리소스를 열면 file descriptor number를 부여한다. 연 프로세스에서만 사용할 수 있고, 프로세스가 죽으면 닫힌다. file descriptor는 열린 파일에 대해서만 의미 있음(open file descriptor number). 닫으면 사라진다(?). 처음으로 파일을 열면 file descriptor number가 3인데, 0, 1, 2는 STDIN, STDOUT, STDERR 이다.

Processes Have Resource Limits

하나의 프로세스가 열수 있는 파일 수에는 제한이 있다. Process.getrlimit(:NOFILE) 결과는 soft limit과 hard limit. soft limit은 실제 한계가 아니다. 예외 발생하지만 조절할 수 있다. hard limit값은 Process::RLIM_INFINITY과 동일한 값이 나온다. 즉, 무한대 의미. Process.setrlimit으로 limit 조절할 수 있는데 조절할 수 있는 리소스 종료는 문서 참조. httperf에서 부하를 주기 위해 동시 접속 수를 늘리기 위해 사용. 외부 코드가 실행될 때 리소스 사용을 제한하기 위해 사용.

TYPO : Process::RLIMIT_INFINITY => Process::RLIM_INFINITY

Process Have an Environment

Environment는 환경 변수 의미한다. 모든 프로세스는 부모 프로세스로부터 환경 변수 상속 받는다. ENV는 hash 같지만 사실 hash가 아니므로 모든 Hash API를 사용할 수 있다고 생각하지 마라(ruby에서 얘기인듯).

Process Have Arguments

모든 프로세스에는 ARGV라는 speical array가 있다. 프로그래밍 언어별로 다르게 구현. 어쨌든 비슷한게 있음. 프로세스가 실행할 때 전달된 arguments를 담고 있다. ARGV는 배열이다(ruby).

Process Have Names

모든 프로세스는 이름을 가지며 변경할 수 있다. $PROGRAM_NAME(ruby). irb에서 값 변경하고 shell에서 ps 실행하면 변경된거 확인할 수 있다.

Process Have Exit Codes

전통적으로 종료 코드 0은 정상 종료를 의미. ruby 얘기. exit는 정상 종료(0), 종료 전에 at_exit 블럭을 실행한다. exit!는 비정상 종료(1). at_exit 블럭을 실행 안함. abort는 비정상 종료(1), 종료 전에 at_exit 블럭을 실행. exit!와 abort 뭐가 다른거? at_exit 블럭 실행 여부? 마지막으로 raise 예외를 처리 안하기.

Process Can Fort

실행중인 프로세스가 새로운 프로세스를 만드는 것. 새로운 프로세스는 원 프로세스의 복사본이다. fork된 자식 프로세스는 fork 시점에서 부모 프로세스가 사용하는 메모리와 file descriptor를 복사받아 공유할 수 있다. fork는 아주 빠르게 실행된다. fork로 만들어진 자식 프로세스가 해당 프로그램을 처음부터 다시 실행하는 것은 아님. 생성 상태에서 자식 프로세스로 실행된다. 책의 예제에서, 자식 프로세스는 if 앞에 있는 puts를 실행하지 않음. 멀티 코어 CPU에서 fork할 경우 모두 다른 core에서 프로세스가 실행된다고 보장할 수 없음.

Orphaned Processes

부모가 종료된 자식 프로세스들. 쉘에서 프로그램 실행하고 이놈이 자식 프로세스 생성했는데, Ctrl-C 해서 부모 프로세스 죽으면 자식은? 부모가 죽어도 자식은 암 영향 없이 계속 실행된다. 고아 프로세스 관리는? 일단 2가지 개념부터 – 데몬은 의도된 orphaned 프로세스다. 유닉스 시그널을 이용해 프로세스간 통신할 수 있다.

Processes Are Friendly

fork 하면 메모리를 그대로 복사하는데 성능 문제가 있을 수 있다. 최신 유닉스에서는 CoW(copy-on-write) semantic을 사용하는데, 부모로부터 상속받은 메모리 영역을 수정하는 순간에 복사하는 기법. 문제는… MRI(ruby 참조 구현체), Rubinius(ruby 플랫폼, ruby 코드로부터 byte code 생성)는 CoW 지원하지 않는다. Ruby Enterprise Edition에서는 지원한다. fork를 많이 써야 하는 상황이면 Ruby Enterprise Edition 사용을 고려해라.

http://blog.hawkhost.com/2010/06/28/tmux-the-terminal-multiplexer/

var x = 10;
console.log(typeof window.x, window.x, typeof x, x); // > number 10 number 10
delete x;                                            // > 안지워진다.
console.log(typeof window.x, window.x, typeof x, x); // > number 10 number 10

var x = 10;
console.log(typeof window.x, window.x, typeof x, x); // > number 10 number 10
delete window.x;                                     // > 안지워진다.
console.log(typeof window.x, window.x, typeof x, x); // > number 10 number 10

window.x = 10;
console.log(typeof window.x, window.x, typeof x, x); // > number 10 number 10
delete x;                                            // > 지워진다.
/* console.log(x); */                                // > ReferenceError: x is not defined
console.log(typeof window.x, window.x, typeof x);    // > undefined undefined undefined

window.x = 10;
console.log(typeof window.x, window.x, typeof x, x); // > number 10 number 10
delete window.x;                                     // > 지워진다.
/* console.log(x); */                                // > ReferenceError: x is not defined
console.log(typeof window.x, window.x, typeof x);    // > undefined undefined undefined

'use strict' 사용하자!!!

eshell에서의 sudo는 elisp으로 구현된 명령(built-in command)이다. Unix sudo를 실행하려면 *sudo를 실행하면 된다. 바로 보이겠지만, foo가 eshell built-in command이면 동일한 이름의 unix 명령어는 *foo로 실행하면 된다. Built-ins – Eshell: The Emacs Shell 참고.

암튼, sudo find-file /etc/hosts 하면 파일은 열리는데 저장할 수가 없다. 열릴 때 부터 read-only 이다. 어떻게 해야 할까?

해결책

find-file /sudo::/etc/hosts 하면 된다. 원격 접속을 위한 Tramp를 이용한 방법. 좀 번거롭긴 하지만, 일단 방법을 찾았으니 OK. 참고로 tramp stands for `Transparent Remote (file) Access, Multiple Protocol’. This package provides remote file editing, similar to Ange-FTP 임.

5. *Oh My Gawd*: It’s Full of Stars

제1계명 :
When recurring on a list of atoms, lat, ask two questions about it: (null? lat) and else.
When recurring on a number, n, ask two questions about it: (zero? n) and else.
When recurring on a list of S-expressions, l, ask three question about it: (null? l), (atom? (car l)), and else.

제4계명 :
되풀이하는(recurring) 동안 항상 하나 이상의 인자(argument)를 변경해라. Atom의 리스트 lat를 되풀이 할 때는 (cdr lat)를 사용해라. 숫자 n을 되풀이 할 때는 (sub1 n)를 사용해라. S-expression의 리스트 l을 되풀이 할 때는, (null? l)도 아니고 (atom? (car l))도 아닌 경우에 (car l)와 (cdr l)를 사용해라.
인자는 종료에 가까워지도록 변경되어야 한다. 인자는 종료 조건에 맞는지 다음과 같이 검사하면 된다.
cdr를 사용할때는 null?로 검사하고,
sub1을 사용할때는 zero?로 검사해라.

6. Shadows

제7계명 :
같은 성질을 가진 subparts에 대해 되풀이해라.
- 리스트의 하위리스트
- Arithmetic expression의 하위 표현식(subexpression)

제8계명 :
표현을 추상화하기 위해 도움 함수를 사용해라. Use help functions to abstract from representations.

8. lambda the Ultimate

제9계명 :
공통된 패턴을 새로운 함수로 추상화해라. Abstract common patterns with a new function.

제10계명 :
한 번에 하나 이상의 값을 수집하는 함수를 만들어라. Build functions to collect more than one value at a time.

multiremberEco 함수. 조건에 맞으면 두번째, 틀리면 첫번째 인자로 주어진 collector(continuation)을 실행한 결과를 반환. continuation이라고 나오는데 이게 FP에서 얘기하는 continuation인지??? 오…

9. … and Again, and Again, and Again, …

• partial function : 인자값에 따라 결과가 나오지 않을수도 있는 함수
• total function : 어떤 인자가 들어와도 결과값이 나오는 함수

어떤 함수가 partial 인지 total 인지 알 수 없다. – 불완정성 원리, 괴델
아래는 예제.

(define eternity (lambda (x) (eternity x)))
;; will-stop?은 인자(함수)가 full function 인지를 판별하는 함수이다.
(define last-try
  (lambda (x)
    (and (will-stop? last-try)
         (eternity x))))

중간에 애커만 함수 언급. 애커만 함수는 total computable function이지만 primitive recursion이 아닌 가장 단순한 형태의 함수 중 하나. 모든 primitive recursion function은 total computable function이지만, 애커만 함수처럼 모든 total computable function이 항상 primitive recursion function인 것은 아니다.

음… 이상하다. total computable function은 위의 total function을 의미하는것 같은데, 애커만 함수는 total function이 아니다. 뭔가 잘못 이해하고 있음…ㅠㅠ

뒷 부분은 recursion 이 무엇인가에 대한 얘기. 최종적으로 applicative-order Y combinator를 만든다. Y combinator는 Fixed-point combinator 중 하나인데, fixed-point… 다시!