Unix System Programming with Standard ML

Table of Contents......Page 5
List of Figures......Page 13
The Audience......Page 15
The Environment......Page 16
What is Functional Programming?......Page 19
Pure FP and I/O......Page 22
Pure FP and Plumbing......Page 24
Assembling the Hello World Program......Page 27
The echo Program......Page 32
The Basics......Page 34
Tail Recursion......Page 36
Tail Recursion as Iteration......Page 38
Using the Fold Functions......Page 41
Tail Recursion for Finite State Machines......Page 43
The getopt Programs......Page 47
Mostly Functional......Page 48
Using a Hash Table......Page 54
Getopt with a Hash Table......Page 57
The Deluxe getopt......Page 62
Preliminaries......Page 71
General......Page 72
Option......Page 74
Bool......Page 75
The Types......Page 76
Text Scanning......Page 77
Integers......Page 81
Reals......Page 82
Lists......Page 83
Arrays and Vectors......Page 84
The Portable I/O API......Page 85
The Portable OS API......Page 89
OS.FileSys......Page 90
OS.Process......Page 93
Time and Date......Page 94
Posix.Error......Page 95
Posix.FileSys......Page 96
POSIXFLAGS......Page 101
Posix.IO......Page 102
Posix.ProcEnv......Page 105
Posix.TTY......Page 106
Unsafe Vectors and Arrays......Page 109
Memory Representation Information......Page 111
Miscellaneous Unsafe Operations......Page 114
Signals......Page 115
The Interval Timer......Page 117
Garbage Collection Control......Page 118
Execution Time Profiling......Page 119
Lazy Suspensions......Page 121
Weak Pointers......Page 122
The Exception History List......Page 125
The Generic Socket Types......Page 126
The Specific Socket Types......Page 128
Socket Addresses......Page 129
A Simple TCP Client......Page 131
A Simple TCP Server......Page 132
Servers with Multiple Connections......Page 134
Trees, Maps and Sets......Page 139
Hash Tables......Page 143
Vectors and Arrays......Page 144
Queues and Fifos......Page 145
Property Lists......Page 147
Sorting and Searching......Page 153
Formatted Strings......Page 157
Miscellaneous Utilities......Page 161
The Pieces of the Library......Page 163
Basic Matching......Page 166
Matching with a Back-End......Page 168
Pretty-Printing......Page 170
Unix......Page 171
Continuations......Page 173
Coroutines......Page 176
The CML Model......Page 179
CML Threads......Page 180
CML Channels......Page 182
CML Events......Page 183
Synchronous Variables......Page 185
Mailboxes......Page 186
A Counter Object......Page 187
Getting the Counter's Value......Page 190
Getting the Value through an Event......Page 194
Getting the Value with a Time-Out......Page 196
More on Time-Outs......Page 201
Semaphores......Page 203
Semaphores via Synchronous Variables......Page 211
Garbage Collection Basics......Page 217
Multi-Generational Garbage Collection......Page 219
Run-Time Arguments for the Garbage Collector......Page 220
Heap Object Layout......Page 221
Basic SML/NJ Performance......Page 225
Memory Performance......Page 229
CML Channel Communication and Scheduling......Page 231
Spawning Threads for Time-outs......Page 233
Behaviour of Timeout Events......Page 236
Introduction......Page 241
The HTTP Protocol......Page 242
URL Syntax......Page 243
HTTP Requests......Page 244
The Date Header......Page 247
The Authorization Header......Page 248
The Referer Header......Page 249
The Content-Type Header......Page 250
HTTP Responses......Page 251
The WWW-Authenticate Header......Page 253
The Resource Store......Page 254
Server Configuration......Page 255
Configuration File Syntax......Page 256
The Server Parameters......Page 257
The Node Parameters......Page 259
The Architecture of the Server......Page 263
Entities, Producers and Consumers......Page 265
Requests and Responses......Page 268
Resource Store Nodes......Page 269
The Connection Protocol......Page 271
Time-outs......Page 272
System Resource Management......Page 273
Building and Testing the Server......Page 275
Basic Testing......Page 277
Testing Multiple Requests......Page 279
Testing Authorisation......Page 280
Testing the Performance......Page 281
Profiling the Server......Page 286
The Organisation of the Code......Page 291
How to Follow the Code......Page 297
Building the Server......Page 298
The Main Module......Page 299
The Startup Module......Page 301
The Listener Module......Page 304
The Connect Module......Page 311
The HTTP10 Module......Page 315
The Store Module......Page 322
The Node Factory......Page 327
The Generic Node......Page 329
The Directory Node Handler......Page 337
The CGI Node Handler......Page 344
The Builtin Node Handler......Page 352
The ResponseUtils Module......Page 354
The NodeAuth Module......Page 356
The Entity Module......Page 360
The HTTPHeader Module......Page 367
The IETFLine and IETFPart Modules......Page 374
The HTTPStatus Module......Page 378
The Config Module - Interface......Page 379
The Configuration Grammar......Page 385
The Configuration Lexer......Page 391
The Parser Driver......Page 396
Processing the Parse Tree......Page 399
MIME Type Configuration......Page 401
The Common Layer......Page 402
The Abort Module......Page 403
The Common Module......Page 408
The FileIO Module......Page 409
The Files Module......Page 410
The Log Module......Page 411
The Mutex Module......Page 417
The Open File Manager......Page 419
Being Generic......Page 420
Finalisation......Page 424
Opening a File......Page 427
A Specialised Open Manager......Page 431
The Signal Manager......Page 433
The Singleton Module......Page 435
The Text Module......Page 437
The TmpFile Module......Page 440
The URL Module......Page 448
Large-scale Development......Page 451
Infrastructure......Page 452
Related Languages......Page 453
To Finish......Page 454
Tutorials......Page 455
Syntax Errors......Page 457
Identifier Errors......Page 458
Record Errors......Page 459
Type Errors......Page 460
Simple Type Errors......Page 461
If and Case Expressions......Page 462
Non-local Type Errors......Page 464
Appendix C. Installation......Page 467
Bibliography......Page 471
copy by reference......Page 475
finalisation......Page 476
immutable......Page 477
monomorphic......Page 478
SML......Page 479
static......Page 480
yacc......Page 481