1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
|
// |reftest| skip-if(!this.hasOwnProperty('Atomics')) -- Atomics is not enabled unconditionally
// Copyright (C) 2017 Mozilla Corporation. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/*---
esid: sec-atomics.islockfree
description: >
Atomics.isLockFree( size )
Let n be ? ToInteger(size).
Let AR be the Agent Record of the surrounding agent.
If n equals 1, return AR.[[IsLockFree1]].
If n equals 2, return AR.[[IsLockFree2]].
If n equals 4, return true.
If n equals 8, return AR.[[IsLockFree8]].
Return false.
features: [Atomics, Array.prototype.includes]
---*/
// These are the only counts that we care about tracking.
var isLockFree1;
var isLockFree2;
var isLockFree8;
{
isLockFree1 = Atomics.isLockFree(1);
//
// If n equals 1, return AR.[[IsLockFree1]].
//
assert.sameValue(typeof isLockFree1, 'boolean', 'The value of `typeof isLockFree1` is "boolean"');
// Once the values of [[Signifier]], [[IsLockFree1]], [[IsLockFree2]],
// and [[IsLockFree8]] have been observed by any agent in the agent
// cluster they cannot change.
assert.sameValue(
Atomics.isLockFree(1),
isLockFree1,
'Atomics.isLockFree(1) returns the value of `isLockFree1` (Atomics.isLockFree(1))'
);
};
{
isLockFree2 = Atomics.isLockFree(2);
//
// If n equals 2, return AR.[[IsLockFree2]].
//
assert.sameValue(typeof isLockFree2, 'boolean', 'The value of `typeof isLockFree2` is "boolean"');
// Once the values of [[Signifier]], [[IsLockFree1]], [[IsLockFree2]],
// and [[IsLockFree8]] have been observed by any agent in the agent
// cluster they cannot change.
assert.sameValue(
Atomics.isLockFree(2),
isLockFree2,
'Atomics.isLockFree(2) returns the value of `isLockFree2` (Atomics.isLockFree(2))'
);
};
{
let isLockFree4 = Atomics.isLockFree(4);
//
// If n equals 4, return true.
//
assert.sameValue(typeof isLockFree4, 'boolean', 'The value of `typeof isLockFree4` is "boolean"');
assert.sameValue(isLockFree4, true, 'The value of `isLockFree4` is true');
};
{
isLockFree8 = Atomics.isLockFree(8);
//
// If n equals 8, return AR.[[IsLockFree8]].
//
assert.sameValue(typeof isLockFree8, 'boolean', 'The value of `typeof isLockFree8` is "boolean"');
// Once the values of [[Signifier]], [[IsLockFree1]], [[IsLockFree2]],
// and [[IsLockFree8]] have been observed by any agent in the agent
// cluster they cannot change.
assert.sameValue(
Atomics.isLockFree(8),
isLockFree8,
'Atomics.isLockFree(8) returns the value of `isLockFree8` (Atomics.isLockFree(8))'
);
};
{
for (let i = 0; i < 12; i++) {
if (![1, 2, 4, 8].includes(i)) {
assert.sameValue(Atomics.isLockFree(i), false, 'Atomics.isLockFree(i) returns false');
}
}
};
assert.sameValue(
Atomics.isLockFree(1),
isLockFree1,
'Atomics.isLockFree(1) returns the value of `isLockFree1` (Atomics.isLockFree(1))'
);
assert.sameValue(
Atomics.isLockFree(2),
isLockFree2,
'Atomics.isLockFree(2) returns the value of `isLockFree2` (Atomics.isLockFree(2))'
);
assert.sameValue(
Atomics.isLockFree(8),
isLockFree8,
'Atomics.isLockFree(8) returns the value of `isLockFree8` (Atomics.isLockFree(8))'
);
// Duplicates behavior created by loop from above
assert.sameValue(Atomics.isLockFree(3), false, 'Atomics.isLockFree(3) returns false');
assert.sameValue(Atomics.isLockFree(4), true, 'Atomics.isLockFree(4) returns true');
assert.sameValue(Atomics.isLockFree(5), false, 'Atomics.isLockFree(5) returns false');
assert.sameValue(Atomics.isLockFree(6), false, 'Atomics.isLockFree(6) returns false');
assert.sameValue(Atomics.isLockFree(7), false, 'Atomics.isLockFree(7) returns false');
assert.sameValue(Atomics.isLockFree(9), false, 'Atomics.isLockFree(9) returns false');
assert.sameValue(Atomics.isLockFree(10), false, 'Atomics.isLockFree(10) returns false');
assert.sameValue(Atomics.isLockFree(11), false, 'Atomics.isLockFree(11) returns false');
assert.sameValue(Atomics.isLockFree(12), false, 'Atomics.isLockFree(12) returns false');
reportCompare(0, 0);
|
