Generation numbers to catch write back of stale copies
authorMarkus Armbruster <armbru@pond.sub.org>
Sun, 1 Mar 2009 17:56:41 +0000 (18:56 +0100)
committerMarkus Armbruster <armbru@pond.sub.org>
Tue, 10 Mar 2009 14:27:52 +0000 (15:27 +0100)
commit20b31defe7f0dbf68ce48c09f464624fa4090554
treea476a45923a7be82029308f3ea1f333dab8f042a
parentf8be963202a86ffdc47cd5f568461a4f016cc919
Generation numbers to catch write back of stale copies

Oops when a stale copy is written back, i.e. the processor was yielded
since the copy was made.  Such bugs are difficult to spot.  Sequence
numbers catch them when they do actual harm (they also catch different
bugs).  Generation numbers catch them even when they don't.

New ef_generation to count generations.  Call new ef_make_stale() to
step it whenever the processor may be yielded.

New struct emptypedstr member generation.  Make sure all members of
unit empobj_storage share it.  It is only used in copies; its value on
disk and in the cache is meaningless.  Set it to ef_generation by
calling new ef_mark_fresh() when making copies in ef_read() and
ef_blank().  Do the same in obj_changed() to make check_sect_ok() &
friends freshen their argument when it is unchanged.  Copies with
generation other than ef_generation are stale.

Oops in ef_write() when a stale copy is written back.
19 files changed:
include/commodity.h
include/empobj.h
include/file.h
include/game.h
include/land.h
include/loan.h
include/lost.h
include/nat.h
include/news.h
include/nuke.h
include/plane.h
include/sect.h
include/ship.h
include/trade.h
include/treaty.h
src/lib/common/file.c
src/lib/empthread/io.c
src/lib/empthread/lwp.c
src/lib/subs/check.c