LuaCoroutine.cs 9.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297
  1. using System.Buffers;
  2. using System.Threading.Tasks.Sources;
  3. using Lua.Internal;
  4. using Lua.Runtime;
  5. namespace Lua;
  6. public sealed class LuaCoroutine : LuaThread, IValueTaskSource<LuaCoroutine.YieldContext>, IValueTaskSource<LuaCoroutine.ResumeContext>
  7. {
  8. struct YieldContext
  9. {
  10. public required LuaValue[] Results;
  11. }
  12. struct ResumeContext
  13. {
  14. public required LuaValue[] Results;
  15. }
  16. byte status;
  17. bool isFirstCall = true;
  18. ValueTask<int> functionTask;
  19. LuaValue[] buffer;
  20. ManualResetValueTaskSourceCore<ResumeContext> resume;
  21. ManualResetValueTaskSourceCore<YieldContext> yield;
  22. public LuaCoroutine(LuaFunction function, bool isProtectedMode)
  23. {
  24. IsProtectedMode = isProtectedMode;
  25. Function = function;
  26. buffer = ArrayPool<LuaValue>.Shared.Rent(1024);
  27. buffer.AsSpan().Clear();
  28. }
  29. public override LuaThreadStatus GetStatus() => (LuaThreadStatus)status;
  30. public override void UnsafeSetStatus(LuaThreadStatus status)
  31. {
  32. this.status = (byte)status;
  33. }
  34. public bool IsProtectedMode { get; }
  35. public LuaFunction Function { get; }
  36. public override async ValueTask<int> ResumeAsync(LuaFunctionExecutionContext context, Memory<LuaValue> buffer, CancellationToken cancellationToken = default)
  37. {
  38. var baseThread = context.Thread;
  39. baseThread.UnsafeSetStatus(LuaThreadStatus.Normal);
  40. context.State.ThreadStack.Push(this);
  41. try
  42. {
  43. switch ((LuaThreadStatus)Volatile.Read(ref status))
  44. {
  45. case LuaThreadStatus.Suspended:
  46. Volatile.Write(ref status, (byte)LuaThreadStatus.Running);
  47. if (isFirstCall)
  48. {
  49. // copy stack value
  50. var argCount = context.ArgumentCount;
  51. Stack.EnsureCapacity(argCount);
  52. baseThread.Stack.AsSpan()[^argCount..].CopyTo(Stack.GetBuffer());
  53. Stack.NotifyTop(argCount);
  54. }
  55. else
  56. {
  57. yield.SetResult(new()
  58. {
  59. Results = context.ArgumentCount == 1
  60. ? []
  61. : context.Arguments[1..].ToArray()
  62. });
  63. }
  64. break;
  65. case LuaThreadStatus.Normal:
  66. case LuaThreadStatus.Running:
  67. if (IsProtectedMode)
  68. {
  69. buffer.Span[0] = false;
  70. buffer.Span[1] = "cannot resume non-suspended coroutine";
  71. return 2;
  72. }
  73. else
  74. {
  75. throw new LuaRuntimeException(context.State.GetTraceback(), "cannot resume non-suspended coroutine");
  76. }
  77. case LuaThreadStatus.Dead:
  78. if (IsProtectedMode)
  79. {
  80. buffer.Span[0] = false;
  81. buffer.Span[1] = "cannot resume dead coroutine";
  82. return 2;
  83. }
  84. else
  85. {
  86. throw new LuaRuntimeException(context.State.GetTraceback(), "cannot resume dead coroutine");
  87. }
  88. }
  89. var resumeTask = new ValueTask<ResumeContext>(this, resume.Version);
  90. CancellationTokenRegistration registration = default;
  91. if (cancellationToken.CanBeCanceled)
  92. {
  93. registration = cancellationToken.UnsafeRegister(static x =>
  94. {
  95. var coroutine = (LuaCoroutine)x!;
  96. coroutine.yield.SetException(new OperationCanceledException());
  97. }, this);
  98. }
  99. try
  100. {
  101. if (isFirstCall)
  102. {
  103. int frameBase;
  104. var variableArgumentCount = Function.GetVariableArgumentCount(context.ArgumentCount - 1);
  105. if (variableArgumentCount > 0)
  106. {
  107. var fixedArgumentCount = context.ArgumentCount - 1 - variableArgumentCount;
  108. for (int i = 0; i < variableArgumentCount; i++)
  109. {
  110. Stack.Push(context.GetArgument(i + fixedArgumentCount + 1));
  111. }
  112. frameBase = Stack.Count;
  113. for (int i = 0; i < fixedArgumentCount; i++)
  114. {
  115. Stack.Push(context.GetArgument(i + 1));
  116. }
  117. }
  118. else
  119. {
  120. frameBase = Stack.Count;
  121. for (int i = 0; i < context.ArgumentCount - 1; i++)
  122. {
  123. Stack.Push(context.GetArgument(i + 1));
  124. }
  125. }
  126. functionTask = Function.InvokeAsync(new()
  127. {
  128. State = context.State,
  129. Thread = this,
  130. ArgumentCount = context.ArgumentCount - 1,
  131. FrameBase = frameBase
  132. }, this.buffer, cancellationToken).Preserve();
  133. Volatile.Write(ref isFirstCall, false);
  134. }
  135. (var index, var result0, var result1) = await ValueTaskEx.WhenAny(resumeTask, functionTask!);
  136. if (index == 0)
  137. {
  138. var results = result0.Results;
  139. buffer.Span[0] = true;
  140. for (int i = 0; i < results.Length; i++)
  141. {
  142. buffer.Span[i + 1] = results[i];
  143. }
  144. return results.Length + 1;
  145. }
  146. else
  147. {
  148. var resultCount = functionTask!.Result;
  149. Volatile.Write(ref status, (byte)LuaThreadStatus.Dead);
  150. buffer.Span[0] = true;
  151. this.buffer[0..resultCount].CopyTo(buffer.Span[1..]);
  152. ArrayPool<LuaValue>.Shared.Return(this.buffer);
  153. return 1 + resultCount;
  154. }
  155. }
  156. catch (Exception ex) when (ex is not OperationCanceledException)
  157. {
  158. if (IsProtectedMode)
  159. {
  160. ArrayPool<LuaValue>.Shared.Return(this.buffer);
  161. Volatile.Write(ref status, (byte)LuaThreadStatus.Dead);
  162. buffer.Span[0] = false;
  163. buffer.Span[1] = ex is LuaRuntimeException { ErrorObject: not null } luaEx ? luaEx.ErrorObject.Value: ex.Message;
  164. return 2;
  165. }
  166. else
  167. {
  168. throw;
  169. }
  170. }
  171. finally
  172. {
  173. registration.Dispose();
  174. resume.Reset();
  175. }
  176. }
  177. finally
  178. {
  179. context.State.ThreadStack.Pop();
  180. baseThread.UnsafeSetStatus(LuaThreadStatus.Running);
  181. }
  182. }
  183. public override async ValueTask<int> YieldAsync(LuaFunctionExecutionContext context, Memory<LuaValue> buffer, CancellationToken cancellationToken = default)
  184. {
  185. if (Volatile.Read(ref status) != (byte)LuaThreadStatus.Running)
  186. {
  187. throw new LuaRuntimeException(context.State.GetTraceback(), "cannot call yield on a coroutine that is not currently running");
  188. }
  189. if (context.Thread.GetCallStackFrames()[^2].Function is not Closure)
  190. {
  191. throw new LuaRuntimeException(context.State.GetTraceback(), "attempt to yield across a C#-call boundary");
  192. }
  193. resume.SetResult(new()
  194. {
  195. Results = context.Arguments.ToArray(),
  196. });
  197. Volatile.Write(ref status, (byte)LuaThreadStatus.Suspended);
  198. CancellationTokenRegistration registration = default;
  199. if (cancellationToken.CanBeCanceled)
  200. {
  201. registration = cancellationToken.UnsafeRegister(static x =>
  202. {
  203. var coroutine = (LuaCoroutine)x!;
  204. coroutine.yield.SetException(new OperationCanceledException());
  205. }, this);
  206. }
  207. RETRY:
  208. try
  209. {
  210. var result = await new ValueTask<YieldContext>(this, yield.Version);
  211. for (int i = 0; i < result.Results.Length; i++)
  212. {
  213. buffer.Span[i] = result.Results[i];
  214. }
  215. return result.Results.Length;
  216. }
  217. catch (Exception ex) when (ex is not OperationCanceledException)
  218. {
  219. yield.Reset();
  220. goto RETRY;
  221. }
  222. finally
  223. {
  224. registration.Dispose();
  225. yield.Reset();
  226. }
  227. }
  228. YieldContext IValueTaskSource<YieldContext>.GetResult(short token)
  229. {
  230. return yield.GetResult(token);
  231. }
  232. ValueTaskSourceStatus IValueTaskSource<YieldContext>.GetStatus(short token)
  233. {
  234. return yield.GetStatus(token);
  235. }
  236. void IValueTaskSource<YieldContext>.OnCompleted(Action<object?> continuation, object? state, short token, ValueTaskSourceOnCompletedFlags flags)
  237. {
  238. yield.OnCompleted(continuation, state, token, flags);
  239. }
  240. ResumeContext IValueTaskSource<ResumeContext>.GetResult(short token)
  241. {
  242. return resume.GetResult(token);
  243. }
  244. ValueTaskSourceStatus IValueTaskSource<ResumeContext>.GetStatus(short token)
  245. {
  246. return resume.GetStatus(token);
  247. }
  248. void IValueTaskSource<ResumeContext>.OnCompleted(Action<object?> continuation, object? state, short token, ValueTaskSourceOnCompletedFlags flags)
  249. {
  250. resume.OnCompleted(continuation, state, token, flags);
  251. }
  252. }