들어가기 전이 글은 프로그래밍 러스트를 공부하며 작성한 글입니다. 간단 요약클로저클로저는 익명 함수다. 따라서 각 클로저마다 서로 다른 별개의 타입을 가진다.클로저는 값을 캡쳐할 수 있고, 다른 함수에게 인자로 전달될 수 있다.클로저의 종류 (메모리 관점)포착 클로저 : 변수가 캡쳐되기 때문에 스택 프레임에서 구조체 형식으로 관리됨.비포착 클로저 : 컴파일러가 함수 포인터처럼 변경해 줌. 클로저의 종류빌리는 클로저 : 캡쳐된 변수의 소유권을 Borrow해서 가진다. 클로저를 선언하면 된다. 캡쳐된 변수가 Copy, Clone Trait을 구현했다고 해서 값을 바로 가지지는 않을 수도 있다. 예를 들어 i32를 Borrow 할 땐, &i32를 캡쳐하고 있다가 필요한 시점에 Copy를 하도록 구현되어있다. ..
들어가기 전트래픽에 대한 ACL을 관리하는 모델로는 크게 Stateless ACL과 Stateful ACL이 존재한다. 이 게시글에서는 개발자 관점에서 해당 토픽에 대해 비교해서 알아보려고 한다.Stateful ACLStateful ACL은 특정 패킷이 들어왔을 때 패킷을 처리할 때의 '상태'를 기억하고, 다음에 들어오는 패킷을 처리할 때 이전에 기억해두었던 '상태'를 바탕으로 패킷을 처리하는 모델을 의미한다. Stateful ACL이 전반적으로 동작하는 형태는 다음과 같다.패킷이 들어오면 패킷으로부터 5-Tuple(SRC IP/Port + DEST IP/Port + Protocol)을 추출한다.5-Tuple에 대해 ACL Rule들을 적용해보고 허용되지 않는 트래픽의 경우 Deny한다.ACL Rule에..
상황플랫폼 A의 k8s에서 플랫폼 B의 k8s로 옮기는 작업 도중에 발생함.Pod A에서는 컨테이너 A1, A2가 존재함.컨테이너 A1 : 메인 컨테이너. CLI Management를 위한 컨테이너다. 그리고 파이썬 Daemon Process가 하나 가동중이다.컨테이너 A2 : 인증정보를 업데이트 하기 위한 Sidecar문제$ k get podNAME READY STATUS RESTARTS AGEmy-pod 1/2 OOMKilled 0 44s# 플랫폼 B의 k8s$ kubectl tops pod --containers | grep my-podmy-pod ..
들어가기 전이 글은 RAFT 알고리즘 논문을 공부하며 개인적으로 정리한 글입니다. 틀린 부분이 있을 수 있으니 이해에 참고만 하시고, 피드백 주실만한 부분은 언제든 댓글로 부탁드립니다. 알고리즘 논문 erlang으로 구현한 학습용 코드 1. RAFT IntroductionConsensus 알고리즘은 여러 노드로 구성된 클러스터에서 일부 노드가 장애를 겪고 있더라도, 클러스터가 일관된 상태로 잘 동작할 수 있도록 지원한다. 이런 이유 때문에 Consensus 알고리즘은 신뢰할 수 있는 대규모 소프트웨어 시스템을 구축하는데 핵심적인 역할을 한다. RAFT 알고리즘 이전에는 Paxos 알고리즘이 Consensus 알고리즘에서 중요한 역할을 해왔다. Paxos 알고리즘의 큰 문제점은 이해하기 어렵다는 것이다. ..
들어가기 전이 글은 다음 포스팅을 참고하여 공부하며 작성한 글입니다. erlang으로 구현된 학습용 코드는 이곳에서 확인할 수 있습니다.1. 시작이전 게시글에서 간단하고 직관적인 멤버쉽 프로토콜인 SWIM을 공부했다. 그러나 초기 SWIM 프로토콜은 Full Membership을 유지하기 때문에 규모가 큰 클러스터로의 확장은 상대적으로 제한된다. 이번 글에서는 HyParView(Hybrid Partial View) 프로토콜을 다룬다. HyParView 프로토콜은 규모가 큰 클러스터에서도 경량화 된 방식으로 잘 동작하는 멤버쉽 프로토콜이다. 2. 직관적으로 바라보기HyParView에 대한 직관을 가질 수 있도록 일상 생활을 예로 들어보자. 우리는 노드를 사람, 클러스터를 사람의 무리라고 치환할 수 있다. ..
들어가기 전이 글은 다음 블로그 글을 보고 공부하며 작성한 글입니다. 이 글에서 다룰 plum tree는 Gossip Protocol이지만, 특정 클러스터 내에서 함께 동작하기 때문에 최종적으로는 Distributed Membership Protocol에 Integrated 되는 형태로 작성될 것입니다. 이 블로그에서 작성한 Distributed Membership Protocol은 다음 글들을 참고해주세요.SWIM Membership protocolHyParView Membership ProtocolHyParView Protocol + Plum Tree 프로토콜이 Integrate된 학습용 코드는 이곳을 참고해주세요. 코드는 erlang으로 작성되어있습니다. 1. 들어가면서 이전 글에서 HyParVi..
들어가기 전이 글은 이 블로그 글을 참고로 학습한 글입니다.원글은 SWIM 프로토콜을 F#으로 구현한 코드를 제공합니다.이 글에서는 erlang으로 SWIM 프로토콜을 구현하였으며, 원글에서는 구현되지 않았던 suspect - alive 반박, SWIM 프로토콜 메세지 사이의 동시성 문제를 해결하기 위해 Incarnation을 고려한 코드를 추가했습니다. 제가 구현한 코드는 이곳에 있습니다. 1. 클러스터란 무엇인가?사용자 관점에서 클러스터는 '단일 머신'처럼 보이도록 만들어준다. 여러 서버가 상호 연결된 클러스터는 새로운 서버가 추가되거나 제거되기도 하는데, 클러스터는 이런 개념들을 '단일 머신'으로 추상화해준다. 이 덕분에 클라이언트는 클러스터에서 발생할 수 있는 여러 복잡한 시나리오들을 고려하지 ..
들어가기 전 이 글은 프로그래밍 러스트 책을 공부하고 정리한 글입니다. 요약Trait은 인터페이스 의미를 가짐. Type은 Struct, i32 같은 것들을 의미함.Trait을 타입으로 사용할 수 없다. Trait을 타입으로 사용할꺼라면 제네릭 바인딩으로 선언해야한다. 혹은 Trait Object를 사용하도록 선언해야한다.디스패치 방법정적 디스패치 : impl Trait, 제네릭은 정적 디스패치임. Call Site를 확인하고 필요한 타입에 대한 함수 코드를 모두 생성한다.동적 디스패치 : Trait Object를 사용하는 경우. V Table은 컴파일 시점에 한번만 생성되고, Trait Object는 런타임 시점에 타입에 맞는 V Table의 주소와 함께 Fat Pointer로 생성된다. 그리고 VTa..
들어가기 전이 글은 프로그래밍 러스트 2판을 공부하며 작성한 글입니다. 9. 스트럭트 (Struct)Struct 자바, 파이썬에서 제공하는 클래스와 거의 유사한 개념이다.Struct는 크게 다음 세 종류가 존재한다.필드형 Struct : 주로 많이 사용함.튜플형 Struct : 타입 검사를 좀 더 Strict 하게 하기 위해 NewType을 생성할 때 주로 사용.유닛형 Struct : 주로 Trait과 함께 사용할 때 유용하다고 한다. 필드형 Struct필드는 일부만 public, private으로 만들 수 있음.private 필드 : 같은 모듈 내에서는 참조 가능.public 필드 : 외부 모듈에서도 참조 가능.Struct가 private 필드로만 구성되어있으면, 외부 모듈에서는 직접 Struct를 ..
들어가기 전이 글은 Oreily에서 나온 프로그래밍 러스트를 공부하며 작성한 글입니다. 레퍼런스란?스마트 포인터 : 소유권을 가지는 포인터다. 스마트 포인터가 해제되는 시점에 포인터가 가리키는 값도 해제된다.레퍼런스 : 소유권을 가지지 않는 포인터다. 소유권은 Borrow 된다. 레퍼런스 특징레퍼런스는 자신이 가리키는 대상보다 오래 살아있으면 안됨. 레퍼런스가 안전하게 살아있을 수 있는 범위를 라이프타임이라고 함. 모든 레퍼런스는 라이프타임을 가짐.Shared Reference (Multi Reader를 위한 것)Shared Reference는 동시에 여러 개 존재할 수 있음.Shared Reference가 있는 동안은 값을 수정할 수 없음. 소유자라도 수정할 수 없음. Shared Reference가 ..