aboutsummaryrefslogtreecommitdiffstats
path: root/.gitignore
blob: 72aa1c74c1dd102fdb8b0e192bdad37df4dd5a50 (plain)
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
# Maven
target/
*.versionsBackup

# Files + directories created during build
aj-build/
build/local.properties
taskdefs/bin

# Log files
log.txt

# Eclipse
.classpath
.project
.settings

# IntelliJ IDEA
*.iml
.idea/

# Visual Studio Code
.vscode

# MacOS X Finder
.DS_Store

# Linux
.attach_pid*

# No idea where these come from
bin/

# When using a RAM disk to speed up development, see how-to in docs/developer/ram-disk/settings-ramdisk.xml
/.mvn/maven.config
/.mvn/settings-ramdisk.xml
copying of this software and preparation of derivative works based upon this software are permitted. Any distribution of this software or derivative works must comply with all applicable United States export control laws. This software is made available AS IS, and Xerox Corporation makes no warranty about the software, its performance or its conformity to any specification. |<--- this code is formatted to fit into 80 columns --->| |<--- this code is formatted to fit into 80 columns --->| |<--- this code is formatted to fit into 80 columns --->| RegistrySynchronization.java Part of the Spacewar system. */ package spacewar; import coordination.Coordinator; /** * This aspect ensures synchronized access to methods of the Game in the * presence of several threads. * * It uses the Coordinator class, from the AspectJ coordination library. * (This case is right on the borderline of being too simple to use the * coordination library, but we use it anyways to keep the similarity * with the RegistrySynchronizer.) * * It uses a per-Game coordination scheme, so there is one instance of * this class for each instance of the Game class. When this class is * constructed, it registers appropriate mutexes and selfexes using * the behavior inherited from Coordinator. * * The coordination constraints for the Game are simple. We just need to * make sure that newShip and handleCollisions are mutually exclusive. That * ensures that they we can't destroy a ship that has just been replaced. */ aspect GameSynchronization extends Coordinator perthis(this(Game)) { protected pointcut synchronizationPoint(): call(void Game.handleCollisions(..)) || call(Ship Game.newShip(..)); public GameSynchronization() { addMutex(new String[] {"handleCollisions", "newShip"}); } }