1
Fork 0
mirror of git://git.sv.gnu.org/emacs.git synced 2026-03-23 07:12:12 -07:00
Commit graph

460 commits

Author SHA1 Message Date
Richard Kistruck
22fdca2d3a Mps br/timing testlib.c: fix warning ("... may be used uninitialized")
Copied from Perforce
 Change: 167188
 ServerID: perforce.ravenbrook.com
2009-01-21 13:20:20 +00:00
Richard Kistruck
b3e30c49e6 Mps br/timing rnd():
Use a = 48271.  Use fast implementation.  Much improved verification by rnd_verify().

Copied from Perforce
 Change: 167182
 ServerID: perforce.ravenbrook.com
2009-01-20 18:23:53 +00:00
Richard Kistruck
6d281f71b5 Mps br.timing: testlib randomize() was wrong (simply discarding the first 0..32000 values is a throughly defective way to seed the generator). correct it to simply use timestamp (modulo m) as the initial seed, and then iterate 10 times.
rnd(): add notes, and create rnd_verify() to confirm implementation is correct.

Copied from Perforce
 Change: 167181
 ServerID: perforce.ravenbrook.com
2009-01-20 15:59:32 +00:00
Richard Kistruck
9f95ae41de Mps br/timing zcoll.c: show count of objects made & kept.
Also (TEMPORARY) investigate poor seeding of rnd().  Aha -- 
it's a full-period generator.  Therefore the current 
randomize is a very poor way to seed it.

Copied from Perforce
 Change: 167152
 ServerID: perforce.ravenbrook.com
2009-01-13 16:30:27 +00:00
Richard Kistruck
ba719e96d5 Mps br/timing zcoll.c: (fix unused variable)
Copied from Perforce
 Change: 167018
 ServerID: perforce.ravenbrook.com
2008-12-22 17:33:05 +00:00
Richard Kistruck
d0349139d6 Mps br/timing zcoll.c: (new test) hack in the basics; build it
Copied from Perforce
 Change: 167017
 ServerID: perforce.ravenbrook.com
2008-12-22 17:31:14 +00:00
Richard Kistruck
06c2e99a20 Mps br/timing zmess.c: (clarity tweaks)
Copied from Perforce
 Change: 167016
 ServerID: perforce.ravenbrook.com
2008-12-22 17:30:49 +00:00
Richard Kistruck
2e5c4488c4 Mps br/timing zmess.c: copyright date
Copied from Perforce
 Change: 167015
 ServerID: perforce.ravenbrook.com
2008-12-22 16:51:55 +00:00
Richard Kistruck
745737ba31 Mps br/timing zcoll.c: (new test) create by integrating from zmess.c
Copied from Perforce
 Change: 167014
 ServerID: perforce.ravenbrook.com
2008-12-22 16:28:32 +00:00
Richard Kistruck
9287a84bc8 Mps br/timing traceanc.c review and polish:
.whybuf.nul: the last char in the array must be NUL (even if there is another NUL earlier in the buffer).
Message Delete functions set sig to invalid, and call MessageFinish.
TraceIdMessagesDestroy uses message Delete functions.

Copied from Perforce
 Change: 167003
 ServerID: perforce.ravenbrook.com
2008-12-22 14:09:37 +00:00
Richard Kistruck
0ca8d085dd Mps br/timing: zmess.c subsumes and replaces fin1658a.c
Also improve comments in zmess.c.

Copied from Perforce
 Change: 166994
 ServerID: perforce.ravenbrook.com
2008-12-19 14:47:54 +00:00
Richard Kistruck
4a9aeda2e0 Mps br/timing: rename z001989a.c as zmess.c
Copied from Perforce
 Change: 166993
 ServerID: perforce.ravenbrook.com
2008-12-19 14:27:48 +00:00
Richard Kistruck
601e74637c Mps br/timing: rename z001989a.c as zmessco.c
Copied from Perforce
 Change: 166991
 ServerID: perforce.ravenbrook.com
2008-12-19 14:08:14 +00:00
Richard Kistruck
a6caf88981 Mps br/timing traceanc.c: timca_remote: undo testing-only additions
to TraceIdMessagesCreate.

