"use strict"; const {Fragment: _Fragment, jsx: _jsx, jsxs: _jsxs} = arguments[0]; const {useMDXComponents: _provideComponents} = arguments[0]; function _createMdxContent(props) { const _components = { a: "a", annotation: "annotation", code: "code", h1: "h1", li: "li", math: "math", mi: "mi", mo: "mo", mrow: "mrow", path: "path", semantics: "semantics", span: "span", svg: "svg", ul: "ul", ..._provideComponents(), ...props.components }; return _jsxs(_Fragment, { children: [_jsxs(_components.h1, { id: "t45-生产-2-种产品要求--na-bm-的同步问题", children: [_jsx(_components.a, { className: "heading-link", href: "#t45-生产-2-种产品要求--na-bm-的同步问题", children: _jsx(_components.svg, { xmlns: "http:www.w3.org/2000/svg", fill: "#ab2b65", viewBox: "0 0 20 20", className: "w-5 h-5", children: _jsx(_components.path, { fillRule: "evenodd", clipRule: "evenodd", d: "M9.493 2.853a.75.75 0 00-1.486-.205L7.545 6H4.198a.75.75 0 000 1.5h3.14l-.69 5H3.302a.75.75 0 000 1.5h3.14l-.435 3.148a.75.75 0 001.486.205L7.955 14h2.986l-.434 3.148a.75.75 0 001.486.205L12.456 14h3.346a.75.75 0 000-1.5h-3.14l.69-5h3.346a.75.75 0 000-1.5h-3.14l.435-3.147a.75.75 0 00-1.486-.205L12.045 6H9.059l.434-3.147zM8.852 7.5l-.69 5h2.986l.69-5H8.852z" }) }) }), "T45 生产 2 种产品要求 ", _jsxs(_components.span, { className: "katex", children: [_jsx(_components.span, { className: "katex-mathml", children: _jsx(_components.math, { xmlns: "http://www.w3.org/1998/Math/MathML", children: _jsxs(_components.semantics, { children: [_jsxs(_components.mrow, { children: [_jsx(_components.mo, { children: "−" }), _jsx(_components.mi, { children: "n" }), _jsx(_components.mo, { children: "<" }), _jsx(_components.mo, { children: "=" }), _jsx(_components.mi, { children: "A" }), _jsx(_components.mo, { children: "−" }), _jsx(_components.mi, { children: "B" }), _jsx(_components.mo, { children: "<" }), _jsx(_components.mo, { children: "=" }), _jsx(_components.mi, { children: "m" })] }), _jsx(_components.annotation, { encoding: "application/x-tex", children: "-n<=A-B<=m" })] }) }) }), _jsxs(_components.span, { className: "katex-html", "aria-hidden": "true", children: [_jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.6667em", verticalAlign: "-0.0833em" } }), _jsx(_components.span, { className: "mord", children: "−" }), _jsx(_components.span, { className: "mord mathnormal", children: "n" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: "<=" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.7667em", verticalAlign: "-0.0833em" } }), _jsx(_components.span, { className: "mord mathnormal", children: "A" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2222em" } }), _jsx(_components.span, { className: "mbin", children: "−" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2222em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.7224em", verticalAlign: "-0.0391em" } }), _jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.0502em" }, children: "B" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: "<=" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.4306em" } }), _jsx(_components.span, { className: "mord mathnormal", children: "m" })] })] })] }), " 的同步问题"] }), "\n", _jsxs(_components.ul, { children: ["\n", _jsxs(_components.li, { children: [_jsxs(_components.span, { className: "katex", children: [_jsx(_components.span, { className: "katex-mathml", children: _jsx(_components.math, { xmlns: "http://www.w3.org/1998/Math/MathML", children: _jsxs(_components.semantics, { children: [_jsxs(_components.mrow, { children: [_jsx(_components.mo, { children: "−" }), _jsx(_components.mi, { children: "n" }), _jsx(_components.mo, { children: "<" }), _jsx(_components.mo, { children: "=" }), _jsx(_components.mi, { children: "A" }), _jsx(_components.mo, { children: "−" }), _jsx(_components.mi, { children: "B" })] }), _jsx(_components.annotation, { encoding: "application/x-tex", children: "-n<=A-B" })] }) }) }), _jsxs(_components.span, { className: "katex-html", "aria-hidden": "true", children: [_jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.6667em", verticalAlign: "-0.0833em" } }), _jsx(_components.span, { className: "mord", children: "−" }), _jsx(_components.span, { className: "mord mathnormal", children: "n" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: "<=" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.7667em", verticalAlign: "-0.0833em" } }), _jsx(_components.span, { className: "mord mathnormal", children: "A" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2222em" } }), _jsx(_components.span, { className: "mbin", children: "−" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2222em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.6833em" } }), _jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.0502em" }, children: "B" })] })] })] }), ": 限制缓冲区中 B 产品的数量不能超过 A 产品的数量 n 个", "\n", _jsxs(_components.ul, { children: ["\n", _jsxs(_components.li, { children: ["初始有", _jsx(_components.code, { className: "language-auto", children: "0" }), "个 B, 故设置信号量 ", _jsx(_components.code, { className: "language-auto", children: "LB=n" })] }), "\n", _jsxs(_components.li, { children: ["每次生产 B 产品时 ", _jsx(_components.code, { className: "language-auto", children: "wait(LB)" }), ", 生产 A 产品时 ", _jsx(_components.code, { className: "language-auto", children: "signal(LB)" })] }), "\n"] }), "\n"] }), "\n", _jsxs(_components.li, { children: [_jsxs(_components.span, { className: "katex", children: [_jsx(_components.span, { className: "katex-mathml", children: _jsx(_components.math, { xmlns: "http://www.w3.org/1998/Math/MathML", children: _jsxs(_components.semantics, { children: [_jsxs(_components.mrow, { children: [_jsx(_components.mi, { children: "A" }), _jsx(_components.mo, { children: "−" }), _jsx(_components.mi, { children: "B" }), _jsx(_components.mo, { children: "<" }), _jsx(_components.mo, { children: "=" }), _jsx(_components.mi, { children: "m" })] }), _jsx(_components.annotation, { encoding: "application/x-tex", children: "A-B<=m" })] }) }) }), _jsxs(_components.span, { className: "katex-html", "aria-hidden": "true", children: [_jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.7667em", verticalAlign: "-0.0833em" } }), _jsx(_components.span, { className: "mord mathnormal", children: "A" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2222em" } }), _jsx(_components.span, { className: "mbin", children: "−" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2222em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.7224em", verticalAlign: "-0.0391em" } }), _jsx(_components.span, { className: "mord mathnormal", style: { marginRight: "0.0502em" }, children: "B" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } }), _jsx(_components.span, { className: "mrel", children: "<=" }), _jsx(_components.span, { className: "mspace", style: { marginRight: "0.2778em" } })] }), _jsxs(_components.span, { className: "base", children: [_jsx(_components.span, { className: "strut", style: { height: "0.4306em" } }), _jsx(_components.span, { className: "mord mathnormal", children: "m" })] })] })] }), ": 限制缓冲区中 A 产品的数量不能超过 B 产品的数量 m 个", "\n", _jsxs(_components.ul, { children: ["\n", _jsxs(_components.li, { children: ["初始有", _jsx(_components.code, { className: "language-auto", children: "0" }), "个 A, 故设置信号量 ", _jsx(_components.code, { className: "language-auto", children: "LA=m" })] }), "\n", _jsxs(_components.li, { children: ["每次生产 A 产品时 ", _jsx(_components.code, { className: "language-auto", children: "wait(LA)" }), ", 生产 B 产品时 ", _jsx(_components.code, { className: "language-auto", children: "signal(LA)" })] }), "\n"] }), "\n"] }), "\n", _jsxs(_components.li, { children: ["还需设置对仓库的互斥信号量 ", _jsx(_components.code, { className: "language-auto", children: "mutex=1" })] }), "\n"] })] }); } function MDXContent(props = {}) { const {wrapper: MDXLayout} = { ..._provideComponents(), ...props.components }; return MDXLayout ? _jsx(MDXLayout, { ...props, children: _jsx(_createMdxContent, { ...props }) }) : _createMdxContent(props); } return { default: MDXContent };