English

A Microkernel Architecture for Constraint Programming

Artificial Intelligence 2014-01-22 v1 Programming Languages
Authors: Laurent Michel , Pascal Van Hentenryck
View on arXiv ↗ PDF ↗

Abstract

This paper presents a microkernel architecture for constraint programming organized around a number of small number of core functionalities and minimal interfaces. The architecture contrasts with the monolithic nature of many implementations. Experimental results indicate that the software engineering benefits are not incompatible with runtime efficiency.

Keywords

computer architecture parallel programming compiler optimization

Cite

@article{arxiv.1401.5334,
  title  = {A Microkernel Architecture for Constraint Programming},
  author = {Laurent Michel and Pascal Van Hentenryck},
  journal= {arXiv preprint arXiv:1401.5334},
  year   = {2014}
}

Related papers

View all related →
Software Engineering · Computer Science
Microkernel-Based Web Architecture: Design & Implementation Considerations
Vick Dini
2025-02-14
Distributed, Parallel, and Cluster Computing · Computer Science
Performance Evaluation of Microservices Architectures using Containers
Marcelo Amaral, Jordà Polo, David Carrera, Iqbal Mohomed +2
2016-11-15
Programming Languages · Computer Science
Program Execution on Reconfigurable Multicore Architectures
Sanjiva Prasad
2016-06-21
Distributed, Parallel, and Cluster Computing · Computer Science
Time Critical Multitasking for Multicore Microcontroller using XMOS Kit
Prerna Saini, Ankit Bansal, Abhishek Sharma
2015-04-13
Operating Systems · Computer Science
An Evaluation of Coarse-Grained Locking for Multicore Microkernels
Kevin Elphinstone, Amirreza Zarrabi, Adrian Danis, Yanyan Shen +1
2016-09-29
Machine Learning · Computer Science
Source Code Classification for Energy Efficiency in Parallel Ultra Low-Power Microcontrollers
Emanuele Parisi, Francesco Barchi, Andrea Bartolini, Giuseppe Tagliavini +1
2020-12-15
Distributed, Parallel, and Cluster Computing · Computer Science
Parallel Programming Models for Heterogeneous Many-Cores : A Survey
Jianbin Fang, Chun Huang, Tao Tang, Zheng Wang
2020-05-11
Quantum Physics · Physics
An Experimental Microarchitecture for a Superconducting Quantum Processor
X. Fu, M. A. Rol, C. C. Bultink, J. van Someren +9
2018-03-20
Software Engineering · Computer Science
Multicore Applications in Real Time Systems
M. Vaidehi, T. R. Gopalakrishnan Nair
2016-09-08
Programming Languages · Computer Science
Compact Native Code Generation for Dynamic Languages on Micro-core Architectures
Maurice Jamieson, Nick Brown
2021-02-04
Distributed, Parallel, and Cluster Computing · Computer Science
SoK: Microservice Architectures from a Dependability Perspective
Dāvis Kažemaks, Jérémie Decouchant
2025-03-06
Hardware Architecture · Computer Science
Theoretical complexity analysis of many-cores on a single chip
Ran Ginosar
2025-02-04
Quantum Physics · Physics
Multicore Quantum Computing
Hamza Jnane, Brennan Undseth, Zhenyu Cai, Simon C Benjamin +1
2022-11-08
Hardware Architecture · Computer Science
Advances in computer architecture
Irfan Uddin
2013-09-24
Software Engineering · Computer Science
A Review on Software Architectures for Heterogeneous Platforms
Hugo Andrade, Ivica Crnkovic
2019-05-07
Distributed, Parallel, and Cluster Computing · Computer Science
Execution of Compound Multi-Kernel OpenCL Computations in Multi-CPU/Multi-GPU Environments
Fábio Soldado, Fernando Alexandre, Hervé Paulino
2015-10-23
Systems and Control · Electrical Eng. & Systems
{\AE}r{\o}: A Platform Architecture for Mixed-Criticality Airborne Systems
Shibarchi Majumder, Jens Frederik Dalsgaard Nielsen, Thomas Bak
2022-08-31
Artificial Intelligence · Computer Science
Parallel Constraint-Driven Inductive Logic Programming
Andrew Cropper, Oghenejokpeme Orhobor, Cristian Dinu, Rolf Morel
2021-09-16
Hardware Architecture · Computer Science
Emulating a large memory with a collection of small ones
James Hanlon
2015-11-17
Artificial Intelligence · Computer Science
An Aligned Constraint Programming Model For Serial Batch Scheduling With Minimum Batch Size
Jorge A. Huertas, Pascal Van Hentenryck
2025-11-21
Distributed, Parallel, and Cluster Computing · Computer Science
MKPipe: A Compiler Framework for Optimizing Multi-Kernel Workloads in OpenCL for FPGA
Ji Liu, Abdullah-Al Kafi, Xipeng Shen, Huiyang Zhou
2020-02-06
Machine Learning · Statistics
Practical Coreset Constructions for Machine Learning
Olivier Bachem, Mario Lucic, Andreas Krause
2017-06-06
Hardware Architecture · Computer Science
A Fault-tolerant Structure for Reliable Multi-core Systems Based on Hardware-Software Co-design
Bingbing Xia, Fei Qiao, Huazhong Yang, Hui Wang
2016-09-08
Instrumentation and Detectors · Physics
Microcontroller interrupts for flexible control of time critical tasks in experiments with laser cooled atoms
Mark Sadgrove
2011-04-04
Cryptography and Security · Computer Science
Securing Monolithic Kernels using Compartmentalization
Soo Yee Lim, Sidhartha Agrawal, Xueyuan Han, David Eyers +2
2024-04-16
R2 v1 2026-06-22T02:51:12.106Z