TCP제안 탐색: 오류 처리에서 Iterator.range까지

SpiderMonkey 및 JavaScript 엔진 개선을 통한 인턴의 여정

처음 Iterator.range 제안과 내부 알고리즘을 봤을 때 해킹할 수 있을지 확신이 없었습니다. 봉사 활동 기여자로서 저와 다른 기여자들은 한 달 동안 기여한 후 제안서/사양 작업을 위해 인턴 한 명을 선택하게 됩니다.

전문

기여 기간이 지난 지 며칠 후 저는 봉사 활동 기여자로 지정된 작업을 할당받았지만 가장 중요한 것은 ErrorIsError TC39 제안이 할당되었다는 것입니다. 

SpiderMonkey(Mozilla JavaScript 엔진)에서 TC39 제안을 구현하는 첫 번째 단계는 해당 제안에 대한 기본 설정을 추가하는 것입니다.
 
이를 통해 런타임에 기능을 활성화하거나 비활성화할 수 있으며 이는 중요합니다. 왜냐하면 사용자에게 문제를 일으키지 않을 것이라는 확신을 가질 만큼 충분히 테스트할 때까지 기본적으로 기능을 활성화하고 싶지 않기 때문입니다. 이 경우 기본 설정을 만들고 값을 false로 설정합니다.

보시다시피 JavaScript로 구현했을 때 제안은 매우 간단하며 초기 구현이었습니다. 하지만 코드 리뷰가 돌아왔고 제안을 네이티브 C 함수로 구현하는 것이 이유와 C로 작업하는 측면 모두에서 학습 과정이었던 것이 더 좋았습니다.

이 과정에서 우리는 CCW(교차 구획 래퍼) 및 JavaScript 엔진의 내장 유형 검사와 관련된 몇 가지 흥미로운 문제에 직면했습니다. 

---

교차 구획 래퍼 및 ErrorObject 검사 관련 문제

Error 객체를 처리할 때 IsErrorObject 함수는 주어진 값이 ErrorObject 유형의 인스턴스인지 확인합니다. 그러나 인수가 다른 구획의 ErrorObject에 대한 CCW(교차 구획 래퍼)인 경우 중요한 극단적 사례가 발생합니다. IsErrorObject 검사는 기본 객체를 모호하게 하기 때문에 CCW를 직접적으로 설명하지 않습니다.

구현 컨텍스트: 내장 유형 확인을 처리하는 코드에서 본질적인_IsInstanceOfBuiltin 함수는 객체가 특정 유형인지 확인하는 데 사용됩니다. 이 값에 적용하면 작동하지만; 이미 포장이 풀렸다고 가정합니다. 여전히 CCW로 래핑될 수 있는 인수는 처리하지 않습니다.

제안된 솔루션: 전용 네이티브 기능

이 문제를 해결하기 위한 솔루션은 다음과 같습니다.
1. 새로운 기본 기능 추가: 다음을 통해 CCW를 투명하게 처리하기 위한 전용 기본 기능이 생성됩니다.

• CCW 포장 풀기
• 래핑 해제된 개체가 ErrorObject 유형인지 테스트합니다.
• 한 번의 응집 작업으로 개체 유형을 확인합니다.

2. 자체 호스팅 복잡성 제거:
이 새로운 기능을 JSNative로 구현하면 자체 호스팅 도우미에 의존하지 않고도 단일 기본 기능 내에서 모든 작업을 수행하여 프로세스를 간소화할 수 있습니다.

이 접근 방식이 필요한 이유는 무엇입니까?

비객체 사례 처리: 새로운 기능은 래핑 해제를 진행하기 전에 값이 객체인지 확인하는 기능을 통합합니다.
사양 정렬 단순화: CCW는 구현 세부 사항이며 TC39 JavaScript 사양의 일부가 아니므로 이러한 변경을 통해 불일치를 피하면서 동작이 사양에 맞게 정렬됩니다.

---

위 코드는 두 개의 테스트 파일(JIT(Just-In-Time) 컴파일 테스트용 하나와 Test262 테스트/파일용 하나)을 제외하고 45줄의 코드로 구성되었습니다. 하지만 45줄의 코드를 통해 다음을 수행할 수 있었습니다.

