Cilk multithreaded programming language

E679886

C programming language extension multithreaded programming language parallel programming language extension

Cilk is a parallel extension to the C programming language designed for efficient multithreaded computation, featuring simple keywords for task parallelism and a work-stealing scheduler for dynamic load balancing.

Try in SPARQL Jump to: Surface forms Disambiguation Statements Elicitation Referenced by

All labels observed (5)

Label	Occurrences
Intel Cilk Plus	3
Cilk multithreaded programming language canonical	2
Cilk++	2
Cilk	1
Cilk-5	1

How this entity was disambiguated

This entity first appeared as the object of triple T7666029 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.

NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07

Target entity: Cilk multithreaded programming language
Context triple: [Charles E. Leiserson, contributedTo, Cilk multithreaded programming language]

A. Intel Threading Building Blocks
Intel Threading Building Blocks is a C++ template library developed by Intel that provides high-level, task-based parallelism and scalable performance for multicore and manycore processors.
B. "How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs"
"How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs" is a seminal paper by Leslie Lamport that introduced foundational concepts for ensuring correctness and consistency in concurrent and multiprocessor systems.
C. ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
The ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP) is a leading annual research conference focused on the design, implementation, and performance of parallel and concurrent computing systems and programming models.
D. Eiffel programming language
Eiffel is an object-oriented programming language designed by Bertrand Meyer that emphasizes software correctness through features like Design by Contract and strong support for modular, reusable code.
E. Modula-3
Modula-3 is a systems programming language designed as a safer, more modern successor to Modula-2, emphasizing strong typing, modularity, and support for concurrency and garbage collection.
F. None of above. chosen
G. Unsure - the case is ambiguous/there is not enough information to decide.

NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07

Target entity: Cilk multithreaded programming language
Target entity description: Cilk is a parallel extension to the C programming language designed for efficient multithreaded computation, featuring simple keywords for task parallelism and a work-stealing scheduler for dynamic load balancing.

A. Intel Threading Building Blocks
Intel Threading Building Blocks is a C++ template library developed by Intel that provides high-level, task-based parallelism and scalable performance for multicore and manycore processors.
B. "How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs"
"How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs" is a seminal paper by Leslie Lamport that introduced foundational concepts for ensuring correctness and consistency in concurrent and multiprocessor systems.
C. ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
The ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP) is a leading annual research conference focused on the design, implementation, and performance of parallel and concurrent computing systems and programming models.
D. Eiffel programming language
Eiffel is an object-oriented programming language designed by Bertrand Meyer that emphasizes software correctness through features like Design by Contract and strong support for modular, reusable code.
E. Modula-3
Modula-3 is a systems programming language designed as a safer, more modern successor to Modula-2, emphasizing strong typing, modularity, and support for concurrency and garbage collection.
F. None of above. chosen

Statements (46)

Predicate	Object
instanceOf	C programming language extension ⓘ multithreaded programming language ⓘ parallel programming language extension ⓘ
basedOn	C ⓘ
designedFor	multithreaded computation ⓘ shared-memory parallelism ⓘ task parallelism ⓘ
executionModel	multithreaded computation DAG ⓘ
goal	efficient parallel performance ⓘ low programmer overhead for parallelism ⓘ scalable parallel execution ⓘ
hasConcept	DAG of strands ⓘ parallel slackness ⓘ span ⓘ work ⓘ
hasFeature	cilk_for loop construct ⓘ cilk_spawn construct ⓘ cilk_sync construct ⓘ continuation-stealing scheduling ⓘ deterministic parallel semantics (for race-free programs) ⓘ dynamic load balancing ⓘ fork-join parallelism ⓘ nested parallelism ⓘ provably efficient scheduler model ⓘ spawn keyword ⓘ sync keyword ⓘ work-stealing scheduler ⓘ
implements	work-stealing scheduling algorithm ⓘ
influenced	Intel Cilk Plus ⓘ linked to: Cilk multithreaded programming language task parallel libraries in C and C++ ⓘ
property	good load balance under irregular parallelism ⓘ low scheduling overhead per task ⓘ programmer expresses logical parallelism ⓘ runtime maps tasks to processors dynamically ⓘ runtime system manages thread scheduling ⓘ supports theoretical performance bounds in terms of work and span ⓘ
relatedTo	Cilk++ ⓘ linked to: Cilk multithreaded programming language Intel Cilk Plus ⓘ linked to: Cilk multithreaded programming language
schedulingPolicy	randomized work stealing ⓘ
supports	divide-and-conquer algorithms ⓘ fine-grained parallelism ⓘ parallel loops ⓘ parallel recursion ⓘ shared-memory multiprocessors ⓘ
usedFor	parallel algorithms research ⓘ teaching parallel programming concepts ⓘ

How these facts were elicited

Referenced by (9)

Full triples — surface form annotated when it differs from this entity's canonical label.

Charles E. Leiserson → contributedTo → Cilk multithreaded programming language ⓘ

Leiserson → hasNotableAssociation → Cilk multithreaded programming language ⓘ

Cilk → relatedTo → Cilk++ ⓘ

subject linked to: Cilk multithreaded programming language