컨커, 칸커, 컨컬, 칸컬
/kənˈkər/

vi. 1.
vi. 2.
발음이 비슷한 단어: conquer

=병행성, =,concurrency . concurrency
{
"병행성(concurrency)"(wk)

병행성

MKL 동시성 동시성과?

(이상 pagename 결정을 위한)

Sub:
concurrent_computing =,concurrent_computing =,concurrent_computing . concurrent_computing
{
concurrent_computing ?
Concurrent_computing ?
Concurrent_computing ?

Up: concurrency computing - 컴퓨팅,computing
}
Java_concurrency { https://en.wikipedia.org/wiki/Java_concurrency 자바,Java }

Topics:
스레드,thread
스레드관리,thread_management
멀티스레딩,multithreading
멀티태스킹,multitasking
코루틴,coroutine =코루틴,coroutine =,coroutine 코루틴 coroutine
고루틴,goroutine { https://en.wikipedia.org/wiki/Goroutine - redir }

//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 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){"
... 보면 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 .... 쪽도 언급

coordination_language =,coordination_language . coordination_language
{
coordination language
최적의 번역은??
coordination_language - 2023-08-12 없음
coordination
coordination
Coordination_language
... coordination language (2023-08-12 없음. 네이버 전체검색으로 나가야 됨) coordination_language
}

mkl
parallel_programming model

via 'See also':
Chu_space =,Chu_space . Chu_space { Chu space 위상공간,topological_space개념의 일반화. Chu_space = https://en.wikipedia.org/wiki/Chu_space Chu space Chu space Chu+space }
structured_concurrency { https://en.wikipedia.org/wiki/Structured_concurrency }
concurrency_pattern { 동시성 패턴, ... concurrency pattern Concurrency_pattern = https://en.wikipedia.org/wiki/Concurrency_pattern ... concurrency pattern Ggl"concurrency pattern" 패턴,pattern concurrency+pattern }
partitioned_global_address_space =,PGAS . PGAS { partitioned global address space (PGAS) https://en.wikipedia.org/wiki/Partitioned_global_address_space 주소공간,address_space }
X10 { 2004년 IBM이 발표. "X10 is designed specifically for parallel computing using the partitioned global address space (PGAS) model." X10_(programming_language) }
sheaf =,sheaf . sheaf {
일단 단어는
sheaf

pl. sheaves

여기선 위상공간,topological_space 얘기.

번역: 층(wk)

https://mathworld.wolfram.com/Sheaf.html
층_(수학) = https://ko.wikipedia.org/wiki/층_(수학)
Sheaf_(mathematics) = https://en.wikipedia.org/wiki/Sheaf_(mathematics)
https://encyclopediaofmath.org/wiki/Sheaf
https://ncatlab.org/nlab/show/sheaf
}
sheaf_theory =,sheaf_theory . sheaf_theory
{
sheaf theory

Topics:
sheaf sheaf
presheaf =,presheaf . presheaf
토포스,topos ====토포스,topos =,topos . 토포스 topos
{
topos n.
topoi pl.n.

https://ko.wikipedia.org/wiki/토포스
}
cohomology =,cohomology . cohomology
stack =,stack . stack
covering =,covering . covering
coverage =,coverage . coverage
embedding =,embedding . embedding
Yoneda_embedding
stalk =,stalk . stalk
etale_space =,etale_space . etale_space
https://encyclopediaofmath.org/wiki/Sheaf_theory
.... sheaf theory sheaf theory sheaf+theory
}

//we end

MKL
process_calculus

병행성 = https://ko.wikipedia.org/wiki/병행성

Concurrency_(computer_science)
= https://simple.wikipedia.org/wiki/Concurrency_(computer_science)

Concurrency_(computer_science)
= https://en.wikipedia.org/wiki/Concurrency_(computer_science)

concurrent_
}

concurrent_computing =,concurrent_computing =,concurrent_computing . concurrent_computing
{
concurrent computing
"병행 컴퓨팅 또는 컨커런트 컴퓨팅(concurrent computing)은"(wk)

Cmp: parallel_computing //curr at 병렬성,parallelism

//tmp(copy at local)
https://everything2.com/title/concurrent computing
{
동시에 돌아가는(running simultaneously) 복수의 프로세서,processor와 프로세스,process들로 구성...
그래서 이런 것들이 topics

• 다른 프로세스들 간의 동기화,synchronization
  
• 공용 자원을 둘 이상의 프로세스가 동시에 접근해서 생길 수 있는 문제 - race_condition
  
• 여러 프로세서,processor, 스레드,threads, ...등을 쓸 수 있도록, 알고리즘을 scaling하는 것 // algorithm_scaling ?
  
• deadlock 방지
  

}

https://ko.wikipedia.org/wiki/병행_컴퓨팅
https://en.wikipedia.org/wiki/Concurrent_computing
concurrent computing
concurrent computing
concurrent computing
}