Skip to content
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

Jump to bottom

Adding test to test Ephemerons in the Old Space #702

Open
wants to merge 12 commits into
base: pharo-12
Choose a base branch
from
Open

Adding test to test Ephemerons in the Old Space #702

Changes from 5 commits
Commits
Show all changes
12 commits
Select commit Hold shift + click to select a range
1ab3110
Add class that test some edge cases of the ephemerons algorithm
jordanmontt Oct 9, 2023
c9eb905
Added more tests exposing when the algorithm fails
jordanmontt Oct 26, 2023
ba5d1c4
Code reformatting
jordanmontt Oct 26, 2023
7714363
updated comment
jordanmontt Aug 22, 2024
5a89a23
Revert "updated comment"
jordanmontt Aug 22, 2024
210b40d
Removed new testing class and only kept the test for testing the ephe…
jordanmontt Sep 20, 2024
00f99f1
Revert "Removed new testing class and only kept the test for testing …
jordanmontt Sep 20, 2024
a5e8c44
Removed new testing class for ephemerons. Moved one test to the Gc ol…
jordanmontt Sep 20, 2024
700adfe
Merge branch 'pharo-12' into ephemerons-algorithm-bug
jordanmontt Sep 24, 2024
4f76a30
Fixed tonel format that was broken during the merging
jordanmontt Sep 24, 2024
f4a5ab7
Added comment to see if the vm builds
jordanmontt Sep 24, 2024
0f4b7ba
Revert "Added comment to see if the vm builds"
jordanmontt Sep 24, 2024
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
361 changes: 361 additions & 0 deletions smalltalksrc/VMMakerTests/VMSpurEphemeronsAlgorithmTest.class.st
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,361 @@
Class {
#name : #VMSpurEphemeronsAlgorithmTest,
#superclass : #VMSpurInitializedOldSpaceTest,
#instVars : [
'ephemeronObjectOopOne',
'ephemeronObjectOopTwo',
'nonEphemeronObjectOopOne',
'nonEphemeronObjectOopTwo'
],
#category : #'VMMakerTests-MemoryTests'
}
jordanmontt marked this conversation as resolved.
Show resolved Hide resolved

