Welcome to Modular C

Table of Contents

Jens Gustedt

1 Introduction

Modular C is an extension of the C programming language that has been proposed by Jens Gustedt.

It consists in the addition of a handful of directives and a naming scheme transforming traditional translation units into modules.

The change to the C language is minimal since we only add one feature, composed identifiers, to the core language.

Our modules can import other modules as long as the import relation remains acyclic and a module can refer to its own identifiers and those of the imported modules through freely chosen abbreviations. Other than traditional C include, our import directive ensures complete encapsulation between modules.

The abbreviation scheme allows to seamlessly replace an imported module by another one with equivalent interface. In addition to the export of symbols, we provide parameterized code injection through the import of snippets. This implements a mechanism that allows for code reuse, similar to X macros or templates. Additional features of our proposal are a simple dynamic module initialization scheme, a structured approach to the C library and a migration path for existing software projects.

The preprint #8751 contains a first research report describing Modular C.

You can find a reference implementation of a compiler frontend with our gforge project cmod. In particular, you may download it at:

Constructive feedback, improvements and patches are highly welcome.

2 A reference implementation

The reference implementation still has its short comings but should already be useful. Please look into the code and the (few) Makefile of the source to see how it can be used.

Currently it provides

  • A complete interface to the C library as defined in the C11 standard. The optional features <stdatomic.h> and <threads.h> are only provided if the platform provides them. The only environment that I know of that does that completely is musl.
  • A partial interface to POSIX. In particular this has now a partial stub implementation of C11 threads that sits on top of POSIX threads, if the platform has no <threads.h>. Interfacing POSIX is a long project, since this is just huge. Please contact me if you would be willing to help.
  • A partial replacement of my P99 preprocessor library called p11 (what else?). This is only partial because a lack of man power, but also because a lot of the macro cruft that I needed for P99 vanishes in thin air if you get used to Modular C. This directory also serves as a test-bed for the whole approach, so you might find some gems or weirdness, there.

I will try to enhance the documentation here over time, so please stay posted.

Author: Jens Gustedt

Created: 2015-09-14 Mo 12:35

Emacs 24.4.1 (Org mode 8.2.10)

Validate