CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutSign UpSign In

Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.

| Download

GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

Views: 418346
Tweet
Share
Share
1
SDDFA

2


3
#137:

4
// "description" "Trace Record when a machine starts"

5
"Start Machine" {

6
	// "Time" "timeStamp"

7
	int	"timeStamp"[];

8
	// "Seconds" "Floating Point timeStamp"

9
	double	"Seconds";

10
	// "ID" "Event ID"

11
	int	"Event Identifier";

12
	// "Node" "Machine number"

13
	int	"Machine Number";

14
};;

15


16
#145:

17
// "description" "Trace Record when a machine ends"

18
"End Machine" {

19
	// "Time" "timeStamp"

20
	int	"timeStamp"[];

21
	// "Seconds" "Floating Point timeStamp"

22
	double	"Seconds";

23
	// "ID" "Event ID"

24
	int	"Event Identifier";

25
	// "Node" "Machine number"

26
	int	"Machine Number";

27
};;

28


29
#153:

30
// "description" "Trace Record for a new process"

31
"New Process" {

32
	// "Time" "timeStamp"

33
	int	"timeStamp"[];

34
	// "Seconds" "Floating Point timeStamp"

35
	double	"Seconds";

36
	// "ID" "Event ID"

37
	int	"Event Identifier";

38
	// "Node" "Machine number"

39
	int	"Machine Number";

40
	// "Process" "Process ID"

41
	int	"Process ID";

42
};;

43


44
#241:

45
// "description" "Trace Record when a process is labelled"

46
"Label Process" {

47
	// "Time" "timeStamp"

48
	int	"timeStamp"[];

49
	// "Seconds" "Floating Point timeStamp"

50
	double	"Seconds";

51
	// "ID" "Event ID"

52
	int	"Event Identifier";

53
	// "Node" "Machine number"

54
	int	"Machine Number";

55
	// "Process" "Process ID"

56
	int	"Process ID";

57
	// "Label" "Name of Process"

58
	char	"Label"[];

59
};;

60


61
#161:

62
// "description" "Trace Record when a process is killed"

63
"Kill Process" {

64
	// "Time" "timeStamp"

65
	int	"timeStamp"[];

66
	// "Seconds" "Floating Point timeStamp"

67
	double	"Seconds";

68
	// "ID" "Event ID"

69
	int	"Event Identifier";

70
	// "Node" "Machine number"

71
	int	"Machine Number";

72
	// "Process" "Process ID"

73
	int	"Process ID";

74
};;

75


76
#169:

77
// "description" "Trace Record for a new thread"

78
"New Thread" {

79
	// "Time" "timeStamp"

80
	int	"timeStamp"[];

81
	// "Seconds" "Floating Point timeStamp"

82
	double	"Seconds";

83
	// "ID" "Event ID"

84
	int	"Event Identifier";

85
	// "Node" "Machine number"

86
	int	"Machine Number";

87
	// "Process" "Process ID"

88
	int	"Process ID";

89
	// "Thread" "Thread ID"

90
	int	"Thread ID";

91
	// "Outport" "Outport ID"

92
	int	"Outport ID";

93
};;

94


95
#177:

96
// "description" "Trace Record when a thread is killed"

97
"Kill Thread" {

98
	// "Time" "timeStamp"

99
	int	"timeStamp"[];

100
	// "Seconds" "Floating Point timeStamp"

101
	double	"Seconds";

102
	// "ID" "Event ID"

103
	int	"Event Identifier";

104
	// "Node" "Machine number"

105
	int	"Machine Number";

106
	// "Process" "Process ID"

107
	int	"Process ID";

108
	// "Thread" "Thread ID"

109
	int	"Thread ID";

110
};;

111


112
#185:

113
// "description" "Trace Record when a thread is set to run"