• Mozilla 코드베이스 내에서 사전 정의된 오류 메시지가 있는 위치와 이를 사용하는 방법을 알아보세요. 이는 Iterator.range에 대한 오류 메시지를 정의해야 할 때 유용했습니다.
• Nightly 및 Nightly 빌드를 이해하세요.
• 코드 일관성: TC39 사양을 충족하도록 코드를 조정하고 Mozilla 표준에 따라 새로 추가된 코드에 대한 약칭을 사용하지 마세요.

현재 작업 중인 작업: Iterator.range

저는 Outreachy 기여 기간 동안 교차 구획 래퍼의 복잡성을 살펴보고 ErrorObject 처리를 강화한 후 똑같이 흥미로운 것에 관심을 돌렸습니다. 바로 Mozilla Outreachy 인턴십을 위한 Iterator.range 제안이었습니다.

익숙하지 않은 분들을 위해 설명하자면 Iterator.range는 반복자를 더욱 다양하게 만드는 것을 목표로 하는 JavaScript용 TC39 제안에 추가된 것입니다. 이 방법은 일련의 숫자를 반복하거나 단계 기반 루프를 생성하는 등 일상적인 프로그래밍에 특히 유용할 수 있는 값 범위를 생성하는 효율적인 방법을 소개합니다.
개념 자체는 단순해 보일 수 있습니다. 시작점부터 끝점까지 일련의 값을 생성하지만 SpiderMonkey에서 이를 구현하는 것은 훌륭한 도전임이 입증되었습니다.

추상 작업 및 기본 C 함수 처리와 관련된 이전 ErrorObject 작업과 달리 Iterator.range에서는 JavaScript 반복자가 내부적으로 작동하는 방식과 SpiderMonkey가 이러한 기능을 엔진 수준에서 통합하는 방법에 대한 심층적인 분석이 필요합니다.

Iterator.range 작업을 시작했을 때 ErrorIsError 제안에 대해 수행했던 것과 유사한 초기 구현이 완료되었습니다. 제안에 대한 기본 설정을 추가하고 JavaScript 셸에서 내장 기능에 액세스할 수 있도록 합니다.

Iterator.range는 단순히 Iterator.range의 실제 구현이 개발 중이거나 완전히 구현되지 않았음을 나타내는 스텁인 false를 반환했습니다.

처음에는 Iterator.range 함수에 위임하는 CreateNumericRangeIterator 함수를 만들었습니다. 그 다음에는 Iterator.range 함수 내에서 처음 세 단계를 구현했습니다.
다음으로 CreateNumericRangeIterator 함수에서 NUMBER-RANGE 데이터 유형에 대한 변수와 매개변수를 초기화했습니다.

저는 Iterator.range(0, 10)처럼 1씩 증가하는 시퀀스를 구현하는 데 중점을 두었습니다. 또한 사양의 19단계에 맞춰 적절한 인수를 사용하여 IteratorRangeGenerator(범위 제안 사양의 18단계를 처리함)를 호출하도록 CreateNumericRangeIterator 함수를 업데이트하고 기능을 확인하기 위한 테스트를 추가했습니다.
이번 주에는 Iterator.range에서 반환된 생성기의 프로토타입을 올바르게 설정하는 방법을 살펴보겠습니다. 

다음 몇 주/달 동안 내 작업에는 다음이 포함되지만 이에 국한되지는 않습니다.

• Iterator.range에서 반환된 생성기에 대해 적절한 프로토타입을 설정합니다.
• Iterator.range에서 BigInt를 지원합니다.
• 지금은 1씩 증가하는 시퀀스만 다루었으므로 다른 시퀀스도 지원하세요.
• 위에 적합한 테스트를 추가하세요.

당신은 또한 다음을 좋아할 수도 있습니다:

오픈 소스 디코딩: 봉사 활동을 하면서 배운 어휘

자유 소프트웨어에 대한 원격 인턴십을 원하시나요?

위 내용은 TCP제안 탐색: 오류 처리에서 Iterator.range까지의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!