웹 락스 API

1. map을 로컬 스토리지 병 맵 획득의 결과로 한다. 인자로 environment와 "web-locks"를 전달한다.

2. map이 실패라면, 실패를 반환한다.

3. bottle을 map의 연관 스토리지 병으로 한다.

4. bottle의 연관 락 관리자를 반환한다.

락 요청 큐 가져오기는 락 요청 큐 맵 queueMap에서 리소스 이름 name을 인자로 다음 단계를 수행합니다:

1. 만약 queueMap[name]이 존재하지 않는다면, queueMap[name]을 새로운 빈 lock request queue로 설정한다.

2. queueMap[name]을 반환한다.

락 요청 request가 grantable(승인 가능)인지 여부는 아래 절차가 true를 반환하는지로 판단합니다:

1. manager를 request의 manager로 한다.

2. queueMap을 manager의 락 요청 큐 맵으로 한다.

3. name을 request의 name으로 한다.

4. queue를 락 요청 큐 가져오기의 결과로 queueMap과 name을 사용해 얻는다.

5. held를 manager의 보유 락 집합으로 한다.

6. mode를 request의 mode로 한다.

7. queue가 비어있지 않고 request가 queue의 첫 항목이 아니면 false를 반환한다.

8. mode가 "exclusive"이면, held 내에 락 중 name이 name과 같은 것이 없으면 true를, 있으면 false를 반환한다.

9. 그 외의 경우, mode가 "shared"라면, held 내에 락 중 mode가 "exclusive"이고 name이 name과 같은 것이 없으면 true, 있으면 false를 반환한다.

남은 락과 요청 종료는 agent를 인자로 다음 단계를 락 태스크 큐에 큐잉합니다:

1. 락 요청 request 중 agent가 agent와 같은 각 요청에 대해:

   1. 요청 중단 request.

2. 락 lock 중 agent가 agent와 같은 각 락에 대해:

   1. 락 해제 lock.

request(name, callback) 및 request(name, options, callback) 메서드의 단계:

1. options가 전달되지 않았다면, options를 기본 멤버가 채워진 새로운 LockOptions 딕셔너리로 한다.

2. environment를 this의 관련 설정 객체로 한다.

3. environment의 관련 글로벌 객체의 연관 Document가 완전히 활성화된 상태가 아니면 InvalidStateError DOMException으로 reject되는 promise를 반환한다.

4. manager를 락 관리자 획득의 결과로 environment를 전달하여 얻는다. 실패를 반환했다면, SecurityError DOMException으로 reject되는 promise를 반환한다.

5. name이 U+002D 하이픈(-)으로 시작하면 NotSupportedError DOMException으로 reject되는 promise를 반환한다.

6. options["steal"]와 options["ifAvailable"]가 모두 true면, NotSupportedError DOMException으로 reject되는 promise를 반환한다.

7. options["steal"]가 true이고 options["mode"] 가 "exclusive"가 아니면, NotSupportedError DOMException으로 reject되는 promise를 반환한다.

8. options["signal"]가 존재하고, options["steal"] 또는 options["ifAvailable"]가 true라면, NotSupportedError DOMException으로 reject되는 promise를 반환한다.

9. options["signal"]가 존재하고 이미 aborted 상태라면, abort reason으로 reject되는 promise를 반환한다.

10. promise를 새 promise로 한다.

11. 락 요청 을 promise, 현재 agent, environment의 id, manager, callback, name, options["mode"], options["ifAvailable"], options["steal"], options["signal"]로 실행한다.

12. promise를 반환한다.

query() 메서드의 단계:

1. environment를 this의 관련 설정 객체로 한다.

2. environment의 관련 글로벌 객체의 연관 Document가 완전히 활성화 상태가 아니면 InvalidStateError DOMException으로 reject되는 promise를 반환한다.

3. manager를 락 관리자 획득의 결과로 environment를 전달하여 얻는다. 실패라면 SecurityError DOMException으로 reject되는 promise를 반환한다.

4. promise를 새 promise로 한다.

5. 다음 단계 큐잉을 통해 manager에 대해 promise로 락 상태 스냅샷을 생성한다. 큐는 락 태스크 큐를 이용한다.

6. promise를 반환한다.

1. request를 새로운 락 요청(agent, clientId, manager, name, mode, callback, promise, signal)로 한다.

2. signal이 존재하면 add 알고리즘 signal to abort the request request를 signal에 추가한다.