{ #category : #helper }
VMSpurEphemeronsAlgorithmTest >> addKeysToEphemerons [

memory storePointer: 0
ofObject: ephemeronObjectOopOne
withValue: nonEphemeronObjectOopOne.

memory storePointer: 0
ofObject: ephemeronObjectOopTwo
withValue: nonEphemeronObjectOopTwo
]

{ #category : #helper }
VMSpurEphemeronsAlgorithmTest >> keepEphemeronsInVMVariables [
"Force ephemerons to not be collected by putting them in special variables"

self keepObjectInVMVariable1: ephemeronObjectOopOne.
self keepObjectInVMVariable2: ephemeronObjectOopTwo
]

{ #category : #helper }
VMSpurEphemeronsAlgorithmTest >> newEphemeronObjectOldSpace [
"In pharo Ephemerons have 3 slots"

^ self newOldSpaceObjectWithSlots: 3
format: memory ephemeronFormat
classIndex: (memory ensureBehaviorHash: ourEphemeronClass)
]

{ #category : #running }
VMSpurEphemeronsAlgorithmTest >> setUp [

super setUp.
memory initializeMournQueue.
self createEphemeronClass
]

{ #category : #'tests - finalization - algorithm' }
VMSpurEphemeronsAlgorithmTest >> testEphemeronsOldObjectsOld [

ephemeronObjectOopOne := self newEphemeronObjectOldSpace.
ephemeronObjectOopTwo := self newEphemeronObjectOldSpace.
nonEphemeronObjectOopOne := self newOldSpaceObjectWithSlots: 1.
nonEphemeronObjectOopTwo := self newOldSpaceObjectWithSlots: 0.
"Make object 1 reference object 2"
memory storePointer: 0 ofObject: nonEphemeronObjectOopOne withValue: nonEphemeronObjectOopTwo.

self addKeysToEphemerons.
self keepEphemeronsInVMVariables.

"Collect both non ephemeron objects"
memory fullGC.

"ephemeronObjectOopOne := memory remapObj: ephemeronObjectOopOne.
ephemeronObjectOopTwo := memory remapObj: ephemeronObjectOopTwo."

self assert: memory dequeueMourner equals: ephemeronObjectOopTwo.
self assert: memory dequeueMourner equals: ephemeronObjectOopOne
]

{ #category : #'tests - finalization - algorithm' }
VMSpurEphemeronsAlgorithmTest >> testEphemeronsOldObjectsOldInverse [

ephemeronObjectOopOne := self newEphemeronObjectOldSpace.
ephemeronObjectOopTwo := self newEphemeronObjectOldSpace.
nonEphemeronObjectOopOne := self newOldSpaceObjectWithSlots: 0.
nonEphemeronObjectOopTwo := self newOldSpaceObjectWithSlots: 1.
"Make object 2 reference object 1"
memory storePointer: 0 ofObject: nonEphemeronObjectOopTwo withValue: nonEphemeronObjectOopOne.

self addKeysToEphemerons.
self keepEphemeronsInVMVariables.

"Collect both non ephemeron objects"
memory fullGC.

"ephemeronObjectOopOne := memory remapObj: ephemeronObjectOopOne.
ephemeronObjectOopTwo := memory remapObj: ephemeronObjectOopTwo."

self assert: memory dequeueMourner equals: ephemeronObjectOopTwo.
self assert: memory dequeueMourner equals: ephemeronObjectOopOne
]

{ #category : #'tests - finalization - algorithm' }
VMSpurEphemeronsAlgorithmTest >> testEphemeronsOldObjectsYoung [

ephemeronObjectOopOne := self newEphemeronObjectOldSpace.
ephemeronObjectOopTwo := self newEphemeronObjectOldSpace.
nonEphemeronObjectOopOne := self newObjectWithSlots: 1.
nonEphemeronObjectOopTwo := self newZeroSizedObject.
"Make object 1 reference object 2"
memory storePointer: 0 ofObject: nonEphemeronObjectOopOne withValue: nonEphemeronObjectOopTwo.

self addKeysToEphemerons.
self keepEphemeronsInVMVariables.

"Collect both non ephemeron objects"
memory doScavenge:1 "Tenured by age".
memory fullGC.

"ephemeronObjectOopOne := memory remapObj: ephemeronObjectOopOne.
ephemeronObjectOopTwo := memory remapObj: ephemeronObjectOopTwo."

self assert: memory dequeueMourner equals: ephemeronObjectOopTwo.
self assert: memory dequeueMourner equals: ephemeronObjectOopOne
]

{ #category : #'tests - finalization - algorithm' }
VMSpurEphemeronsAlgorithmTest >> testEphemeronsOldObjectsYoungInverse [

ephemeronObjectOopOne := self newEphemeronObjectOldSpace.
ephemeronObjectOopTwo := self newEphemeronObjectOldSpace.
nonEphemeronObjectOopOne := self newZeroSizedObject.
nonEphemeronObjectOopTwo := self newObjectWithSlots: 1.
"Make object 2 reference object 1"
memory storePointer: 0 ofObject: nonEphemeronObjectOopTwo withValue: nonEphemeronObjectOopOne.

self addKeysToEphemerons.
self keepEphemeronsInVMVariables.

"Collect both non ephemeron objects"
memory doScavenge:1 "Tenured by age".
memory fullGC.

"ephemeronObjectOopOne := memory remapObj: ephemeronObjectOopOne.
ephemeronObjectOopTwo := memory remapObj: ephemeronObjectOopTwo."

self assert: memory dequeueMourner equals: ephemeronObjectOopTwo.
self assert: memory dequeueMourner equals: ephemeronObjectOopOne
]

{ #category : #'tests - ephemerons with same key' }
VMSpurEphemeronsAlgorithmTest >> testEphemeronsWithSameKeyNewSpace [

ephemeronObjectOopOne := self newEphemeronObject.
ephemeronObjectOopTwo := self newEphemeronObject.
nonEphemeronObjectOopOne := self newZeroSizedObject.

"Both ephemerons share the same key"
memory storePointer: 0
ofObject: ephemeronObjectOopOne
withValue: nonEphemeronObjectOopOne.
memory storePointer: 0
ofObject: ephemeronObjectOopTwo
withValue: nonEphemeronObjectOopOne.

self keepObjectInVMVariable1: ephemeronObjectOopOne.
self keepObjectInVMVariable2: ephemeronObjectOopTwo.

"Collect ephemerons"
memory doScavenge: 1.

self assert: ({ ephemeronObjectOopOne. ephemeronObjectOopTwo } includes: memory dequeueMourner).
self assert: ({ ephemeronObjectOopOne. ephemeronObjectOopTwo } includes: memory dequeueMourner)
]
jordanmontt marked this conversation as resolved.
Show resolved Hide resolved

{ #category : #'tests - ephemerons with same key' }
VMSpurEphemeronsAlgorithmTest >> testEphemeronsWithSameKeyNewSpaceFlush [

ephemeronObjectOopOne := self newEphemeronObject.
ephemeronObjectOopTwo := self newEphemeronObject.
nonEphemeronObjectOopOne := self newZeroSizedObject.

"Both ephemerons share the same key"
memory storePointer: 0
ofObject: ephemeronObjectOopOne
withValue: nonEphemeronObjectOopOne.
memory storePointer: 0
ofObject: ephemeronObjectOopTwo
withValue: nonEphemeronObjectOopOne.

self keepObjectInVMVariable1: ephemeronObjectOopOne.
self keepObjectInVMVariable2: ephemeronObjectOopTwo.

"Collect both non ephemeron objects"
memory flushNewSpace.

self assert: ({ ephemeronObjectOopOne. ephemeronObjectOopTwo } includes: memory dequeueMourner).
self assert: ({ ephemeronObjectOopOne. ephemeronObjectOopTwo } includes: memory dequeueMourner)
]

{ #category : #'tests - ephemerons with same key' }
VMSpurEphemeronsAlgorithmTest >> testEphemeronsWithSameKeyNewSpaceOldSpace [

ephemeronObjectOopOne := self newEphemeronObject.
ephemeronObjectOopTwo := self newEphemeronObject.
nonEphemeronObjectOopOne := self newOldSpaceObjectWithSlots: 0.

"Both ephemerons share the same key"
memory storePointer: 0
ofObject: ephemeronObjectOopOne
withValue: nonEphemeronObjectOopOne.
memory storePointer: 0
ofObject: ephemeronObjectOopTwo
withValue: nonEphemeronObjectOopOne.

self keepObjectInVMVariable1: ephemeronObjectOopOne.
self keepObjectInVMVariable2: ephemeronObjectOopTwo.

"Collect ephemerons"
memory fullGC.

self assert: ({ ephemeronObjectOopOne. ephemeronObjectOopTwo } includes: memory dequeueMourner).
self assert: ({ ephemeronObjectOopOne. ephemeronObjectOopTwo } includes: memory dequeueMourner)
]
jordanmontt marked this conversation as resolved.
Show resolved Hide resolved

{ #category : #'tests - ephemerons with same key' }
VMSpurEphemeronsAlgorithmTest >> testEphemeronsWithSameKeyOldSpace [

ephemeronObjectOopOne := self newEphemeronObjectOldSpace.
ephemeronObjectOopTwo := self newEphemeronObjectOldSpace.
nonEphemeronObjectOopOne := self newOldSpaceObjectWithSlots: 0.

"Both ephemerons share the same key"
memory storePointer: 0
ofObject: ephemeronObjectOopOne
withValue: nonEphemeronObjectOopOne.
memory storePointer: 0
ofObject: ephemeronObjectOopTwo
withValue: nonEphemeronObjectOopOne.

self keepObjectInVMVariable1: ephemeronObjectOopOne.
self keepObjectInVMVariable2: ephemeronObjectOopTwo.

"Collect ephemerons"
memory fullGC.

self assert: ({ ephemeronObjectOopOne. ephemeronObjectOopTwo } includes: memory dequeueMourner).
self assert: ({ ephemeronObjectOopOne. ephemeronObjectOopTwo } includes: memory dequeueMourner)
]

{ #category : #'tests - ephemerons with same key' }
VMSpurEphemeronsAlgorithmTest >> testEphemeronsWithSameKeyOldSpaceNewSpace [

ephemeronObjectOopOne := self newEphemeronObjectOldSpace.
ephemeronObjectOopTwo := self newEphemeronObjectOldSpace.
nonEphemeronObjectOopOne := self newZeroSizedObject.

"Both ephemerons share the same key"
memory storePointer: 0
ofObject: ephemeronObjectOopOne
withValue: nonEphemeronObjectOopOne.
memory storePointer: 0
ofObject: ephemeronObjectOopTwo
withValue: nonEphemeronObjectOopOne.

self keepObjectInVMVariable1: ephemeronObjectOopOne.
self keepObjectInVMVariable2: ephemeronObjectOopTwo.

"Collect ephemerons"
memory fullGC.

self assert: ({ ephemeronObjectOopOne. ephemeronObjectOopTwo } includes: memory dequeueMourner).
self assert: ({ ephemeronObjectOopOne. ephemeronObjectOopTwo } includes: memory dequeueMourner)
]

{ #category : #'tests - finalization - algorithm' }
VMSpurEphemeronsAlgorithmTest >> testEphemeronsYoungObjectsOld [

ephemeronObjectOopOne := self newEphemeronObject.
ephemeronObjectOopTwo := self newEphemeronObject.
nonEphemeronObjectOopOne := self newOldSpaceObjectWithSlots: 1.
nonEphemeronObjectOopTwo := self newOldSpaceObjectWithSlots: 0.
"Make object 1 reference object 2"
memory storePointer: 0 ofObject: nonEphemeronObjectOopOne withValue: nonEphemeronObjectOopTwo.

self addKeysToEphemerons.
self keepEphemeronsInVMVariables.

"Collect both non ephemeron objects"
memory doScavenge:1 "Tenured by age".
memory fullGC.

ephemeronObjectOopOne := memory remapObj: ephemeronObjectOopOne.
ephemeronObjectOopTwo := memory remapObj: ephemeronObjectOopTwo.

self assert: memory dequeueMourner equals: ephemeronObjectOopTwo.
self assert: memory dequeueMourner equals: ephemeronObjectOopOne
]

{ #category : #'tests - finalization - algorithm' }
VMSpurEphemeronsAlgorithmTest >> testEphemeronsYoungObjectsOldInverse [

ephemeronObjectOopOne := self newEphemeronObject.
ephemeronObjectOopTwo := self newEphemeronObject.
nonEphemeronObjectOopOne := self newOldSpaceObjectWithSlots: 0.
nonEphemeronObjectOopTwo := self newOldSpaceObjectWithSlots: 1.
"Make object 2 reference object 1"
memory storePointer: 0 ofObject: nonEphemeronObjectOopTwo withValue: nonEphemeronObjectOopOne.

self addKeysToEphemerons.
self keepEphemeronsInVMVariables.

"Collect both non ephemeron objects"
memory doScavenge:1 "Tenured by age".
memory fullGC.

ephemeronObjectOopOne := memory remapObj: ephemeronObjectOopOne.
ephemeronObjectOopTwo := memory remapObj: ephemeronObjectOopTwo.

self assert: memory dequeueMourner equals: ephemeronObjectOopTwo.
self assert: memory dequeueMourner equals: ephemeronObjectOopOne
]

{ #category : #'tests - finalization - algorithm' }
VMSpurEphemeronsAlgorithmTest >> testEphemeronsYoungObjectsYoung [

ephemeronObjectOopOne := self newEphemeronObject.
ephemeronObjectOopTwo := self newEphemeronObject.
nonEphemeronObjectOopOne := self newObjectWithSlots: 1.
nonEphemeronObjectOopTwo := self newZeroSizedObject.
"Make object 1 reference object 2"
memory storePointer: 0 ofObject: nonEphemeronObjectOopOne withValue: nonEphemeronObjectOopTwo.

self addKeysToEphemerons.
self keepEphemeronsInVMVariables.

"Collect both non ephemeron objects"
memory doScavenge: 1. "TenureByAge"

ephemeronObjectOopOne := memory remapObj: ephemeronObjectOopOne.
ephemeronObjectOopTwo := memory remapObj: ephemeronObjectOopTwo.

self assert: memory dequeueMourner equals: ephemeronObjectOopOne.
self assert: memory dequeueMourner equals: ephemeronObjectOopTwo
]

{ #category : #'tests - finalization - algorithm' }
VMSpurEphemeronsAlgorithmTest >> testEphemeronsYoungObjectsYoungInverse [

ephemeronObjectOopOne := self newEphemeronObject.
ephemeronObjectOopTwo := self newEphemeronObject.
nonEphemeronObjectOopOne := self newZeroSizedObject.
nonEphemeronObjectOopTwo := self newObjectWithSlots: 1.
"Make object 2 reference object 1"
memory storePointer: 0 ofObject: nonEphemeronObjectOopTwo withValue: nonEphemeronObjectOopOne.

self addKeysToEphemerons.
self keepEphemeronsInVMVariables.

"Collect both non ephemeron objects"
memory doScavenge: 1. "TenureByAge"

ephemeronObjectOopOne := memory remapObj: ephemeronObjectOopOne.
ephemeronObjectOopTwo := memory remapObj: ephemeronObjectOopTwo.

self assert: memory dequeueMourner equals: ephemeronObjectOopOne.
self assert: memory dequeueMourner equals: ephemeronObjectOopTwo
]