guard page and `bail:meme` #202

matthew-levan · 2024-01-17T20:14:43Z

Supersedes #182.

See guard.h comment for details.

rust/rust-assert-no-alloc

This reverts commit 1980ca7.

This reverts commit fcb1ba5.

matthew-levan · 2024-02-16T18:48:11Z

I've documented this system in guard.h, commented out debugging print calls, and successfully tested functionality on linux-x86_64. Next, I will see if I can get this system working on macOS.

…-alloc`

ashelkovnykov

Mostly nits and desires to double check C minutia; basically ready

rust/ares_guard/c-src/guard.h

rust/ares_guard/c-src/guard.c

This reverts commit dd2bbc5, reversing changes made to d13fe50.

matthew-levan added 4 commits January 17, 2024 15:14

vendor assert_no_alloc with ensure_no_alloc function added

a914424

wip: st. antony, abbot

3411adc

Merge branch 'status' into msl/guard

1614290

guard: initial commit

f7f01f5

matthew-levan commented Jan 18, 2024

View reviewed changes

rust/rust-assert-no-alloc Outdated Show resolved Hide resolved

matthew-levan self-assigned this Jan 18, 2024

matthew-levan added 20 commits January 18, 2024 16:46

guard: do not focus in top-level

28a7bf5

Merge branch 'status' into msl/guard

caf8f69

guard: ready for initial rust wrapper implementation

42f56a5

wip: today

0d5e8b8

wip: friday

f7fcffc

wip: sts. vincent and anastasius

cb73bcd

wip: sts. vincent and anastasius ii

43d145a

wip: debugging

5e44f2f

wip: earl-eye in the mornin

7ff1657

guard: kind of works

95d4023

wip: restore cargo and remove eprints

a8ed832

wip: need more work on ret pointer

4ff53a1

wip: got result value being passed correctly

140d02c

wip: guard weird error

0b86332

wip: cleanup guard.c printfs

a28137d

guard: boots a baby pill and sigint works too; uses box

a0ddc1f

guard: add motes and use in all errors; disable sigint handling

fa316f6

wip: debugging ~2024.1.30

680d2d2

wip: add rust-assert-no-alloc

dd70aad

wip: linux debugging

54cea05

This was referenced Jan 31, 2024

Implement bail: %meme #182

Closed

Add motes and NockStack allocation safety #207

Merged

matthew-levan added 2 commits January 31, 2024 15:43

wip: pull in mem.rs from as/motes

c07a280

wip: call previous handler on faults outside guard page

96b2242

matthew-levan added 7 commits February 14, 2024 17:05

wip: use only one jmp_buf; add NockStackSnapshot

1980ca7

Revert "wip: use only one jmp_buf; add NockStackSnapshot"

8bcbf6a

This reverts commit 1980ca7.

Revert "wip: test interpret_with_guard"

77ec530

This reverts commit fcb1ba5.

guard: documentation

b81ae6e

guard: comment debug fprintf calls

4cfd3ca

guard: touchups

446efcd

cargo: clippy

8402043

matthew-levan added 5 commits February 16, 2024 13:56

build: turn off disable_release default feature for `rust-assert-no…

f12337e

…-alloc`

wip: initial working on macOS

45f47e0

guard: works on macOS

b1960ad

Merge branch 'as/serf-guard' into msl/guard

6479459

guard: use state struct

5dcc240

matthew-levan requested a review from ashelkovnykov February 19, 2024 18:26

matthew-levan added 3 commits February 19, 2024 13:47

guard: placate clang warnings

96e0777

guard: use guard_success instead of 0

85fef33

guard: remove unhelpful functions

b1e3b78

ashelkovnykov changed the base branch from as/serf-guard to status February 20, 2024 00:45

ashelkovnykov changed the base branch from status to as/serf-guard February 20, 2024 00:45

ashelkovnykov reviewed Feb 20, 2024

View reviewed changes

matthew-levan and others added 7 commits February 20, 2024 02:53

guard: partially address @ashelkovnykov's comments

d13fe50

Merge branch 'as/serf-guard' into msl/guard

dd2bbc5

Revert "Merge branch 'as/serf-guard' into msl/guard"

6616626

This reverts commit dd2bbc5, reversing changes made to d13fe50.

guard: use guard_err in rust constants

e03d340

pma: restore btree.c

3573e90

guard: C style (pair w/ Matt)

209835c

guard: minors

dca5886

ashelkovnykov approved these changes Feb 21, 2024

View reviewed changes

matthew-levan merged commit 7316368 into as/serf-guard Feb 21, 2024
1 check passed

matthew-levan deleted the msl/guard branch February 21, 2024 16:23

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

guard page and `bail:meme` #202

guard page and `bail:meme` #202

matthew-levan commented Jan 17, 2024 •

edited

Loading

matthew-levan commented Feb 16, 2024

ashelkovnykov left a comment

guard page and bail:meme #202

guard page and bail:meme #202

Conversation

matthew-levan commented Jan 17, 2024 • edited Loading

matthew-levan commented Feb 16, 2024

ashelkovnykov left a comment

Choose a reason for hiding this comment

guard page and `bail:meme` #202

guard page and `bail:meme` #202

matthew-levan commented Jan 17, 2024 •

edited

Loading