summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat
-rw-r--r--.sync2github0
-rw-r--r--LICENSE22
-rw-r--r--build.xml65
-rw-r--r--diplomarbeit.pdf11270
-rw-r--r--docs/SERIALIZATION_NOTES.txt40
-rw-r--r--docs/VS2007/Makefile9
-rw-r--r--docs/VS2007/gps.diabin1718 -> 0 bytes
-rw-r--r--docs/VS2007/gps.pngbin12317 -> 0 bytes
-rw-r--r--docs/VS2007/verteilte-systeme.aux211
-rw-r--r--docs/VS2007/verteilte-systeme.log2238
-rw-r--r--docs/VS2007/verteilte-systeme.out103
-rw-r--r--docs/VS2007/verteilte-systeme.pdf10211
-rw-r--r--docs/VS2007/verteilte-systeme.tex2857
-rw-r--r--docs/VS2007/verteilte-systeme.toc191
-rw-r--r--docs/VS2007/vs1.diabin1491 -> 0 bytes
-rw-r--r--docs/VS2007/vs1.pngbin5179 -> 0 bytes
-rw-r--r--docs/VS2007/vs10.diabin1320 -> 0 bytes
-rw-r--r--docs/VS2007/vs10.pngbin2310 -> 0 bytes
-rw-r--r--docs/VS2007/vs11.diabin1035 -> 0 bytes
-rw-r--r--docs/VS2007/vs11.pngbin1260 -> 0 bytes
-rw-r--r--docs/VS2007/vs12.diabin1140 -> 0 bytes
-rw-r--r--docs/VS2007/vs12.pngbin1879 -> 0 bytes
-rw-r--r--docs/VS2007/vs13.diabin1823 -> 0 bytes
-rw-r--r--docs/VS2007/vs13.pngbin5236 -> 0 bytes
-rw-r--r--docs/VS2007/vs14.diabin1495 -> 0 bytes
-rw-r--r--docs/VS2007/vs14.pngbin3494 -> 0 bytes
-rw-r--r--docs/VS2007/vs15.diabin1436 -> 0 bytes
-rw-r--r--docs/VS2007/vs15.pngbin4868 -> 0 bytes
-rw-r--r--docs/VS2007/vs16.diabin1253 -> 0 bytes
-rw-r--r--docs/VS2007/vs16.pngbin3431 -> 0 bytes
-rw-r--r--docs/VS2007/vs16a.diabin1315 -> 0 bytes
-rw-r--r--docs/VS2007/vs16b.diabin1638 -> 0 bytes
-rw-r--r--docs/VS2007/vs16b.pngbin5997 -> 0 bytes
-rw-r--r--docs/VS2007/vs17.diabin1047 -> 0 bytes
-rw-r--r--docs/VS2007/vs17.pngbin1955 -> 0 bytes
-rw-r--r--docs/VS2007/vs17b.diabin1009 -> 0 bytes
-rw-r--r--docs/VS2007/vs17b.pngbin1892 -> 0 bytes
-rw-r--r--docs/VS2007/vs18.diabin1435 -> 0 bytes
-rw-r--r--docs/VS2007/vs18.pngbin3590 -> 0 bytes
-rw-r--r--docs/VS2007/vs19.diabin1524 -> 0 bytes
-rw-r--r--docs/VS2007/vs19.pngbin4639 -> 0 bytes
-rw-r--r--docs/VS2007/vs20.diabin1723 -> 0 bytes
-rw-r--r--docs/VS2007/vs20.pngbin6883 -> 0 bytes
-rw-r--r--docs/VS2007/vs21.diabin1144 -> 0 bytes
-rw-r--r--docs/VS2007/vs21.pngbin2778 -> 0 bytes
-rw-r--r--docs/VS2007/vs22.diabin1306 -> 0 bytes
-rw-r--r--docs/VS2007/vs22.pngbin2436 -> 0 bytes
-rw-r--r--docs/VS2007/vs23.diabin1384 -> 0 bytes
-rw-r--r--docs/VS2007/vs23.pngbin3661 -> 0 bytes
-rw-r--r--docs/VS2007/vs24.diabin2009 -> 0 bytes
-rw-r--r--docs/VS2007/vs24.pngbin4903 -> 0 bytes
-rw-r--r--docs/VS2007/vs25.diabin1221 -> 0 bytes
-rw-r--r--docs/VS2007/vs25.pngbin1561 -> 0 bytes
-rw-r--r--docs/VS2007/vs25b.diabin980 -> 0 bytes
-rw-r--r--docs/VS2007/vs25b.pngbin2833 -> 0 bytes
-rw-r--r--docs/VS2007/vs26.diabin1000 -> 0 bytes
-rw-r--r--docs/VS2007/vs26.pngbin1766 -> 0 bytes
-rw-r--r--docs/VS2007/vs27.diabin1031 -> 0 bytes
-rw-r--r--docs/VS2007/vs27.pngbin1884 -> 0 bytes
-rw-r--r--docs/VS2007/vs28.diabin1080 -> 0 bytes
-rw-r--r--docs/VS2007/vs28.pngbin2058 -> 0 bytes
-rw-r--r--docs/VS2007/vs29.diabin1125 -> 0 bytes
-rw-r--r--docs/VS2007/vs29.pngbin2150 -> 0 bytes
-rw-r--r--docs/VS2007/vs3.diabin1594 -> 0 bytes
-rw-r--r--docs/VS2007/vs3.pngbin6269 -> 0 bytes
-rw-r--r--docs/VS2007/vs31.diabin1090 -> 0 bytes
-rw-r--r--docs/VS2007/vs31.pngbin1469 -> 0 bytes
-rw-r--r--docs/VS2007/vs32.diabin1404 -> 0 bytes
-rw-r--r--docs/VS2007/vs32.pngbin3112 -> 0 bytes
-rw-r--r--docs/VS2007/vs33.diabin1069 -> 0 bytes
-rw-r--r--docs/VS2007/vs33.pngbin2904 -> 0 bytes
-rw-r--r--docs/VS2007/vs34.diabin1010 -> 0 bytes
-rw-r--r--docs/VS2007/vs34.pngbin2329 -> 0 bytes
-rw-r--r--docs/VS2007/vs4.diabin1070 -> 0 bytes
-rw-r--r--docs/VS2007/vs4.pngbin2192 -> 0 bytes
-rw-r--r--docs/VS2007/vs5.diabin1155 -> 0 bytes
-rw-r--r--docs/VS2007/vs5.pngbin3777 -> 0 bytes
-rw-r--r--docs/VS2007/vs6.diabin1063 -> 0 bytes
-rw-r--r--docs/VS2007/vs6.pngbin4677 -> 0 bytes
-rw-r--r--docs/VS2007/vs7.diabin1393 -> 0 bytes
-rw-r--r--docs/VS2007/vs7.pngbin3168 -> 0 bytes
-rw-r--r--docs/VS2007/vs8.diabin1202 -> 0 bytes
-rw-r--r--docs/VS2007/vs8.pngbin2234 -> 0 bytes
-rw-r--r--docs/VS2007/vs9.diabin1434 -> 0 bytes
-rw-r--r--docs/VS2007/vs9.pngbin2746 -> 0 bytes
-rw-r--r--docs/VS2007/vsu3.diabin1954 -> 0 bytes
-rw-r--r--docs/VS2007/vsu3.pngbin9508 -> 0 bytes
-rw-r--r--docs/VS2007/vsu3a1.diabin1006 -> 0 bytes
-rw-r--r--docs/VS2007/vsu3a1.pngbin1904 -> 0 bytes
-rw-r--r--docs/VS2007/vsu3a1b.diabin1272 -> 0 bytes
-rw-r--r--docs/VS2007/vsu3a1b.pngbin3462 -> 0 bytes
-rw-r--r--docs/VS2007/vsu3a2.diabin1021 -> 0 bytes
-rw-r--r--docs/VS2007/vsu3a2.pngbin2710 -> 0 bytes
-rw-r--r--docs/VS2007/vsu3a2b.diabin1081 -> 0 bytes
-rw-r--r--docs/VS2007/vsu3a2b.pngbin4100 -> 0 bytes
-rw-r--r--docs/VS2007/vsu3a3.diabin954 -> 0 bytes
-rw-r--r--docs/VS2007/vsu3a3.pngbin1732 -> 0 bytes
-rw-r--r--docs/VS2007/vsu3a3b.diabin1105 -> 0 bytes
-rw-r--r--docs/VS2007/vsu3a3b.pngbin3351 -> 0 bytes
-rw-r--r--docs/VS2007/vsu3a4.diabin873 -> 0 bytes
-rw-r--r--docs/VS2007/vsu3a4.pngbin1154 -> 0 bytes
-rw-r--r--docs/VS2007/vsu3a4b.diabin929 -> 0 bytes
-rw-r--r--docs/VS2007/vsu3a4b.pngbin2113 -> 0 bytes
-rw-r--r--docs/VS2007/vsu4.diabin1532 -> 0 bytes
-rw-r--r--docs/VS2007/vsu4.pngbin6748 -> 0 bytes
-rw-r--r--docs/VS2007/vsu4a2.diabin1445 -> 0 bytes
-rw-r--r--docs/VS2007/vsu4a2.pngbin3258 -> 0 bytes
-rw-r--r--docs/VS2007/vsu4a2b.diabin1976 -> 0 bytes
-rw-r--r--docs/VS2007/vsu4a2b.pngbin8646 -> 0 bytes
-rw-r--r--docs/VS2007/vsu4a4.diabin1137 -> 0 bytes
-rw-r--r--docs/VS2007/vsu4a4.pngbin3238 -> 0 bytes
-rw-r--r--docs/VS2007/vsu4a7.diabin1553 -> 0 bytes
-rw-r--r--docs/VS2007/vsu4a7.pngbin7282 -> 0 bytes
-rw-r--r--docs/VS2007/vsu4a7b.diabin1766 -> 0 bytes
-rw-r--r--docs/VS2007/vsu4a7b.pngbin5322 -> 0 bytes
-rw-r--r--docs/VS2007/vsu5.diabin1092 -> 0 bytes
-rw-r--r--docs/VS2007/vsu5.pngbin2912 -> 0 bytes
-rw-r--r--docs/VS2007/vsu5a3.diabin2745 -> 0 bytes
-rw-r--r--docs/VS2007/vsu5a3.pngbin12711 -> 0 bytes
-rw-r--r--docs/VS2007/vsu5a3b.diabin2861 -> 0 bytes
-rw-r--r--docs/VS2007/vsu5a3b.pngbin15023 -> 0 bytes
-rw-r--r--docs/VS2007/vsu6.diabin1494 -> 0 bytes
-rw-r--r--docs/VS2007/vsu6.pngbin3254 -> 0 bytes
-rw-r--r--docs/VS2007/vsu7.diabin1606 -> 0 bytes
-rw-r--r--docs/VS2007/vsu7.pngbin4086 -> 0 bytes
-rw-r--r--docs/VS2007/vsu8.diabin1575 -> 0 bytes
-rw-r--r--docs/VS2007/vsu8.pngbin7771 -> 0 bytes
-rw-r--r--docs/VS2007/vsu8a2.diabin1333 -> 0 bytes
-rw-r--r--docs/VS2007/vsu8a2.pngbin2820 -> 0 bytes
-rw-r--r--docs/VS2007/vsu8a2b.diabin1516 -> 0 bytes
-rw-r--r--docs/VS2007/vsu8a2b.pngbin8124 -> 0 bytes
-rw-r--r--docs/VS2007/vsu8a2c.diabin1542 -> 0 bytes
-rw-r--r--docs/VS2007/vsu8a2c.pngbin9181 -> 0 bytes
-rw-r--r--docs/VS2007/vsu8a2d.diabin1623 -> 0 bytes
-rw-r--r--docs/VS2007/vsu8a2d.pngbin9683 -> 0 bytes
-rw-r--r--docs/VS2007/vsu8a3.diabin1159 -> 0 bytes
-rw-r--r--docs/VS2007/vsu8a3.pngbin4777 -> 0 bytes
-rw-r--r--docs/VS2007/vsu8a3c.diabin995 -> 0 bytes
-rw-r--r--docs/VS2007/vsu8a3c.pngbin1552 -> 0 bytes
-rw-r--r--docs/VS2007/vsu9.diabin1603 -> 0 bytes
-rw-r--r--docs/VS2007/vsu9.pngbin8647 -> 0 bytes
-rw-r--r--docs/VS2007/vsx01.diabin1324 -> 0 bytes
-rw-r--r--docs/VS2007/vsx01.pngbin4554 -> 0 bytes
-rw-r--r--docs/VS2007/vsx03.diabin1266 -> 0 bytes
-rw-r--r--docs/VS2007/vsx03.pngbin4772 -> 0 bytes
-rw-r--r--docs/VS2007/vsx04.diabin966 -> 0 bytes
-rw-r--r--docs/VS2007/vsx04.pngbin6166 -> 0 bytes
-rw-r--r--docs/VS2007/vsx05.diabin1199 -> 0 bytes
-rw-r--r--docs/VS2007/vsx05.pngbin3826 -> 0 bytes
-rw-r--r--docs/VS2007/vsx06.diabin1270 -> 0 bytes
-rw-r--r--docs/VS2007/vsx06.pngbin6288 -> 0 bytes
-rw-r--r--icons/pause.pngbin2467 -> 0 bytes
-rw-r--r--icons/replay.pngbin2467 -> 0 bytes
-rw-r--r--icons/reset.pngbin2467 -> 0 bytes
-rw-r--r--icons/start.pngbin2467 -> 0 bytes
-rw-r--r--saved-simulations/basic-multicast.datbin29409 -> 0 bytes
-rw-r--r--saved-simulations/berkeley.datbin26668 -> 0 bytes
-rw-r--r--saved-simulations/broadcast.datbin33958 -> 0 bytes
-rw-r--r--saved-simulations/ext-vs-int-sync.datbin28289 -> 0 bytes
-rw-r--r--saved-simulations/int-sync.datbin23059 -> 0 bytes
-rw-r--r--saved-simulations/one-phase-commit.datbin25588 -> 0 bytes
-rw-r--r--saved-simulations/ping-pong-sturm.datbin24012 -> 0 bytes
-rw-r--r--saved-simulations/ping-pong.datbin19547 -> 0 bytes
-rw-r--r--saved-simulations/reliable-multicast.datbin28481 -> 0 bytes
-rw-r--r--saved-simulations/slow-connection.datbin28965 -> 0 bytes
-rw-r--r--saved-simulations/two-phase-commit.datbin24342 -> 0 bytes
-rwxr-xr-xscripts/beforecommit.sh21
-rwxr-xr-xscripts/checklinelengths.sh27
-rwxr-xr-xscripts/formatthecode.sh19
-rw-r--r--scripts/pdf2txtrmcr.pl12
-rwxr-xr-xscripts/printstatistics.sh21
-rwxr-xr-xscripts/replaceastring.sh25
-rw-r--r--sources/core/VSAbstractProcess.java758
-rw-r--r--sources/core/VSInternalProcess.java456
-rw-r--r--sources/core/VSMessage.java208
-rw-r--r--sources/core/VSMessageStub.java61
-rw-r--r--sources/core/VSTask.java523
-rw-r--r--sources/core/VSTaskManager.java585
-rw-r--r--sources/core/time/VSLamportTime.java76
-rw-r--r--sources/core/time/VSTime.java45
-rw-r--r--sources/core/time/VSVectorTime.java119
-rw-r--r--sources/events/VSAbstractEvent.java266
-rw-r--r--sources/events/VSCopyableEvent.java40
-rw-r--r--sources/events/VSRegisteredEvents.java409
-rw-r--r--sources/events/implementations/VSProcessCrashEvent.java69
-rw-r--r--sources/events/implementations/VSProcessRecoverEvent.java70
-rw-r--r--sources/events/internal/VSAbstractInternalEvent.java84
-rw-r--r--sources/events/internal/VSMessageReceiveEvent.java112
-rw-r--r--sources/events/internal/VSProtocolEvent.java199
-rw-r--r--sources/events/internal/VSProtocolScheduleEvent.java151
-rw-r--r--sources/exceptions/VSEventNotCopyableException.java39
-rw-r--r--sources/exceptions/VSNegativeNumberException.java35
-rw-r--r--sources/exceptions/VSParseIntegerVectorException.java36
-rw-r--r--sources/prefs/VSDefaultPrefs.java301
-rw-r--r--sources/prefs/VSDefaultPrefsDE.java275
-rw-r--r--sources/prefs/VSPrefs.java1210
-rw-r--r--sources/prefs/VSPrefsRestriction.java157
-rw-r--r--sources/prefs/VSSerializablePrefs.java60
-rw-r--r--sources/prefs/editors/VSAbstractBetterEditor.java126
-rw-r--r--sources/prefs/editors/VSAbstractEditor.java1061
-rw-r--r--sources/prefs/editors/VSColorChooser.java78
-rw-r--r--sources/prefs/editors/VSEditorFrame.java117
-rw-r--r--sources/prefs/editors/VSEditorTable.java314
-rw-r--r--sources/prefs/editors/VSProcessEditor.java131
-rw-r--r--sources/prefs/editors/VSSimulatorEditor.java143
-rw-r--r--sources/protocols/VSAbstractProtocol.java475
-rw-r--r--sources/protocols/implementations/README10
-rw-r--r--sources/protocols/implementations/VSBasicMulticastProtocol.java112
-rw-r--r--sources/protocols/implementations/VSBerkelyTimeProtocol.java229
-rw-r--r--sources/protocols/implementations/VSBroadcastProtocol.java129
-rw-r--r--sources/protocols/implementations/VSDummyProtocol.java124
-rw-r--r--sources/protocols/implementations/VSExternalTimeSyncProtocol.java145
-rw-r--r--sources/protocols/implementations/VSInternalTimeSyncProtocol.java149
-rw-r--r--sources/protocols/implementations/VSOnePhaseCommitProtocol.java174
-rw-r--r--sources/protocols/implementations/VSPingPongProtocol.java136
-rw-r--r--sources/protocols/implementations/VSReliableMulticastProtocol.java168
-rw-r--r--sources/protocols/implementations/VSTwoPhaseCommitProtocol.java224
-rw-r--r--sources/serialize/VSNotSerializable.java34
-rw-r--r--sources/serialize/VSSerializable.java55
-rw-r--r--sources/serialize/VSSerialize.java301
-rw-r--r--sources/simulator/VSCreateTask.java204
-rw-r--r--sources/simulator/VSLogging.java225
-rw-r--r--sources/simulator/VSMain.java95
-rw-r--r--sources/simulator/VSMenuItemStates.java135
-rw-r--r--sources/simulator/VSSimulator.java1537
-rw-r--r--sources/simulator/VSSimulatorFrame.java632
-rw-r--r--sources/simulator/VSSimulatorVisualization.java1821
-rw-r--r--sources/utils/VS3Tupel.java84
-rw-r--r--sources/utils/VSAboutFrame.java106
-rw-r--r--sources/utils/VSClassLoader.java55
-rw-r--r--sources/utils/VSFrame.java135
-rw-r--r--sources/utils/VSInfoArea.java