114
"Run Thread" {

115
	// "Time" "timeStamp"

116
	int	"timeStamp"[];

117
	// "Seconds" "Floating Point timeStamp"

118
	double	"Seconds";

119
	// "ID" "Event ID"

120
	int	"Event Identifier";

121
	// "Node" "Machine number"

122
	int	"Machine Number";

123
	// "Process" "Process ID"

124
	int	"Process ID";

125
	// "Thread" "Thread ID"

126
	int	"Thread ID";

127
};;

128


129
#193:

130
// "description" "Trace Record when a thread is suspended"

131
"Suspend Thread" {

132
	// "Time" "timeStamp"

133
	int	"timeStamp"[];

134
	// "Seconds" "Floating Point timeStamp"

135
	double	"Seconds";

136
	// "ID" "Event ID"

137
	int	"Event Identifier";

138
	// "Node" "Machine number"

139
	int	"Machine Number";

140
	// "Process" "Process ID"

141
	int	"Process ID";

142
	// "Thread" "Thread ID"

143
	int	"Thread ID";

144
};;

145


146
#201:

147
// "description" "Trace Record when a thread is blocked"

148
"Block Thread" {

149
	// "Time" "timeStamp"

150
	int	"timeStamp"[];

151
	// "Seconds" "Floating Point timeStamp"

152
	double	"Seconds";

153
	// "ID" "Event ID"

154
	int	"Event Identifier";

155
	// "Node" "Machine number"

156
	int	"Machine Number";

157
	// "Process" "Process ID"

158
	int	"Process ID";

159
	// "Thread" "Thread ID"

160
	int	"Thread ID";

161
	// "Receiving Channel" "Inport ID"

162
	int	"Inport ID";

163
	// "Block Reason tag" "Block Reason"

164
	int	"Block Reason";

165
};;

166


167
#209:

168
// "description" "Trace Record when a thread is deblocked"

169
"Deblock Thread" {

170
	// "Time" "timeStamp"

171
	int	"timeStamp"[];

172
	// "Seconds" "Floating Point timeStamp"

173
	double	"Seconds";

174
	// "ID" "Event ID"

175
	int	"Event Identifier";

176
	// "Node" "Machine number"

177
	int	"Machine Number";

178
	// "Process" "Process ID"

179
	int	"Process ID";

180
	// "Thread" "Thread ID"

181
	int	"Thread ID";

182
};;

183


184
#217:

185
// "description" "Trace Record when a Message is sent"

186
"Send Message" {

187
	// "Time" "timeStamp"

188
	int	"timeStamp"[];

189
	// "Seconds" "Floating Point timeStamp"

190
	double	"Seconds";

191
	// "ID" "Event ID"

192
	int	"Event Identifier";

193
	// "Node" "Machine number"

194
	int	"Machine Number";

195
	// "Sending Process" "Sending Process ID"

196
	int	"Sender Process ID";

197
	// "Sending Channel" "Outport ID"

198
	int	"Outport ID";

199
	// "Receiving Processor" "Receiving Processor Number"

200
	int	"Receiving Processor ID";

201
	// "Receiving Process" "Receiving Process ID"

202
	int	"Receiving Process ID";

203
	// "Receiving Channel" "Inport ID"

204
	int	"Inport ID";

205
	// "Tag" "Tag ID"

206
	int	"Tag of the message";

207
};;

208


209
#225:

210
// "description" "Trace Record when a Message is received"

211
"Receive Message" {

212
	// "Time" "timeStamp"

213
	int	"timeStamp"[];

214
	// "Seconds" "Floating Point timeStamp"

215
	double	"Seconds";

216
	// "ID" "Event ID"

217
	int	"Event Identifier";

218
	// "Node" "Machine number"

219
	int	"Machine Number";

220
	// "Receiving Process" "Receiving Process ID"

221
	int	"Receiving Process ID";

222
	// "Receiving Channel" "Inport ID"

223
	int	"Inport ID";

224
	// "Sending Processor" "Sending Processor Number"

225
	int	"Sending Processor ID";

226
	// "Sending Process" "Sending Process ID"

227
	int	"Sending Process ID";

228
	// "Sending Channel" "Outport ID"

229
	int	"Outport ID";

230
	// "Tag" "Tag ID"

231
	int	"Tag of the message";

232
	// "Size of message" "Size of message in words"

233
	int	"Size in words";

234
};;

