Skip to content

Phase3 #40

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
mjp41 wants to merge 85 commits into
base: pyrona
Choose a base branch
from
Draft

Phase3 #40

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
85 commits
Select commit Hold shift + click to select a range
6077607
A first attempt at an invariant
mjp41 Nov 18, 2024
95896ea
CR feedback
mjp41 Nov 25, 2024
670349e
Merge pull request #8 from mjp41/phase3inv1
mjp41 Nov 25, 2024
3c8ee14
Region: Create `RegionObject` and `RegionMetadata` objects
xFrednet Nov 18, 2024
b9bca26
Region: Methods for adding, removing and checking obj membership
xFrednet Nov 18, 2024
230a07e
Region: Minimal test set for region ownership
TobiasWrigstad Nov 25, 2024
7a43d6c
Region: Correct Invariant and enable on Region creation
xFrednet Nov 25, 2024
489e569
Region: Catch invalid cross region refs
xFrednet Nov 25, 2024
e808d1f
Region: Allow users to store data in Region fields
xFrednet Nov 26, 2024
954e2c1
Region: Review logic changes
xFrednet Nov 28, 2024
2ef1ef3
Region: No more warnings
xFrednet Nov 28, 2024
edebab3
Region: Review Formatting Adjustments
xFrednet Nov 28, 2024
1ae4863
Pyrona: Add documentation to `_Py_MakeImmutable`
xFrednet Nov 29, 2024
8924b0b
Pyrona: Use more macros for cleaner code
xFrednet Nov 29, 2024
b322148
Pyrona: Address Matajoh's comments
xFrednet Nov 29, 2024
9b2c14d
Pyrona: Create `RegionObject` and `regionmetadata` objects #9
xFrednet Dec 2, 2024
f4d59b3
Add a minimal CI (#13)
mjp41 Dec 6, 2024
1ebd426
Add missing statics
mjp41 Dec 6, 2024
25e4a1a
Fix hard coded number in test.
mjp41 Dec 6, 2024
8f0167d
Add missing statics
mjp41 Dec 6, 2024
c5918e5
White list.
mjp41 Dec 6, 2024
9357239
Pyrona: Add mask and visited flag to `ob_region` field
xFrednet Dec 2, 2024
d197cdd
Pyrona: Add `RegionError` and `add_to_region` for the write barrier
xFrednet Dec 2, 2024
43a1497
WIP Adding internally created __dict__'s to the region of their owners
TobiasWrigstad Dec 6, 2024
f3bccd3
Pyrona: Add `Py_region_ptr_with_tags_t`
xFrednet Dec 6, 2024
c0a644c
Pyrona: Minor cleanup around regions
xFrednet Dec 8, 2024
e22df86
Phase 3: Add Region Flags, `add_to_region` and `RegionError` (PR #11)
xFrednet Dec 9, 2024
f3c55bb
Slurp implicitly created __dict__ into creating object
TobiasWrigstad Dec 9, 2024
2cfe81f
DEFAULT => LOCAL
TobiasWrigstad Dec 10, 2024
8b66b17
Better alignment with Fig. 6 from paper
TobiasWrigstad Dec 10, 2024
40b2759
Addressed comments from Matt P
TobiasWrigstad Dec 10, 2024
a7b9819
Made _PyErr_Region module internal
TobiasWrigstad Dec 10, 2024
338f19e
Merge pull request #15 from mjp41/add_add_reference_for__dict__
TobiasWrigstad Dec 10, 2024
7c3ec28
Fix CI
mjp41 Dec 12, 2024
6320b95
Make _Py_NewReference reset the region to local (#20)
mjp41 Dec 12, 2024
eaa4ff9
Generic Attribute Issue (#23)
mjp41 Dec 13, 2024
6945ae8
Make all the core library globally allocated objects immutable (#25)
mjp41 Dec 18, 2024
fafff59
Align write barrier with paper
TobiasWrigstad Dec 18, 2024
7e5339e
adding missing return
TobiasWrigstad Dec 19, 2024
478a129
Update Objects/regions.c
TobiasWrigstad Dec 19, 2024
a9ee120
Merge pull request #29 from mjp41/borrowing_to_wb
TobiasWrigstad Dec 19, 2024
bc8b7f6
Pyrona: Add reference count to `regionmetadata`
xFrednet Dec 8, 2024
9f82010
Pyrona: Allow O(1) merging into local
xFrednet Dec 9, 2024
1efac13
Pyrona: Add reference count and add primitive merging support (Merge …
xFrednet Dec 19, 2024
62c4443
Add cowns
TobiasWrigstad Dec 12, 2024
257fa45
Addressed comments by @xFrednet
TobiasWrigstad Dec 20, 2024
4d9e2ae
Merge pull request #22 from mjp41/cowns
TobiasWrigstad Dec 20, 2024
9d52645
Found these missing cases when I was taking try_close for a spin
TobiasWrigstad Dec 20, 2024
d75caa7
Merge pull request #32 from mjp41/add_missing_cown_cases
TobiasWrigstad Dec 21, 2024
67a5ef9
Pyrona: Simplify `_add_to_to_region_visit`
xFrednet Dec 17, 2024
ead4194
Pyrona: Attempting to closing the first regions (`try_close`)
xFrednet Dec 18, 2024
a26d202
Pyrona: `try_close` tests and bug fixes
xFrednet Dec 20, 2024
1cd1408
Add a flag for region awareness of a type.
mjp41 Nov 29, 2024
e764b13
Address MJP's comments (and add several comments)
xFrednet Jan 8, 2025
dd5b049
Phase 3: Add `close()` and `try_close()` (PR #31)
xFrednet Jan 9, 2025
fa0ce84
Merge pull request #33 from mjp41/phase3addflag
TobiasWrigstad Jan 15, 2025
eb88bba
Fix crash bug when invalid values are used to initiate a cown
TobiasWrigstad Jan 16, 2025
a1b2556
Merge pull request #37 from mjp41/cown-init-bug
TobiasWrigstad Jan 16, 2025
01a2586
Add WriteBarrier to dictobject (#34)
mjp41 Jan 20, 2025
140e27f
Make region invariant a compile option (#41)
mjp41 Jan 21, 2025
68a9b70
Permitting key parts of Cowns to run without GIL (#38)
TobiasWrigstad Jan 21, 2025
2c3fbf5
Check thread arguments
TobiasWrigstad Jan 17, 2025
16afce8
Made pyrona checks conditional on region use
TobiasWrigstad Jan 18, 2025
05260f0
Clinic
TobiasWrigstad Jan 19, 2025
dce65bf
Clinic fix
TobiasWrigstad Jan 19, 2025
f1cc65e
Improved threading check, added technical debt todos
TobiasWrigstad Jan 20, 2025
c7ce3d8
Added TODO for builtin_is_pyrona_program_impl
TobiasWrigstad Jan 20, 2025
1c949a0
Stupid trailing whitespace
TobiasWrigstad Jan 20, 2025
7ff6238
Made separate PyronaThread constructor in using.py
TobiasWrigstad Jan 27, 2025
250fa97
Added comment suggested by @mjp41 and fixed trailing space bug
TobiasWrigstad Jan 27, 2025
627bdea
Fixed import bug
TobiasWrigstad Jan 28, 2025
e39f73f
Refactoring of checking logic
TobiasWrigstad Feb 1, 2025
d408a0f
Improve test and update RC due to refactored logic
TobiasWrigstad Feb 1, 2025
c9ef79d
Removed is_pyrona_program builtin
TobiasWrigstad Feb 1, 2025
5dd78bc
Merge pull request #39 from mjp41/cown-arguments-to-threads
TobiasWrigstad Feb 2, 2025
94af8f4
Update: actions/upload-artifact@v3 -> v4
xFrednet Jan 31, 2025
47f2fd5
Merge pull request #49 from mjp41/phase3-artifact-thingy
xFrednet Feb 3, 2025
da00da6
Cown release (#44)
TobiasWrigstad Feb 24, 2025
349a598
Added region check to tuple object (#46)
TobiasWrigstad Feb 24, 2025
4b950cf
Rename `regionmetadata` -> `regiondata`
xFrednet Apr 7, 2025
0cd4fca
Pyrona: Remove global invariant objects
xFrednet Apr 8, 2025
5b0724d
Pyrona: Add and remove reference fixes in `PyObjectDict`
xFrednet May 12, 2025
86459d9
Merge pull request #55 from mjp41/0-spring-cleaning
xFrednet Jun 30, 2025
7fd0edc
Merge branch 'phase3' into phase3-objdict-fixes
xFrednet Jun 30, 2025
43c764b
Merge pull request #56 from mjp41/phase3-objdict-fixes
xFrednet Jun 30, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions .github/workflows/build.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -140,7 +140,7 @@ jobs:
if: ${{ failure() && steps.check.conclusion == 'failure' }}
run: |
make regen-abidump
- uses: actions/upload-artifact@v3
- uses: actions/upload-artifact@v4
name: Publish updated ABI files
if: ${{ failure() && steps.check.conclusion == 'failure' }}
with:
Expand Down Expand Up @@ -520,7 +520,7 @@ jobs:
-x test_subprocess \
-x test_signal \
-x test_sysconfig
- uses: actions/upload-artifact@v3
- uses: actions/upload-artifact@v4
if: always()
with:
name: hypothesis-example-db
Expand Down
Loading