ترجمه - نسخهی قابل چاپ |
RE: ترجمه - لهمشد - ۱۰ اردیبهشت ۱۳۹۰ ۱۲:۲۴ ق.ظ
ممکنه این رو بگید چه معنی می کنید؟ کد: we buit a C front-end in the microsoft visual studio(VS) parallel debuger enviorment through with user can submit short(but trickly)MPI programs, with embedded assertions. |
RE: ترجمه - ف.ش - ۱۰ اردیبهشت ۱۳۹۰ ۰۱:۱۸ ق.ظ
(۱۰ اردیبهشت ۱۳۹۰ ۱۲:۲۴ ق.ظ)لهمشد نوشته شده توسط: ممکنه این رو بگید چه معنی می کنید؟ما ساختیم یک سی جلوبندی در محیط دیباگر ویژوال استادیو بواسطه کاربر میتونه ارسال کنه برنامه هایام پی آی کوتاه همراه با اعلانهای ذخیره شده . دوستان لطفا اگه کسی ترجمه بهتر و مفهومی تری داره بگه.ممنون |
RE: ترجمه - لهمشد - ۱۰ اردیبهشت ۱۳۹۰ ۰۲:۱۸ ق.ظ
با سلام این رو بررسی کنید لطفا: کد: we buit a C front-end in the microsoft visual studio(VS) parallel debugger enviroment through with user can submit short(but tricky) MPI(message passing interface) programs, with embedded assertions .the embedding C statements as well as the MPI (message passing interface)calls are turned into TLA+, run through the TLC model checker.when the assertion fail ,the error traces turn into the vs debugger stepping commands.this approach gives the practitioner a tool for understanding MPI (message passing interface)validated by experts.our formal specification maintains cross-reference tags with MPI reference document ,citing line and page number of pertinent references.another project with similar motivations (but not a C front-end) is,which formalizes the kernel threads procedures of the WIN32 API. لطفا ترجمه لغت به لغت نکنید مفهوم رو بگید چون من ترجمه نمی خوام مفهوم رو می خوام . |
RE: ترجمه - polarisia - 10 اردیبهشت ۱۳۹۰ ۱۱:۰۳ ق.ظ
(۰۹ اردیبهشت ۱۳۹۰ ۰۳:۲۱ ب.ظ)لهمشد نوشته شده توسط: واضح است که حتی برنامه نویسان مجرب نیز قادر به درک صحیح و کامل کتابخانههای پیچیدهای همچون MPI نیستند. متاسفانه، هیچکدام از منابع کنونی که آنها باید برای درک بهتر از آنها بهره ببرند راضی کننده و مناسب نیستند. ترکیب زبان طبیعی و نمادهای نیمه رسمی استفاده شده در مستندهای استاندارد میتواند باعث سردرگمی و گمراهی شود. رفتاری که آنها در طول آزمایشات مربوط به پلتفرمهای واقعی از خود نشان می دهند تنها نشان میدهد که چگونه کسی دیگری API را پیاده سازی کرده است. مشخصه های رسمی که نوشته و در دسترس قرار میگیرند می تواند کمک اندکی به کارکنان بکند. با رفتن به سوی پلتفرمهای چند هسته ای و جدید مشخصههای API که بر چه چیزی تاکید دارند تا چگونگی میتوانند باعث پیادهسازیهای کارامدتری شوند. مشخصه های رسمی میتواند برای تحلیل برنامه، اعتبارسنجی. و تست پلتفرم پیادهسازیهای API مفید واقع شود. |
RE: ترجمه - لهمشد - ۱۰ اردیبهشت ۱۳۹۰ ۰۹:۵۱ ب.ظ
با سلام این دو قسمت رو می تونید ترجمه کنید: کد: bugs in MPI programs arise due to many reasons,for example(i)during manual optimizations that turn blocking send/receives into their non-blocking counterparts ,(ii) in the context of using wild-card کد: we buit a C front-end in the microsoft visual studio(VS) parallel debugger enviroment through with user can submit short(but tricky) MPI(message passing interface) programs, with embedded assertions .the embedding C statements as well as the MPI (message passing interface)calls are turned into TLA+, run through the TLC model checker.when the assertion fail ,the error traces turn into the vs debugger stepping commands.this approach gives the practitioner a tool for understanding MPI (message passing interface)validated by experts.our formal specification maintains cross-reference tags with MPI reference document ,citing line and page number of pertinent references.another project with similar motivations (but not a C front-end) is,which formalizes the kernel threads procedures of the WIN32 API. |
RE: ترجمه - ف.ش - ۱۱ اردیبهشت ۱۳۹۰ ۰۴:۳۴ ق.ظ
[quote='لهمشد' pid='22704' dateline='1304184068'] با سلام این دو قسمت رو می تونید ترجمه کنید: کد: bugs in MPI programs arise due to many reasons,for example(i)during manual optimizations that turn blocking send/receives into their non-blocking counterparts ,(ii) in the context of using wild-card |
RE: ترجمه - لهمشد - ۱۲ اردیبهشت ۱۳۹۰ ۱۲:۴۱ ب.ظ
سلام به همگی: معنی این خط چیه؟؟ understanding and accurately modeling them is tedious upfront effort. |
RE: ترجمه - ف.ش - ۱۲ اردیبهشت ۱۳۹۰ ۱۲:۴۶ ب.ظ
(۱۲ اردیبهشت ۱۳۹۰ ۱۲:۴۱ ب.ظ)لهمشد نوشته شده توسط: سلام به همگی: فهمیدن و مدلسازی دقیق آنها تلاش خسته کننده ای است !؟!!؟!؟!؟!؟! upfront رو نمیدونم! |
RE: ترجمه - polarisia - 12 اردیبهشت ۱۳۹۰ ۰۱:۰۵ ب.ظ
(۱۲ اردیبهشت ۱۳۹۰ ۱۲:۴۶ ب.ظ)afagh1389 نوشته شده توسط:(12 اردیبهشت ۱۳۹۰ ۱۲:۴۱ ب.ظ)لهمشد نوشته شده توسط: سلام به همگی: به نظرم اینجا معنی "پیش رو" داره. "درک و مدلسازی درست و دقیق آنها کاریست خسته کننده که در پیش است." |
RE: ترجمه - لهمشد - ۱۲ اردیبهشت ۱۳۹۰ ۰۲:۰۶ ب.ظ
با سلام: از افاق و polarisa ممنونم(تشکر رسمی) upfront=رو به جلو - در پیش رو --- معنیش می شد . کد: last but not least , it suggests ways to combine static analysis and ISP-BASED model checking. کد: this allows the scheduler to march the processes of a given MPI program according to one arbitery interleaving ,till all processes hit MPI_finalize. |
ترجمه - Fardad-A - 12 اردیبهشت ۱۳۹۰ ۰۵:۳۴ ب.ظ
جمله اول:آخرین از حیث ترتیب(یعنی نه کم اهمیت ترین )آن روشهایی را برای ترکیب آنالیز استاتیک(ایستا) و چک کردن مدل ISP-Based پیشنهاد میکند. جمله دوم: این به زمانبند اجازه میده تا مطابق یک اینترلیوینگ دلخواه(برگ برگ سازی دلخوا) در پرو سسها (فرایندها)ی یک برنامه MpI داده شده پیشروی کنه تا همه فرآیندها به نقطه انتهای MPi برسند. |
RE: ترجمه - لهمشد - ۱۲ اردیبهشت ۱۳۹۰ ۰۵:۵۱ ب.ظ
کد: this allows the scheduler to march the processes of a given MPI program according to one arbitrary interleaving ,till all processes hit MPI_finalize.ISP examines the resulting trace of actions, and records at each of its choice points, where a different process could have been selected.such alternative choices are deemed necessary based on the dynamic dependence between action in the current trace. if ,at choice point i a different process p' is deemed necessary to have been run ,ISP (which is implemented using "stateless search ") re-executes the entire MPI program till it comes to choiزe point i ,and picks p' to run. |
RE: ترجمه - polarisia - 12 اردیبهشت ۱۳۹۰ ۰۶:۳۲ ب.ظ
(۱۲ اردیبهشت ۱۳۹۰ ۰۵:۵۱ ب.ظ)لهمشد نوشته شده توسط: اینکار به زمانبند اجازه میدهد تا پروسسهای یک MPI را مطابق با یک interleave( معادل فارسی خوبی نداره: در هم چینی یا همون برگ برگ سازی) تصادفی پیش ببرد تا زمانیکه همهی پروسسها به پایان برسند. ISP اثرات اعمال و رفتار مورد نتیجه را در حالتیکه پروسس دیگری را در لحظه گزینش، انتخاب میکرد در هر بار از لحظات گزینش بررسی میکند.( یعنی بررسی می کند که اگر پروسس دیگری را (در زمانیکه باید پروسسی را انتخاب کند - لحظه گزینش- )انتخاب میکرد چه میشد.) انتخابهای جایگزین بر طبق وابستگی پویا بین اعمال در مرحله کنونی، ضروری بنظر میرسند. اگر، در لحظه گزینش i پروسس دیگری مانند p بایستی اجرا میشده، ISP( که با استفاده از "جستجوی بدون حالت" پیاده سازی شده است )دوباره تمام برنامه MPI را اجرا می کند تا به نقطهی i برسد و اینبار پروسس p را برای اجرا انتخاب میکند. |
RE: ترجمه - لهمشد - ۱۶ اردیبهشت ۱۳۹۰ ۰۲:۲۹ ب.ظ
با سلام: ممکنه این رو بررسی کنید. کد: for model checking to be successful in practice :(I) designer must have modestly expensive techniques to create models of the protocols to be verified.(I)they must be able to examine a fraction of the interleaving in concurrent system and be able to claim that the remaining interleaving are equivalent and hence need not be examined ,using a suitable partial order reduction algorithm |
RE: ترجمه - **sara** - 16 اردیبهشت ۱۳۹۰ ۰۷:۲۸ ب.ظ
(۱۲ اردیبهشت ۱۳۹۰ ۰۶:۳۲ ب.ظ)polarisia نوشته شده توسط:برای معادل فارسی interleave کلمه "جایگذاری" خوبه؟ کد: for model checking to be successful in practice :(I) designer must have modestly expensive techniques to create models of the protocols to be verified.(I)they must be able to examine a fraction of the interleaving in concurrent system and be able to claim that the remaining interleaving are equivalent and hence need not be examined ,using a suitable partial order reduction algorithm برای موفقیت بررسی مدل در عمل: (I) طراح باید تکنیک های نسبتاً گران قیمتی داشته باشد، تا مدل پروتکل هایی را بسازد که تائید شوند. (II) آنها باید قادر به بررسی بخشی از جایگذاری در سیستم همزمان باشند و بتوانند ادعا کنند که با اثر باقیمانده از جایگذاری معادلند و از این رو با استفاده از یک الگوریتم مناسب جهت کاهش جزئی، نیازی به بررسی ندارند. |