235


236
#233:

237
// "description" "Trace Record containing Garbage Collection statistics"

238
"GC done" {

239
	// "Time" "timeStamp"

240
	int	"timeStamp"[];

241
	// "Seconds" "Floating Point timeStamp"

242
	double	"Seconds";

243
	// "ID" "Event ID"

244
	int	"Event Identifier";

245
	// "Node" "Machine number"

246
	int	"Machine Number";

247
	// "GC generation" "GC up to this generation"

248
	int	"generation";

249
	// "allocated" "heap allocated before GC"

250
	long	"allocSize";

251
	// "collected" "heap data collected in GC"

252
	long	"collectSize";

253
	// "live" "live heap data (heap consumption)"

254
	long	"liveData";

255
};;

256


257
#257:

258
// "description" "Trace Record to start receiving messages"

259
"Start Communication" {

260
	// "Time" "timeStamp"

261
	int	"timeStamp"[];

262
	// "Seconds" "Floating Point timeStamp"

263
	double	"Seconds";

264
	// "ID" "Event ID"

265
	int	"Event Identifier";

266
	// "Node" "Machine number"

267
	int	"Machine Number";

268
};;

269


270
#265:

271
// "description" "Trace Record after receiving messages"

272
"End Communication" {

273
	// "Time" "timeStamp"

274
	int	"timeStamp"[];

275
	// "Seconds" "Floating Point timeStamp"

276
	double	"Seconds";

277
	// "ID" "Event ID"

278
	int	"Event Identifier";

279
	// "Node" "Machine number"

280
	int	"Machine Number";

281
};;

282


283
#19:

284
// "description" "Dump cost event"

285
"Dump Cost" {

286
	// "Time" "Timestamp"

287
	int	"Timestamp"[];

288
	// "Seconds" "Floating Point Timestamp"

289
	double	"Seconds";

290
	// "ID" "Event ID"

291
	int	"Event Identifier";

292
	// "Node" "Processor number"

293
	int	"Processor Number";

294
	// "Interval Seconds" "Floating point interval duration"

295
	double	"Interval Seconds";

296
	// "Interval" "Time interval"

297
	int	"Time Interval"[];

298
};;

299


300
#65:

301
// "description" "Generic trace event"

302
"Generic Trace" {

303
	// "Time" "Timestamp"

304
	int	"Timestamp"[];

305
	// "Seconds" "Floating Point Timestamp"

306
	double	"Seconds";

307
	// "ID" "Event ID"

308
	int	"Event Identifier";

309
	// "Node" "Processor number"

310
	int	"Processor Number";

311
	// "Data" "User data"

312
	char	"User Defined Data"[];

313
};;

314


315
#66:

316
// "description" "Generic count event"

317
"Generic Count" {

318
	// "Time" "Timestamp"

319
	int	"Timestamp"[];

320
	// "Seconds" "Floating Point Timestamp"

321
	double	"Seconds";

322
	// "ID" "Event ID"

323
	int	"Event Identifier";

324
	// "Node" "Processor number"

325
	int	"Processor Number";

326
	// "Count" "Event count"

327
	int	"Event Count";

328
};;

329


330
#67:

331
// "description" "Generic interval event"

332
"Generic Interval" {

333
	// "Time" "Timestamp"

334
	int	"Timestamp"[];

335
	// "Seconds" "Floating Point Timestamp"

336
	double	"Seconds";

337
	// "ID" "Event ID"

338
	int	"Event Identifier";

339
	// "Node" "Processor number"

340
	int	"Processor Number";

341
	// "Interval Seconds" "Floating point interval duration"

342
	double	"Interval Seconds";

343
	// "Interval" "Time interval"

344
	int	"Time Interval"[];

345
};;

346


347


348