컨커, 칸커, 컨컬, 칸컬
/kənˈkər/
=병행성, =,concurrency . concurrency
{
"병행성(concurrency)"(wk)
(이상 pagename 결정을 위한)
//we begin
formalisms for modeling and understanding concurrent_system s 지금까지 개발된것 중 일부:
* parallel_random-access_machine =,parallel_random-access_machine . PRAM =,PRAM . { parallel random-access machine
https://en.wikipedia.org/wiki/Parallel_RAM Up:
random-access_machine ...
parallel random-access machine parallel random-access machine }
*
actor_model - curr at comp.txt(편집용) and
모형,model#s-8(읽기용)
* Computational bridging models such as the
bulk_synchronous_parallel (BSP) model { bulk synchronous parallel bulk+synchronous+parallel }
// Computational bridging model :
Computational bridging model
// BSP , BSP_model
국립중앙과학관 - 빅데이터 BSP Bulk Synchronous Parallel(https://terms.naver.com/entry.naver?docId=3386315&cid=58370&categoryId=58370) bulk synchronous parallel bulk synchronous parallel
*
Petri_net
*
process_calculus - comp.txt
**
calculus_of_communicating_systems (CCS) // calculus of communicating systems = calculus_of_communicating_systems ~= communicating systems calculus ?
//
https://en.wikipedia.org/wiki/Calculus_of_communicating_systems ...
calculus of communicating systems
**
communicating_sequential_processes (CSP) model // communicating sequential processes = communicating_sequential_processes ? or communicating_sequential_process es ?
// {"
CSP는 병행시스템
concurrency에서 상호작용
통신,communication/interaction/message-based?메시지,mesaage 기반?/dataflow-based?/... 아무튼 서로 연결,connection 즉 interconnection , interconnectivity ...의 패턴을 기술
패턴,pattern + 기술,description하기 위해 고안된
형식언어,formal_language이다. 프로세스 대수 혹은 프로세스 계산
process_calculus라 불리는 병행성 관련 수학논리의 한 종류이다. Go 디자인에 영향을 끼쳤다. .. CSP는 1978년 앤터니 호어
Tony_Hoare가 최초로 고안하여, 이후 계속해서 개량되어왔다. CSP는 여러 가지 시스템을 동시성의 관점에서 기술하여, 이를 파악하고 검증하기 위한 도구로 산업계에서 이용되고 있다."}(wk)
https://ko.wikipedia.org/wiki/커뮤니케이팅_시퀜셜_프로세스 https://en.wikipedia.org/wiki/Communicating_sequential_processes ...
communicating sequential processes
** π-calculus
pi-calculus?
(이상 see 칼큘러스,calculus)
*
tuple_spaces, e.g.,
Linda_(coordination_language)
* Simple Concurrent Object-Oriented Programming (SCOOP) -
SCOOP_(software)
*
Reo_Coordination_Language
*
trace_monoid trace_monoid { trace monoid ... trace=? (we){"
a
trace is a set of strings, //
문자열,string 집합
wherein certain letters in the string are allowed to commute, but others are not.
// 특정 letter 만 commutative_property 를 가진 ie 순서바꾸기가 가능한 (rel.
교환법칙,commutativity)
It generalizes the concept of a string, //
문자열,string 개념,concept의
일반화,generalization
by not forcing the letters to always be in a fixed order,
but allowing certain reshufflings to take place. "}
pagename 트레이스,trace?
모노이드,monoid
Trace_monoid =
https://en.wikipedia.org/wiki/Trace_monoid
trace monoid
trace monoid
trace+monoid }
... 보면 parallel_computing 에선 coordination_language 가 자주 언급
find: parallel computing coordination language ....
parallel computing coordination language parallel computing coordination language
그리고 data_flow dataflow dataflow_programming flow-based_programming .... 쪽도 언급
pl. sheaves
번역: 층(wk)
//we end
concurrent_computing =,concurrent_computing =,concurrent_computing . concurrent_computing
{
concurrent computing
"병행 컴퓨팅 또는 컨커런트 컴퓨팅(concurrent computing)은"(wk)