Copied from Perforce
 Change: 166960
 ServerID: perforce.ravenbrook.com
2008-12-17 17:27:01 +00:00
Richard Kistruck
3a6f6d10f2 Mps br/timing z001989a.c: timca_remote -- traceidmessagescreate alloc remote control
In low memory situations, ControlAlloc may be unable to allocate 
memory for GC messages.  This needs to work flawlessly, but is 
hard to test.  To simulate it for testing purposes, do macro-magic 
in traceanc.c, before the definition of TraceIdMessagesCreate.
Test all designed behaviour of TraceIdMessagesCreate failing.
See <design/message-gc#lifecycle>.

Copied from Perforce
 Change: 166959
 ServerID: perforce.ravenbrook.com
2008-12-17 17:17:55 +00:00
Richard Kistruck
33b07a0011 Mps br/timing (revert previous local-only change @166956)
Copied from Perforce
 Change: 166957
 ServerID: perforce.ravenbrook.com
2008-12-16 18:01:18 +00:00
Richard Kistruck
aa8add5e4e Mps br/timing (local only - must revert) hack trace.c so it does not
pre-allocate GC messages after the first trace, and verify that 
everything still works, droppedMessages is incremented, and reported 
as non-zero (in diagnostic varieties only) by global.c on 
ArenaDestroy.  Test passes.

Copied from Perforce
 Change: 166956
 ServerID: perforce.ravenbrook.com
2008-12-16 17:59:50 +00:00
Richard Kistruck
1c258e7ce8 Mps br/timing global.c: report dropped messages (currently in diagnostic varieties only)
Copied from Perforce
 Change: 166955
 ServerID: perforce.ravenbrook.com
2008-12-16 17:54:53 +00:00
Richard Kistruck
29573066e4 Mps br/timing (local only) diag.c: turn off tracestart and tracefindgrey
Copied from Perforce
 Change: 166954
 ServerID: perforce.ravenbrook.com
2008-12-16 17:53:46 +00:00
Richard Kistruck
898f4d872b Mps br/timing z001989a.c: "!" means get but don't discarrd messages,
to check MPS copes okay.  See .discard.
Also: improve comments.

Copied from Perforce
 Change: 166953
 ServerID: perforce.ravenbrook.com
2008-12-16 17:46:45 +00:00
Richard Kistruck
9d7293a9e2 Mps br/timing global.c: new diag "globalspreparetodestroy", reports if message queue not empty.
Copied from Perforce
 Change: 166952
 ServerID: perforce.ravenbrook.com
2008-12-16 16:20:16 +00:00
Richard Kistruck
593d96e65a Mps br/timing traceanc.c: tracestartmessagedelete must controlfree,
NOT call traceStartMessageInit.

Copied from Perforce
 Change: 166951
 ServerID: perforce.ravenbrook.com
