Papers – felix

Context Navigation

GNU C tricks

Fergus Henderson, Thomas Conway, and Zoltan Somogyi wrote a report on Compiling logic programs to C http://felix.sourceforge.net/papers/mercury_to_c.ps using GNU C as a portable assembler. Some of the techniques described in this paper for speeding up computed jumps are adapted for use in the Felix system.

Interestingly, one of the constraints for inter function jumps on systems loading a gp register, described in the paper, do not apply to Felix non-local gotos since in our system the actual jump is always taken from inside the function, so we can use this technique even with shared libraries and position independent code.

Unification of recursive types with subtyping

You can find a pdf format copy of Luca Cardelli's seminal paper http://felix.sourceforge.net/papers/SRT.A4.pdf describing how to perform unification in a system supporting the infinite tree expansion interpretation of recursive types, together with subtyping rules. In such a system, the usual equations for solution by unification are replaced by inequalities. The mathematical proof is long and complex, the algorithm, however, is not.

Maximal Munch Tokenisation in Linear Time

A linear tokenisation algorithm by Thomas Reps http://felix.sourceforge.net/papers/toplas98.pdf

Regular Expressions with Groups

Efficient Submatch Addressing by Ville Laurikari.

NFAs with Tagged Transitions, their Conversion to Deterministic Automata, and Applications to Regular Expressions by Ville Laurikari.

These two papers show how to build a DFA from regular expressions with groups.

Concurrency

Composable Memory Transactions by Tim Harris, Simon Marlow, Simon Peyton Jones, Maurice Herlihy; Micrososft Research, Cambridge. This paper deals with lock free composable transaction based access to memory shared between concurret threads.

The C10K Problem

The C10K Problem discusses how to deal with web servers with more than 10,000 connections.

Events vs Threads

Why Events are a Bad Idea discusses the difficulty of programming with events compared to threads.