[기술블로그] 3월 2주 주간 기술블로그 Follow Up

금주(3/5~3/11)에 포스팅 된 주요 기술 블로그의 포스팅을 요약하여 공유합니다.

F/U 하는 기술 블로그 목록은 이 링크를, 지난주 포스팅은 이 링크를 참고하세요.

추천 포스팅은 요약을 해두었습니다.

NHN Cloud MeetUp!

Speech to Text 서비스 소개

게시일	분류	주요 기술
22.03.11	기능 소개	-

NHN Cloud 기능 소개 1. 음성 파일(mp3, aac, wav 등) 업로드 시 텍스트 반환 REST API

Text to Speech 서비스 소개

게시일	분류	주요 기술
22.03.11	기능 소개	-

NHN Cloud 기능 소개 2. 텍스트 입력 시 음소 단위 음성 합성으로 자연스러운 음성 제공.

성별, 높낮이, 속도, 음량 설정 가능

Google Developers

Celebrating global women in tech and trailblazers

게시일	분류	주요 기술
22.03.08	인물 소개, 인터뷰	-

Women’s History Month 를 맞아 여성 Google Developer Experts 인터뷰

Machine Learning Communities: Q4 ‘21 highlights and achievements

게시일	분류	주요 기술
22.03.08	프로젝트 소개	ML

21년 4분기의 프로젝트를 몇 가지 소개한다.

구글 자료라 TensorFlow + Google Developer Experts 관련 자료가 많다.

개인적인 추천은 순수 TensorFlow로 퍼즐 풀기를 수행한 Advent Of Code(설명 블로그)와 주요 ML 관련 논문에 설명을 덧붙여둔 repository의 web 버전 Annotated Research Papers 를 추천한다.

Amazon Science Blog

25 years of QIP

게시일	분류	주요 기술
22.03.10	인터뷰	QIP(양자컴퓨팅)

QIP(Quantum Information Processing) 25주년 기념 Thomas Vidick 교수와 Simone Severini AWS 양자컴퓨팅 담당 이사 인터뷰. 이론에서 실전으로 넘어가는 단계라고 한다.

Bringing practical applications of quantum computing closer

게시일	분류	주요 기술
22.03.11	기술소개	QIP(양자컴퓨팅), 컴퓨터과학

양자 컴퓨팅과 큐비트, 양자 컴퓨팅으로 해결 가능한 문제와 관련 논문들을 소개한다.

Linked in Engineering

Performance-Adaptive Sampling Strategy (PASS) for GNNs: Open sourcing PASS

게시일	분류	주요 기술
22.03.07	기술소개	ML, GNN, Sampling

성능 향상을 위한 GNN 샘플링 시 정확도가 떨어진다. 이를 해결하기 위해 개발한 attribute based 샘플링 기법 PASS를 소개한다. 일반 샘플링에 비해 2~3배 정확도가 높아졌다고 한다.

Engineering at Meta

Augmenting Flexible Paxos in LogDevice to improve read availability

게시일	분류	주요 기술
22.03.07	기술소개	고가용성, 분산 저장, Paxos

Meta의 데이터 저장 시스템 LogDevice에 적용한 Flexible Paxos에 대한 설명이다.

서버 다운에도 대응하는 높은 write ability를 위해 어떻게 데이터를 저장하고, 어떻게 복구하는지 자세히 설명한다.

기술적인 특징인지 설명하는 단어들이 너무 추상적이라 이해하기 어려운데, 설명하려고 애쓴 흔적이 보인다.

(추천) An open source compositional deadlock detector for Android Java

게시일	분류	주요 기술
22.03.08	기술소개	Java, Deadlock

meta의 CI에 실제로 적용한 모바일 java 프로그램 deadlock static analyzer, Infer static analysis framework를 소개한다. 무려 오픈소스로 공개했다.

2년 간 CI 과정에 사용하여 200개의 reports를 생산했고, 54%를 실제로 fix 했다.

포스팅 요약 보기

개요

목표 : 안드로이드 개발 중 소스코드 실행 없이 deadlock 발생을 탐지할 수 있는 툴 개발
이유 : 프로그램을 실행 및 기능 동작 때 deadlock 발생을 탐지하면 너무 오래걸린다.
배경지식 : deadlock

내용

동작방식

애널라이저 설계에 abstract interpretation 적용

애널라이저가 각 메서드마다 lock의 acquisition과 release 동작 summary를 계산

이렇게 계산한 summary로 critical method pair를 찾아낸다.

찾아낸 pair를 강제로 lock하여 deadlock이 발생하는지 확인한다.

필요한 이유

deadlock이 발생하면 회복시키기 어려운 에러이다.
실행으로 찾아내기 어렵다. 쓰레드 스케줄링이 우리가 결정할 수 없기 때문.
이걸 빌드 없이 찾아낸다? 안 쓸 이유가 없죠.

Paper 추가 요약

abstract 환경에서 deadlock을 탐지하는 방법을 설명한 paper

특징

첫 실행 시에는 하루종일도 걸리지만, 이후에는 코드 변경점에만 실행해 속도를 높였다.
false negative 를 선호한다. 즉 모든 deadlock을 찾기 위해 실행시간이 엄청 늘어나는 것을 피했다.
synchronize 와 같은 키워드를 수집해서 critical pair 를 찾아내는데, NP 문제가 되어버리니까 각 포인트끼리 compatible 관계를 찾아내서 줄여나가는 식으로 동작한다고 한다.