2008-12-16 16:14:17 +00:00
Richard Kistruck
8efd0b43b5 Mps br/diag arena.c: arenadestroy diag = controldescribe.
(p4 integ -f //info.ravenbrook.com/project/mps/branch/2008-03-11/auto_header/code/arena.chttps://github.com/Ravenbrook/mps/issues/3,https://github.com/Ravenbrook/mps/issues/5 arena.c)

Copied from Perforce
 Change: 166950
 ServerID: perforce.ravenbrook.com
2008-12-16 16:09:43 +00:00
Richard Kistruck
24bb28bfc1 Mps br/timing z001989a.c: oops, re-enable test of delayeed getting
of messages.  Demonstrates fix for job001989.

Copied from Perforce
 Change: 166919
 ServerID: perforce.ravenbrook.com
2008-12-11 16:08:47 +00:00
Richard Kistruck
380ab1ec56 Mps br/timing traceidmessages: create them at mps_arena_create time,
re-create them immediately after a trace sends its last message.
Store them, one per TraceId, in ArenaStruct.  Cope correctly if they 
cannot be created (ControlAlloc fails).  Destroy them correctly on 
mps_arena_destroy.  See job001989 and design/message-gc#lifecycle
(not yet written).

Copied from Perforce
 Change: 166918
 ServerID: perforce.ravenbrook.com
2008-12-11 16:06:14 +00:00
Richard Kistruck
788aac4a8f mps br/timing traceanc: (tidying only) improve comments and variable
names.

Copied from Perforce
 Change: 166915
 ServerID: perforce.ravenbrook.com
2008-12-10 10:32:29 +00:00
Richard Kistruck
f8dfaf2b9a Mps br/timing traceanc: trace.c needs tracestartwhytostring
(for .variety.di only, as it happens)

Copied from Perforce
 Change: 166912
 ServerID: perforce.ravenbrook.com
2008-12-09 17:18:09 +00:00
Richard Kistruck
beb476fd52 Mps br/timing: traceanc.c -- all this ancillary stuff was making
trace.c very cluttered.  Put it here instead.

Copied from Perforce
 Change: 166911
 ServerID: perforce.ravenbrook.com
2008-12-09 16:55:22 +00:00
Richard Kistruck
944ed422a9 Mps br/timing: delete w3{al,pp}mv.nmk -- they are long dead.
Copied from Perforce
 Change: 166907
 ServerID: perforce.ravenbrook.com
2008-12-09 16:03:03 +00:00
Richard Kistruck
da4bb22476 Mps br/timing traceanc.c (create) ancillary trace-related code that
is not essential to Trace objects.  (p4 integ'd from trace.c to 
preserve ancestry).

Copied from Perforce
 Change: 166900
 ServerID: perforce.ravenbrook.com
2008-12-08 15:37:40 +00:00
Richard Kistruck
f2ce6b2993 Mps br/timing z001989a: report() checks found message types match
expected ones, in order.  Temporarily ifdef-out failing job001989 
tests.

Copied from Perforce
 Change: 166884
 ServerID: perforce.ravenbrook.com
2008-12-06 10:37:38 +00:00
Richard Kistruck
878011cfa4 Mps br/timing z001989a: get collection begin/end messages.
FAILS: thereby demonstrating defect job001989.

Copied from Perforce
 Change: 166881
 ServerID: perforce.ravenbrook.com
2008-12-05 22:14:56 +00:00
Richard Kistruck
4c3468bab8 Mps br/timing z001989a: make f drop ref for one object, lo or hi alternately.
Copied from Perforce
 Change: 166880
 ServerID: perforce.ravenbrook.com
2008-12-05 21:45:43 +00:00
Richard Kistruck
66b0d02a12 Mps br/timing: z001989a.c: each script should run with a new arena
and objects.  So functions are now:
main
testscriptA
testscriptB
testscriptC
FAILS: intended failure of final script (to show that it does catch 
failures).

Copied from Perforce
 Change: 166877
 ServerID: perforce.ravenbrook.com
2008-12-05 18:04:03 +00:00
Richard Kistruck
26e1672a0f Mps br/timing: new test z001989a.c, for job001989: mps _gc_start messages may cause assert or infinite loop
Add it to makefiles.
Make a start on test file:
  main
  main2
  test
  testscript
So far, only counts messages, does not get _gc or _gs_start, does not 
yet test finalization messages.  But works, so useful checkpoint.

Copied from Perforce
 Change: 166876
 ServerID: perforce.ravenbrook.com
2008-12-05 17:07:26 +00:00
Richard Kistruck
8dfaa4f1ff Mps br/timing: new test z001989a.c, for job001989: mps _gc_start messages may cause assert or infinite loop
Copied from Perforce
 Change: 166875
 ServerID: perforce.ravenbrook.com
2008-12-05 14:54:16 +00:00
Richard Kistruck
93413bb5b4 Mps br/timing: clear up mistakes in fin1658a.c
use DYLAN_* and make_dylan_vector facilities from fmtdytst
remove exact root p -- illegal reference to an incomplete object
use stack scanning instead
rename root as myroot to avoid confusion with mps root objects

Copied from Perforce
 Change: 166864
 ServerID: perforce.ravenbrook.com
2008-12-04 16:24:57 +00:00
Richard Kistruck
90545f655d Mps br/timing: hack finaltest.c, to show gcstart bug job001989
Copied from Perforce
 Change: 166855
 ServerID: perforce.ravenbrook.com
2008-12-02 15:03:45 +00:00
Richard Kistruck
c7dca62033 Mps br/timing: (cosmetic):
message.c: rename MessageClocked() as MessageIsClocked()
check.h: better name in future improvement comments

Copied from Perforce
 Change: 166801
 ServerID: perforce.ravenbrook.com
2008-11-24 16:53:12 +00:00
Richard Kistruck
c72217c9f9 Mps br/timing: move field "messagetype type" out of messagestruct
and into MessageClassStruct.

Copied from Perforce
 Change: 166795
 ServerID: perforce.ravenbrook.com
2008-11-24 15:44:27 +00:00
Richard Kistruck
601329ccc3 Mps br/timing: exp-166704
Copied from Perforce
 Change: 166704
 ServerID: perforce.ravenbrook.com
2008-11-12 17:00:11 +00:00
Richard Kistruck
cd17a5f411 Mps br/timing: mps_alert_collection_set() -- client sets a callback
function; MPS calls it synchronously on collection start/stop 
(immediately after posting start/stop message).  The callback 
receives two ints: alertcode (start|stop; see mps.h), and whycode 
(trace->why).  Note: callback is also called for heap walk 
start/stop.
amcss.c: show start/stop alerts.

Copied from Perforce
 Change: 166703
 ServerID: perforce.ravenbrook.com
2008-11-12 15:07:04 +00:00
Richard Kistruck
78d333082d Mps br/timing: messageclocked(), used in messagecheck and to prevent
numerous messages (namely: finalization messages) being timestamped.

Copied from Perforce
 Change: 166702
 ServerID: perforce.ravenbrook.com
2008-11-12 10:02:52 +00:00
Richard Kistruck
234b91ec5e Mps br/timing: new clocknow() wrapper for mps_clock(), clockspersec();
use Clock in arena step (not Word).

Copied from Perforce
 Change: 166701
 ServerID: perforce.ravenbrook.com
2008-11-12 09:26:48 +00:00
Richard Kistruck
2b4cf6ca29 Mps br/timing: new type "clock", internal equivalent of mps_clock_t.
Used for a field in messages.  (More uses to follow).

Copied from Perforce
 Change: 166697
 ServerID: perforce.ravenbrook.com
2008-11-11 16:57:30 +00:00
Richard Kistruck
ea707da154 Mps br/timing: mpsi_check(): check that external and internal messsage types match.
Copied from Perforce
 Change: 166696
 ServerID: perforce.ravenbrook.com
2008-11-11 16:22:26 +00:00
Richard Kistruck
0619697451 Mps br/timing: finalcv.c: verify that message clock is 0 (unset)
for finalization messages.

Copied from Perforce
 Change: 166695
 ServerID: perforce.ravenbrook.com
2008-11-11 15:28:28 +00:00
Richard Kistruck
417ed5993d Mps br/timing: do not set postedclock for finalization msgs.
Copied from Perforce
 Change: 166690
 ServerID: perforce.ravenbrook.com
2008-11-11 10:39:53 +00:00
Richard Kistruck
abb8654f3b Mps br/timing: amcss output changes:
- Keep counts of both collection start messages and collection end 
  messages.  Upon receipt of these messages, format the collection 
  start/end reports as 'brackets' (makes it easier to see whether 
  allocation continues during the collection or not).
- If mps_collections has changed, report() messages before doing 
  anything else.
- (source code clarity) Guess that the naked "4" in the 
  mps_arena_has_addr test means "hitsWanted", and label it.

Copied from Perforce
 Change: 166689
 ServerID: perforce.ravenbrook.com
2008-11-11 10:31:48 +00:00
Richard Kistruck
ac8737958b Mps br/timing:
message.c: maintain postedClock field, set it with mps_clock() at post time;
  amcss.c: call and display mps_message_clock() on _gc_start & _gc messages.

Copied from Perforce
 Change: 166677
 ServerID: perforce.ravenbrook.com
2008-11-07 16:11:37 +00:00