A toy HTTP server in development Goals: secure, scalable (vertically and horizontally), not excessively slow, separation of privilege (and knowledge: HTTP code doesn't have to know TLS key) ...

Ariadne Devos 2bee9d4835 Merge branch 'ip' into odd-fixes 5 роки тому
arch dc807d81a0 Correct operand order and types -- again 5 роки тому
buffer 98f95d2749 Recognise sizes be > SSIZE_MAX 5 роки тому
collateral 896ddc89f7 Introduce SPDX-License-Identifier 5 роки тому
doc d8dd0d8fc1 Add missing wrap-around theorem 5 роки тому
fd 896ddc89f7 Introduce SPDX-License-Identifier 5 роки тому
generic 896ddc89f7 Introduce SPDX-License-Identifier 5 роки тому
http 896ddc89f7 Introduce SPDX-License-Identifier 5 роки тому
lex e9731e2561 Add some remarks from the mutation testing 5 роки тому
sHT 6783ce8d69 Fail to contract bounds check and index masking 5 роки тому
stuff 896ddc89f7 Introduce SPDX-License-Identifier 5 роки тому
task 5dc5e07aa0 Outroduce superfluous sHT_modulo_nospec 5 роки тому
tests 5e2be17982 Test IPv4 parser 5 роки тому
tools 896ddc89f7 Introduce SPDX-License-Identifier 5 роки тому
worker 12471fdde3 Add missing semicolon 5 роки тому
.gitignore 9b7e0811af Git-Ignore nano leftovers 5 роки тому
CFLAGS b0832f6aaf Correct suggested command in CFLAGS 5 роки тому
COPYING 5248a3d7de Declare some functions and structures for workers 6 роки тому
Makefile.am 5e2be17982 Test IPv4 parser 5 роки тому
README 896ddc89f7 Introduce SPDX-License-Identifier 5 роки тому
configure.ac 573c3e438a Introduce architecture-specific directory 5 роки тому
control.h 896ddc89f7 Introduce SPDX-License-Identifier 5 роки тому
fd.h 896ddc89f7 Introduce SPDX-License-Identifier 5 роки тому
worker.h 896ddc89f7 Introduce SPDX-License-Identifier 5 роки тому

README

.. SPDX-License-Identifier: GPL-3.0-or-later
.. Copyright © 2018-2019 Ariadne Devos

# s^2 Web Stuff

s^2 is -- so far -- a personal project to write secure and sandboxed software
for doing things on the web. E.g. a web server and mail server and client.
In contrast to seemingly wide-held opinion, except perhaps by Intel,
it doesn't view speculative execution as an evil (*).

(*)
Except Meltdown and perhaps some others ... The model of Spectre I
address is: all branches may temporarily be ignored or falsily taken and all
indirect branch must be retpolined. Checking the page bits may be speculated.

s^2 should be safe against Speculative Store Bypass, Bounds Check Bypass,
Branch Target Injection. Foreshadow is not relevant. Lazy FP State Restore
is a bug of the kernel.

As an extension to what nginx supports, s^2 will allow migration to
different versions and machines. The source code is intended to be readable.

There is some architecture-specific code for Spectre mitigation.
Linux is supported, and the BSDs will be. W32 might be possible.

Do `autoreconf` && `./configure` && `make` to compile.
A CFLAGS argument of "$(sed '/^[*/#]/d' CFLAGS |tr '\n' ' ')"
is recommended, although compiler support may vary.

## Stuff

- [ ] apps/website.md: for static web sites, may be extended
- [ ] apps/torrent.md (TODO: bittorrent, webtorrent, Dat, IPFS, gnunet?)
- [ ] apps/mail.md: e-mail client and server, encrypted, signed, image support)
- [ ] apps/blog.md (TODO)
- [ ] apps/git.md (TODO)
- [ ] apps/ci.md (TODO)

## Some design details

OO is used, except that inheritance isn't really used. Nothing is overridden.
Generics may be used sparely. SMP may be used for efficiency (power-efficiency
according to Intel?), but is not mandatory. Tasks of the same type are batched
to reduce cache pressure and branch misprediction.

## Contact

Do NOT send a mail to Ariadne Devos , as I can't login anymore.
Instead, open a bug at . Patches, ideas and
general discussion are welcome.

## Legal stuff

The license text is in `COPYING` (the GNU General Public License,
version 3 or later (at your choice). See `doc/license-copyright.rst`
for more information on copyright and licensing.