Skip to content

keeping simple

@vy@mastodon.social

Category: systems

Dennis Ritchie on alias analysis in the C programming language 1988

March 19, 2021 vy C standard, programming languages

This 1998 note by Dennis Ritchie from comp.lang.c  (and also  here ) is very current since the concept of noalias has definitely crept back into

Read more

C89 Standard

March 1, 2021 vy programming languages

A text version of a non-final draft is below.  Here’s the pdf of the final version. (This foreword is not a part of American National

Read more

Semiotics of functional programming

March 2, 2019 vy programming languages

In contrast to the usual imperative languages (e.g., C, Fortran, and Ada), in which variables represent cells in memory that can be modified using the

Read more
Kafka The Castle

undefined behavior and the purpose of C

December 31, 2018 vy C standard, programming languages

The C programming language is designed to  let programmers  work  at both low and high levels. In particular, for applications like operating system development,  cryptography, 

Read more

Spanner in the works

November 10, 2018 vy software business, systems

The developers of Google’s Spanner database built an interesting system but chose to build their own clock synchronization technology instead of getting a more precise

Read more

Practical uses of synchronized clocks -Liskov

July 16, 2018 vy systems

From 1991, Barbara Liskov looked at the implications for distributed computing when synchronized clocks are available.

Read more

Three modest proposals for the C standard WG14

June 17, 2018 vy C standard, programming languages

Note: these were sent to WG14 as official proposals. See also a longer paper,  something on alias  and Torvalds remarks and Regehr’s paper.  6.12 Proposal to

Read more

Vector optimization with C aliasing

June 17, 2018 vy programming languages

One of the common defenses of the abuse of “undefined behavior” by C compilers, and the stupid aliasing rules in the standard is that those

Read more

Torvalds on aliasing

June 7, 2018 vy C standard, operating systems, programming languages

See also   Dennis Ritchie on aliasing, PLOS article,  pointer alias in C and remarks on the purpose of C.  From: LKML From Linus Torvalds <> Date

Read more

Pointer alias analysis in C

June 3, 2018 vy programming languages

Perhaps there is some reason to provide a mechanism for asserting, in a particular patch of code, that the compiler is free to make optimistic

Read more

Posts pagination

«Previous Posts 1 2 3 4 … 16 Next Posts»
WordPress Theme: Gridbox by ThemeZee.