3. 다음 단계를 락 태스크 큐에 큐잉한다:

   1. queueMap을 manager의 락 요청 큐 맵으로 한다.

   2. queue를 락 요청 큐 가져오기의 결과로 queueMap과 name을 사용해 얻는다.

   3. held를 manager의 보유 락 집합으로 한다.

   4. steal이 true이면, 다음 단계를 실행한다:

      1. held의 각 lock에 대해:

         1. lock의 name이 name과 같으면 다음 단계를 실행:

            1. held에서 lock을 제거한다.

            2. lock의 released promise를 "AbortError" DOMException으로 reject한다.

      2. request를 queue에 앞에 추가한다.

   5. 그 외의 경우, 다음 단계를 실행한다:

      1. ifAvailable이 true이고 request가 grantable이 아니면, 다음 단계를 callback의 관련 설정 객체의 responsible event loop에 큐잉한다:

         1. r을 callback을 인자로 null을 전달해 호출한 결과로 한다.

         2. promise를 r로 resolve하고 이 단계를 중단한다.

      2. queue에 request를 추가한다.

   6. 락 요청 큐 처리를 queue에 대해 실행한다.

4. request를 반환한다.

1. 이 단계가 락 태스크 큐에서 실행 중임을 단언한다.

2. manager를 lock의 manager로 한다.

3. queueMap을 manager의 락 요청 큐 맵으로 한다.

4. name을 lock의 리소스 이름으로 한다.

5. queue를 락 요청 큐 가져오기의 결과로 queueMap과 name을 사용해 얻는다.

6. manager의 보유 락 집합에서 lock을 제거한다.

7. 락 요청 큐 처리를 queue에 대해 실행한다.

1. 이 단계가 락 태스크 큐에서 실행 중임을 단언한다.

2. manager를 request의 manager로 한다.

3. name을 request의 name으로 한다.

4. queueMap을 manager의 락 요청 큐 맵으로 한다.

5. queue를 락 요청 큐 가져오기의 결과로 queueMap과 name을 사용해 얻는다.

6. request를 queue에서 제거한다.

7. 락 요청 큐 처리를 queue에 대해 실행한다.

1. 다음 단계 큐잉을 통해 요청 중단 request를 락 태스크 큐에 추가한다.

2. request의 promise를 signal의 abort reason으로 reject한다.

1. 단언: 이 단계들은 락 태스크 큐에서 실행되고 있다.

2. 각 request를 queue에서 반복한다:

   1. request가 grantable이 아니면 return한다.

      참고: 큐에서 첫 번째 항목만 grantable이다. 따라서 grantable이 아니면 이후의 모든 항목도 자동으로 grantable이 아니다.

   2. queue에서 request를 제거한다.

   3. agent를 request의 agent로 한다.

   4. manager를 request의 manager로 한다.

   5. clientId를 request의 clientId로 한다.

   6. name을 request의 name으로 한다.

   7. mode를 request의 mode로 한다.

   8. callback을 request의 callback으로 한다.

   9. p를 request의 promise로 한다.

   10. signal을 request의 signal로 한다.

   11. waiting을 새로운 promise로 한다.

   12. lock을 새로운 락으로 하며, agent agent, clientId clientId, manager manager, mode mode, name name, released promise p, waiting promise waiting을 포함한다.

   13. manager의 보유 락 집합에 lock을 추가한다.

   14. 다음 단계를 callback의 관련 설정 객체의 responsible event loop에 큐잉한다:

       1. signal이 존재하면 다음 단계를 실행한다:

          1. signal이 aborted 상태면 다음 단계를 실행:

             1. 다음 단계를 락 태스크 큐에 큐잉한다:

                1. 락 해제 lock.

             2. return한다.

          2. signal to abort the request request 알고리즘을 signal에서 제거한다.

       2. r을 callback을 인자로, lock에 연관된 새로운 Lock 객체를 전달하여 호출한 결과로 한다.

       3. waiting을 r로 resolve한다.

1. 단언: 이 단계들은 락 태스크 큐에서 실행되고 있다.

2. pending을 새로운 리스트로 한다.

3. manager의 락 요청 큐 맵의 값들에 대해 각 queue를 반복한다:

   1. 각 request를 queue에서 반복한다:

      1. Append «[ "name" → request의 name, "mode" → request의 mode, "clientId" → request의 clientId ]»를 pending에 추가한다.

4. held를 새로운 리스트로 한다.

5. manager의 보유 락 집합의 각 lock을 반복한다:

   1. Append «[ "name" → lock의 name, "mode" → lock의 mode, "clientId" → lock의 clientId ]»를 held에 추가한다.

6. promise를 «[ "held" → held, "pending" → pending ]»로 resolve한다.