2020-05-06 09:48:49 +00:00
|
|
|
From 0000000000000000000000000000000000000000 Mon Sep 17 00:00:00 2001
|
2016-05-17 01:14:28 +00:00
|
|
|
From: Aikar <aikar@aikar.co>
|
|
|
|
Date: Mon, 16 May 2016 20:47:41 -0400
|
|
|
|
Subject: [PATCH] Optimize UserCache / Thread Safe
|
|
|
|
|
|
|
|
Because Techable keeps complaining about how this isn't thread safe,
|
|
|
|
easier to do this than replace the entire thing.
|
|
|
|
|
|
|
|
Additionally, move Saving of the User cache to be done async, incase
|
|
|
|
the user never changed the default setting for Spigot's save on stop only.
|
|
|
|
|
2020-08-25 02:22:08 +00:00
|
|
|
diff --git a/src/main/java/net/minecraft/server/DedicatedServer.java b/src/main/java/net/minecraft/server/DedicatedServer.java
|
|
|
|
index 36be0b4516702e0760ba6262a8c894fafbf276b4..56a3ef812966f9dce9c53b105a56e1761cdb467b 100644
|
|
|
|
--- a/src/main/java/net/minecraft/server/DedicatedServer.java
|
|
|
|
+++ b/src/main/java/net/minecraft/server/DedicatedServer.java
|
|
|
|
@@ -212,7 +212,7 @@ public class DedicatedServer extends MinecraftServer implements IMinecraftServer
|
|
|
|
}
|
|
|
|
|
|
|
|
if (this.convertNames()) {
|
|
|
|
- this.getUserCache().b();
|
|
|
|
+ this.getUserCache().b(false); // Paper
|
|
|
|
}
|
|
|
|
|
|
|
|
if (!NameReferencingFileConverter.e(this)) {
|
2016-05-17 01:14:28 +00:00
|
|
|
diff --git a/src/main/java/net/minecraft/server/MinecraftServer.java b/src/main/java/net/minecraft/server/MinecraftServer.java
|
2020-08-25 02:22:08 +00:00
|
|
|
index ad02086e71070eced13e17fbbee204020db4fed7..b9e757b94d7c00b8bea23102417b2afbe7eccd7a 100644
|
2016-05-17 01:14:28 +00:00
|
|
|
--- a/src/main/java/net/minecraft/server/MinecraftServer.java
|
|
|
|
+++ b/src/main/java/net/minecraft/server/MinecraftServer.java
|
2020-08-25 02:22:08 +00:00
|
|
|
@@ -786,7 +786,7 @@ public abstract class MinecraftServer extends IAsyncTaskHandlerReentrant<TickTas
|
2020-05-17 01:38:19 +00:00
|
|
|
} catch (java.lang.InterruptedException ignored) {} // Paper
|
2016-05-17 01:14:28 +00:00
|
|
|
if (org.spigotmc.SpigotConfig.saveUserCacheOnStopOnly) {
|
|
|
|
LOGGER.info("Saving usercache.json");
|
2020-08-25 02:22:08 +00:00
|
|
|
- this.getUserCache().b();
|
|
|
|
+ this.getUserCache().b(false); // Paper
|
2016-05-17 01:14:28 +00:00
|
|
|
}
|
|
|
|
// Spigot end
|
2020-06-25 11:00:35 +00:00
|
|
|
|
2016-05-17 01:14:28 +00:00
|
|
|
diff --git a/src/main/java/net/minecraft/server/UserCache.java b/src/main/java/net/minecraft/server/UserCache.java
|
2020-08-25 02:22:08 +00:00
|
|
|
index ce81aaf3e6ae97ad2af2aad6b668bdd4e18abcf1..15222ed19f049b7465a43a8651584a8a4c5fd666 100644
|
2016-05-17 01:14:28 +00:00
|
|
|
--- a/src/main/java/net/minecraft/server/UserCache.java
|
|
|
|
+++ b/src/main/java/net/minecraft/server/UserCache.java
|
2020-08-25 02:22:08 +00:00
|
|
|
@@ -106,7 +106,7 @@ public class UserCache {
|
|
|
|
return UserCache.b;
|
2016-05-23 02:14:17 +00:00
|
|
|
}
|
|
|
|
|
2020-08-25 02:22:08 +00:00
|
|
|
- public void a(GameProfile gameprofile) {
|
|
|
|
+ public synchronized void a(GameProfile gameprofile) { // Paper - synchronize
|
|
|
|
Calendar calendar = Calendar.getInstance();
|
2018-07-16 15:34:55 +00:00
|
|
|
|
2020-08-25 02:22:08 +00:00
|
|
|
calendar.setTime(new Date());
|
|
|
|
@@ -115,7 +115,7 @@ public class UserCache {
|
2019-01-01 03:15:55 +00:00
|
|
|
UserCache.UserCacheEntry usercache_usercacheentry = new UserCache.UserCacheEntry(gameprofile, date);
|
2016-05-17 01:14:28 +00:00
|
|
|
|
2020-08-25 02:22:08 +00:00
|
|
|
this.a(usercache_usercacheentry);
|
|
|
|
- if( !org.spigotmc.SpigotConfig.saveUserCacheOnStopOnly ) this.b(); // Spigot - skip saving if disabled
|
|
|
|
+ if( !org.spigotmc.SpigotConfig.saveUserCacheOnStopOnly ) this.b(true); // Spigot - skip saving if disabled // Paper - async
|
|
|
|
}
|
2016-05-17 01:14:28 +00:00
|
|
|
|
2020-08-25 02:22:08 +00:00
|
|
|
private long d() {
|
|
|
|
@@ -123,7 +123,7 @@ public class UserCache {
|
2016-05-23 02:14:17 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
@Nullable
|
|
|
|
- public GameProfile getProfile(String s) {
|
|
|
|
+ public synchronized GameProfile getProfile(String s) { // Paper - synchronize
|
|
|
|
String s1 = s.toLowerCase(Locale.ROOT);
|
2020-08-25 02:22:08 +00:00
|
|
|
UserCache.UserCacheEntry usercache_usercacheentry = (UserCache.UserCacheEntry) this.c.get(s1);
|
|
|
|
boolean flag = false;
|
|
|
|
@@ -149,7 +149,7 @@ public class UserCache {
|
|
|
|
}
|
2016-05-23 02:14:17 +00:00
|
|
|
|
2020-08-25 02:22:08 +00:00
|
|
|
if (flag && !org.spigotmc.SpigotConfig.saveUserCacheOnStopOnly) { // Spigot - skip saving if disabled
|
|
|
|
- this.b();
|
|
|
|
+ this.b(true); // Paper
|
|
|
|
}
|
2016-05-17 01:14:28 +00:00
|
|
|
|
2020-08-25 02:22:08 +00:00
|
|
|
return gameprofile;
|
|
|
|
@@ -231,7 +231,7 @@ public class UserCache {
|
|
|
|
return arraylist;
|
2016-05-17 01:14:28 +00:00
|
|
|
}
|
|
|
|
|
2020-08-25 02:22:08 +00:00
|
|
|
- public void b() {
|
|
|
|
+ public void b(boolean asyncSave) { // Paper
|
|
|
|
JsonArray jsonarray = new JsonArray();
|
|
|
|
DateFormat dateformat = e();
|
|
|
|
|
|
|
|
@@ -239,6 +239,7 @@ public class UserCache {
|
|
|
|
jsonarray.add(a(usercache_usercacheentry, dateformat));
|
|
|
|
});
|
|
|
|
String s = this.f.toJson(jsonarray);
|
|
|
|
+ Runnable save = () -> { // Paper
|
2016-05-17 01:14:28 +00:00
|
|
|
|
|
|
|
try {
|
2020-08-25 02:22:08 +00:00
|
|
|
BufferedWriter bufferedwriter = Files.newWriter(this.g, StandardCharsets.UTF_8);
|
|
|
|
@@ -266,6 +267,14 @@ public class UserCache {
|
|
|
|
} catch (IOException ioexception) {
|
|
|
|
;
|
2016-05-17 01:14:28 +00:00
|
|
|
}
|
|
|
|
+ // Paper start
|
2016-05-23 02:20:15 +00:00
|
|
|
+ };
|
2016-05-17 01:14:28 +00:00
|
|
|
+ if (asyncSave) {
|
|
|
|
+ MCUtil.scheduleAsyncTask(save);
|
|
|
|
+ } else {
|
|
|
|
+ save.run();
|
|
|
|
+ }
|
|
|
|
+ // Paper end
|
|
|
|
|
|
|
|
}
|
|
|
|
|