Models of Computation(2) - Propositional Logic
Logic
Recent posts
Models of Computation(1) - Formal Language Theory and Recursive Definitions
This page starts off the core CS topic of ‘Models of Computation’. The whole topic will be subdivided into several articles.
Vert.x Basics(5) - HTTP Client
Vert.x에는 HTTP client가 포함되어있어 HTTP request를 비동기적으로 만드는 것이 수월하다. Vert.x에서의 모든 IO 액션은 이벤트 루프(event loop)를 block하지 않기 위해 비동기적으로 수행되어야 한다는 점을 기억하자. 이벤트 루프는 Vertic...
Vert.x Basics(4) - HTTP Server
우리의 애플리케이션이 HTTP request를 받을 수 있도록 Vert.x를 통해 HTTP 서버를 만들 수 있다. 필요에 따라 한 개 이상의 HTTP 서버를 만들 수 있다.
Vert.x Basics(3) - Buffers
Vert.x에서 실행되는 Verticle들은 때때로 데이터 블록을 처리해야 한다. 예를 들어, HTTP request를 받으면 그 안에 있는 데이터를 처리해야 할 수도 있고, 디스크로부터 로딩하는 데이터, 또는 HTTP request에 응답을 하기 위해 생성된 데이터 등등이 있을 ...